Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
RESEARCHERS
RDI STRUCTURES
RESEARCH ACTIVITIES
INNOVATION
Investigador
Nikolaus Guyon Swoboda
Researcher Category
L.D. PRF.CONTR.DOCT. R.A. (I3)
Role
ADJUNTO A VICERRECTOR.
UPM Centre
E.T.S. DE INGENIEROS INFORMÁTICOS
Department:
INTELIGENCIA ARTIFICIAL (N)
Knowledge Area
CC. DE COMPUTACION E INTELIGENCIA ARTIFICIAL
Research Group:
Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
Email
nik.swoboda
upm.es
Phone
910672908
Research Reports
Proyectos de I+D+i y generación de recursos
19 Proyectos de I+D+i
1: (2007)
MERIT
2: (2007)
PROMESAS
3: (2008)
European Master Course in Computational Logic
4: (2008)
Promesas-CM:PROgrama en MEtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro de la Comunidad de Madrid
5: (2009)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
6: (2009)
PROGRAMA EN METODOS PARA EL DESARROLLO DE SOFTWARE FIABLE, DE ALTA CALIDAD Y SEGURO DE LA COMUN. DE MADRID
7: (2010)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
8: (2010)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
9: (2012)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
10: (2012)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
11: (2013)
DOVES (Development Of Verifiable and Efficient Software)
12: (2013)
PROMETIDOS: PROgrama de METodos rIgurosos de DesarrollO de Software de la Comunidad de Madrid
13: (2013)
STRONGSOFT: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
14: (2014)
DESARROLLO DE SOFTWARE VERIFICABLE Y EFICIENTE
15: (2014)
PROMETIDOS-CM: PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFTWARE- PARTE UPM-CLIP
16: (2014)
STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE
17: (2015)
NEXT-GENERATION ENERGY.EFFICIENT SECURE SOFTWARE (N-GRENNS SOFTWARE) CLIP
18: (2015)
StrongSoft-CLIP: StrongSoft-CLIP: Tecnologías rigurosas para software de nueva generación, abierto y fiable
19: (2016)
CLIP, Next-Generation Energy-Efficiennt Secure Software.
Difusión de Resultados de Investigación
8 Artículos en revistas
1: (2007)
Combining the Semantic Web with the Web as Background Knowledge for Ontology Mapping
2: (2007)
Graphical Language Games: Interactional constraints on representational form
3: (2010)
Can iterated learning explain the emergence of graphical symbols?
4: (2010)
The Interactive Evolution of Human Communication Systems
5: (2011)
Reasoning with coincidence grids-A sequent-based logic and an analysis of complexity
6: (2014)
An Example HyperVenn Proof
7: (2018)
How to Create Shared Symbols
8: (2018)
Universal Principles of Human Communication: Preliminary Evidence From a Cross-cultural Communication Game
10 Ponencia en Congresos
1: (2007)
A prototype body orientation based drawing system
2: (2007)
A Sequent Based Logic for Coincidence Grid
3: (2007)
ASAI'07, miembro del Comité de Programa
4: (2007)
ASAI'07, revisión de artículos
5: (2007)
IX Argentine Symposium on Artificial Intelligence, Miembro del Comité del Programa
6: (2007)
VL/HCC '07, miembro del Comité de Programa
7: (2007)
VL/HCC'07, revisión de artículos
8: (2009)
An Experimental Investigation of the Role of Collaboration in the Evolution of Communication Systems
9: (2011)
An Introduction to AI Course with Guide Robot Programming Assignments
10: (2012)
Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning
• TOMA DE DATOS DE MEMORIAS Y CV
• UPM.ES
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)
