Skip to Main content Skip to Navigation

hal-01337712v1  Journal articles
Beniamino AccattoliUgo Dal Lago. (Leftmost-outermost) beta reduction is invariant, indeed
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, ⟨10.2168/LMCS-12(1:4)2016⟩
hal-00748029v1  Conference papers
Johannes StarlingerSarah Cohen-BoulakiaUlf Leser. (Re)Use in Public Scientific Workflow Repositories
Scientific and Statistical Database Management - 24th International Conference, SSDBM 2012, Jun 2012, Chania, Greece. pp.361-378
hal-01300727v1  Conference papers
Joost RenesPeter SchwabeBenjamin SmithLejla Batina. $\mu$Kummer: efficient hyperelliptic signatures and key exchange on microcontrollers
Cryptographic Hardware and Embedded Systems – CHES 2016, IACR, Aug 2016, Santa Barbara, United States. pp.20, ⟨10.1007/978-3-662-53140-2_15⟩
inria-00090631v1  Conference papers
Olivier DevillersAbdelkrim MebarkiLuca Castelli Aleardi. 2D Triangulation Representation Using Stable Catalogs
Proc. 18th Canadian Conference on Computational Geometry, Aug 2006, Kingston, Canada, France
hal-01615598v1  Directions of work or proceedings
Dale Miller. 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)
Dale Miller. FSCD 2017 - 2nd International Conference on Formal Structures for Computation and Deduction , Sep 2017, Oxford, United Kingdom. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2017, 978-3-95977-047-7
inria-00000846v1  Directions of work or proceedings
Marc SchoenauerPierre LiardetPierre ColletEvelyne LuttonCyril Fonlupt. 6th International Conference, Evolution Artificielle, EA 2003
Pierre Liardet and Pierre Collet and Cyril Fonlupt and Evelyne Lutton and Marc Schoenauer. 2936 (2936), SPRINGER, pp.409, 2003, LNCS
hal-01006382v2  Conference papers
Luis Fernando Pino DuqueFilippo BonchiFrank D. Valencia. A Behavioral Congruence for Concurrent Constraint Programming with Non-deterministic Choice
ICTAC 2014 - 11th International Colloquium on Theoretical Aspects of Computing, Sep 2014, Bucarest, Romania. pp.351-368, ⟨10.1007/978-3-319-10882-7_21⟩
hal-00175627v1  Conference papers
Cyril FurtlehnerJean-Marc LasgouttesArnaud de la Fortelle. A Belief Propagation Approach to Traffic Prediction using Probe Vehicles
10th International IEEE Conference on Intelligent Transportation Systems, Sep 2007, Seattle, United States. pp. 1022-1027
hal-01261955v1  Conference papers
Paul-André MellièsNoam Zeilberger. A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
IEEE/ACM Logic in Computer Science (LICS) 2016, Jun 2016, New York, United States
inria-00100860v1  Conference papers
Dominique PoulalhonGilles Schaeffer. A bijection for loopless triangulations of a polygon with interior points
International Conference on Formal Power Series and Algebraic Combinatorics - FPSAC'02, Foda, O. and Guttmann, T., Jul 2002, Melbourne, Australie, France. 12 p
hal-00854426v1  Conference papers
Mahfuza FarooqueStéphane Graham-LengrandAssia Mahboubi. A bisimulation between DPLL(T) and a proof-search strategy for the focused sequent calculus
LFMTP - International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - 2013, Sep 2013, Boston, United States. ⟨10.1145/2503887.2503892⟩
inria-00165997v1  Conference papers
Lutz Straßburger. A Characterisation of Medial as Rewriting Rule
RTA 2007, Jun 2007, Paris, France
inria-00601060v1  Conference papers
Yann PontyCédric Saule. A Combinatorial Framework for Designing (Pseudoknotted) RNA Algorithms
WABI - 11th Workshop on Algorithms in Bioinformatics - 2011, 2011, Saarbrucken, Germany
hal-00987578v2  Journal articles
Thomas Given-WilsonDaniele GorlaBarry Jay. A Concurrent Pattern Calculus
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (3), pp.1-46. ⟨10.2168/LMCS-10(3:10)2014⟩
inria-00201085v1  Conference papers
Axelle ZieglerDale MillerCatuscia Palamidessi. A Congruence Format for Name-passing Calculi
2nd Workshop on Structural Operational Semantics (SOS'05), Jul 2005, Lisboa, Portugal. pp.169-189, ⟨10.1016/j.entcs.2005.09.032⟩
hal-00632257v4  Journal articles
Alain CouvreurNicolas DelfosseGilles Zémor. A construction of quantum LDPC codes from Cayley graphs
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2013, 59 (9), pp.6087-6098. ⟨10.1109/TIT.2013.2261116⟩
hal-01722666v1  Conference papers
Sylvie CazalensPhilippe LamarreJulien LeblayIoana ManolescuXavier Tannier. A Content Management Perspective on Fact-Checking
The Web Conference 2018 - alternate paper tracks "Journalism, Misinformation and Fact Checking", Apr 2018, Lyon, France. pp.565-574
inria-00266485v1  Conference papers
Lotfi BelkouraJean-Pierre RichardMichel Fliess. A convolution approach for delay systems identification
17th IFAC World Congress, 2008, Séoul, South Korea
inria-00001035v1  Conference papers
Julien Narboux. A Decision Procedure for Geometry in Coq
Theorem Proving in Higher Order Logics 2004, Jul 2004, Park City, USA, United States. pp.225-240, ⟨10.1007/b100400⟩
inria-00201148v1  Conference papers
Hugo A. LópezCatuscia PalamidessiJorge Andrés PérezCamilo RuedaFrank Valencia. A Declarative Framework for Security: Secure Concurrent Constraint Programming
22nd International Conference on logic Programming (ICLP), Sandro Etalle and Miroslaw Truszczynski, Aug 2006, Seattle, United States. pp.449-450, ⟨10.1007/11799573_43⟩
inria-00426607v1  Conference papers
Carlos OlarteCamilo Rueda. A Declarative Language for Dynamic Multimedia Interaction Systems
MCM 2009 - Second International Conference of the Society for Mathematics and Computation in Music, Jun 2009, New Haven, United States. ⟨10.1007/978-3-642-02394-1_20⟩