Skip to Main content Skip to Navigation

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⟩
hal-01558647v2  Conference papers
Ouassim BaraMohammad OlamaSeddik DjouadiTeja KurugantiMichel Fliess et al.  Model-free load control for high penetration of solar photovoltaic generation
North American Power Symposium, NAPS 2017, Sep 2017, Morgantown, United States
hal-01675373v1  Journal articles
Beniamino AccattoliClaudio Sacerdoti Coen. On the Value of Variables
Information and Computation, Elsevier, 2017, 255, pp.224 - 242. ⟨10.1016/j.ic.2017.01.003⟩
hal-01637057v1  Journal articles
Tomáš MasopustMichaël Thomazo. On Boolean Combinations forming Piecewise Testable Languages
Theoretical Computer Science, Elsevier, 2017, 682
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-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
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-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-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-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-00413259v1  Conference papers
Nicolas BredecheEvert HaasdijkA.E. Eiben. On-line, On-board Evolution of Robot Controllers
Evolution Artificielle / Artificial Evolution, 2009, Strasbourg, France
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