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-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-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⟩
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-00781450v1  Conference papers
Bao ZhuoweiSarah Cohen-BoulakiaSusan DavidsonPierrick Girard. PDiffView: Viewing the Difference in Provenance of Workflow Results
VLDB- Very Large DataBase systems-2009, Serge Abiteboul and Tova Milo and Jignesh Patel and Philippe Rigaux, Aug 2009, Lyon, France. pp.1638-1641
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-00505795v1  Conference papers
Luca de FeoÉric Schost. Fast Arithmetics in Artin-Schreier Towers over Finite Fields
International Conference on Symbolic and Algebraic Computation, Jul 2009, South Korea. pp.127-134, ⟨10.1145/1576702.1576722⟩
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
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⟩
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⟩