Skip to Main content Skip to Navigation

inria-00424856v1  Journal articles
Gethin NormanCatuscia PalamidessiDavid ParkerPeng Wu. Model checking probabilistic and stochastic extensions of the $\pi$-calculus
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2009, 35 (2), pp.209--223
inria-00426609v2  Conference papers
Hugo LopezCarlos OlarteJorge Perez. Towards a Unified Framework for Declarative Structured Communications
2nd PLACES 2009 - Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Mar 2009, York, United Kingdom. 15p
inria-00369786v1  Journal articles
Chang-Shing LeeMei-Hui WangGuillaume ChaslotJean-Baptiste HoockArpad Rimmel et al.  The Computational Intelligence of MoGo Revealed in Taiwan's Computer Go Tournaments
IEEE Transactions on Computational Intelligence and AI in games, IEEE Computational Intelligence Society, 2009
inria-00426608v1  Conference papers
Moreno FalaschiCarlos OlarteCatuscia Palamidessi. A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs
PPDP 2009 - ACM SIGPLAN 11th Conference on Principles and practice of declarative programming, Sep 2009, Coimbra, Portugal. pp.207-218, ⟨10.1145/1599410.1599436⟩
hal-01392958v1  Journal articles
Alexander ChurkinMatan Drory RetwitzerVladimir ReinharzYann PontyJérôme Waldispühl et al.  Design of RNAs: comparing programs for inverse RNA folding.
Briefings in Bioinformatics, Oxford University Press (OUP), 2018, 19 (2), pp.350--358. ⟨10.1093/bib/bbw120⟩
inria-00413259v1  Conference papers
Nicolas BredecheEvert HaasdijkA.E. Eiben. On-line, On-board Evolution of Robot Controllers
Evolution Artificielle / Artificial Evolution, 2009, Strasbourg, France
hal-01535513v2  Journal articles
Elise BarelliPeter BeelenMrinmoy DattaVincent NeigerJohan Rosenkilde. Two-Point Codes for the Generalized GK Curve
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TIT.2017.2763165⟩
inria-00426610v1  Conference papers
Jesus ArandaGérard AssayagCarlos OlarteCamilo RuedaToro Mauricio et al.  An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems
ICLP 2009 - 25th International Conference on Logic Programming, Jul 2009, Pasadena, United States. pp.509-513, ⟨10.1007/978-3-642-02846-5⟩