Akim Demaille

According to our database, Akim Demaille authored at least 24 papers between 1995 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Derived-Term Automata of Multitape Expressions with Composition.

Akim Demaille

Sci. Ann. Comput. Sci., 2017

Derived-Term Automata of Weighted Rational Expressions with Quotient Operators.

Akim Demaille, Thibaud Michaud

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

2016

Runtime Template Instantiation for C++.

Akim Demaille

CoRR, 2016

Derived-Term Automata of Multitape Rational Expressions (Long version).

Akim Demaille

CoRR, 2016

Derived-Term Automata of Multitape Rational Expressions.

Akim Demaille

Proceedings of the Implementation and Application of Automata, 2016

Derived-Term Automata for Extended Weighted Rational Expressions.

Akim Demaille

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Type-Checking of Heterogeneous Sequences in Common Lisp.

Jim E. Newton, Akim Demaille, Didier Verna

Proceedings of the 9th European Lisp Symposium (ELS 2016), Kraków, Poland, May 9-10, 2016., 2016

2014

A Type System for Weighted Automata and Rational Expressions.

Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch

Proceedings of the Implementation and Application of Automata, 2014

2013

Implementation Concepts in Vaucanson 2.

Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch

Proceedings of the Implementation and Application of Automata, 2013

2010

Events! (Reactivity in urbiscript)

Jean-Christophe Baillie, Akim Demaille, Quentin Hocquet, Matthieu Nottale

CoRR, 2010

2009

TWEAST: a simple and effective technique to implement concrete-syntax AST rewriting using partial parsing.

Akim Demaille, Roland Levillain, Benoît Sigoure

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2008

Semantics Driven Disambiguation: A Comparison of Different Approaches.

Akim Demaille, Renaud Durlin, Nicolas Pierron, Benoît Sigoure

Proceedings of the 8th Workshop on Language Descriptions, Tools and Applications, 2008

A set of tools to teach compiler construction.

Akim Demaille, Roland Levillain, Benoît Perrot

Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2008

Towards the World-Wide Quantum Network.

Quoc-Cuong Le, Patrick Bellot, Akim Demaille

Proceedings of the Information Security Practice and Experience, 2008

An XML Format Proposal for the Description of Weighted Automata, Transducers and Regular Expressions.

Akim Demaille, Alexandre Duret-Lutz, Florian Lesaint, Sylvain Lombardy, Jacques Sakarovitch, Florent Terrones

Proceedings of the Finite-State Methods and Natural Language Processing, 2008

2007

Stochastic routing in large grid-shaped quantum networks.

Cuong Le Quoc, Patrick Bellot, Akim Demaille

Proceedings of the 2007 IEEE International Conference on Research, 2007

2006

C-Transformers: a framework to write C program transformations.

Alexandre Borghi, Valentin David, Akim Demaille

ACM Crossroads, 2006

Probabilistic verification of sensor networks.

Akim Demaille, Thomas Hérault, Sylvain Peyronnet

Proceedings of the 4th International Confernce on Computer Sciences: Research, 2006

Modeling of Sensor Networks Using XRM.

Akim Demaille, Sylvain Peyronnet, Benoît Sigoure

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

Making compiler construction projects relevant to core curriculums.

Akim Demaille

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

2001

Design Patterns for Generic Programming in C++.

Alexandre Duret-Lutz, Thierry Géraud, Akim Demaille

Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems, January 29, 2001

2000

A Framework to Dynamically Manage Distributed Virtual Environments.

Yoann Fabre, Guillaume Pitel, Laurent Soubrevilla, Emmanuel Marchand, Thierry Géraud, Akim Demaille

Proceedings of the Virtual Worlds, Second International Conference, 2000

An Asynchronous Architecture to Manage Communication, Display, and User Interaction in Distributed Virtual Environments.

Yoann Fabre, Guillaume Pitel, Laurent Soubrevilla, Emmanuel Marchand, Thierry Géraud, Akim Demaille

Proceedings of the 6th Eurographics Workshop on Virtual Environments, 2000

1995

Correctness of a distributed deadlock resolution algorithm for the single request model.

José Ramón González de Mendívil, Akim Demaille, José M. Bernabéu-Aubán, José Ramón Garitagoitia

Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), 1995