Search results for "Alberto de la Encina"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio	A Parallel Skeleton for Genetic Algorithms.	IWANN	2011	DBLP DOI BibTeX RDF
1	F. Javier Crespo, Alberto de la Encina, Luis Llana	Fuzzy-Timed Automata.	FMOODS/FORTE	2010	DBLP DOI BibTeX RDF
1	Alberto de la Encina, Mercedes Hidalgo-Herrero, Natalia López	Formalizing Interchange Competences.	IJCINI	2009	DBLP DOI BibTeX RDF
1	Alberto de la Encina, Luis Llana, Fernando Rubio	A Debugging System Based on Natural Semantics.	J. UCS	2009	DBLP BibTeX RDF
1	Alberto de la Encina, Ricardo Peña-Marí	From natural semantics to C: A formal derivation of two STG machines.	J. Funct. Program.	2009	DBLP DOI BibTeX RDF
1	Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio	Applying Evolutionary Techniques to Debug Functional Programs.	IWANN	2009	DBLP DOI BibTeX RDF
1	Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio	Testing the Behaviour of Entities in a Cognitive Language.	IJCINI	2008	DBLP BibTeX RDF
1	Alberto de la Encina, Ismael Rodríguez, Fernando Rubio	A Debugger for Parallel Haskell Dialects.	ICA3PP	2008	DBLP DOI BibTeX RDF
1	Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero	Observing intermediate structures in a parallel lazy functional language.	PPDP	2007	DBLP DOI BibTeX RDF	parallel functional programming, semantics, debugging
1	Alberto de la Encina, Mercedes Hidalgo-Herrero, Natalia López	A Formal Environment for Describing Negotiation Capabilities.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
1	Alberto de la Encina, Luis Llana, Fernando Rubio	Introducing Debugging Capabilities to Natural Semantics.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	semantics, debugging, Functional programming
1	Alberto de la Encina, Mercedes Hidalgo-Herrero, Olga Marroquín Alonso	Platyhelminthes Are [Re]constructed Recursively.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
1	Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio	Testing Entities in a Parallel Cognitive Language.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
1	Alberto de la Encina, Luis Llana, Fernando Rubio	Formalizing the Debugging Process in Haskell.	ICTAC	2005	DBLP DOI BibTeX RDF
1	Alberto de la Encina, Ismael Rodríguez, Fernando Rubio	Testing Speculative Work in a Lazy/Eager Parallel Functional Language.	LCPC	2005	DBLP DOI BibTeX RDF
1	Alberto de la Encina, Ricardo Pena	Formally deriving an STG machine.	PPDP	2003	DBLP DOI BibTeX RDF	functional programming, operational semantics, abstract machines, compiler verification
1	Alberto de la Encina, Ricardo Pena	Proving the Correctness of the STG Machine.	IFL	2001	DBLP DOI BibTeX RDF

Publications of "Alberto de la Encina" ( http://dblp.L3S.de/Authors/Alberto_de_la_Encina )