Classement effectué par Type de publication / Date de publication / ordre alphabétique Premier auteur

Journal articles International audience

Alexandra Audemard-Verger, Evangeline Pillebout, Agnès Jamin, Laureline Berthelot, Cédric Aufray, Bruno Martin, Aurélie Sannier, Eric Daugas, Julie Déchanet-Merville, Yolande Richard, Renato Monteiro, Bruno Lucas
Recruitment of CXCR3+ T cells into injured tissues in adult IgA vasculitis patients correlates with disease activity.
Journal of Autoimmunity, Elsevier, 2019, 99, pp.73-80. ⟨10.1016/j.jaut.2019.01.012⟩, hal-02407141

Philippe Collard
Strong and weak spatial segregation with multilevel discrimination criteria.
Complex Systems , Complex Systems Publications, Inc., 2019, hal-02175498

Philippe Collard
lambdaCA: a Peer Learning Cellular Automaton.
Journal of Cellular Automata, Old City Publishing, 2019, 14 (3-4), pp.263-288, hal-02175508

Elisabetta de Maria, Cinzia Di Giusto, Laetitia Laversa
Spiking neural networks modelled as timed automata: with parameter learning.
Natural Computing, Springer Verlag, 2019, hal-02003126

Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio Porreca
Complexity of the dynamics of reaction systems.
Information and Computation, Elsevier, 2019, ⟨10.1016/j.ic.2019.03.006⟩, hal-02123610

Paolo Grazieschi, Marta Leocata, Cyrille Mascart, Julien Chevallier, François Delarue, Etienne Tanré
Network of interacting neurons with random synaptic weights.
ESAIM: Proceedings and Surveys, EDP Sciences, 2019, CEMRACS 2017 - Numerical methods for stochastic models: control, uncertainty quantification, mean-field, 65, pp.445-475. ⟨10.1051/proc/201965445⟩, hal-01928990

Guillaume Perez, Michel Barlaud, Lionel Fillatre, Jean-Charles Régin
A filtered bucket-clustering method for projection onto the simplex and the $$\ell _1$$ ℓ 1 ball.
Mathematical Programming, Springer Verlag, 2019, ⟨10.1007/s10107-019-01401-3⟩, hal-02131738

Adrien Richard
Positive and negative cycles in Boolean networks.
Journal of Theoretical Biology, Elsevier, 2019, 463, pp.67-76. ⟨10.1016/j.jtbi.2018.11.028⟩, hal-02403956

Adrien Richard
Nilpotent dynamics on signed interaction graphs and weak converses of Thomas' rules.
Discrete Applied Mathematics, Elsevier, 2019, 267, pp.160-175. ⟨10.1016/j.dam.2019.04.025⟩, hal-02403960

Manuel Clergue, Sébastien Verel, Enrico Formenti
An Iterated Local Search to find many solutions of the 6-states Firing Squad Synchronization Problem.
Applied Soft Computing, Elsevier, 2018, 66, pp.449-461. ⟨10.1016/j.asoc.2018.01.026⟩, hal-01738330

Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel, Antoine Spicher
Activity Networks with Delays an Application to Toxicity Analysis.
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2018, 160 (1-2), pp.119 --142. ⟨10.3233/FI-2018-1677⟩, hal-01783917

Enrico Formenti, Sébastien Autran
More Decision Algorithms for Global Properties of 1D Cellular Automata.
Journal of Cellular Automata, Old City Publishing, 2018, hal-01977656

Enrico Formenti, Kévin Perrot, Eric Rémila
Computational complexity of the avalanche problem for one dimensional decreasing sandpiles.
Journal of Cellular Automata, Old City Publishing, 2018, 13 (3), pp. 215-228, halshs-01417248

Adrien Richard
Fixed points and connections between positive and negative cycles in Boolean networks.
Discrete Applied Mathematics, Elsevier, 2018, hal-01804329

Julio Aracena, Adrien Richard, Lilian Salinas
Fixed points in conjunctive networks and maximal independent sets in graph contractions.
Journal of Computer and System Sciences, Elsevier, 2017, 88, pp.145-163. ⟨10.1016/j.jcss.2017.03.016⟩, hal-01630474

Julio Aracena, Adrien Richard, Lilian Salinas
Number of Fixed Points and Disjoint Cycles in Monotone Boolean Networks.
SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2017, 31 (3), pp.1702 - 1725. ⟨10.1137/16M1060868⟩, hal-01630477

Philippe Collard
The “Two’s Company, Three’s a Crowd” Game.
Complex Systems, Complex Systems Publications, 2017, 26 (3), hal-01716804

Enrico Formenti, Paolo Massazza
From Tetris to polyominoes generation.
Electronic Notes in Discrete Mathematics, Elsevier, 2017, 59, pp.79 - 98. ⟨10.1016/j.endm.2017.05.007⟩, hal-01753994

Enrico Formenti, Alberto Dennunzio, Luca Manzoni, Giancarlo Mauri, Antonio Porreca
Computational complexity of finite asynchronous cellular automata.
Theoretical Computer Science, Elsevier, 2017, 664, pp.131 - 143. ⟨10.1016/j.tcs.2015.12.003⟩, hal-01754002

Enrico Formenti, Luca Mariot, Alberto Leporati, Alberto Dennunzio
Computing the periods of preimages in surjective cellular automata.
Natural Computing, Springer Verlag, 2017, 16 (3), pp.367 - 381. ⟨10.1007/s11047-016-9586-x⟩, hal-01753996

Sandrine Julia, Arnaud Malapert, Julien Provillard
A Synergic Approach to the Minimal Uncompletable Words Problem.
Journal of Automata, Languages and Combinatorics, 2017, 22 (4), pp.271-286. ⟨10.25596/jalc-2017-271⟩, hal-01665399

Philippe Collard, Teodor Ghetiu
Segregation Landscape: A New View on the Schelling Segregation Space.
Complex Systems, Complex Systems Publications, 2016, 25 (3), pp.169 - 193. ⟨10.25088/ComplexSystems.25.3.169⟩, hal-01716809

Cinzia Di Giusto, Jorge A. Pérez
Event-based run-time adaptation in communication-centric systems.
Formal Aspects of Computing, Springer Verlag, 2016, ⟨10.1007/s00165-016-0377-z⟩, hal-01320789

Maximilien Gadouleau, Adrien Richard
Simple dynamics on graphs.
Theoretical Computer Science, Elsevier, 2016, 628, pp.62-77. ⟨10.1016/j.tcs.2016.03.013⟩, hal-01298053

Maximilien Gadouleau, Adrien Richard, Eric Fanchon
Reduction and Fixed Points of Boolean Networks and Linear Network Coding Solvability.
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2016, 62 (5), pp.2504-2519. ⟨10.1109/TIT.2016.2544344⟩, hal-01318072

Anthony Palmieri, Jean-Charles Régin, Pierre Schaus
Parallel Strategies Selection.
CoRR, 2016, abs/1604.06484, hal-02133495

Olivier Ponsini, Claude Michel, Michel Rueher
Verifying floating-point programs with constraint programming and abstract interpretation techniques.
Automated Software Engineering, Springer Verlag, 2016, ⟨10.1007/s10515-014-0154-2⟩, hal-00860681

Jonathan Behaegel, Jean-Paul Comet, Gilles Bernot, Emilien Cornillon, Franck Delaunay
A hybrid model of cell cycle in mammals..
Journal of Bioinformatics and Computational Biology, World Scientific Publishing, 2015, pp.1640001, hal-01255242

Jean-Marc Fedou, Gabriele Fici
Vertical Representation of C∞-words.
Theoretical Computer Science, Elsevier, 2015, 565, hal-01318802

Jean-Marc Fédou, Maria João Torres Dolores Rendas
Extending Morris Method: identification of the interaction graph using cycle-equitabe designs.
Journal of Statistical Computation and Simulation, Taylor & Francis, 2015, 85 (7), pp. 1281-1282. ⟨10.1080/00949655.2015.1008226⟩, hal-01318096

Maximilien Gadouleau, Adrien Richard, Søren Riis
Fixed Points of Boolean Networks, Guessing Graphs, and Coding Theory.
SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2015, ⟨10.1137/140988358⟩, hal-01298045

Adrien Richard
Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks.
Theoretical Computer Science, Elsevier, 2015, 583, pp.1-26, hal-01298012

J Aracena, Adrien Richard, L Salinas
Maximum number of fixed points in AND–OR–NOT networks.
Journal of Computer and System Sciences, Elsevier, 2014, ⟨10.1016/j.jcss.2014.04.025⟩, hal-01298835

Sébastien Laurent, Adrien Richard, Odile Mulner-Lorillon, Julia Morales, Didier Flament, Virginie Glippa, Jérémie Bourdon, Pauline Gosselin, Anne Siegel, Patrick Cormier, Robert Bellé
Modelization of the regulation of protein synthesis following fertilization in sea urchin shows requirement of two processes: a destabilization of eIF4E:4E-BP complex and a great stimulation of the 4E-BP-degradation mechanism, both rapamycin-sensitive.
Frontiers in Genetics, Frontiers, 2014, 5, pp.117. ⟨10.3389/fgene.2014.00117 ⟩, hal-01079758

François Queyroi, Maylis Delest, Jean-Marc Fédou, Guy Melançon
Assessing the Quality of Multilevel Graph Clustering.
Data Mining and Knowledge Discovery, Springer, 2014, 28 (4), pp.1107-1128. ⟨10.1007/s10618-013-0335-9⟩, hal-00579474

Philippe Collard, Salma Mesmoudi, Teodor Ghetiu, Fiona Polack
Emergence of Frontiers in networked Schelling segregationist models.
Complex Systems, Complex Systems Publications, 2013, 22 (1), pp.35-59, hal-01284623

Jean-Paul Comet, Mathilde Noual, Adrien Richard, J. Aracena, Laurence Calzone, Jacques Demongeot, Marcelle Kaufman, Aurélien Naldi, El Houssine Snoussi, Denis Thieffry
On circuit functionality in Boolean networks.
Bulletin of Mathematical Biology, Springer Verlag, 2013, 75 (6), pp.906-919. ⟨10.1007/s11538-013-9829-2⟩, hal-01242396

Gabriele Fici, Luca Q. Zamboni
On the least number of palindromes contained in an infinite word.
Theoretical Computer Science, Elsevier, 2013, 481, pp.1--8, hal-00865188

Cécile Garchery, Noé Gest, Phuc Thi Do, Moftah Alhagdow, Pierre Baldet, Guillaume Menard, Christophe Rothan, Capucine Massot, Helene Gautier, Jawad Aarrouf, Alisdair R. Fernie, Rebecca Stevens
A diminution in ascorbate oxidase activity affects carbon allocation and improves yield in tomato under water deficit.
Plant, Cell and Environment, Wiley, 2013, 36 (1), pp.159-175 ⟨10.1111/j.1365-3040.2012.02564.x⟩, hal-01332344

Jérémie Humeau, Arnaud Liefooghe, El-Ghazali Talbi, Sébastien Verel
ParadisEO-MO: From Fitness Landscape Analysis to Efficient Local Search Algorithms.
Journal of Heuristics, Springer Verlag, 2013, 19 (6), pp.881-915. ⟨10.1007/s10732-013-9228-8⟩, hal-00832029

Bruno Martin
On Goles’ universal machines: A computational point of view.
Theoretical Computer Science, Elsevier, 2013, Discrete Mathematical Structures: From Dynamics to Complexity, 504, pp.83-88. ⟨10.1016/j.tcs.2013.04.024⟩, hal-01217199

Kévin Perrot, Éric Rémila
Kadanoff Sand Pile Model, Avalanche Structure and Wave Shape.
Theoretical Computer Science, Elsevier, 2013, 504, pp.52-72, halshs-00949239

Adrien Richard, Paul Ruet
From kernels in directed graphs to fixed points and negative cycles in Boolean networks.
Discrete Applied Mathematics, Elsevier, 2013, 161 (7-8), pp.1106-1117. ⟨10.1016/j.dam.2012.10.022⟩, hal-01298841

Sébastien Verel, Arnaud Liefooghe, Laetitia Jourdan, Clarisse Dhaenens
On the structure of multiobjective combinatorial search space: MNK-landscapes with correlated objectives.
European Journal of Operational Research, Elsevier, 2013, 227 (2), pp.331-342. ⟨10.1016/j.ejor.2012.12.019⟩, hal-00760097

Ignacio Araya, Bertrand Neveu, Gilles Trombettoni
An Interval Extension Based on Occurrence Grouping.
Computing, Springer Verlag, 2012, 94 (2), pp.173-188, hal-00733855

Pascal Benchimol, Willem-Jan van Hoeve, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher
Improved filtering for weighted circuit constraints.
Constraints, Springer Verlag, 2012, 17 (3), pp.205 - 233. ⟨10.1007/s10601-012-9119-x⟩, hal-01099501

Pascal Benchimol, Willem-Jan van Hoeve, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher
Improved filtering for weighted circuit constraints.
Constraints, Springer Verlag, 2012, 17 (3), pp.205--233. ⟨10.1007/s10601-012-9119-x⟩, hal-01344070

Jean-Marc Champarnaud, Jean-Philippe Dubernard, Franck Guingne, Hadrien Jeanne
Geometrical regular languages and linear Diophantine equations: The strongly connected case.
Theoretical Computer Science, Elsevier, 2012, 449, pp.54-63, hal-00906811

Martine Collard, Philippe Collard, Erick Stattner
Mobility and Information Flow: Percolation in a Multi-Agent Model.
Procedia CS, 2012, 10, pp.22-29. ⟨10.1016/j.procs.2012.06.007⟩, hal-00767043

Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet
Constraint-Based BMC: A Backjumping Strategy.
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, pp.1-19. ⟨10.1007/s10009-012-0258-6⟩, hal-00874059

Eric Goles, Bruno Martin, Enrico Formenti
Computational Complexity of Avalanches in the Kadanoff Sandpile Model.
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2012, 115 (1), pp.107-124. ⟨10.3233/FI-2012-643⟩, hal-01217125

Adrien Richard, Gaelle Rossignol, Jean-Paul Comet, Gilles Bernot, Janine Guespin-Michel, Annabelle Mérieau
Boolean models of biosurfactants production in Pseudomonas fluorescens.
PLoS ONE, Public Library of Science, 2012, 7 (1), pp.e24651. ⟨10.1371/journal.pone.0024651⟩, hal-01242399

Siamak Taati, Enrico Formenti, Jean-Paul Comet, Gilles Bernot
On the impact of the distance between two genes on their interaction curve.
Journal of Mathematical Biology, Springer Verlag (Germany), 2012, 64 (1), pp.131-147. ⟨10.1007/s00285-010-0373-5⟩, hal-01242438

Leonardo Vanneschi, Yuri Pirola, Giancarlo Mauri, Philippe Collard, Sébastien Verel
A Study of Neutrality of Boolean Function Landscapes in Genetic Programming.
Theoretical Computer Science, Elsevier, 2012, 425, pp.34 -- 57. ⟨10.1016/j.tcs.2011.03.011⟩, hal-00563462

Fabio Daolio, Marco Tomassini, Sébastien Verel, Gabriela Ochoa
Communities of Minima in Local Optima Networks of Combinatorial Spaces.
Physica A: Statistical Mechanics and its Applications, Elsevier, 2011, 390 (9), pp.1684 - 1694, hal-00563461

Elisabetta de Maria, Francois Fages, Aurélien Rizk, Sylvain Soliman
Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints..
Theoretical Computer Science, Elsevier, 2011, 412 (21), pp.2108-2127, hal-01285815

Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher
Capabilities of Constraint Programming in Safe Global Optimization.
Reliable Computing electronic edition, 2011, 15 (1), pp.47-59, hal-00835183

Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard
Embedding of biological regulatory networks and property preservation.
Mathematics in Computer Science, Springer, 2011, 5 (1), pp.263-288, hal-00782867

Vic Norris, Abdallah Zemirline, Patrick Amar, Jean Nicolas Audinot, Pascal Ballet, Eshel Ben-Jacob, Gilles Bernot, Guillaume Beslon, Armelle Cabin, Eric Fanchon, Jean-Louis Giavitto, Nicolas Glade, Patrick Greussay, Yohann Grondin, James A Foster, Guillaume Hutzler, Jürgen Jost, Francois Kepes, Olivier Michel, Franck Molina, Jacqueline Signorini, Pasquale Stano, Alain R Thierry
Computing with bacterial constituents, cells and populations: from bioputing to bactoputing.
Theorie in den Biowissenschaften / Theory in Biosciences, Springer Verlag, 2011, 130 (3), pp.211-228. ⟨10.1007/s12064-010-0118-4⟩, hal-00643738

Thierry Petit, Jean-Charles Régin
The Ordered Distribute Constraint.
International Journal on Artificial Intelligence Tools, World Scientific Publishing, 2011, 20 (4), pp.617-637. ⟨10.1142/S0218213011000371⟩, hal-00753742

Adrien Richard, Jean-Paul Comet
Stable periodicity and negative circuits in differential systems.
Journal of Mathematical Biology, Springer Verlag (Germany), 2011, 63 (3), pp.593-600. ⟨10.1007/s00285-010-0388-y⟩, hal-01242441

Adrien Richard
Local negative circuits and fixed points in Boolean networks.
Discrete Applied Mathematics, Elsevier, 2011, 159 (11), pp.1085-1093, hal-01298851

Hélène Collavizza, Michel Rueher, Pascal van Hentenryck
CPBPV: a constraint-programming framework for bounded program verification.
Constraints, Springer Verlag, 2010, 15 (2), pp.238-264. ⟨10.1007/s10601-009-9089-9⟩, hal-00510303

Enrico Formenti, Petr Kurka, Zahradník Ondřej
A Search Algorithm for Subshift Attractors of Cellular Automata.
Theory of Computing Systems, Springer Verlag, 2010, 46 (3), pp.479-498. ⟨10.1007/s00224-009-9230-6⟩, hal-01242315

Sébastien Verel, Gabriela Ochoa, Marco Tomassini
Local Optima Networks of NK Landscapes with Neutrality.
IEEE Transactions on Evolutionary Computation, Institute of Electrical and Electronics Engineers, 2010, volume 14 (6), pp.783 - 797, hal-00488637

Gilles Bernot, Fariza Tahi
Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network.
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2009, 91 (3-4), pp.463--485. ⟨10.3233/FI-2009-0052⟩, hal-00646001

Alexandre Goldsztejn, Michel Rueher, Michel Claude
Efficient Handling of Universally Quantified Inequalities.
Constraints, Springer Verlag, 2009, 14 (1), pp.117-135, hal-00431129

Michel Planat, Patrick Solé
Clifford groups of quantum gates, BN-pairs and smooth cubic surfaces.
Journal of Physics A: Mathematical and Theoretical, IOP Publishing, 2009, 42, pp.042003, hal-00338632

Sylvie Troncale, Jean-Paul Comet, Gilles Bernot
Enzymatic competition: Modeling and verification with timed hybrid petri nets.
Pattern Recognition Letters, Elsevier, 2009, 42 (4), pp.562--566. ⟨10.1016/j.patcog.2008.09.019⟩, hal-00967379

Jamil Ahmad, Olivier Roux, Gilles Bernot, Jean-Paul Comet, Adrien Richard
Analysing Formal Models of Genetic Regulatory Networks with Delays: Applications to Lambda phage and T-cell Activation Systems.
Int. J. Bioinformatics Research and Applications, 2008, 4 (3), pp.240-262, hal-00415808

Patrick Amar, Guillaume Legent, Michel Thellier, Camille Ripoll, Gilles Bernot, Thomas Nystrom, Milton H Saier, Vic Norris
A stochastic automaton shows how enzyme assemblies may contribute to metabolic efficiency..
BMC Systems Biology, BioMed Central, 2008, 2, pp.27. ⟨10.1186/1752-0509-2-27⟩, hal-00643746

Delphine Boucher, Patrick Sole, Félix Ulmer
Skew Constacyclic Codes over Galois Rings.
Advances in Mathematics of Communications, AIMS, 2008, 2 (3), pp.273-292, hal-00359833

Srecko Brlek, Xavier Provençal, Jean-Marc Fédou
On the tiling by translation problem.
Discrete Applied Mathematics, Elsevier, 2008, 157 (3), pp.464-475. ⟨10.1016/j.dam.2008.05.026⟩, hal-00395229

Franck Guingne, Jean-Marc Champarnaud, Florent Nicart, André Kempe
Algorithms for the Join and Auto-Intersection of Multi-Tape Weighted Finite-State Machines..
International Journal of Foundations of Computer Science, World Scientific Publishing, 2008, 19, pp.453 - 476. ⟨10.1142/S0129054108005760⟩, hal-00400775

Bruno Martin
A walsh exploration of elementary CA rules.
Journal of Cellular Automata, Old City Publishing, 2008, 3 (2), pp.145-156, hal-00300231

Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall, Philippe Meseure, François Képès
Topology-based Abstraction of Complex Biologiical Systems: Application to the Golgi Apparatus.
Theorie in den Biowissenschaften / Theory in Biosciences, Springer Verlag, 2008, 127 (2), pp.79-88, hal-00352003

Marco Tomassini, Sébastien Verel, Gabriela Ochoa
Complex-network analysis of combinatorial spaces: The NK landscape case.
Physical Review E : Statistical, Nonlinear, and Soft Matter Physics, American Physical Society, 2008, 78 (6), pp.066114. ⟨10.1103/PhysRevE.78.066114⟩, hal-00354804

Julien Cervelle, Enrico Formenti, Benoît Masson
From sandpiles to sand automata.
Theoretical Computer Science, Elsevier, 2007, 381, pp.1-28. ⟨10.1016/j.tcs.2007.03.042⟩, hal-00310905

Julien Cervelle, Enrico Formenti, Benoît Masson
From sandpiles to sand automata.
Theoretical Computer Science, Elsevier, 2007, 381 (1-3), pp.1-28, hal-00619704

Enrico Formenti, Petr Kurka
Subshift attractors of cellular automata.
Nonlinearity, IOP Publishing, 2007, 20, pp.105-117, hal-00311968

Yahia Lebbah, Claude Michel, Michel Rueher
An efficient and safe framework for solving optimization problems.
Journal of Computational and Applied Mathematics, Elsevier, 2007, 199, pp.372-377,. ⟨10.1016/j.cam.2005.08.037⟩, hal-00510304

Bruno Martin, Claudine Peyrat
A single-copy minimal-time simulation of a torus of automata by a ring of automata.
Discrete Applied Mathematics, Elsevier, 2007, pp.2130-2139. ⟨10.1014/j.dam.2007.05.019⟩, hal-00296744

Bruno Martin
Universal Simulations by Spatial Machines.
Journal of Cellular Automata, Old City Publishing, 2007, 2 (3), pp.203-217, hal-00298560

Benoît Masson, Enrico Formenti, Theophilos Pisokas
Advances in symmetric sandpiles.
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2007, 76 (1-2), pp.91-112, hal-00311074

Adrien Richard, Jean-Paul Comet
Necessary conditions for multistationarity in discrete dynamical systems.
Discrete Applied Mathematics, Elsevier, 2007, 155 (18), pp.2403-2413, hal-00415886

Sébastien Verel, Philippe Collard, Marco Tomassini, Leonardo Vanneschi
Fitness landscape of the cellular automata majority problem: View from the Olympus.
Theoretical Computer Science, Elsevier, 2007, 378 (1), pp.54-77. ⟨10.1016/j.tcs.2007.01.001⟩, hal-00164772

Jamil Ahmad, Gilles Bernot, Jean-Paul Comet, Didier Lime, Olivier Roux
Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks with Delays.
Complexus, Karger, 2006, 3 (4), pp.231-251, hal-00415810

Bernard Botella, Arnaud Gotlieb, Claude Michel
Symbolic execution of floating-point computations.
Software Testing, Verification and Reliability, Wiley, 2006, 16 (2), pp.97-121. ⟨10.1002/stvr.333⟩, inria-00540299

Philippe Langevin, Patrick Solé
Z4 duadic codes.
Finite Fields and Their Applications, Elsevier, 2000, 6, pp.309--326, hal-01279305

Olivier Lhomme, Arnaud Gotlieb, Michel Rueher
Dynamic optimization of interval narrowing algorithms.
Journal of Logic Programming, Elsevier, 1998, 37 (1-3), pp.165-183. ⟨10.1016/S0743-1066(98)10007-9⟩, inria-00540302

Books

Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca
Cellular Automata and Discrete Complex Systems.
Springer International Publishing, LNCS-10248, 2017, Lecture Notes in Computer Science, 978-3-319-58630-4. ⟨10.1007/978-3-319-58631-1⟩, hal-01656363

Philippe Collard, Sébastien Verel, Manuel Clergue
Systèmes Complexes.
Presses polytechniques et universitaires romandes, Publisher of the EPFL Press, 2013, 978-2-88074-991-0, hal-01284628

Directions of work or proceedings

Patrick Amar, François Képès, Victor Norris, Gilles Bernot
Proceedings of the Nice 2009 spring school on Modelling Complex Biological Systems in the context of genomics.
France. EDP Sciences, pp.154, 2009, 978-2-7598-0437-5, hal-01276502

Patrick Amar, François Képès, Victor Norris, Gilles Bernot
Proceedings of the Evry 2007 spring school on Modelling Complex Biological Systems in the context of genomics.
France. EDP Sciences, pp.134, 2007, 978-2-7598-0019-3, hal-01276522

Book sections

David Allouche, Sophie Barbe, Simon de Givry, George Katsirelos, Yahia Lebbah, Samir Loudni, Abdelkader Ouali, Thomas Schiex, David Simoncini, Matthias Zytnicki
Cost Function Networks to Solve Large Computational Protein Design Problems.
Malek Masmoudi, Bassem Jarboui, Patrick Siarry. Operations Research and Simulation in healthcare, Springer, In press, hal-02177634

Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio Porreca
Decidability of Sensitivity and Equicontinuity for Linear Higher-Order Cellular Automata.
Language and Automata Theory and Applications - 13th International Conference, 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp.95-107, 2019, ⟨10.1007/978-3-030-13435-8_7⟩, hal-02086299

Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont
Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free.
SPRINGER. Communications in Computer and Information Science book series, extended selected paper from Biomedical Engineering Systems and Technologies conference (BIOSTEC 2018), pp.167-191, 2019, ⟨10.1007/978-3-030-29196-9_10⟩, hal-02412722

Arnaud Malapert, Margaux Nattaf
A new CP-approach for a parallel machine scheduling problem with time constraints on machine qualifications.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research, pp.426-442, 2019, ⟨10.1007/978-3-030-19212-9_28⟩, hal-02315989

Alberto Dennunzio, Valentina Dorigatti, Enrico Formenti, Luca Manzoni, Antonio Porreca
Polynomial Equations over Finite, Discrete-Time Dynamical Systems.
Cellular Automata, pp.298-306, 2018, hal-01977651

Bruno Martin, Katsunobu Imai, Ryohei Saito
On Radius 1 Nontrivial Reversible and Number-Conserving Cellular Automata.
Reversibility and Universality, 2018, hal-01741396

Anthony Palmieri, Guillaume Perez
Objective as a Feature for Robust Search Strategies.
Objective as a Feature for Robust Search Strategies, pp.328-344, 2018, hal-02118552

Loïc Paulevé, Adrien Richard
Analyse statique des réseaux booléens.
Emmanuel Jeandel; Laurent Vigneron. Informatique Mathématique, Une photographie en 2018, CNRS Éditions, pp.157-194, 2018, 78-2-271-11974-2, hal-01753101

Emilien Cornillon, Jean-Paul Comet, Gilles Bernot, Gilles Enée
Hybrid Gene Networks: a new Framework and a Software Environment..
Advances in Systems and Synthetic Biology, Modelling Complex Biological Systems in the Context of Genomics, 2016, hal-01345019

Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso - de Faverney
Towards a Computer Aided Toxicology.
Advances in Systems and Synthetic Biology, Modelling Complex Biological Systems in the Context of Genomics, 2016, hal-01345025

Kristine Carpio, Gilles Bernot, Jean-Paul Comet, Francine Diener
Probabilistic Gene Network.
P. Amar, F. Képès, V. Norris. Advances in Systems and Synthetic Biology, Modelling Complex Biological Systems in the Context of Genomics, pp.77-90, 2015, 978-2-7598-1764-1, hal-01242450

Gilles Bernot, Jean-Paul Comet, El Houssine Snoussi
Formal methods applied to gene network modelling.
Luis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, 2014, 978-1-84821-680-8, hal-01282880

Enrico Formenti, Katsunobu Imai, Bruno Martin, Jean-Baptiste Yunès
Advances on Random Sequence Generation by Uniform Cellular Automata.
Computing with New Resources, 8808, Springer Verlag, pp.56-70, 2014, Lecture Notes in Computer Science, 978-3-319-13349-2. ⟨10.1007/978-3-319-13350-8_5⟩, hal-01218459

Gilles Bernot, Jean-Paul Comet, Adrien Richard, Madalena Chaves, Jean-Luc Gouzé, Frédéric Dayan
Modeling and analysis of gene regulatory networks.
Cazals, Frédéric and Kornprobst, Pierre. Modeling in Computational Biology and Biomedicine, Springer, pp.47-80, 2013, ⟨10.1007/978-3-642-31208-3_2⟩, hal-00848394

Gilles Bernot, Jean-Paul Comet, Christine Risso - de Faverney
Regulatory networks.
Computational Toxicology, II, pp.215-234, 2013, 978-1-62703-058-8, hal-01282888

H Gruber, A Richard, C Soulé
How to Knock Out Feedback Circuits in Gene Networks?.
Pattern Formation in Morphogenesis - Problems and Mathematical Issues, 2013, 978-3-642-20164-6, hal-01298860

Jean-Paul Comet, Gilles Bernot, Aparna Das, Francine Diener, Camille Massot, Amélie Cessieux
Simplified models for the mammalian circadian clock.
Modelling complex biological systems in the context of genomics, EDP Science, pp.85-106, 2012, hal-01282904

Maroun Bercachi, Philippe Collard, Manuel Clergue, Sébastien Verel
Studying the Effects of Dual Coding on the Adaptation of Representation for Linkage in Evolutionary Algorithms.
Chen, Ying-ping and Lim, Meng-Hiot. Linkage in Evolutionary Computation, Springer Berlin / Heidelberg, pp.249-284, 2008, Studies in Computational Intelligence, ⟨10.1007/978-3-540-85068-7⟩, hal-00331863

Philippe Langevin, Patrick Solé
Gauss sums over quasi-Frobenius rings.
Finite fields and applications (Augsburg, 1999), Springer, pp.329--340, 2001, hal-01279303

Conference papers invited

Gilles Bernot, Jean-Paul Comet, Olivier Roux
A genetically modified Hoare logic that identifies the parameters of a gene network,.
Computational Methods in Systems Biology (CMSB 2015), Sep 2015, Nantes, France. pp.8-12, hal-01282932

Jean-Paul Comet, Gilles Bernot
A Hoare logic for gene regulatory networks.
2nd Workshop on Computational Structural Biology: Integrative Approaches for Modeling Biomolecular Complexes, May 2013, Nice, France, hal-01282935

Maroun Bercachi, Philippe Collard, Manuel Clergue, Sebastien Verel
Do not Choose Representation just Change: An Experimental Study in States based EA.
Genetic and Evolutionary Computation Conference 2009, Jul 2009, Montréal, Canada, hal-00383711

Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher
Constraint Programming and Safe Global Optimization.
SCAN 2008, 3th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2008, El Paso, TX, United States, hal-00510305

Conference papers international audience with peer reviewing and proceeding

Eman Ahmed, Reda El-Khoribi, Alexandre Muzy, Gilles Bernot, Gamal Darwish
Modeling of Goal-oriented Human Motion Evolution using Hidden Markov Models.
8th International Conference on Pattern Recognition Applications and Methods, Feb 2019, Prague, Czech Republic. pp.605-612, ⟨10.5220/0007391906050612⟩, hal-02412723

Florian Bridoux, Nicolas Durbec, Kévin Perrot, Adrien Richard
Complexity of Maximum Fixed Point Problem in Boolean Networks.
Computing with Foresight and Industry, 15th Conference on Computability in Europe, CiE 2019, Jul 2019, Durham, United Kingdom. pp.132-143, ⟨10.1007/978-3-030-22996-2_12⟩, hal-02403974

Assia Kamal Idrissi, Arnaud Malapert, Rémi Jolin
Flight Radius Algorithms.
8th International Conferance on Operations Research and Entreprise Systems, Feb 2019, Prague, Czech Republic, hal-02069634

Abdorrahim Bahrami, Elisabetta de Maria, Amy Felty
Modelling and Verifying Dynamic Properties of Biological Neural Networks in Coq.
9th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2018, Bangkok, Thailand, hal-01919043

Elisabetta de Maria, Daniel Gaffé, Annie Ressouche, Cédric Girard Riboulleau
A Model-checking Approach to Reduce Spiking Neural Networks.
BIOINFORMATICS 2018 - 9th International Conference on Bioinformatics Models, Methods and Algorithms, Jan 2018, Funchal Madeira, Portugal. pp.1-8, hal-01638248

Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont
Computer-Aided Formal Proofs about Dendritic Integration within a Neuron.
BIOINFORMATICS 2018 - 9th International Conference on Bioinformatics Models, Methods and Algorithms, Jan 2018, Funchal Madeira, Portugal, hal-01663555

Assia Kamal Idrissi, Arnaud Malapert, Rémi Jolin
Solving the Flight Radius Problem.
7th International Conference on Operations Research and Enterprise Systems (ICORES 2018), Jan 2018, Funchal, Portugal. pp.304-311, ⟨10.5220/0006654003040311⟩, hal-01701827

Anthony Palmieri, Guillaume Perez
Objective as a Feature for Robust Search Strategies.
International Conference on Principles and Practice of Constraint Programming, 2018, Lille, France. ⟨10.1007/978-3-319-98334-9_22⟩, hal-02116828

Jonathan Behaegel, Jean-Paul Comet, Maxime Folschette
Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks.
24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Oct 2017, Mons, Belgium. ⟨10.4230/LIPIcs.TIME.2017.5⟩, hal-01655310

Laurent Brisson, Philippe Collard, Martine Collard, Erick Stattner
Information Dissemination in scale-free networks: Profusion versus Scarcity.
International Conference on Complex Networks and Their Applications (COMPLEX NETWORK), 2017, Lyon, France. pp.909-920, ⟨10.1007/978-3-319-72150-7_73⟩, hal-01637573

Elisabetta de Maria, Thibaud L 'Yvonnet, Daniel Gaffé, Annie Ressouche, Franck Grammont
Modelling and Formal Verification of Neuronal Archetypes Coupling.
CSBio 2017 - 8th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2017, Nha Trang, Vietnam. pp.3-10, ⟨10.1145/3156346.3156348⟩, hal-01643862

Luca Mariot, Enrico Formenti, Alberto Leporati
Enumerating Orthogonal Latin Squares Generated by Bipermutive Cellular Automata.
23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.151-164, ⟨10.1007/978-3-319-58631-1_12⟩, hal-01656352

Hélène Collavizza, Claude Michel, Michel Rueher
Searching input values hitting suspicious Intervals in programs with floating-point operations.
28th International Conference on Software and Systems (ICTSS-2016)., Oct 2016, Graz, Austria. pp 209 --217, hal-01224009

Luca Mariot, Alberto Leporati
Resilient Vectorial Functions and Cyclic Codes Arising from Cellular Automata.
12th International Conference on Cellular Automata for Research and Industry, ACRI 2016,, Sep 2016, Fez, Morocco. pp.34-44, ⟨10.1007/978-3-319-44365-2_4⟩, hal-01377338

Luca Mariot
Asynchrony Immune Cellular Automata.
12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Sep 2016, Fez, Morocco. pp.176-181, ⟨10.1007/978-3-319-44365-2_17⟩, hal-01377343

Tarek Melliti, Damien Regnault, Adrien Richard, Sylvain Sené
Asynchronous simulation of Boolean networks by monotone Boolean networks.
Fourth International Workshop on Asynchronous Cellular Automata and Asynchronous Discrete Models, During the 12th International Conference on Cellular Automata for Research and Industry (ACRI 2016), Sep 2016, Fez, Morocco. pp.182--191, ⟨10.1007/978-3-319-44365-2_18⟩, hal-01341136

Guillaume Perez, Jean-Charles Régin
Constructions and In-Place Operations for MDDs Based Constraints.
CPAIOR 2016, May 2016, Banff, Canada. ⟨10.1007/978-3-319-33954-2_20⟩, hal-01344087

Pablo Arrighi, Simon Martiel, Simon Perdrix
Block Representation of Reversible Causal Graph Dynamics.
20th International Symposium on Fundamentals of Computation Theory, Aug 2015, Gdańsk, Poland. pp.14, ⟨10.1007/978-3-319-22177-9_27⟩, hal-01249272

Mohammed Bekkouche, Hélène Collavizza, Michel Rueher
LocFaults: A new flow-driven and constraint-based error localization approach.
SAC’15, SVT track, ACM, Apr 2015, Salamanca,, Spain. ⟨10.1145/2695664.2695822⟩, hal-01094227

Martine Collard, Philippe Collard, Laurent Brisson, Erick Stattner
Rumor Spreading Modeling: Profusion versus Scarcity.
ASONAM 2015 : IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, Aug 2015, Paris, France. pp.1547 - 1554, ⟨10.1145/2808797.2809299⟩, hal-01252936

Luca Mariot, Alberto Leporati
Heuristic Search by Particle Swarm Optimization of Boolean Functions for Cryptographic Applications.
GECCO Companion '15 Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation, Jul 2015, Madrid, Spain. pp.1425-1426, ⟨10.1145/2739482.2764674⟩, hal-01313904

Luca Mariot, Alberto Leporati
A Genetic Algorithm for Evolving Plateaued Cryptographic Boolean Functions.
Theory and Practice of Natural Computing, Dec 2015, Mieres, Spain. pp.33-45, ⟨10.1007/978-3-319-26841-5_3⟩, hal-01313909

Luca Mariot, Alberto Leporati
On the Periods of Spatially Periodic Preimages in Linear Bipermutive Cellular Automata.
21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.181-195, ⟨10.1007/978-3-662-47221-7_14⟩, hal-01313895

Simon Martiel, Bruno Martin
An Intrinsically Universal Family of Causal Graph Dynamics.
Machines, Computations, and Universality, Sep 2015, Famagusta, Cyprus. pp.129-148, ⟨10.1007/978-3-319-23111-2_9⟩, hal-01218448

Alexandre Papadopoulos, Pierre Roy, Jean-Charles Régin, François Pachet
Generating all Possible Palindromes from Ngram Corpora.
IJCAI 2015, Jul 2015, Buenos Aires, Argentina, hal-01344082

Guillaume Perez, Jean-Charles Régin
Efficient Operations On MDDs For Building Constraint Programming Models.
IJCAI 2015, Jul 2015, Buenos Aires, Argentina, hal-01344084

Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher
Generating test cases inside suspicious intervals for floating-point number programs.
CSTVA, ACM, May 2014, Hyderabad, India. pp.7 - 11, ⟨10.1145/2593735.2593737⟩, hal-01099503

Elisabetta de Maria, Joëlle Despeyroux, Amy Felty
A Logical Framework for Systems Biology.
FMMB 2014 - First International Conference on Formal Methods in Macro-Biology, Sep 2014, Noumea, France. ⟨10.1007/978-3-319-10398-3_10⟩, hal-01285058

Guillaume Perez, Jean-Charles Régin
Improving GAC-4 for Table and MDD Constraints.
CP 2014, Sep 2014, Lyon, France. ⟨10.1007/978-3-319-10428-7_44⟩, hal-01344079

Kévin Perrot, Éric Rémila
Emergence of wave patterns on Kadanoff Sandpiles.
11th Latin American Theoretical INformatics Symposium (LATIN), Mar 2014, Montevideo, Uruguay. A paraître, halshs-00949246

Jean-Charles Régin, Mohamed Rezgui, Arnaud Malapert
Improvement of the Embarrassingly Parallel Search for Data Centers.
CP 2014, Sep 2014, Lyon, France. ⟨10.1007/978-3-319-10428-7_45⟩, hal-01344078

Hernan Aguirre, Arnaud Liefooghe, Sébastien Verel, Kiyoshi Tanaka
A study on population size and selection lapse in many-objective optimization.
IEEE Congress on Evolutionary Computation (CEC 2013), 2013, Cancún, Mexico. pp.1507-1514, hal-00825310

Hernan Aguirre, Arnaud Liefooghe, Sébastien Verel, Kiyoshi Tanaka
Effects of population size on selection and scalability in evolutionary many-objective optimization.
Learning and Intelligent OptimizatioN Conference (LION 7), 2013, Catania, Italy. pp.450-454, ⟨10.1007/978-3-642-44973-4_48⟩, hal-00805164

Matthieu Basseur, Adrien Goëffon, Arnaud Liefooghe, Sébastien Verel
On set-based local search for multiobjective combinatorial optimization.
Genetic and Evolutionary Computation Conference (GECCO 2013), 2013, Amsterdam, Netherlands. pp.471-478, hal-00805166

Daniela Battaglino, Jean-Marc Fédou, Simone Rinaldi, Samanta Socci
The number of $k$-parallelogram polyominoes.
25th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2013), 2013, Paris, France. pp.1113-1124, hal-01229685

Philippe Collard
Beyond the Schelling's segregation model: is it equivalent to be repulse by dissimilar rather to be attracted by similar ?.
European Conference on the Synthesis and Simulation of Living Systems, Sep 2013, Taormina, Italy, hal-01285679

Martine Collard, Philippe Collard, Erick Stattner
Simulating human mobility and information diffusion.
IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2013, Niagara falls, Canada. pp.1-5, hal-00874344

Arnaud Malapert, Jean-Charles Régin, Jean Parpaillon
The Package Server Location Problem.
ICORES 2013, Feb 2013, Barcelona, Spain, hal-01344073

Bruno Martin, Simon Martiel
Intrinsic Universality of Causal Graph Dynamics.
Machines, Computations and Universality, Sep 2013, Zürich, Switzerland. pp.137-149, ⟨10.4204/EPTCS.128.19⟩, hal-01218359

Tarek Melliti, Damien Regnault, Adrien Richard, Sylvain Sené
On the convergence of Boolean automata networks without negative cycles.
19th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2013), Sep 2013, Gießen, Germany. pp.124--138, ⟨10.1007/978-3-642-40867-0_9⟩, hal-00832885

François Pelsser, Pierre Schaus, Jean-Charles Régin
Revisiting the Cardinality Reasoning for BinPacking Constraint.
CP 2013, Sep 2013, Uppsala, Sweden. ⟨10.1007/978-3-642-40627-0_43⟩, hal-01344076

Sébastien Verel
Fitness landscapes and graphs: multimodularity, ruggedness and neutrality.
Proceedings of the fifth international conference on Genetic and evolutionary computation conference companion, Jul 2013, Amsterdam, Netherlands. pp.1013--1034, hal-00845349

Sheikh Ziauddin, Bruno Martin
Formal Analysis of ISO/IEC 9798-2 Authentication Standard using AVISPA.
Asia Joint Conference on Information Security, Jul 2013, Séoul, South Korea. pp.108-114, ⟨10.1109/ASIAJCIS.2013.25⟩, hal-01218351

Ignacio Araya, Gilles Trombettoni, Bertrand Neveu, Gilles Chabert
Upper Bounding in Inner Regions for Global Optimization under Inequality Constraints.
GOW'12, Jun 2012, Natal, Brazil. pp.25-29, hal-00733860

Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
A Contractor Based on Convex Interval Taylor.
CPAIOR 2012, 2012, Nantes, France. pp.1-16, hal-00733848

Mohammed Said Belaid, Claude Michel, Michel Rueher
Boosting local consistency algorithms over oating-point numbers.
Principles and Practice of Constraint Programming. 18th International Conference, CP 2012, Oct 2012, Quebec, Canada. pp.127-140, ⟨10.1007/978-3-642-33558-7_12⟩, hal-01099514

Nicolas Beldiceanu, Mats Carlsson, Thierry Petit, Jean-Charles Régin
An O(n log n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization.
20th European Conference on Artificial Intelligence (ECAI'12), Aug 2012, Montpellier, France. pp.145-150, ⟨10.3233/978-1-61499-098-7-145⟩, hal-00754079

Francisco Chicano, Fabio Daolio, Gabriela Ochoa, Sébastien Verel, Marco Tomassini, Enrique Alba
Local Optima Networks, Landscape Autocorrelation and Heuristic Search Performance.
Parallel Problem Solving from Nature - PPSN XII, Sep 2012, Taormina, Italy. pp.337-347, ⟨10.1007/978-3-642-32964-7_34⟩, hal-00741842

Jean-Paul Comet, Gilles Bernot, Aparna Das, Francine Diener, Camille Massot, Amélie Cessieux
Simplified models for the mammalian circadian clock.
Computational Systems-Biology and Bioinformatics (CSBio 2012), Jonathan H. Chan; Asawin Meechai; Chee Keong Kwoh, Oct 2012, Bangkok, Thailand, hal-01282923

Fabio Daolio, Sébastien Verel, Gabriela Ochoa, Marco Tomassini
Local optima networks and the performance of iterated local search.
Proceedings of the fourteenth international conference on Genetic and evolutionary computation conference, Jul 2012, Philadelphia, United States. pp.369-376, ⟨10.1145/2330163.2330217⟩, hal-00741725

Gabriele Fici, Francesca Fiorenzi
Topological properties of cellular automata on trees.
AUTOMATA 2012, 2012, France. pp.255-266, ⟨10.4204/EPTCS.90.20⟩, hal-00946194

Thao Nguyen, Luigi Liquori, Bruno Martin, Karl Hanks
Towards a Trust and Reputation Framework for Social Web Platforms.
Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings, Sep 2012, Rome, Italy. pp.13-22, ⟨10.1007/978-3-642-33618-8_3⟩, hal-00908805

Olivier Ponsini, Claude Michel, Michel Rueher
Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques.
Principles and Practice of Constraint Programming. 18th International Conference, Oct 2012, Quebec, Canada. pp.593 - 607, ⟨10.1007/978-3-642-33558-7_43⟩, hal-01099512

Pierre Schaus, Jean-Charles Régin, Rowan van Schaeren, Wout Dullaert, Birger Raa
Cardinality Reasoning for Bin-Packing Constraint: Application to a Tank Allocation Problem.
CP 2012, Oct 2012, Québec, Canada. ⟨10.1007/978-3-642-33558-7_58⟩, hal-01344066

Sébastien Verel
Fitness landscapes and graphs: multimodularity, ruggedness and neutrality.
Proceedings of the fourteenth international conference on Genetic and evolutionary computation conference companion, Jul 2012, Philadelphia, United States. pp.1013--1034, ⟨10.1145/2330784.2330927⟩, hal-00744887

J. M. Bahi, J. -F. Couchot, C. Guyeux, A. Richard
On the Link Between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems.
18th International Symposium on Fundamentals of Computation Theory (FCT 2011), Aug 2011, Oslo, Norway. pp.126-137, hal-01298868

Jean-Marc Champarnaud, Jean-Philippe Dubernard, Franck Guingne, Hadrien Jeanne
Geometrical Regular Languages and Linear Diophantine Equations.
DCFS 2011, Jul 2011, Giessen/Limburg, Germany. pp.107-120, hal-00906785

Philippe Collard, Salma Mesmoudi
How to Prevent Intolerant Agents from High Segregation?.
Advances in Artificial Life, ECAL 2011, Aug 2011, Paris, France. pp.8, hal-00742859

Bilel Derbel, Sébastien Verel
DAMS: Distributed Adaptive Metaheuristic Selection.
Genetic And Evolutionary Computation Conference, Jun 2011, Dublin, Ireland. pp.1955--1962, ⟨10.1145/2001576.2001839⟩, hal-00579993

Roberto Di Cosmo, Olivier Lhomme, Claude Michel
Aligning component upgrades.
Logics for Component Configuration, Sep 2011, Perugia, Italy. pp.1-11, ⟨10.4204/EPTCS.65.1⟩, hal-00622830

Gabriele Fici, Thierry Lecroq, Arnaud Lefebvre, Elise Prieur-Gaston
Computing Abelian Periods in Words.
Prague Stringology Conference, 2011, Prague, Czech Republic. pp.184-196, hal-00627216

Enrico Formenti, Katsunobu Imai, Bruno Martin, Jean-Baptiste Yunès
A Boolean approach to cellular automata random sequences generation.
17th International Workshop on Cellular Automata and Discrete Complex System, Nov 2011, Santiago, Chile. pp.25-35, hal-00686571

Sandrine Julia
Minimal uncompletable words.
First Russian-Finnish Symposium on Discrete Mathematics, Sep 2011, Saint Petersburg, Russia, hal-01286382

Petr Kůrka, Enrico Formenti, Alberto Dennunzio
Asymptotic distribution of entry times in a cellular automaton with annihilating particles.
17th International Workshop on Celular Automata and Discrete Complex Systems, 2011, Santiago, Chile. pp.47-58, hal-01196143

Marie-Eleonore Marmion, Clarisse Dhaenens, Laetitia Jourdan, Arnaud Liefooghe, Sébastien Verel
The Road to VEGAS: Guiding the Search over Neutral Networks.
Genetic And Evolutionary Computation Conference, Jun 2011, Dublin, Ireland. pp.1979--1986, ⟨10.1145/2001576.2001842⟩, hal-00579990

Marie-Eleonore Marmion, Clarisse Dhaenens, Laetitia Jourdan, Arnaud Liefooghe, Sébastien Verel
On the Neutrality of Flowshop Scheduling Fitness Landscapes.
Learning and Intelligent OptimizatioN Conference (LION 5), Jan 2011, Rome, Italy. pp.238--252, ⟨10.1007/978-3-642-25566-3_18⟩, hal-00550356

Marie-Eleonore Marmion, Clarisse Dhaenens, Laetitia Jourdan, Arnaud Liefooghe, Sébastien Verel
NILS: a Neutrality-based Iterated Local Search and its application to Flowshop Scheduling.
11th European Conference on Evolutionary Computation in Combinatorial Optimisation, Apr 2011, Turino, Italy. pp.191--202, hal-00563459

Gabriela Ochoa, Sébastien Verel, Fabio Daolio, Marco Tomassini
Clustering of Local Optima in Combinatorial Fitness Landscapes.
Learning and Intelligent OptimizatioN Conference (LION 5), Jan 2011, Rome, Italy. pp.454--457, ⟨10.1007/978-3-642-25566-3_35⟩, hal-00550355

Loïc Paulevé, Adrien Richard
Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey.
2nd International Workshop on Static Analysis and Systems Biology (SASB 2011), Sep 2011, Venice, Italy. pp.93-104, ⟨10.1016/j.entcs.2012.05.017⟩, hal-00714476

Thierry Petit, Jean-Charles Régin, Nicolas Beldiceanu
A Theta(n) Bound-Consistency Algorithm for the Increasing Sum Constraint.
17th International Conference on Principles and Practice of Constraint Programming (CP'11), Sep 2011, Perugia, Italy. pp.721-728, ⟨10.1007/978-3-642-23786-7_54⟩, hal-00753385

Adrien Richard
A fixed point theorem for Boolean networks expressed in terms of forbidden subnetworks.
17th International Workshop on Celular Automata and Discrete Complex Systems, 2011, Santiago, Chile. pp.1-16, hal-01196145

Gilles Trombettoni, Araya Ignacio, Bertrand Neveu, Gilles Chabert
Inner Regions and Interval Linearizations for Global Optimization.
AAAI 2011, Aug 2011, San Francisco, United States, hal-00648085

Sébastien Verel, Fabio Daolio, Gabriela Ochoa, Marco Tomassini
Local Optima Networks with Escape Edges.
International Conference on Artificial Evolution (EA-2011), Oct 2011, Angers, France. pp.10 - 23, hal-00639522

Sébastien Verel, Arnaud Liefooghe, Clarisse Dhaenens
Set-based Multiobjective Fitness Landscapes: A Preliminary Study.
Genetic And Evolutionary Computation Conference, Jun 2011, Dublin, Ireland. pp.769--776, ⟨10.1145/2001576.2001681⟩, hal-00579984

Sébastien Verel, Arnaud Liefooghe, Laetitia Jourdan, Clarisse Dhaenens
Analyzing the Effect of Objective Correlation on the Efficient Set of MNK-Landscapes.
Learning and Intelligent OptimizatioN Conference (LION 5), Jan 2011, Rome, Italy. pp.116-130, ⟨10.1007/978-3-642-25566-3_9⟩, hal-00550349

Sébastien Verel, Arnaud Liefooghe, Jérémie Humeau, Laetitia Jourdan, Clarisse Dhaenens
On the Effect of Connectedness for Biobjective Multiple and Long Path Problems.
Learning and Intelligent OptimizatioN Conference (LION 5), Jan 2011, Rome, Italy. pp.31--45, hal-00550353

Sébastien Verel, Arnaud Liefooghe, Laetitia Jourdan, Clarisse Dhaenens
Pareto Local Optima of Multiobjective NK-Landscapes with Correlated Objectives.
11th European Conference on Evolutionary Computation in Combinatorial Optimisation, Apr 2011, Turino, Italy. pp.226--237, hal-00563460

Géraldine Walther, Lionel Nicolas
Enriching Morphological Lexica through Unsupervised Derivational Rule Acquisition.
WoLeR 2011at ESSLLI : International Workshop on Lexical Resources, Aug 2011, Ljubljana, Slovenia, inria-00617064

Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity.
CP 2010, 16th International Conference on Principles and Practice of Constraint Programming, Sep 2010, St Andrews, Scotland, United Kingdom. pp.61-68, ⟨10.1007/978-3-642-15396-9_8⟩, hal-00654414

Julien Cervelle, Enrico Formenti, Pierre Guillon
Ultimate Traces of Cellular Automata.
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.155-166, inria-00455807

Fabio Daolio, Sébastien Verel, Gabriela Ochoa, Marco Tomassini
Local Optima Networks of the Quadratic Assignment Problem.
IEEE world conference on computational intelligence (WCCI - CEC), Jul 2010, Barcelona, Spain. pp.3145 - 3152, hal-00487806

Eric Goles, Bruno Martin
Computational Complexity of Avalanches in the Kadanoff Two-dimensional Sandpile Model.
Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.121-132, hal-00542340

Lionel Nicolas, Miguel Molinero, Benoît Sagot, Nieves Fernández Formoso, Vanesa Vidal Castro
Creating and maintaining language resources: the main guidelines of the Victoria project.
Workshop on Language Resources: From Storyboard to Sustainability and LR Lifecycle Management (LREC 2010 workshop), May 2010, Valletta, Malta, inria-00521241

Gabriela Ochoa, Sébastien Verel, Marco Tomassini
First-improvement vs. Best-improvement Local Optima Networks of NK Landscapes.
11th International Conference on Parallel Problem Solving From Nature, Sep 2010, Krakow, Poland. pp.104 - 113, hal-00488401

Sébastien Verel, Gabriela Ochoa
Fitness landscapes and graphs: multimodularity, ruggedness and neutrality.
WCCI 2010, Jul 2010, Barcelona, Spain. pp.3593--3656, hal-00460448

Maroun Bercachi, Manuel Clergue, Philippe Collard, Sébastien Verel
Do not Choose Representation just Change: An Experimental Study in States based EA.
GECCO '09 the 11th Annual conference on Genetic and evolutionary computation, Jul 2009, Montréal, Canada. pp.1799-1800, ⟨10.1145/1569901.1570168⟩, hal-00945549

Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
Vers une Théorie du Test des programmes à contraintes.
Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.65-75, hal-00387850

Miguel Molinero, Benoît Sagot, Lionel Nicolas
A morphological and syntactic wide-coverage lexicon for Spanish: The Leffe.
RANLP 2009 - Recent Advances in Natural Language Processing, Sep 2009, Borovets, Bulgaria, inria-00616693

Lionel Nicolas, Benoît Sagot, Miguel Molinero, Jacques Farré, Éric Villemonte de la Clergerie
Trouver et confondre les coupables : un processus sophistiqué de correction de lexique.
16ème conférence sur le Traitement Automatique des Langues Naturelles : TALN'09, ATALA ; LIPN, Jun 2009, Senlis, France, inria-00553257

Lionel Nicolas, Miguel Molinero, Benoît Sagot, Elena Sánchez Trigo, Éric Villemonte de la Clergerie, Miguel Alonso Pardo, Jacques Farré, Joan Miquel-Vergès
Towards efficient production of linguistic resources: the Victoria Project.
Proceedings of the International Conference RANLP-2009, 2009, Borovets, Bulgaria, Bulgaria. pp.318--323, inria-00553259

David Simoncini, Sébastien Verel, Philippe Collard, Manuel Clergue
Centric selection: a way to tune the exploration/exploitation trade-off.
GECCO'09, Jul 2009, Montreal, Canada. pp.891--898, ⟨10.1145/1569901.1570023⟩, hal-00410191

Leonardo Vanneschi, Sébastien Verel, Philippe Collard, Marco Tomassini
NK landscapes difficulty and Negative Slope Coefficient: How Sampling Influences the Results.
evoNum workshop of evostar conference, Apr 2009, Tubingen, Germany. pp.100-110, hal-00403029

Sébastien Verel
Fitness landscapes and graphs: multimodularity, ruggedness and neutrality.
GECCO '09, Jul 2009, Montreal, Canada. pp.3593--3656, ⟨10.1145/1570256.1570431⟩, hal-00410186

Thierry Baccino, Maud Kicka, Laurent Dumercy, Sébastien Verel
Investigating Cognitive Load by Normalized Task-Evoked Pupillary Response.
Workshop on Cognition and the Web 2008: Information Processing, Comprehension and Learning, Apr 2008, France. pp.45--52, hal-00331869

Hélène Collavizza, Michel Rueher, Pascal van Hentenryck
CPBPV: A Constraint-Programming Framework For Bounded Program Verification.
14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.327-341, ⟨10.1007/978-3-540-85958-1_22⟩, hal-01099509

Hélène Collavizza, Michel Rueher, Pascal van Hentenryck
CPBVP: A Constraint-Programming Framework for Bounded Program Verification.
The 14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.327-341, hal-00297007

Alberto Dennunzio, Pietro Di Lena, Enrico Formenti, Luciano Margara
Classification of directional dynamics for additive cellular automata.
JAC 2008, Apr 2008, Uzès, France. pp.40-53, hal-00273932

Enrico Formenti, Jarkko Kari, Siamak Taati
The Most General Conservation Law for a Cellular Automaton.
Computer Science Symposium in Russia (CSR 2008), Jun 2008, Moscou, Russia. pp.194-203, hal-00310402

Enrico Formenti, Alberto Dennunzio
Decidable properties of 2D cellular automata.
DEVELOPMENTS IN LANGUAGE THEORY (DLT 2008), Sep 2008, Kioto, Japan. pp.264-275, hal-00310411

Alexandre Goldsztejn, Claude Michel, Michel Rueher
An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities.
ACM symposium on Applied computing, Mar 2008, Fortaleza, Ceara, Brazil. pp.134-139, hal-00297250

Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher
Revisiting the upper bounding process in a safe Branch and Bound algorithm.
14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.598-602, hal-00297086

Patrick Lacharme, Bruno Martin, Patrick Solé
Pseudo-random sequences, boolean functions and cellular automata.
Boolean Functions: Cryptography & Applications, May 2008, Copenhague, Denmark. pp.80-95, hal-00305493

Bruno Martin, Christophe Papazian
Neighborhood transformations on graph automata.
JAC 2008, Apr 2008, Uzès, France. pp.90-101, hal-00273947

Bruno Martin, Patrick Solé
Pseudo-random Sequences Generated by Cellular Automata.
International Conference on Relations, Orders and Graphs: Interactions with Computer Science, May 2008, Mahdia, Tunisia. pp.401-410, hal-00305407

Lionel Nicolas, Benoît Sagot, Miguel Molinero, Jacques Farré, Éric Villemonte de la Clergerie
Computer aided correction and extension of a syntactic wide-coverage lexicon.
Coling 2008, Aug 2008, Manchester, United Kingdom. pp 604-611, hal-00360918

Gabriela Ochoa, Marco Tomassini, Sébastien Verel, Christian Darabos
A Study of NK Landscapes' Basins and Local Optima Networks.
Genetic And Evolutionary Computation Conference, Jul 2008, Atlanta, United States. pp.555--562, ⟨10.1145/1389095.1389204⟩, hal-00331868

Sébastien Verel, Gabriela Ochoa, Marco Tomassini
The Connectivity of NK Landscapes' Basins: A Network Analysis.
Artificial Life XI, Aug 2008, Winchester, France. pp.648-655, hal-00331864

Maroun Bercachi, Philippe Collard, Manuel Clergue, Sébastien Verel
Evolving Dynamic Change and Exchange of Genotype Encoding in Genetic Algorithms for Difficult Optimization Problems.
IEEE Congress on Evolutionary Computation CEC2007, Sep 2007, singapore, Singapore. pp.4516-4523, hal-00164788

Stéphane Bessy, Jean-Sébastien Sereni, Nicolas Lichiardopol
Two proofs of Bermond-Thomassen conjecture for regular tournaments.
6th Czech-Slovak International Symposium on Combinatorics, Graph Theory, Algorithms and Applications, Jul 2007, Prague, République Tchèque, Czech Republic. pp.47-53, ⟨10.1016/j.endm.2007.01.008⟩, lirmm-00153984

Jean-Marc Champarnaud, Franck Guingne, Jacques Farré
Reducing Acyclic Cover Transducers.
Implementation and Application of Automata, 12th International Conference, CIAA 2007, Prague : Tchèque, République (2007), Jul 2007, Prague, Czech Republic. pp.38-50, ⟨10.1007/978-3-540-76336-9⟩, hal-00400754

Michael Defoin Platel, Sébastien Verel, Manuel Clergue, Malik Chami
Density estimation with Genetic Programming for Inverse Problem solving.
EuroGP'07, the 10th European Conference on Genetic Programming, Apr 2007, Valencia, Spain. pp.45--54, ⟨10.1007/978-3-540-71605-1_5⟩, hal-00164762

Francine Diener, Aparna Das, Gilles Bernot, Jean-Paul Comet, Frédéric Eyssette
Correspondence between discrete and piecewise linear models of gene regulatory networks.
Colloque à la mémoire d'Emmanuel Isambert, Dec 2007, Paris, France. pp.185-194, hal-00915274

Sandrine Julia, Vinh Duc Tran
Reduced languages as omega-generators.
DLT 2007, Jul 2007, Turku, Finland. pp.266-277, ⟨10.1007/978-3-540-73208-2_26⟩, hal-00403286

Lionel Nicolas, Jacques Farré, Éric Villemonte de la Clergerie
Mining Parsing Results for Lexical Corrections.
3rd Language & Technology Conference, Oct 2007, Poznan, Poland. pp.ISBN 978-83-7177-407-2, hal-00360978

Lionel Nicolas, Benoît Sagot, Miguel Molinero, Jacques Farré, Éric Villemonte de la Clergerie
Mining Parsing Results for Lexical Correction: Toward a Complete Correction Process of Wide-Coverage Lexicons.
LTC 2007 - Third Language and Technology Conference, Oct 2007, Poznan, Poland. pp.178-191, ⟨10.1007/978-3-642-04235-5_16⟩, hal-00793052

Sylvain Schmitz
Conservative Ambiguity Detection in Context-Free Grammars.
34th International Colloquium on Automata, Languages and Programming, Jul 2007, Wroclaw, Poland. pp.692-703, ⟨10.1007/978-3-540-73420-8_60⟩, hal-00610222

David Simoncini, Philippe Collard, Sébastien Verel, Manuel Clergue
On the Influence of Selection Operators on Performances in Cellular Genetic Algorithms.
IEEE Congress on Evolutionary Computation CEC2007, Sep 2007, singapore, Singapore. pp.4706-4713, hal-00164789

Sylvie Troncale, Jean-Paul Comet, Gilles Bernot
Verification of biological models with Timed Hybrid Petri nets.
Computational Models For Life Sciences (CMLS 2007), 2007, Australia. pp.287--296, ⟨10.1063/1.2816633⟩, hal-00342179

Sylvie Troncale, Jean-Paul Comet, Gilles Bernot
Validation of biological models with Temporal logic and Timed Hybrid Petri nets.
Conference of the IEEE Engineering in Medicine and Biology Society (EMBC07)., 2007, Lyon, France. pp.4603--4608, hal-00342180

Leonardo Vanneschi, Sébastien Verel
Fitness landscapes and problem hardness in evolutionary computation.
Genetic And Evolutionary Computation Conference, Jul 2007, London, United Kingdom. pp.3690-3733, ⟨10.1145/1274000.1274130⟩, hal-00165384

Leonardo Vanneschi, Philippe Collard, Sébastien Verel, Marco Tomassini, Yuri Pirola, Giancarlo Mauri
A Comprehensive View of Fitness Landscapes with Neutrality and Fitness Clouds.
EuroGP 2007, Apr 2007, Valencia, Spain. pp.241--250, ⟨10.1007/978-3-540-71605-1_22⟩, hal-00164926

Bruno Martin
A Walsh exploration of elementary CA rules.
International Workshop on Cellular Automata, Sep 2006, Hiroshima, Japan. pp.25-30, hal-00305489

Alexandre Goldsztejn, David Daney, Michel Rueher, Patrick Taillibert
Modal intervals revisited : a mean-value extension to generalized intervals.
In International Workshop on Quantification in Constraint Programming (International Conference on Principles and Practice of Constraint Programming, CP-2005), Oct 2005, Barcelona, Spain, hal-00990048

Philippe Langevin, Patrick Solé
Gauss sums over quasi-Frobenius rings.
Fq5, 2001, Unknown, Unknown Region. pp.329--341, hal-01279304

Philippe Langevin, Patrick Solé
Kernels and Defaults.
Finite Fields : Theory, Applications and Algorithms, 1998, Unknown, Unknown Region. pp.77--87, hal-01279306

Conference papers international audience with peer reviewing

Elisabetta de Maria, Cinzia Di Giusto
Parameter Learning for Spiking Neural Networks Modelled as Timed Automata.
9th International Conference on Bioinformatics Models, Methods and Algorithms, Jan 2018, Funchal, France. ⟨10.5220/0006530300170028⟩, hal-01717603

Assia Kamal Idrissi, Arnaud Malapert, Rémi Jolin
Résolution du problème de rayon d'action d'un vol.
Société française de recherche opérationnelle et d'aide à la décision, Feb 2018, Lorient, France, hal-02069642

Verena Lyding, Lionel Nicolas, Branislav Bédi, Karën Fort
Introducing the European NETwork for Combining Language LEarning and Crowdsourcing Techniques (enetCollect).
EuroCALL, Aug 2018, Jyväskylä, Finland, hal-01961788

Bruno Martin
Randomness with Cellular Automata.
Discrete Models of Complex Systems, Mar 2018, Orléans, France, hal-01741411

Bruno Martin
Pseudo-random sequence generation with cellular automata.
6th International Workshop on Applications and Fundamentals of Cellular Automata, Nov 2018, Hida, Takayama, Japan, hal-01980216

Jean-Charles Régin, Guillaume Perez
Parallel Algorithms for Operations on Multi-valued Decision Diagrams.
AAAI 2018 Conference | The Thirty-Second AAAI Conference on Artificial Intelligence, Feb 2018, New Orleans, France, hal-01877882

Elisabetta de Maria, Cinzia Di Giusto, Giovanni Ciatto
Formal Validation of Neural Networks as Timed Automata.
the 8th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2017, Nha Trang City, France. ⟨10.1145/3156346.3156350⟩, hal-01717598

Assia Kamal Idrissi, Arnaud Malapert, Rémi Jolin
The Route Network Development Problem based on QSI Models.
The 6th International Conference on Operations Research and Enterprise Systems (ICORES 2017), Feb 2017, Porto, Portugal. pp.3-11, hal-01514375

Sandrine Julia, Arnaud Malapert, Julien Provillard
A synergic approach to the minimal uncompletable words problem.
16th Mons Theoretical Computer Science Days , Sep 2016, Liège, Belgium, hal-01342479

Philippe Collard, Wilfried Segretier
How can imitation counterbalance innovation? An ABM Bass model for competing products.
IEEE RCIS 2014 Eighth International Conference on Research Challenges in Information Science, May 2014, Marrakech, Morocco, hal-01288467

Anaïs Carlin, Sébastien Verel, Philippe Collard
Modeling Luxury Consumption: An Inter-Income Classes Study of Demand Dynamics and Social Behaviors.
Annual Workshop on the Economic Science with Heterogeneous Interacting Agents (WEHIA), Jun 2013, Reykjavik, Iceland, hal-01288725

Jean-Marc Fedou, Menez Gilles, Luc Pronzato, João Rendas
OAT designs for mixed effects.
ERCIM 2012 (5th Int. Conf. of the ERCIM WG on Computing & Statistics), ERCIM, Dec 2012, Oviedo, Spain, hal-01308287

Bruno Martin, R. Saito, Katsunobu Imai
On radius 1 nontrivial reversible and number-conserving cellular automata.
Reversible Computation, Jul 2012, Copenhagen, Denmark, hal-00826548

Gilles Menez, Jean-Marc Fedou, Luc Pronzato, João Rendas
OAT designs for mixed effects.
Statistische Woche 2012 (German Statistical Week), Austrian Statistical Society, Sep 2012, Vienne, Austria, hal-01308292

Kévin Perrot, Thi Ha Duong Phan, Trung Van Pham
On the set of Fixed Points of the Parallel Symmetric Sand Pile Model.
AUTOMATA 2011, Nov 2011, Santiago, Chile. pp.17-28, hal-01196141

Conference papers national audience

Guillaume Perez, Michel Barlaud, Lionel Fillatre, Jean-Charles Régin
A filtered bucket-clustering method for Projection onto the Simplex and the l1 ball.
Colloque GRETSI, Sep 2017, Juan-les-Pins, France, hal-01562642

Mohammed Bekkouche, Hélène Collavizza, Michel Rueher
Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs.
JFPC 2015 : Onzièmes Journées Francophones de Programmation par Contraintes, Laboratoire Bordelais de Recherche en Informatique (Labri), Jun 2015, Bordeaux, France, hal-01152341

Mohammed Bekkouche, Hélène Collavizza, Michel Rueher
Une approche CSP pour l'aide à la localisation d'erreurs.
Dixièmes Journées Francophones de Programmation par Contraintes (JFPC 14), Jun 2014, Angers, France, hal-00957255

Mohammed Said Belaid, Claude Michel, Michel Rueher
Un nouvel algorithme de consistance locale sur les nombres flottants.
Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France, hal-00829579

Arnaud Malapert, Jean-Charles Régin
Propagation de contraintes arithmétiques.
JFPC 2012, May 2012, Toulouse, France, hal-00812011

Marie-Eleonore Marmion, Clarisse Dhaenens, Laetitia Jourdan, Arnaud Liefooghe, Sébastien Verel
Conception de recherche locale en présence de neutralité.
ROADEF 2012 : 13e congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Apr 2012, Angers, France, hal-00840357

Mohammed Rezgui, Jean-Charles Régin, Arnaud Malapert
Une stratégie de recherche basée sur la substituabilité.
JFPC 2012 - Huitièmes Journées Francophones de Programmation par Contraintes - 2012, May 2012, Toulouse, France, hal-00811851

Gilles Trombettoni, Ignacio Araya, Bertrand Neveu, Gilles Chabert
IbexOpt : un module d'optimisation globale sous contraintes fiable.
13e congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision, Apr 2012, Angers, France. 2p, hal-00733916

Gabriele Fici, Thierry Lecroq, Arnaud Lefebvre, Elise Prieur-Gaston
Computing Abelian Periods in Words.
SeqBi11 - Workshop Algorithmique, combinatoire du texte et applications en bio-informatique, 2011, Rennes, France, hal-00560414

Gabriele Fici, Thierry Lecroq, Arnaud Lefebvre, Elise Prieur-Gaston
Computing abelian periods in words.
London Stringology Days/London Algorithmic Workshop 2011, 2011, Londres, United Kingdom, hal-00569139

Gilles Trombettoni, Ignacio Araya, Bertrand Neveu, Gilles Chabert
Régions intérieures et linéarisations par intervalles en optimisation globale.
JPFC 2011, Jun 2011, Lyon, France. pp.299-306, hal-00654307

Mohammed Said Belaid, Claude Michel, Michel Rueher
Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres réels.
JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.51-60, inria-00520370

Carole Blanc, Maylis Delest, Jean-Marc Fédou, Guy Melançon, François Queyroi
Évaluer la qualité d'une fragmentation de graphe multi-niveaux.
Journées MARAMI 2010, Oct 2010, Toulouse, France. pp.1, hal-00542484

Nguyen Le Vinh, Hélène Collavizza, Michel Rueher, Samuel Devulder, Thierry Gueguen
Stratégies Dynamiques pour la Génération de Contre-exemples.
JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.207-216, inria-00520281

Gabriela Ochoa, Sébastien Verel, Marco Tomassini, Fabio Daolio
Local Optima Networks: Current Results and Perspectives.
4th Workshop on Theory of Randomized Search Heuristics, Mar 2010, Paris, France, hal-00460436

Mohamed Sayah, Yahia Lebbah
Détection des cas de débordement flottant avec une recherche locale.
JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.245-246, inria-00520293

Sébastien Verel, Laetitia Jourdan, Clarisse Dhaenens, Arnaud Liefooghe
Set-based Multiobjective Fitness Landscapes: definition, properties..
4th Workshop on Theory of Randomized Search Heuristics, Mar 2010, Paris, France, hal-00460442

Sébastien Verel, Philippe Collard, Manuel Clergue
States based evolutionary algorithm.
Workshop selfstar at conference PPSN, Sep 2010, Krakow, Poland, hal-00518206

Miguel Molinero, Benoît Sagot, Lionel Nicolas
Building a morphological and syntactic lexicon by merging various linguistic resources.
NODALIDA 2009 - the 17th Nordic Conference of Computational Linguistics, May 2009, Odense, Denmark, hal-00793048

Lionel Nicolas, Miguel Molinero, Benoît Sagot, Elena Sánchez Trigo, Éric Villemonte de la Clergerie, Miguel Alonso Pardo, Jacques Farré, Joan Miquel-Vergès
Construcciòn y extensiòn de un léxico morfológico y sintáctico para el Español: el Leffe.
Proceedings of SEPLN 09, 2009, San Sebastian, Spain, España, inria-00553258

Lionel Nicolas, Miguel Molinero, Benoît Sagot, Elena Sánchez Trigo, Éric Villemonte de la Clergerie, M.A. Pardo, Jacques Farré, J. Miquel Vergés
Producción eficiente de recursos lingüísticos: el proyecto Victoria.
SEPLN 09 - 25th edition of the Annual Conference of the Spanish Society for Natural Language Processing, Sep 2009, Donostia, España, hal-00793059

Gabriela Ochoa, Sébastien Verel, Marco Tomassini
Local Optima Networks of NK Landscapes with and without Neutrality.
3rd Workshop on Theory of Randomized Search Heuristics, Oct 2009, Birmingham, United Kingdom, hal-00425367

Éric Villemonte de la Clergerie, Benoît Sagot, Lionel Nicolas, Marie-Laure Guénot
FRMG: évolutions d'un analyseur syntaxique TAG du français.
Journée de l'ATALA sur : Quels analyseurs syntaxiques pour le français ?, ATALA, Oct 2009, Paris, France, inria-00553260

Katsunobu Imai, Bruno Martin
Simulations between triangular and hexagonal number-conserving cellular automata.
International Workshop on Natural Computing, Sep 2008, Yokohama, Japan, hal-00315932

Lionel Nicolas, Benoît Sagot, Miguel Molinero, Jacques Farré, Éric Villemonte de la Clergerie
Extensión y corrección semi-automática de léxicos morfo-sintácticos.
24th edition of the conference of the Spanish Society for Natural Language Processing (SEPLN 2008), El Advanced Database research group, LaBDA, Sep 2008, Madrid, España, inria-00553523

Michel Rueher, Alexandre Goldsztejn, Yahia Lebbah, Claude Michel
Capabilities of Constraint Programming in Rigorous Global Optimization.
2008 International Symposium on Nonlinear Theory and its Applications, Sep 2008, Hungary, hal-00481388

Marco Tomassini, Gabriela Ochoa, Sébastien Verel
The network structure of hard combinatorial landscapes..
BCNetWORKSHOP trends and perspectives in complex networks, Dec 2008, Barcelona, Spain, hal-00433254

Yahia Lebbah, Claude Michel, Michel Rueher
Utilisation des techniques de programmation par contraintes pour une implémentation rigoureuse et efficace de la réduction basée sur l'optimalité.
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France, France, inria-00151231

Bruno Martin
Analyse des suites aléatoires engendrées par des automates cellulaires et applications à la cryptographie.
Journée de cryptanalyse et de sécurité de l'information, Mar 2007, Casablanca, Maroc, hal-00296811

Bruno Martin
Another Co*cryption Method.
International Conference on Science and Technology (JICT), Mar 2007, Malaga, Spain. pp.CD-ROM, hal-00301817

Bruno Martin
Mixing Compression and CA Encryption.
SAR-SSI, Jun 2007, Annecy, France. pp.255-266, hal-00304320

Lionel Nicolas, Jacques Farré, Éric Villemonte de la Clergerie
Confondre le coupable : corrections à un lexique suggérées par une grammaire.
TALN 2007, Jun 2007, Toulouse, France. pp.315-324, hal-00384334

Denis Pallez, Philippe Collard, Laurent Dumercy, Thierry Baccino
Eye-Tracking Evolutionary Algorithm to minimize user's fatigue in IECapplied to Interactive One-Max problem.
The 2007 GECCO conference companion on Genetic and evolutionary computation, 2007, London, United Kingdom. pp.2883-2886, hal-01363859

Documents associated with scientific events

Michel Rueher
Apports et Potentiels de la Programmation par Contraintes en Optimisation Globale sous Contraintes.
JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France, hal-00742227

Habilitation à diriger des recherches

Hélène Collavizza
Contribution à la vérication formelle et programmation par contraintes.
Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2009, tel-00461140

Theses

Mohammed Bekkouche
Combinaison des techniques de Bounded Model Checking et de Programmation Par Contraintes pour l'aide à la localisation d'erreurs.
Informatique [cs]. Université Nice Sophia Antipolis, 2015. Français, tel-01242557

Simon Martiel
Algorithmical and mathematical approaches of causal graph dynamics.
Other [cs.OH]. Université Nice Sophia Antipolis, 2015. English. ⟨NNT : 2015NICE4043⟩, tel-01188690

Mohamed Rezgui
Parallélisme en programmation par contraintes.
Autre [cs.OH]. Université Nice Sophia Antipolis, 2015. Français. ⟨NNT : 2015NICE4040⟩, tel-01191760

Noureddine Aribi
Contribution à l'élicitation des paramètres en optimisation multicritère.
Autre [cs.OH]. Université Nice Sophia Antipolis, 2014. Français. ⟨NNT : 2014NICE4031⟩, tel-01065629

Daniela Battaglino
Enumeration of polyominoes defined in terms of pattern avoidance or convexity constraints.
Other [cs.OH]. Université Nice Sophia Antipolis, 2014. English. ⟨NNT : 2014NICE4042⟩, tel-01064960

Julien Provillard
Automates cellulaires non-uniformes.
Mathématique discrète [cs.DM]. Université Nice Sophia Antipolis, 2012. Français, tel-01297387

Vinh Duc Tran
Des codes pour engendrer des langages de mots infinis.
Théorie et langage formel [cs.FL]. Université Nice Sophia Antipolis, 2011. Français, tel-01288662

Maroun Bercachi
Algorithme Évolutionnaire à États pour l'Optimisation Difficile.
Algorithme et structure de données [cs.DS]. Université Nice Sophia Antipolis, 2010. Français, tel-00818459

Reports

Giovanni Ciatto, Elisabetta de Maria, Cinzia Di Giusto
Modeling Third Generation Neural Networks as Timed Automata and verifying their behavior through Temporal Logic.
[Research Report] Université Côte d'Azur, CNRS, I3S, France. 2017, hal-01473941

Elisabetta de Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont
Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models.
[Research Report] RR-8937, UCA, Inria; UCA, I3S; UCA, LEAT; UCA, LJAD. 2016, pp.21, hal-01349019

Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel
Activity Networks with Delays An application to toxicity analysis.
[Research Report] Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO MDSC - Modèles Discrets pour les Systèmes Complexes. 2016, hal-01152719

Mohammed Bekkouche
Exploration de la scalabilité de LocFaults.
[Rapport de recherche] Univ. Nice Sophia Antipolis, CNRS, I3S, UMR 7271, 06900 Sophia Antipolis, France. 2015, hal-01132780

Mohammed Bekkouche
Exploration of the scalability of LocFaults approach for error localization with While-loops programs.
[Research Report] University of Nice-Sophia Antipolis, I3S/CNRS BP 121, 06903 Sophia Antipolis Cedex, France. 2015, hal-01132781

Mohammed Bekkouche
Une approche combinant les techniques BMC et un problème CSP pour l'aide à la localisation d'erreurs.
[Rapport de recherche] Université Nice Sophia Antipolis; Université d'Oran 1. 2015, hal-01246824

Elisabetta de Maria, Joelle Despeyroux, Amy Felty
A Logical Framework for Systems Biology.
[Research Report] 2014, pp.34, hal-00981409

Cinzia Di Giusto, Jorge A. Perez
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems.
[Research Report] Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO MDSC - Modèles Discrets pour les Systèmes Complexes; Johann Bernoulli Institute for Mathematics and Computer Science, University of Groeningen. 2014, hal-01093090

Juha-Matti Kuusinen, Arnaud Malapert
Constraint Programming Formulation for the Elevator Trip Origin-Destination Matrix Estimation Problem.
2014, hal-00932519

Kaustuv Chaudhuri, Joelle Despeyroux
A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology.
[Research Report] 2013, pp.30, inria-00402942

Jérémie Humeau, Arnaud Liefooghe, El-Ghazali Talbi, Sébastien Verel
ParadisEO-MO: From Fitness Landscape Analysis to Efficient Local Search Algorithms.
[Research Report] RR-7871, INRIA. 2013, hal-00665421

Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
A Contractor Based on Convex Interval Taylor.
[Research Report] RR-7887, INRIA. 2012, pp.23, hal-00673447

Arnaud Malapert, Jean-Charles Régin
A note on arithmetic constraint propagation.
2012, hal-00690317

Arnaud Malapert, Sophie Demassey, Jean-Charles Régin
Beyond Cmax: an optimization-oriented framework for constraint-based scheduling.
2012, hal-00976994

Ignacio Araya, Bertrand Neveu, Gilles Trombettoni
An Interval Extension Based on Occurrence Grouping: Method and Properties.
[Research Report] RR-7806, INRIA. 2011, pp.26, hal-00642819

Nadjib Lazaar, Nourredine Aribi, Arnaud Gotlieb, Yahia Lebbah
Negation for Free!.
[Research Report] RR-7749, INRIA. 2011, pp.16, inria-00629657

Olivier Ponsini, Claude Michel, Michel Rueher
Refining Abstract Interpretation-based Approximations with Constraint Solvers.
[Research Report] Laboratoire I3S / UNS. 2011, hal-00623274

Nadjib Lazaar, Arnaud Gotlieb, Lebbah Yahia
On Testing Constraint Programs.
[Research Report] RR-7291, INRIA. 2010, inria-00483410

Other publications

Lyes Khacef, Sarah Zerimech, Adrien Russo, Pablo Avalos Prado, Cyrille Mascart
L'intelligence artificielle s'inspire de l'humain ... et vice versa.
2018, pp.35, hal-01740476

Bruno Martin
Ce que la cryptographie doit à Shannon.
2017, hal-01741406

Bruno Martin, Sander Emmanuel, Jean-Marc Labat
Conception et implémentation d'un modèle cognitif générique basé sur le modèle des contraintes.
2016, hal-02119487

Nguyen Le Vinh, Hélène Collavizza, Michel Rueher, Samuel Devulder, Thierry Gueguen
Efficient Constraint-Based Dynamic Strategies For Generating Counterexamples.
2010, hal-00495816

 Journal articles International audience

 Journal articles National audience

 Books

 Directions of work or proceedings

 Book sections

 Conference papers invited

 Conference papers international audience with peer reviewing and proceeding

 Conference papers international audience with peer reviewing

 Conference papers international audience

 Conference papers national audience

 Poster communications

 Documents associated with scientific events

 Habilitation à diriger des recherches

 Theses

 Master thesis

 Patents

 Reports

 Lectures

 Other publications