100 años con Turing, 100 años de Informática

Revista Upm - 1/5/2012

• iMarina

20 years of ERCIM, Testimonials

Ercim News - 1/4/2012

• iMarina

A Coding Rule Conformance Checker Integrated into GCC

Electronic Notes In Theoretical Computer Science (p. 149-159) - 5/8/2009

10.1016/j.entcs.2009.07.065 Ver en origen

• ISSN 03044238

• iMarina
• iMarina

A Modula 2 Implementation of CSP

Acm Sigplan Notices (p. 25-38) - 1/6/1987

• iMarina

A real implementation for constructive negation

Lecture Notes In Computer Science (p. 496-497) - 1/12/2003

10.1007/978-3-540-24599-5_40 Ver en origen

• ISSN 03029743

• iMarina
• iMarina

ALAN TURING: EL HOMBRE QUE VIVÍA DEMASIADO

El Cultural. Diario El Mundo - 1/6/2012

• iMarina

CC-modula: A modula-2 tool to teach concurrent programming

Sigcse Bulletin (Association For Computing Machinery, Special Interest Group On Computer Science Education) (p. 19-25) - 1/9/1989

10.1145/70593.70598 Ver en origen

• ISSN 00978418

• iMarina

Constructive intensional negation

Lecture Notes In Computer Science (p. 39-54) - 1/1/2004

• ISSN 03029743

• iMarina

Declarative Reflection in Slam and its Applications as a pattern language

Electronic Notes On Theoretical Computer Science - 1/1/2003

• iMarina

Demand analysis with partial predicates

Theory And Practice Of Logic Programming (p. 153-182) - 1/1/2007

10.1017/s1471068406002882 Ver en origen

• ISSN 14710684

• iMarina

Diccionario Enciclopédico de Tecnología

1/1/1997

• iMarina

Estructuras de datos: realización en PASCAL

1/1/1987

• ISBN 8486251702

• iMarina

III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003

1/1/2003

• iMarina

ProDe'92 (Primer Congreso Nacional de Programación Declarativa)

1/1/1992

• iMarina

Una Introducción a la Programación Orientada a Objetos

1/1/1994

• iMarina

VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002)

1/1/2002

• ISBN 8468802069

• iMarina

Declarative Reflection and its Application as a Pattern Language

Primeras Jornadas Sobre Programación Y Lenguajes: (Prole 2001) : [Celebradas En] Almagro, [El] 23 Y 24 De Noviembre De 2001 (p. 179-198) - 1/1/2001

• iMarina

Declarative Reflection in SLAM-SL. Modelling and Reasoning on Design Patterns

Design Pattern Formalization Techniques (Editado Por Toufik Taibi) (p. 206-235) - 1/3/2007

• iMarina

From Executable Specifications to Java

Iii Jornadas De Programación Y Lenguajes (Prole'03): Actas, Alicante, Del 12 Al 14 De Noviembre De 2003 / Juan José Moreno Navarro (Ed. Lit.), Manuel Palomar Sanz (Ed. Lit.) - 1/1/2003

• iMarina

La investigación en Ingeniería Lingüística en España

Ciencia, Tecnología Y Lengua Española La Terminología Científica En Español / Coord. Por Reyes Sequera (p. 97-122) - 1/1/2004

• iMarina

Modeling and reasoning about design patterns in SLAM-SL

Design Pattern Formalization Techniques (p. 206-235) - 1/12/2007

10.4018/978-1-59904-219-0.ch010 Ver en origen

• iMarina

Programación lógica y programación funcional

Estudios Sobre Programación Lógica Y Sus Aplicaciones (p. 35-77) - 1/1/1996

• iMarina

Simulación de un procesador ARM para la enseñanza de Estructura de Computadores

Avances En Arquitectura Y Tecnología De Computadores: Actas De Jornadas Sarteco, Cáceres, 18 A 20 De Septiembre De 2019| (p. 235-240) - 1/1/2019

• iMarina

(+)100 años con Alan Turing

1/3/2016

• iMarina

100 años con Turing

1/11/2012

• iMarina

A Comparative Study of Some Programming Languages in Real-Time Applications

Computer Applications In Industry, I. Lefkowitz, M.F. Sakr (Editores) (p. 7-10) - 1/2/1988

• iMarina

A First Order Logic for Logic Programming

Mathematical Logic And Its Applications, Plenum Press, D.G. Skordev (Editor) (p. 303-314) - 1/9/1986

• iMarina

A Formal Definition of an Abstract Prolog Compiler

Workshops In Computer Sciences Series De Lecture Notes In Artificial Intelligence (p. 369-378) - 1/6/1993

• iMarina

A Friendly Interactive Tutorial of the Warren Abstract Machine

Gruppo Ricercatori E Utenti Di Logic Programming (Association For Logic Programming), 1991, P. Asirelli (Ed.) (p. 547-549) - 1/6/1991

• iMarina

A Model for Declarative Reflection with Application

1/1/2001

• iMarina

A Narrowing Based Operational Semantics of BABEL Programs

1/6/1988

• iMarina

A Scheme for Implementing Resilient Objects in Distributed Systems

Parallel Computing: From Theory To Sound Practice, W. Joosen, E. Milgrom (Editores) (p. 380-383) - 1/3/1992

Editor: I O S PRESS

• ISSN/ISBN 90-5199-080-4

• Dialnet
• iMarina

AND-parallel Implementation of Narrowing

Plilp'92, Lecture Notes In Computer Science 631, M. Bruynooghe, M. Wirsing (Eds.) (p. 24-38) - 1/8/1992

• iMarina

AMIGO

Ejecución: Desde 01-01-2000

• iMarina

APOYO EN LA CONFIGURACIÓN INICIAL DEL GRUPO ASOCIADO A LA KNOWLEDGE AND INNOVATION COMMUNITY (KIC) DE ICT LABS DEL EUROPEAN INSTITUTE OF TECHNOLOGY

Ejecución: 13-09-2013 - 31-12-2017

Tipo: Interno

• iMarina

Apside: Apoyo a la Plataforma Española en Software

Ejecución: 01-01-2005 - 31-12-2006

• iMarina

BABEL. Next Generation Energy Efficient Secure Software

Ejecución: 01-10-2014 - 31-12-2018

Tipo: Regional

Importe financiado: 101949,80 Euros.

• iMarina

BABEL: Diseño e Implementación de un lenguaje lógico-funcional concurrente

Ejecución: 01-01-1989 - 31-12-1991

• iMarina

COORDINACION Y ACTIVIDADES CONJUNTAS DEL GRUPO ASOCIADO ESPAÑOL DEL KIC: EIT DIGITAL

Ejecución: Desde 01-01-2015

• iMarina

Computador Multiprocesador

Ejecución: Desde 01-01-1994

• iMarina

Construction of Computational Logics, Working Group 6028

Ejecución: 01-01-1992 - 01-01-1994

• iMarina

DEFINICIÓN DE PRIORIDADES Y ESTRATEGIAS PARA EL FOMENTO DE LA INVESTIGACIÓN , DESARROLLO E INNOVACIÓN DE LAS TIC EN ECUADOR

Ejecución: 20-06-2013 - 01-04-2020

Tipo: Interno

• iMarina

DESAFIOS: Desarrollo de Software Fiable, distribuido y Seguro

Ejecución: 01-10-2006 - 30-09-2009

• iMarina

A Negation System for Prolog

1/6/2003

• iMarina

Operational Aspects of Full Reduction in Lambda Calculi

1/1/2014

• iMarina

Semantics and Analysis of Functional-logic Programs

1/5/2002

• iMarina

Semántica y Análisis de Programas Lógico-Funcionales.

1/1/2002

• iMarina

Un sistema de negación para PROLOG.

1/1/2003

• iMarina