Get started
Author

Tomás de Miguel

Observed names: T. De Miguel, T. Miguel, T. de Miguel, Tomas De Miguel, Tomas de Miguel, Tomás P. Miguel, Tomÿs de-Miguel
OpenAlex ID: A5111432058
From LOTOS to C
1988 · José A. Mañas, Tomás de Miguel · Formal Techniques for (Networked and) Distributed Systems · 46
Interworking of IP multimedia core networks between 3GPP and WLAN
2005 · F. Galan Marquez, M. Gomez Rodriguez, et al. · IEEE Personal Communications · 41
Use of virtualization tools in computer network laboratories
2004 · F. Galan, D. Fernandez, et al. · International Conference on Information Technology Based Higher Education and Training (ITHET) · 33
Tool support to implement LOTOS formal specifications
1993 · JoséA. Mañas, Tomás de Miguel, et al. · Computer Networks and ISDN Systems · 22
ISABEL: A CSCW application for the distribution of events
1996 · Juan Quemada, Tomas de Miguel, et al. · Lecture notes in computer science · 19
Isabel: An Application for real time Collaboration with a flexible Floor Control
2006 · J. Quemada, T. de Miguel, et al. · International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom) · 17
ISABEL Experimental distributed cooperative work application over broadband networks
1994 · Tomás P. Miguel, Santiago Pavón, et al. · Lecture notes in computer science · 16
Study and emulation of IPv6 Internet-exchange-based addressing models
2004 · D. Fernandez, T. de Miguel, et al. · IEEE Communications Magazine · 10
Educanext: a framework for sharing live educational resources with isabel
2004 · Juan Quemada, Gabriel Huecas, et al. · International World Wide Web Conference (WWW) · 9
Throughput analysis of p-CSMA based LonTalk protocols for building management systems
2002 · J. Vinyes, E. Vazquez, et al. · IEEE Mediterranean Electrotechnical Conference (MELECON) · 8
Isabel distribution of the Madrid global IPv6 summit 2002 over an IPv6 transition network
2003 · J. Quemada, T. de Miguel, et al. · Symposium on Applications and the Internet Workshops (SAINT Workshops) · 5
The implementation of a specification language for OSI systems
2003 · J.A. Manas, T. de Miguel, et al. · International Zurich Seminar on Communications (IZS) · 5
The SRTS Experience: Using TOPO for LOTOS Design and Realization
1990 · Tomás de Miguel, Tomás Robles, et al. · Formal Techniques for (Networked and) Distributed Systems · 5
INDICYT science and technology indicators in Spain: development of an application for interactive search on the Internet
2001 · Isabel Gómez, Aurelio Cabrero, et al. · Research Evaluation · 2
Managing Distributed Conferences with ISABEL
2000 · T. Robles, H. Velayos, et al. · Springer eBooks · 2
PDF
A Pragmatic Approach to Verification, Validation and Compilation
1995 · Tomas de Miguel, Arturo Azcorra, et al. · Springer eBooks · 1
Tool Demonstration: A Cross Compiling Experiment: a PC Implementation of a LOTOS Spec
1992 · José A. Mañas, Joaquín Salvachúa, et al. · Elsevier eBooks · 1
Educanext: a framework for sharing live educational resources with isabel
2004 · Juan Quemada, Gabriel Huecas, et al. · International World Wide Web Conference (WWW)
A management system providing real distribution of management tasks with time and space independence
2003 · F. Fontes, T. De Miguel, et al. · IEEE International Conference on ATM (ICATM)
Isabel Distribution of the Madrid Global IPv6 Summit 2002.
2003 · Juan Quemada, Tomás de Miguel, et al.
Multimedia-multiparty service support in ATM wide area networks
2002 · J.I. Moreno, A. Azcorra, et al. · International Conference on Protocols for Multimedia Systems - Multimedia Networking (PROMS-MmNet)
Distributed Global Conferences over Heterogeneous Networks
2001 · Tomás Robles, Juan Quemada, et al. · Computer communications and networks
Works count: 23
Citation count: 242
H-index: 9
I10-index: 8
Year
Topic
Type