Concepedia

Tomás de Miguel

TD

6

Publications

173

Citations

6

H-Index

1988

Active since

Affiliations

Universidad Politécnica de Madrid(Current)

Agora Systems (Spain)

Tomás de Miguel is an author at Universidad Politécnica de Madrid specializing in engineering, systems engineering, and computer engineering.

Top concepts

EngineeringSystems EngineeringComputer EngineeringCloud ComputingComputer ScienceEdge ComputingSystem SoftwareSoftware EngineeringDesignClassics

Publications per year

1988–2006

6

Publications

6

From LOTOS to C

José Antonio Villarejo Mañas, Tomás de Miguel · Formal Techniques for (Networked and) Distributed Systems · 1988 · 48 citations

Advanced Computing, Risc-v, Culture Collection +3

Interworking of IP multimedia core networks between 3GPP and WLAN

F. Galan Marquez, Manuel Gomez-Rodriguez, Tomás Robles Valladares et al. · IEEE Personal Communications · 2005 · 43 citations

Core Network Architecture, Service Interconnection, Several Interconnection Scenarios +12

Use of virtualization tools in computer network laboratories

David Fernández, J. Ruiz, O. Waliti et al. · 2004 · 33 citations

Engineering, Software Engineering, Hardware Virtualization +16

Tool support to implement LOTOS formal specifications

JoséA. Mañas, Tomás de Miguel, Joaquín Salvachúa et al. · Computer Networks and ISDN Systems · 1993 · 22 citations

Lotos Formal Specifications, Specification Language, Formal Specification +11

Isabel: An Application for real time Collaboration with a flexible Floor Control

Juan Quemada, Tomás de Miguel, S. Pavón et al. · 2006 · 17 citations

Human-robot Collaborative Assembly, Engineering, Teleoperation +18

Rows per page

1–5 of 6