RDF/XML JSON-LD N3/Turtle RDF/JSON

Marin Lopez, Andres Isaac andres.mlopez@upm.es

INGENIERÍA DE SISTEMAS TELEMÁTICOS / Universidad Politécnica de Madrid

Actividades

VHDL generation from a timed extension of the formal description technique LOTOS within the FORMAT project

  • Delgado Kloos C
  • de Miguel Moro T
  • Robles Valladares T
  • Rabay Filho G
  • Marín López A

Microprocessing And Microprogramming (p. 589-596) - 1/1/1993

10.1016/0165-6074(93)90199-u Ver en origen

  • ISSN 01656074

A refinement calculus for the synthesis of verified hardware descriptions in VHDL

  • Breuer, PT
  • Kloos, CD
  • Lopez, AM
  • Madrid, NM
  • Fernandez, LS

Acm Transactions On Programming Languages And Systems (p. 586-616) - 1/7/1997

10.1145/262004.262007 Ver en origen

  • ISSN 01640925

Secure ad-hoc mBusiness:: Enhancing WindowsCE security

  • Alménarez F
  • Díaz D
  • Marín A

Lecture Notes In Computer Science (p. 90-99) - 1/1/2004

10.1007/978-3-540-30079-3_10 Ver en origen

  • ISSN 03029743

TrustAC:: Trust-based access control for pervasive devices

  • Almenárez F
  • Marín A
  • Campo C
  • García RC

Lecture Notes In Computer Science (p. 225-238) - 1/1/2005

10.1007/11414360_22 Ver en origen

  • ISSN 03029743

Secure service discovery based on trust management for ad-hoc networks

  • Campo C
  • Almenárez F
  • Díaz D
  • García-Rubio C
  • López AM

Journal Of Universal Computer Science (p. 340-356) - 1/1/2006

  • ISSN 0948695X
  • iMarina

A smart card solution for access control and trust management for nomadic users

  • Sánchez DD
  • Lopez AM
  • Mendoza FA

Lecture Notes In Computer Science (p. 62-77) - 1/1/2006

10.1007/11733447_5 Ver en origen

  • ISSN 03029743

Context awareness in network selection for dynamic environments

  • Diaz, Daniel
  • Marin, Andres
  • Almenarez, Florina
  • Garcia-Rubio, Carlos
  • Campo, Celeste

Lecture Notes In Computer Science (p. 216-227) - 1/1/2006

  • ISSN 03029743
  • iMarina

Preface

  • Kloos CD
  • Marín A
  • Larrabeiti D

Ifip Advances In Information And Communication Technology (p. xi-xiv) - 1/1/2006

  • ISSN 18684238
  • iMarina

PDP:: A lightweight discovery protocol for local-scope interactions in wireless ad hoc networks

  • Campo, Celeste
  • Garcia-Rubio, Carlos
  • Marin Lopez, Andres
  • Almenarez, Florina

Computer Networks (p. 3264-3283) - 5/12/2006

10.1016/j.comnet.2005.12.007 Ver en origen

  • ISSN 13891286

Context awareness in network selection for dynamic environments

  • Diaz Sanchez, Daniel
  • Marin Lopez, Andres
  • Almenarez Mendoza, Florina
  • Campo Vazquez, Celeste
  • Garcia-Rubio, Carlos

Telecommunication Systems (p. 49-60) - 1/1/2007

10.1007/s11235-007-9058-9 Ver en origen

  • ISSN 10184864

Este/a investigador/a no tiene libros.

Este/a investigador/a no tiene capítulos de libro.

Transformation of timing diagram specifications into VHDL code

  • Grass Werner
  • Grobe Christian
  • Lenk Stefan
  • Tiedemann Wolf-Dieter
  • Delgado Kloos Carlos
  • Marin Andres
  • Robles Tomas
... Ver más Contraer

Proceedings Of The Asia And South Pacific Design Automation Conference, Asp-Dac (p. 659-668) - 1/1/1995

  • iMarina

Refinement calculus for VHDL

  • Breuer P
  • Martinez Madrid N
  • Delgado Kloos C
  • Marin A
  • Sanchez L

Euro-Dac '96 - European Design Automation Conference With Euro-Vhdl '96 And Exhibition, Proceedings (p. 482-487) - 1/1/1996

10.1109/eurdac.1996.558247 Ver en origen

Specification language for clinical algorithms

  • Herrero C
  • Maojo V
  • Sanandres J
  • Lopez A
  • Crespo J
  • Lazaro P

Annual International Conference Of The Ieee Engineering In Medicine And Biology - Proceedings (p. 2010-2011) - 1/12/1996

  • ISSN 05891019
  • iMarina

A formal method for specification and refinement of real-time systems

  • Breuer P
  • Madrid N
  • Sánchez L
  • Marín A
  • Kloos C

Proceedings - Euromicro Conference On Real-Time Systems (p. 200-204) - 1/12/1996

10.1109/emwrts.1996.557891 Ver en origen

  • ISSN 10683070

JCCM*: Flexible certificates for smartcards with java card

  • Campo MC
  • Marín A
  • García A
  • Díaz I
  • Breuer PT
  • Delgado C
  • García C
... Ver más Contraer

Lecture Notes In Computer Science (p. 34-42) - 1/1/2001

10.1007/3-540-45418-7_4 Ver en origen

  • ISSN 03029743

A mathematical model for reusing student learning skills across didactical units

  • Fernández Panadero MC
  • Pardo A
  • Fernández Panadero J
  • López AM

Proceedings - Frontiers In Education Conference (p. F1A/1-F1A/6) - 1/1/2002

  • ISSN 01905848
  • iMarina

Design of an enhanced PKI for ubiquitous networks

  • Almenárez, F
  • Carbonell, M
  • Forné, J
  • Hinarejos, F
  • Lacoste, M
  • Marín, A
  • Montenegro, JA
... Ver más Contraer

Sixteenth International Workshop On Database And Expert Systems Applications, Proceedings (p. 262-266) - 1/1/2005

10.1109/dexa.2005.73 Ver en origen

PDP and GSDL:: a new service discovery middleware to support spontaneous interactions in pervasive systems

  • Campo, C
  • Muñoz, M
  • Perea, JC
  • Marín, A
  • García-Rubio, C

Third Ieee International Conference On Pervasive Computing And Communications, Workshops (p. 178-182) - 1/1/2005

10.1109/percomw.2005.61 Ver en origen

Developing a model for trust management in pervasive devices

  • Almenárez, F
  • Marín, A
  • Díaz, D
  • Sanchéz, J

Fourth Annual Ieee International Conference On Pervasive Computing And Communications Workshops, Proceedings (p. 267-+) - 1/1/2006

10.1109/percomw.2006.41 Ver en origen

Context awareness in network selection for dynamic environments

  • Díaz D
  • Marín A
  • Almenárez F
  • García-Rubio C
  • Campo C

Lecture Notes In Computer Science (p. 216-227) - 1/1/2006

10.1007/11872153_19 Ver en origen

  • ISSN 03029743

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

Quantum cognitive digital industry: a hyperautomated, accessible and cyber-secure (quantum resistant) digital twin based on extreme data mining

  • Villagrá González, Victor Abraham (Participante)
  • RIVERA PINTO, DIEGO (Participante)
  • VEGA BARBAS, MARIO (Participante)
  • Berrocal Colmenarejo, Julio José (Participante)
  • SANZ RODRIGO, MARIO (Participante)
  • Moreno Novella, José Ignacio (Participante)
  • VAZQUEZ GALLO, ENRIQUE (Participante)
  • ALVAREZ-CAMPANA FDEZ.-CORREDOR, MANUEL (Participante)
  • MARIN LOPEZ, ANDRES ISAAC (Investigador principal (IP))
  • LARRIVA NOVO, XAVIER ANDRES (Participante)
... Ver más Contraer

Ejecución: 22-12-2022 - 31-12-2025

Tipo: Nacional

  • iMarina

SecBluRed

  • Rodriguez Medina, Alfonso (Participante)
  • MUJICA ROJAS, GABRIEL NOE (Participante)
  • TORRE ARNANZ, EDUARDO DE LA (Participante)
  • WAUCQUEZ JIMENEZ, LUIS DONATIEN (Participante)
  • ALVAREZ-CAMPANA FDEZ.-CORREDOR, MANUEL (Investigador principal (IP))
  • MARIN LOPEZ, ANDRES ISAAC (Participante)
  • Villagrá González, Victor Abraham (Participante)
  • Berrocal Colmenarejo, Julio José (Participante)
  • OTERO MARNOTES, JOSE ANDRES (Participante)
  • PORTILLA BERRUECO, JORGE (Investigador principal (IP))
... Ver más Contraer

Ejecución: 22-12-2022 - 31-12-2025

Tipo: Nacional

  • iMarina

CC-DRIF: COMBAT CLOUD ¿ DYNAMIC RISK & INTELLIGENCE FRAMEWORK

  • ALVAREZ-CAMPANA FDEZ.-CORREDOR, MANUEL (Colaborador/a)
  • Berrocal Colmenarejo, Julio José (Colaborador/a)
  • Villagrá González, Victor Abraham (Investigador principal (IP))
  • SOLERA COTANILLA, SONIA (Colaborador/a)
  • SANCHEZ ZAS, CARMEN (Colaborador/a)
  • SANZ RODRIGO, MARIO (Colaborador/a)
  • LARRIVA NOVO, XAVIER ANDRES (Colaborador/a)
  • RIVERA PINTO, DIEGO (Colaborador/a)
  • MARIN LOPEZ, ANDRES ISAAC (Colaborador/a)
  • VAZQUEZ GALLO, ENRIQUE (Colaborador/a)
  • Moreno Novella, José Ignacio (Colaborador/a)
... Ver más Contraer

Ejecución: 01-10-2024 - 30-03-2026

Tipo: Interno

Importe financiado: 0,00 Euros.

  • iMarina

Este/a investigador/a no tiene tesis dirigidas.

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 16/02/25 21:50