Cuesta Quintero, Carlos Enrique carlos.cuesta@urjc.es
Actividades
- Artículos 32
- Libros 0
- Capítulos de libro 8
- Congresos 44
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 0
- Tesis dirigidas 4
- Patentes o licencias de software 0
UML Automatic Verification Tool with Formal Methods
- Beato, Ma Encarnacion
- Barrio-Solorzano, Manuel
- Cuesta, Carlos E.
- de la Fuente, Pablo;
Electronic Notes In Theoretical Computer Science (p. 3-16) - 21/4/2005
10.1016/j.entcs.2004.10.024 Ver en origen
- ISSN 15710661
An "abstract process" approach to algebraic dynamic architecture description
- Cuesta, CE
- de la Fuente, P
- Barrio-Solorzano, M
- Beato, ME;
Journal Of Logical And Algebraic Methods In Programming (p. 177-214) - 1/5/2005
10.1016/j.jlap.2004.05.003 Ver en origen
- ISSN 15678326
Coordination as an Architectural Aspect
- Cuesta, Carlos E.
- Romay, M. Pilar
- de la Fuente, Pablo
- Barrio-Solorzano, Manuel;
Electronic Notes In Theoretical Computer Science (p. 25-41) - 11/5/2006
10.1016/j.entcs.2005.12.031 Ver en origen
- ISSN 15710661
Special issue on software architecture - Towards the software engineering core - Guest editors' introduction
- Marcos, Esperanza
- Cuesta, Carlos E.
- Oquendo, Flavio;
International Journal Of Cooperative Information Systems (p. 333-340) - 1/12/2007
10.1142/s0218843007001731 Ver en origen
- ISSN 02188430
ECSA - 2007 First European Conference on Software Architecture
- Cuesta, Carlos E.
- Caceres, Paloma;
Ercim News (p. 59-59) - 1/1/2008
- ISSN 09264981
- iMarina
Enhancing literary electronic books with logical structure: electronic work
- Martinez-Prieto, Miguel A.
- de la Fuente, Pablo
- Vegas, Jesus M.
- Adiego, Joaquin
- Cuesta, Carlos E.;
Electronic Library (p. 490-504) - 1/1/2008
10.1108/02640470810893747 Ver en origen
- ISSN 02640473
Modelling of Service-Oriented Architectures with UML
- Lopez-Sanza, Marcos
- Acuna, Cesar J.
- Cuesta, Carlos E.
- Marcos, Esperanza;
Electronic Notes In Theoretical Computer Science (p. 23-37) - 12/4/2008
10.1016/j.entcs.2008.03.097 Ver en origen
- ISSN 15710661
ACM International Conference Proceeding Series: Foreword
- Babar MA
- Cuesta CE
Acm International Conference Proceeding Series (p. iii-iv) - 1/1/2010
- ISSN Dodero J.M.Ibarra Saiz M.S.Ruiz Rube I.
- iMarina
Foreword
- Venema, Koen;
Beneficial Microbes (p. 315-316) - 1/12/2010
10.3920/bm2010.x003 Ver en origen
- ISSN 18762883
Organisational structures in next-generation distributed systems: Towards a technology of agreement
- Billhardt, Holger
- Centeno, Roberto
- Cuesta, Carlos E.
- Fernandez, Alberto
- Hermoso, Ramon
- Ortiz, Ruben
- Ossowski, Sascha
- Santiago Perez-Sotelo, J.
- Vasirani, Matteo;
Multiagent And Grid Systems (p. 109-125) - 1/1/2011
10.3233/mgs-2011-0168 Ver en origen
- ISSN 15741702
- ISSN/ISBN 1574-1702
Este/a investigador/a no tiene libros.
Arquitectura de Software DInámica basada en Reflexión
- Carlos Enrique Cuesta Quintero
- Pablo de la Fuente Redondo
- Manuel Barrio Solórzano
- María Encarnación Beato Gutiérrez
Actas De Las V Jornadas De Ingeniería Del Software Y Bases De Datos: Jisbd 2000 (p. 203-216) - 1/1/2000
- iMarina
Clasificación y organización conceptual en ingeniería de software: dimensiones ontológica, metalingüística, subjetiva y evolutiva
- Pilar Romay Rodríguez
- Carlos Enrique Cuesta Quintero
- José Manuel Marqués Corral
Actas Del Iv Congreso De La Sociedad De Lógica, Metodología Y Filosofía De La Ciencia En España: Valladolid, 3-6 De Noviembre De 2004 (p. 548-552) - 1/1/2004
- iMarina
Modelos estructurales de aspectos para arquitectura de software
- Carlos E Cuesta
- María Pilar Romay Rodríguez
- Pablo de la Fuente Brun
- Manuel Barrio Solórzano
Actas De Las X Jornadas De Ingeniería Del Software Y Bases De Datos (p. 91-98) - 1/1/2005
- iMarina
Clasificación y Aspectos Ontoloógicos en Ingeniería de Software
- María Pilar Romay Rodríguez
- Carlos E Cuesta
- José Manuel Marqués Corral
Aspectos Filosóficos, Psicológicos Y Metodológicos De La Informática (p. 141-156) - 1/1/2005
- iMarina
Ágora: diseño de Sistemas Groupware sobre una Arquitectura centrada en Servicios Cooperativos
- Miguel Á Martínez Prieto
- Pablo Lucio de la Fuente Redondo
- Carlos E Cuesta
Actas De Las Xii Jornadas De Ingeniería Del Software Y Bases De Datos (p. 255-264) - 1/1/2007
- iMarina
Modelado de coreografías de servicios con UML 2.1
- Marcos López Sanz
- Carlos E Cuesta
- Esperanza Marcos Martínez
Actas De Las Iv Jornadas Científico-Técnicas En Servicios Web Y Soa: Jseweb 2008 : Sevilla 29 Y 30 De Octubre De 2008 (p. 1-14) - 1/1/2008
- iMarina
Adaptive agent organisations
- Argente E
- Billhardt H
- Cuesta CE
- Esparcia S
- Görmer J
- Hermoso R
- Kirikal K
- Lujak M
- Pérez Sotelo J-S
- Taveter K
Agreement Technologies (p. 321-353) - 1/1/2013
Banca 3.0, servicios inteligentes de valor añadido y salud financiera: la banca privada y personalizada para el cliente ya es posible. Sinergia entre inteligencia artificial, analítica de datos, big data y estadística
- Javier Porras Castaño
- Carlos Enrique Cuesta Quintero (dir)
Xviii Conferencia De La Asociación Española Para La Inteligencia Artificial (Caepia 2018): Avances En Inteligencia Artificial. 23-26 De Octubre De 2018 Granada, España (p. 1413-1418) - 1/1/2018
- iMarina
Towards an architecture for managing big semantic data in real-time
- Cuesta CE
- Martínez-Prieto MA
- Fernández JD
Lecture Notes In Computer Science (p. 45-53) - 1/1/2013
10.1007/978-3-642-39031-9_5 Ver en origen
- ISSN 03029743
Lifecycle of adaptive agreements: A pattern language
- Pérez-Sotelo JS
- Cuesta CE
- Billhardt H
- Ossowski S
Lecture Notes In Computer Science (p. 48-62) - 1/1/2013
10.1007/978-3-642-39860-5_5 Ver en origen
- ISSN 03029743
On self-Adaptation in systems-of-systems
- Romay, M.P.
- Cuesta, C.E.
- Fernández-Sanz, L.
1st ACM SIGSOFT/SIGPLAN International Workshop on Software Engineering for Systems-of-Systems, SESoS 2013 Proceedings (p. 29-34) - 1/1/2013
Editor: Association for Computing Machinery
10.1145/2489850.2489856 Ver en origen
- ISSN/ISBN 9781450320481
Towards Knowledge Modeling for Sustainable Transport
- Caceres, Paloma
- Cuesta, Carlos E.
- Cavero, Jose Maria
- Vela, Belen
- Sierra-Alonso, Almudena;
Lecture Notes In Computer Science (p. 271-287) - 1/1/2014
10.1007/978-3-319-05032-4_20 Ver en origen
- ISSN 03029743
A comparative analysis of linked data tools to support architectural knowledge
- Roda C
- Navarro E
- Cuesta CE
Information Systems Development: Transforming Organisations and Society Through Information Systems - Proceedings of the 23rd International Conference on Information Systems Development, ISD 2014 (p. 399-406) - 1/1/2014
- iMarina
Modeling Open Accessibility Data of Public Transport
- Caceres, Paloma
- Sierra-Alonso, Almudena
- Cuesta, Carlos E.
- Vela, Belen
- Maria Cavero, Jose;
Studies In Computational Intelligence (p. 229-236) - 1/1/2015
10.1007/978-3-319-10422-5_25 Ver en origen
- ISSN 1860949X
3rd International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015)
- Oquendo, Flavio
- Avgeriou, Paris
- Cuesta, Carlos E.
- Drira, Khalil
- Nakagawa, Elisa Yumi
- Maldonado, Jose Carlos
- Zisman, Andrea;
Proceedings - International Conference on Software Engineering (p. 1011-1012) - 1/1/2015
10.1109/icse.2015.327 Ver en origen
- ISSN 02705257
Foreword: Towards Reference Architectures for Systems-of-Systems
- Nakagawa, Elisa Yumi
- Oquendo, Flavio
- Avgeriou, Paris
- Cuesta, Carlos E.
- Drira, Khalil
- Maldonado, Jose Carlos
- Zisman, Andrea;
THIRD INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SYSTEMS-OF-SYSTEMS SESOS 2015 (p. 1-4) - 1/1/2015
Synergies of System-of-Systems and Microservices Architectures
- Cuesta, Carlos E.
- Navarro, Elena
- Zdun, Uwe;
SOFTWARE-INTENSIVE SYSTEMS-OF-SYSTEMS SYMPOSIUM (SISOS@ECSA) (p. 1-7) - 1/1/2016
Defining a NoSQL document database of accessible transport routes
- Vela, Belen
- Maria Cavero, Jose
- Caceres, Paloma
- Sierra, Almudena
- Cuesta, Carlos E.;
2017 IEEE INTERNATIONAL CONFERENCE ON INTERNET OF THINGS (ITHINGS) AND IEEE GREEN COMPUTING AND COMMUNICATIONS (GREENCOM) AND IEEE CYBER, PHYSICAL AND SOCIAL COMPUTING (CPSCOM) AND IEEE SMART DATA (SMARTDATA) (p. 1125-1129) - 1/1/2017
10.1109/ithings-greencom-cpscom-smartdata.2017.172 Ver en origen
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
Este/a investigador/a no tiene proyectos de investigación.
Verificación automática del comportamiento activo de uml usando métodos formales
- Manuel Barrio Solórzano (Director)
- Carlos Enrique Cuesta Quintero (Director) Doctorando: María Encarnación Beato Gutiérrez
1/1/2004
- iMarina
Archimedes: a service-oriented framework for model-driven development of software architectures
- Esperanza Marcos Martínez (Director)
- Carlos Enrique Cuesta Quintero (Director) Doctorando: Marcos López Sanz
1/1/2011
- iMarina
Diseño de Comportamiento Emergente en Arquitecturas Adaptativas con Tecnologías del Acuerdo
- Ossowski, Dirk Sascha (Autor o Coautor)
- Carlos Enrique Cuesta Quintero (Director)
- Sascha Ossowski (Director) Doctorando: José Santiago Pérez Sotelo
1/1/2016
- iMarina
Este/a investigador/a no tiene patentes o licencias de software.
Grupos de investigación
Perfiles de investigador/a
-
ORCID
-
Scopus Author ID
-
Dialnet id