Ver Investigador - - Prisma - Unidad de Bibliometría

David Fernandez Duque

Profesor Contratado Doctor

Investiga en

Tipo Año Título Fuente
Artículo2017 PREDICATIVITY THROUGH TRANSFINITE REFLECTION JOURNAL OF SYMBOLIC LOGIC
Artículo2015 A geometric protocol for cryptography with cards DESIGNS CODES AND CRYPTOGRAPHY
Artículo2015 Forgetting complex propositions Logic Journal of the IGPL
Artículo2013 A colouring protocol for the generalized Russian cards problem THEORETICAL COMPUTER SCIENCE
Artículo2012 A modal framework for modelling abductive reasoning Logic Journal of the IGPL
Artículo2012 A secure additive protocol for card players Australasian Journal of Combinatorics
Artículo2012 Tableaux for structural abduction Logic Journal of the IGPL
Ponencia2011 Secure communication of local states in interpreted systems INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE
Este investigador no ha dirigido/tutorizado tesis

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
15/03/2011 30/04/2016 Investigador/a Interpretaciones Alternativas de Lógicas no Clásicas (Ialnoc) (P10-HUM-5844) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/01/2012 31/12/2014 Investigador/a Conciencia, Lógica y Computación (FFI2011-29609-C02-01) Ministerio de Ciencia e Innovación (Nacional)
01/01/2011 31/12/2012 Investigador/a La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (AIB2010PT-00106) Ministerio de Ciencia e Innovación (Nacional)
01/10/2007 30/09/2010 Investigador/a Lógica y lenguaje: ambigüedad en el discurso y elaboración del contexto (HUM2007-65053) Ministerio de Educación y Ciencia (Nacional)
13/01/2009 13/01/2014 Investigador/a Lógica de Protocolos Incondicionalmente Seguros (P08-HUM-04159) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)

Ayudas

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
14/12/2012 13/12/2014 Investigador/a Epistemic protocol synthesis (STARTING GRANT) (FFI2011-15945-E) Ministerio de Ciencia e Innovación (Nacional)
El investigador no tiene ningún resultado de investigación asociado