 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-00424722v1
Pré-publication, Document de travail
Jacques Demongeot, Mathilde Noual, Sylvain Sené. On the number of attractors of Boolean automata circuits 2009 |
||
|
hal-00926098v1
Communication dans un congrès
Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon. Optimal Constructions for Active Diagnosis 33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), Dec 2013, Guwahati, India. pp.527-539, 2013, Leibniz International Proceedings in Informatics |
||
|
hal-00713368v2
Pré-publication, Document de travail
Nicolas Brunel, Quentin Clairon, Florence D'Alché-Buc. Parametric Estimation of Ordinary Differential Equations with Orthogonality Conditions 2013 |
||
|
hal-00780707v1
Communication dans un congrès
Blandine Romain, Véronique Letort, Olivier Lucidarme, Florence D'Alché-Buc, Laurence Rouet. Registration of free-breathing abdominal 3D contrast-enhanced CT H. Yoshida, D. Hawkes, M. W. Vannier. 4th International Workshop on Abdominal Imaging. Computational and Clinical Applications, Held in Conjunction with MICCAI 2012, Oct 2012, Nice, France. Springer Berlin Heidelberg, 7601, pp.274-282, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-33612-6_29> |
||
|
hal-00833312v1
Communication dans un congrès
Céline Brouard, Julie Dubois, Christel Vrain, David Castel, Marie-Anne Debily et al. Markov Logic Network for supervised gene regulation inference: application to the ID2 regulatory network in human keratinocytes International Workshop on Machine Learning in Systems Biology, Sep 2012, Bâle, Switzerland |
||
|
hal-01334219v1
Communication dans un congrès
Giorgio Lucarelli, Nguyen Kim Thang, Abhinav Srivastav, Denis Trystram. Online Non-preemptive Scheduling in a Resource Augmentation Model based on Duality European Symposium on Algorithms (ESA 2016), Aug 2016, Aarhus, Denmark. LIPIcs, 57 (63), pp.1-17, <10.4230/LIPIcs.ESA.2016.63> |
||
|
hal-00382514v2
Pré-publication, Document de travail
Franck Delaplace, Pierre Lescanne. HedN Game, a Relational Framework for Network Based Cooperation 2009 |
||
|
hal-00270574v1
Chapitre d'ouvrage
Marie-Claude Gaudel, Pascale Le Gall. Testing data types implementations from algebraic specifications R. Hierons, J. Bowen, and M. Harman. Formal Methods and Testing, Springer-Verlag, pp.209--239, 2008, Lecture Notes in Computer Science, <10.1007/978-3-540-78917-8_7> |
||
|
hal-00340482v1
Communication dans un congrès
Carlos Canal, Juan Manuel Murillo, Pascal Poizat. Practical Approaches for Software Adaptation. 21st European Conference on Object-Oriented Programming (ECOOP 2007), Jul 2007, Berlin, Germany. 4906, pp.154--165, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-78195-0_15> |
||
|
hal-00340492v1
Communication dans un congrès
Thomas Moncion, Guillaume Hutzler, Patrick Amar. Verification of Biochemical Agent-Based Models Using Petri Nets International Symposium on Agent Based Modeling and Simulation (ABModSim 2006), 2006, Vianna, Austria. pp.695--700, 2006 |
||
|
hal-00340493v1
Communication dans un congrès
Thomas Moncion, Guillaume Hutzler, Patrick Amar. Validation of an Agent Based System Using Petri Nets Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, 2005, Netherlands. pp.1365--1366, 2005, <10.1145/1082473.1082775> |
||
|
hal-00340461v1
Communication dans un congrès
Julien Cohen. Interprétation par SK-traduction et syntaxe abstraite d'ordre supérieur Journées Francophones des Langages Applicatifs (JFLA 2005), Mar 2005, Obernai, France. pp.17--34, 2005 |
||
|
hal-00340462v1
Communication dans un congrès
Thomas Moncion, Guillaume Hutzler, Patrick Amar. Validation d'une simulation à base d'agents par l'utilisation d'un réseau de Petri Systèmes multi-agents vers la conception de systèmes artificiels socio-mimétiques (JFSMA 2005), 2005, France. pp.187--190, 2005 |
||
|
hal-00340491v1
Communication dans un congrès
Olivier Michel, Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto. Challenging Questions for the Rationals of Non-Classical Programming Languages The Grand Challenge in Non-Classical Computation, 2005, The King's Manor, York, United Kingdom. pp.93--103, 2005 |
||
|
hal-00340484v1
Communication dans un congrès
Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat. Verification and Adaptation of WF/.NET Components Proceedings of the Workshop on Formal Aspects of Component Software (FACS 07), 2008, France. 215, pp.39--55, 2008 |
||
|
hal-00340469v1
Communication dans un congrès
Thomas Moncion, Guillaume Hutzler, Patrick Amar. Detection of emergent phenomena in multi-agent systems Proceedings of the Evry Spring School on Modelling Complex Biological Systems in the Context of Genomics, 2007, Evry, France |
||
|
hal-00341373v1
Article dans une revue
Ralf Klasing, Christian Laforest, Joseph G. Peters, Nicolas Thibault. Constructing Incremental Sequences in Graphs Algorithmic Operations Research, Preeminent Academic Facets, 2006, 1 (2), pp.1--7 |
||
|
hal-00341377v1
Article dans une revue
Malek Rahoual, Hakim Mabed, Clarisse Dhaenens, El-Ghazali Talbi. A comparative Study of different optimization techniques for a bi-criteria Flow shop Problem Journal Combinatorial Mathematics and Combinatorial Computing JCMCC, 2005, pp.n.a |
||
|
hal-00342000v1
Communication dans un congrès
Lélia Blin, Pierre Fraigniaud, Nicolas Nisse, Sandrine Vial. Distributed Chasing of Network Intruders by Mobile Agents Proceedings of the 13th Colloquium on Structural Information and Communication Complexity (SIROCCO 2006), 2006, United Kingdom. 4056, pp.70--84, 2006, Lecture Notes in Computer Science. <10.1007/11780823_7> |
||
|
hal-00342016v1
Communication dans un congrès
Carlos Canal, Pascal Poizat, Gwen Salaün. Adaptation de composants logiciels. Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation Première Conférence Francophone sur les Architectures Logicielles (CAL 2006), Sep 2006, Nantes, France. (elec. proc.), 2006 |
||
|
hal-00341998v1
Communication dans un congrès
Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat et al. Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation ECOOP 2006 Workshop Reader, 2007, Nantes, France. 4379, pp.72--86, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-71774-4_9> |
||
|
hal-00342001v1
Communication dans un congrès
Lélia Blin, Pierre Fraigniaud, Nicolas Nisse, Sandrine Vial. Encerclement réparti d'un fugitif dans un réseau par des agents mobiles Actes des Rencontres Francophones sur les aspects Algorithmiques des Télécommunications (AlgoTel), 2006, France. pp.89--92, 2006 |
||
|
hal-00342017v1
Communication dans un congrès
Carlos Canal, Pascal Poizat, Gwen Salaün. Synchronizing Behavioural Mismatch in Software Composition Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2006, Bologna, Italy. 4037, pp.63--77, 2006, Lecture Notes in Computer Science. <10.1007/11768869_7> |
||
|
hal-00341963v1
Autre publication
Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre. Testing from algebraic specifications: test data set selection by unfolding axioms Testing from algebraic specifications: test data set selection by unfolding axioms. 2005 |
||
|
hal-00341964v1
Communication dans un congrès
Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre. Testing from algebraic specifications: test data set selection by unfolding axioms Proceedings of the 5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), 2005, United Kingdom. 3997, pp.203--217, 2005, Lecture Notes in Computer Science. <10.1007/11759744_14> |
||
|
hal-00342159v1
Autre publication
Pascal Poizat, Jean-Claude Royer, Gwen Salaün. Symbolic Bounded Analysis for Component Behavioural Protocols Symbolic Bounded Analysis for Component Behavioural Protocols. 2005 |
||
|
hal-00342152v1
Communication dans un congrès
Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer. Java Implementation of a Component Model with Explicit Symbolic Protocols Software Composition (SC), 2005, Edinburgh, United Kingdom. 3628, pp.115--124, 2005, Lecture Notes in Computer Science |
||
|
hal-00342158v1
Communication dans un congrès
Pascal Poizat, Jean-Claude Royer, Gwen Salaün. Bounded Analysis and Decomposition for Behavioural Descriptions of Components Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 2006, Italy. 4037, pp.33--47, 2006, Lecture Notes in Computer Science. <10.1007/11768869_5> |
||
|
hal-00342148v1
Communication dans un congrès
Radu Mateescu, Pascal Poizat, Gwen Salaün. Behavioral Adaptation of Component Compositions based on Process Algebra Encodings Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 07), 2007, Atlanta, United States. pp.385--388, 2007, <10.1145/1321631.1321690> |
||
|
hal-00342153v1
Autre publication
Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer. A Formal Component Model with Explicit Symbolic Protocols and its Implementation in Java A Formal Component Model with Explicit Symbolic Protocols and its Implementation in Java. 2005 |
||
|
|
||