Skip to Main content Skip to Navigation

hal-01411848v1  Journal articles
Zeinab HmedehHarry KourdounakisVassilis ChristophidesCédric Du MouzaMichel Scholl et al.  Content-Based Publish/Subscribe System for Web Syndication
Journal of Computer Science and Technology, Springer Verlag, 2016, 31, pp.359 - 380. ⟨10.1007/s11390-016-1632-8⟩
hal-00763495v1  Conference papers
Frédéric BlanquiKim Quyen Ly. Automated verification of termination certificates
15th National Symposium of Selected ICT Problems, Dec 2012, Hanoi, Vietnam
hal-00776876v1  Conference papers
Thomas BraibantAdam Chlipala. Formal Verification of Hardware Synthesis
Computer Aided Verification - 25th International Conference, Jul 2013, Saint Petersburg, Russia. pp.213-228, ⟨10.1007/978-3-642-39799-8_14⟩
hal-01123697v1  Journal articles
Noga AlonHagit AttiyaShlomi DolevSwan DuboisMaria Potop-Butucaru et al.  Practically stabilizing SWMR atomic memory in message passing systems
Journal of Computer and System Sciences, Elsevier, 2015, 81 (4), pp.692-701. ⟨10.1016/j.jcss.2014.11.014⟩
hal-01390478v1  Journal articles
Tobias MarschallManja MarzThomas AbeelLouis DijkstraBas E. Dutilh et al.  Computational pan-genomics: status, promises and challenges
Briefings in Bioinformatics, Oxford University Press (OUP), 2018, 19 (1), pp.118-135. ⟨10.1093/bib/bbw089⟩
hal-01252135v1  Conference papers
Gilles DowekYing Jiang. Decidability, Introduction Rules and Automata
International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Bula, Fiji. ⟨10.1007/978-3-662-48899-7_8⟩
hal-00793610v1  Journal articles
Pierre-Yves OudeyerFrédéric KaplanVéréna Hafner. Intrinsic Motivation for Autonomous Mental Development
IEEE Transactions on Evolutionary Computation, Institute of Electrical and Electronics Engineers, 2007, 11 (2), pp.265-286. ⟨10.1109/TEVC.2006.890271⟩
inria-00392809v1  Conference papers
Valérie IssarnyBernhard SteffenBengt JonssonGordon BlairPaul Grace et al.  CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems
14th IEEE International Conference on Engineering of Complex Computer Systems, Jun 2009, Postdam, Germany. pp.154-161, ⟨10.1109/ICECCS.2009.44⟩
hal-00904144v1  Conference papers
Philippe JacquetDimitrios MiliorisWojciech Szpankowski. Classification of Markov Sources Through Joint String Complexity: Theory and Experiments
IEEE International Symposium on Information Theory, Jul 2013, Istanbul, Turkey
hal-00880345v1  Journal articles
Marc F LensinkAiain H. MoalPaul A. BatesPanagiotis L. KastritisAdrien S. J. Melquiond et al.  Blind prediction of interfacial water positions in CAPRI
Proteins - Structure, Function and Bioinformatics, Wiley, 2014, 82 (4), pp.620-632. ⟨10.1002/prot.24439⟩
hal-01411910v1  Poster communications
Vasilis EfthymiouKostas StefanidisVassilis Christophides. Minoan ER: Progressive Entity Resolution in the Web of Data
19th International Conference on Extending Database Technology, EDBT 2016, Mar 2016, Bordeaux, France. 2016, ⟨10.5441/002/edbt.2016.79⟩
hal-00966501v1  Journal articles
Philippe DumasHelger LipmaaJohan Wallén. Asymptotic behaviour of a non-commutative rational series with a nonnegative linear representation
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2007, 9 (1), pp.247--272
inria-00527981v1  Book sections
Elaine MurphyVincent DanosJérôme FeretJean KrivineRuss Harmer. Rule Based Modeling and Model Refinement
H. Lodhi and S. Muggleton. Elements of Computational Systems Biology, John Wiley & Sons, pp.83--114, 2010, Wiley Book Series on Bioinformatics, 978-0470180938. ⟨10.1002/9780470556757.ch4⟩
hal-00818204v1  Books
Pierre-Yves Oudeyer. Self-Organization in the Evolution of Speech
Oxford University Press, 6, pp.177, 2006, Studies in the Evolution of Language, 978-0-19-928915-8. ⟨10.1093/acprof:oso/9780199289158.001.0001⟩
hal-00919467v1  Preprints, Working Papers, ...
Gilles DowekYing Jiang. A Logical Approach to CTL
hal-01891762v1  Conference papers
William SchuellerVittorio LoretoPierre-Yves Oudeyer. Complexity Reduction in the Negotiation of New Lexical Conventions
40th Annual Conference of the Cognitive Science Society (CogSci 2018), Jul 2018, Madison, WI, United States
hal-02177676v1  Conference papers
Anthony BarnettJoppe BosWouter CastryckCarl BootlandLouis Goubin et al.  Processing Encrypted Data Using Homomorphic Encryption
Workshop on Data Mining with Secure Computation, 2017, skopje, Macedonia. ⟨10.5281/zenodo.2594694⟩
hal-01251194v1  Conference papers
Cezara DrăgoiThomas HenzingerDamien Zufferey. The Need for Language Support for Fault-tolerant Distributed Systems
Leibniz International Proceedings in Informatics (LIPIcs) , May 2015, Dagstuhl, Germany. pp.90-102, ⟨10.4230/LIPIcs.SNAPL.2015.90⟩
hal-01251199v1  Conference papers
Cezara DrăgoiThomas HenzingerDamien Zufferey. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
POPL '16 - 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2016, Saint Petersburg, Florida, United States. pp.400-415, ⟨10.1145/2837614.2837650⟩
hal-00717714v1  Conference papers
David BuchmanMark SchmidtShakir MohamedDavid PooleNando de Freitas. On Sparse, Spectral and Other Parameterizations of Binary Probabilistic Models
AISTATS 2012 - 15th International Conference on Artificial Intelligence and Statistics, Apr 2012, La Palma, Spain