Liste des publications dans HAL de MDSC

Classement effectué par Type de publication / Date de publication / ordre alphabétique Premier auteur
Journal articles International audience

L. Allou, S. Julia, S. El Chehadeh, L. Lambert, Julien Thevenon, Yannis Duffourd, A. Saunier, P. Bouquet, S. Pere, P. Jonveaux, C. Philippe
Rett-like phenotypes: expanding the genetic heterogeneity to the KCNA2 gene and first familial case of CDKL5 -related disease.
Clinical Genetics, Wiley, 2016, <10.1111/cge.12784>,
Journal articles International audience
hal-01404611

Philippe Collard, Teodor Ghetiu
Segregation Landscape : A new view on the Schelling segregation space.
Complex Systems, Complex Systems Publications, 2016, 25 (3), <http://www.complex-systems.com>,
Journal articles International audience
hal-01358726

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>,
Journal articles International audience
hal-01320789

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, 2016, A paraître,
Journal articles International audience
halshs-01417248

Maximilien Gadouleau, Adrien Richard
Simple dynamics on graphs.
Theoretical Computer Science, Elsevier, 2016, 628, pp.62-77. <http://www.sciencedirect.com/science/article/pii/S0304397516002061>. <10.1016/j.tcs.2016.03.013>,
Journal articles International audience
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>,
Journal articles International audience
hal-01318072

Kévin Perrot, Eric Rémila
Emergence of Wave Patterns on Kadanoff Sandpiles.
European Journal of Combinatorics, Elsevier, 2016, A paraître,
Journal articles International audience
halshs-01417254

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>,
Journal articles International audience
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,
Journal articles International audience
hal-01255242

Jean-Marc Fedou, Gabriele Fici
Vertical Representation of C∞-words.
Theoretical Computer Science, Elsevier, 2015, 565,
Journal articles International audience
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. <http://www.tandfonline.com/>. <10.1080/00949655.2015.1008226>,
Journal articles International audience
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>,
Journal articles International audience
hal-01298045

Adrien Richard
Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks.
Journal of Theoretical Computer Science (TCS), Elsevier, 2015, 583, pp.1-26. <http://www.sciencedirect.com/science/article/pii/S0304397515002650>,
Journal articles International audience
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>,
Journal articles International audience
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 >,
Journal articles International audience
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 Verlag, 2014, 28 (4), pp.1107-1128. <10.1007/s10618-013-0335-9>,
Journal articles International audience
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. <http://www.complex-systems.com/>,
Journal articles International audience
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>,
Journal articles International audience
hal-01242396

Gabriele Fici, Luca Q. Zamboni
On the least number of palindromes contained in an infinite word.
Theoret. Comput. Sci., 2013, 481, pp.1--8,
Journal articles International audience
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, <10.1111/j.1365-3040.2012.02564.x>,
Journal articles International audience
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>,
Journal articles International audience
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. <http://www.journals.elsevier.com/theoretical-computer-science/>. <10.1016/j.tcs.2013.04.024>,
Journal articles International audience
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,
Journal articles International audience
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>,
Journal articles International audience
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>,
Journal articles International audience
hal-00760097

Ignacio Araya, Bertrand Neveu, Gilles Trombettoni
An Interval Extension Based on Occurrence Grouping.
Computing, Springer Verlag, 2012, 94 (2), pp.173-188,
Journal articles International audience
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. <http://link.springer.com/article/10.1007/s10601-012-9119-x>. <10.1007/s10601-012-9119-x>,
Journal articles International audience
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>,
Journal articles International audience
hal-01344070

Jean-Marc Champarnaud, Jean-Philippe Dubernard, Franck Guingne, Hadrien Jeanne
Geometrical regular languages and linear Diophantine equations: The strongly connected case.
Theor. Comput. Sci., Elsevier, 2012, 449, pp.54-63,
Journal articles International audience
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>,
Journal articles International audience
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>,
Journal articles International audience
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. <http://www.iospress.nl/journal/fundamenta-informaticae/>. <10.3233/FI-2012-643>,
Journal articles International audience
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>,
Journal articles International audience
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>,
Journal articles International audience
hal-01242438

Leonardo Vanneschi, Yuri Pirola, Giancarlo Mauri, Philippe Collard, Sébastien Verel
A Study of Neutrality of Boolean Function Landscapes in Genetic Programming.
Journal of Theoretical Computer Science (TCS), Elsevier, 2012, 425, pp.34 -- 57. <10.1016/j.tcs.2011.03.011>,
Journal articles International audience
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,
Journal articles International audience
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..
Journal of Theoretical Computer Science (TCS), Elsevier, 2011, 412 (21), pp.2108-2127,
Journal articles International audience
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,
Journal articles International audience
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,
Journal articles International audience
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>,
Journal articles International audience
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. <http://www.worldscientific.com/doi/pdf/10.1142/S0218213011000371>. <10.1142/S0218213011000371>,
Journal articles International audience
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>,
Journal articles International audience
hal-01242441

Adrien Richard
Local negative circuits and fixed points in Boolean networks.
Discrete Applied Mathematics, Elsevier, 2011, 159 (11), pp.1085-1093,
Journal articles International audience
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>,
Journal articles International audience
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. <http://rd.springer.com/article/10.1007%2Fs00224-009-9230-6>. <10.1007/s00224-009-9230-6>,
Journal articles International audience
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,
Journal articles International audience
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>,
Journal articles International audience
hal-00646001

Alexandre Goldsztejn, Michel Rueher, Michel Claude
Efficient Handling of Universally Quantified Inequalities.
Constraints, Springer Verlag, 2009, 14 (1), pp.117-135,
Journal articles International audience
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,
Journal articles International audience
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>,
Journal articles International audience
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,
Journal articles International audience
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>,
Journal articles International audience
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,
Journal articles International audience
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>,
Journal articles International audience
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>,
Journal articles International audience
hal-00400775

Bruno Martin
A walsh exploration of elementary CA rules.
Journal of Cellular Automata, Old City Publishing, 2008, 3 (2), pp.145-156,
Journal articles International audience
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.
Theory in Biosciences, 2008, 127 (2), pp.79-88,
Journal articles International audience
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>,
Journal articles International audience
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>,
Journal articles International audience
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,
Journal articles International audience
hal-00619704

Enrico Formenti, Petr Kurka
Subshift attractors of cellular automata.
Nonlinearity, IOP Publishing, 2007, 20, pp.105-117,
Journal articles International audience
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>,
Journal articles International audience
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>,
Journal articles International audience
hal-00296744

Bruno Martin
Universal Simulations by Spatial Machines.
Journal of Cellular Automata, Old City Publishing, 2007, 2 (3), pp.203-217,
Journal articles International audience
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,
Journal articles International audience
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,
Journal articles International audience
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>,
Journal articles International audience
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,
Journal articles International audience
hal-00415810

Bernard Botella, Arnaud Gotlieb, Claude Michel
Symbolic execution of floating-point computations.
Software Testing Verification and Reliability, John Wiley & Sons, Ltd, 2006, 16 (2), pp.97-121. <10.1002/stvr.333>,
Journal articles International audience
inria-00540299

Philippe Langevin, Patrick Solé
Z4 duadic codes.
Finite Fields and Their Applications, Elsevier, 2000, 6, pp.309--326,
Journal articles International audience
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>,
Journal articles International audience
inria-00540302

Books

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. <http://www.ppur.org/>,
Books
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. <epigenomique.free.fr>,
Directions of work or proceedings
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. <epigenomique.free.fr>,
Directions of work or proceedings
hal-01276522

Book sections

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,
Book sections
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,
Book sections
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,
Book sections
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,
Book sections
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>. <http://link.springer.com/book/10.1007/978-3-319-13350-8>,
Book sections
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>,
Book sections
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,
Book sections
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,
Book sections
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,
Book sections
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>,
Book sections
hal-00331863

Philippe Langevin, Patrick Solé
Gauss sums over quasi-Frobenius rings.
Finite fields and applications (Augsburg, 1999), Springer, pp.329--340, 2001,
Book sections
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. 9308, pp.8-12, 2015, LNCS. <http://cmsb2015.sciencesconf.org/>,
Conference papers invited
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. 2013,
Conference papers invited
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. 1 (1), 2009,
Conference papers invited
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,
Conference papers invited
hal-00510305

Conference papers international audience with peer reviewing and proceeding

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. 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Series: Lecture Notes in Computer Science, Vol. 9976 ., 9976, pp 209 --217, 2016, LNCS. <http://ictss2016.ist.tugraz.at>,
Conference papers international audience with peer reviewing and proceeding
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. 9863, pp.34-44, 2016, Lecture Notes in Computer Science. <https://sites.google.com/a/complexworld.net/acri2016/>. <10.1007/978-3-319-44365-2_4>,
Conference papers international audience with peer reviewing and proceeding
hal-01377338

Luca Mariot
Asynchrony Immune Cellular Automata.
12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Sep 2016, Fez, Morocco. 9863, pp.176-181, 2016, Lecture Notes in Computer Science. <https://sites.google.com/a/complexworld.net/acri2016/>. <10.1007/978-3-319-44365-2_17>,
Conference papers international audience with peer reviewing and proceeding
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. 9863, pp.182--191, 2016, Lecture Notes in Computer Science. <10.1007/978-3-319-44365-2_18>,
Conference papers international audience with peer reviewing and proceeding
hal-01341136

Guillaume Perez, Jean-Charles Régin
Constructions and In-Place Operations for MDDs Based Constraints.
CPAIOR 2016, May 2016, Banff, Canada. Integration of and Techniques in Constraint Programming - 13th International Conference, 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings, 2016, <10.1007/978-3-319-33954-2_20>,
Conference papers international audience with peer reviewing and proceeding
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. 9210, pp.14, 2015, Fundamentals of Computation Theory. <10.1007/978-3-319-22177-9_27>,
Conference papers international audience with peer reviewing and proceeding
hal-01249272

Mohammed Bekkouche, Hélène Collavizza, Michel Rueher
LocFaults: A new flow-driven and constraint-based error localization approach.
ACM. SAC’15, SVT track, Apr 2015, Salamanca,, Spain. <10.1145/2695664.2695822>,
Conference papers international audience with peer reviewing and proceeding
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, 2015, <10.1145/2808797.2809299>,
Conference papers international audience with peer reviewing and proceeding
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, 2015, <10.1145/2739482.2764674>,
Conference papers international audience with peer reviewing and proceeding
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. 9477, pp.33-45, 2015, Lecture Notes in Computer Science. <10.1007/978-3-319-26841-5_3>,
Conference papers international audience with peer reviewing and proceeding
hal-01313909

Luca Mariot, Alberto Leporati
On the Periods of Spatially Periodic Preimages in Linear Bipermutive Cellular Automata.
Jarkko Kari. 21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. Springer, Lecture Notes in Computer Science, LNCS-9099, pp.181-195, Cellular Automata and Discrete Complex Systems. <http://math.utu.fi/automata2015/>. <10.1007/978-3-662-47221-7_14>,
Conference papers international audience with peer reviewing and proceeding
hal-01313895

Simon Martiel, Bruno Martin
An Intrinsically Universal Family of Causal Graph Dynamics.
Machines, Computations, and Universality, Sep 2015, Famagusta, Cyprus. Springer Verlag, 9288, pp.129-148, Machines, Computations, and Universality. <http://link.springer.com/book/10.1007%2F978-3-319-23111-2>. <10.1007/978-3-319-23111-2_9>,
Conference papers international audience with peer reviewing and proceeding
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. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015, Buenos Aires, Argentina, July 25-31, 2015,
Conference papers international audience with peer reviewing and proceeding
hal-01344082

Guillaume Perez, Jean-Charles Régin
Efficient Operations On MDDs For Building Constraint Programming Models.
IJCAI 2015, Jul 2015, Buenos Aires, Argentina. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015, Buenos Aires, Argentina, July 25-31, 2015,
Conference papers international audience with peer reviewing and proceeding
hal-01344084

Julien Cassaigne, Gabriele Fici, Sciortino Marinella, Luca Q. Zamboni
Cyclic Complexity of Words.
MFCS 2014, Aug 2014, Hungary. To appear, 2014,
Conference papers international audience with peer reviewing and proceeding
hal-01024885

Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher
Generating test cases inside suspicious intervals for floating-point number programs.
CSTVA, May 2014, Hyderabad, India. pp.7 - 11, 2014, Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis. <http://dl.acm.org/citation.cfm?doid=2593735.2593737>. <10.1145/2593735.2593737>,
Conference papers international audience with peer reviewing and proceeding
hal-01099503

Elisabetta De Maria, Joëlle Despeyroux, Amy Felty
A Logical Framework for Systems Biology.
François Fages; Carla Piazza. FMMB 2014 - First International Conference on Formal Methods in Macro-Biology, Sep 2014, Noumea, France. Springer, Springer LNCS 8738, 8738, 2014, LNCS - Lecture Notes in Computer Science. <10.1007/978-3-319-10398-3_10>,
Conference papers international audience with peer reviewing and proceeding
hal-01285058

Guillaume Perez, Jean-Charles Régin
Improving GAC-4 for Table and MDD Constraints.
CP 2014, Sep 2014, Lyon, France. Principles and Practice of Constraint Programming - 20th International Conference, 2014, Lyon, France, September 8-12, 2014. Proceedings, 2014, <10.1007/978-3-319-10428-7_44>,
Conference papers international audience with peer reviewing and proceeding
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. Springer, 8392, A paraître, 2014, Lecture notes in Computer Science,
Conference papers international audience with peer reviewing and proceeding
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. Principles and Practice of Constraint Programming - 20th International Conference, 2014, Lyon, France, September 8-12, 2014. Proceedings, 2014, <10.1007/978-3-319-10428-7_45>,
Conference papers international audience with peer reviewing and proceeding
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, 2013,
Conference papers international audience with peer reviewing and proceeding
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. 7997, pp.450-454, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-44973-4_48>,
Conference papers international audience with peer reviewing and proceeding
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, 2013,
Conference papers international audience with peer reviewing and proceeding
hal-00805166

Daniela Battaglino, Jean-Marc Fédou, Simone Rinaldi, Samanta Socci
The number of $k$-parallelogram polyominoes.
Alain Goupil and Gilles Schaeffer. 25th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2013), 2013, Paris, France. Discrete Mathematics and Theoretical Computer Science, DMTCS Proceedings vol. AS, 25th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2013), pp.1113-1124, 2013, DMTCS Proceedings,
Conference papers international audience with peer reviewing and proceeding
hal-01229685

Philippe Collard
Beyond the Schelling's segregation model: is it equivalent to be repulse by dissimilar rather to be attracted by similar ?.
MIT press. European Conference on the Synthesis and Simulation of Living Systems, Sep 2013, Taormina, Italy. ''Advances in Artificial Life'', ed. MIT press, 2013, 2103, ''Advances in Artificial Life'', ed. MIT press, 2013. <https://mitpress.mit.edu/books/advances-artificial-life-ecal-2013>,
Conference papers international audience with peer reviewing and proceeding
hal-01285679

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

Arnaud Malapert, Jean-Charles Régin, Jean Parpaillon
The Package Server Location Problem.
ICORES 2013, Feb 2013, Barcelona, Spain. 2013 - Proceedings of the 2nd International Conference on Operations Research and Enterprise Systems, Barcelona, Spain, 16-18 February, 2013,
Conference papers international audience with peer reviewing and proceeding
hal-01344073

Bruno Martin, Simon Martiel
Intrinsic Universality of Causal Graph Dynamics.
EPTCS. Machines, Computations and Universality, Sep 2013, Zürich, Switzerland. 128, pp.137-149, 2013, Machines, Computations and Universality 2013 (MCU 2013). <http://eptcs.web.cse.unsw.edu.au/paper.cgi?MCU2013.19>. <10.4204/EPTCS.128.19>,
Conference papers international audience with peer reviewing and proceeding
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. 8155, pp.124--138, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-40867-0_9>,
Conference papers international audience with peer reviewing and proceeding
hal-00832885

François Pelsser, Pierre Schaus, Jean-Charles Régin
Revisiting the Cardinality Reasoning for BinPacking Constraint.
CP 2013, Sep 2013, Uppsala, Sweden. Principles and Practice of Constraint Programming - 19th International Conference, 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings, 2013, <10.1007/978-3-642-40627-0_43>,
Conference papers international audience with peer reviewing and proceeding
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. ACM, pp.1013--1034, 2013,
Conference papers international audience with peer reviewing and proceeding
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, 2013, 8th Asia Joint Conference on Information Security (AsiaJCIS 2013). <10.1109/ASIAJCIS.2013.25>,
Conference papers international audience with peer reviewing and proceeding
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, 2012,
Conference papers international audience with peer reviewing and proceeding
hal-00733860

Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
A Contractor Based on Convex Interval Taylor.
Springer. CPAIOR 2012, 2012, Nantes, France. 7298, pp.1-16, 2012, LNCS,
Conference papers international audience with peer reviewing and proceeding
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. Springer Verlag, pp.127-140, 2012, Principles and Practice of Constraint Programming. <http://link.springer.com/chapter/10.1007/978-3-642-33558-7_12>. <10.1007/978-3-642-33558-7_12>,
Conference papers international audience with peer reviewing and proceeding
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.
Luc De Raedt and Christian Bessière and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas. 20th European Conference on Artificial Intelligence (ECAI'12), Aug 2012, Montpellier, France. IOS Press, 242, pp.145-150, 2012, Frontiers in Artificial Intelligence and Applications. <10.3233/978-1-61499-098-7-145>,
Conference papers international audience with peer reviewing and proceeding
hal-00754079

Francisco Chicano, Fabio Daolio, Gabriela Ochoa, Sébastien Verel, Marco Tomassini, Enrique Alba
Local Optima Networks, Landscape Autocorrelation and Heuristic Search Performance.
Coello, CarlosA.Coello and Cutello, Vincenzo and Deb, Kalyanmoy and Forrest, Stephanie and Nicosia, Giuseppe and Pavone, Mario. Parallel Problem Solving from Nature - PPSN XII, Sep 2012, Taormina, Italy. Springer Berlin Heidelberg, 7492, pp.337-347, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-32964-7_34>,
Conference papers international audience with peer reviewing and proceeding
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), Oct 2012, Bangkok, Thailand. 11, 2012, Procedia Computer Science. <http://www.csbio.org/2012/>,
Conference papers international audience with peer reviewing and proceeding
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. ACM, pp.369-376, 2012, <10.1145/2330163.2330217>,
Conference papers international audience with peer reviewing and proceeding
hal-00741725

Gabriele Fici, Francesca Fiorenzi
Topological properties of cellular automata on trees.
AUTOMATA 2012, 2012, France. 90, pp.255-266, 2012, <10.4204/EPTCS.90.20>,
Conference papers international audience with peer reviewing and proceeding
hal-00946194

Thao Nguyen, Luigi Liquori, Bruno Martin, Karl Hanks
Towards a Trust and Reputation Framework for Social Web Platforms.
Pilar Herrero and Hervé Panetto and Robert Meersman and Tharam Dillon. 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. Springer Verlag, 7567, pp.13-22, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-33618-8_3>,
Conference papers international audience with peer reviewing and proceeding
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. Proc. of CP2012, Lecture Notes in Computer Science (2012), pp.593 - 607, 2012, Principles and Practice of Constraint Programming. <http://link.springer.com/chapter/10.1007/978-3-642-33558-7_43>. <10.1007/978-3-642-33558-7_43>,
Conference papers international audience with peer reviewing and proceeding
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. Principles and Practice of Constraint Programming - 18th International Conference, 2012, Qu}bec City, QC, Canada, October 8-12, 2012. Proceedings, 2012, <10.1007/978-3-642-33558-7_58>,
Conference papers international audience with peer reviewing and proceeding
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. ACM, pp.1013--1034, 2012, <10.1145/2330784.2330927>,
Conference papers international audience with peer reviewing and proceeding
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. 6914, pp.126-137, 2011, Lecture Notes in Computer Science,
Conference papers international audience with peer reviewing and proceeding
hal-01298868

Jean-Marc Champarnaud, Jean-Philippe Dubernard, Franck Guingne, Hadrien Jeanne
Geometrical Regular Languages and Linear Diophantine Equations.
Markus Holzer and Martin Kutrib and Giovanni Pighizzini. DCFS 2011, Jul 2011, Giessen/Limburg, Germany. Springer, 6808, pp.107-120, 2011,
Conference papers international audience with peer reviewing and proceeding
hal-00906785

Philippe Collard, Salma Mesmoudi
How to Prevent Intolerant Agents from High Segregation?.
Advances in Artificial Life, ECAL 2011, Aug 2011, Paris, France. MIT press, pp.8, 2011,
Conference papers international audience with peer reviewing and proceeding
hal-00742859

Bilel Derbel, Sébastien Verel
DAMS: Distributed Adaptive Metaheuristic Selection.
Genetic And Evolutionary Computation Conference, Jun 2011, Dublin, Ireland. ACM, pp.1955--1962, 2011, <10.1145/2001576.2001839>,
Conference papers international audience with peer reviewing and proceeding
hal-00579993

Roberto Di Cosmo, Olivier Lhomme, Claude Michel
Aligning component upgrades.
Logics for Component Configuration, Sep 2011, Perugia, Italy. pp.1-11, 2011, <10.4204/EPTCS.65.1>,
Conference papers international audience with peer reviewing and proceeding
hal-00622830

Gabriele Fici, Thierry Lecroq, Arnaud Lefebvre, Elise Prieur-Gaston
Computing Abelian Periods in Words.
J. Holub and J. Zdárek. Prague Stringology Conference, 2011, Prague, Czech Republic. pp.184-196, 2011,
Conference papers international audience with peer reviewing and proceeding
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, 2011,
Conference papers international audience with peer reviewing and proceeding
hal-00686571

Sandrine Julia
Minimal uncompletable words.
First Russian-Finnish Symposium on Discrete Mathematics, Sep 2011, Saint Petersburg, Russia. First Russian-Finnish Symposium on Discrete Mathematics, 2011,
Conference papers international audience with peer reviewing and proceeding
hal-01286382

Petr Kůrka, Enrico Formenti, Alberto Dennunzio
Asymptotic distribution of entry times in a cellular automaton with annihilating particles.
Fatès, Nazim and Goles, Eric and Maass, Alejandro and Rapaport, Iván. 17th International Workshop on Celular Automata and Discrete Complex Systems, 2011, Santiago, Chile. Discrete Mathematics and Theoretical Computer Science, DMTCS Proceedings vol. AP, Automata 2011 - 17th International Workshop on Cellular Automata and Discrete Complex Systems, pp.47-58, 2011, DMTCS Proceedings,
Conference papers international audience with peer reviewing and proceeding
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. ACM, pp.1979--1986, 2011, <10.1145/2001576.2001842>,
Conference papers international audience with peer reviewing and proceeding
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. Springer, 6683/2011, pp.238--252, 2011, <10.1007/978-3-642-25566-3_18>,
Conference papers international audience with peer reviewing and proceeding
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.
Peter Merz and Jin-Kao Hao. 11th European Conference on Evolutionary Computation in Combinatorial Optimisation, Apr 2011, Turino, Italy. Springer, 6622, pp.191--202, 2011, Lecture Notes in Computer Science,
Conference papers international audience with peer reviewing and proceeding
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. Springer, 6683/2011, pp.454--457, 2011, <10.1007/978-3-642-25566-3_35>,
Conference papers international audience with peer reviewing and proceeding
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. 284, pp.93-104, 2012, <10.1016/j.entcs.2012.05.017>,
Conference papers international audience with peer reviewing and proceeding
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. Springer, 6876, pp.721-728, 2011, Lecture Notes in Computer Science. <10.1007/978-3-642-23786-7_54>,
Conference papers international audience with peer reviewing and proceeding
hal-00753385

Adrien Richard
A fixed point theorem for Boolean networks expressed in terms of forbidden subnetworks.
Fatès, Nazim and Goles, Eric and Maass, Alejandro and Rapaport, Iván. 17th International Workshop on Celular Automata and Discrete Complex Systems, 2011, Santiago, Chile. Discrete Mathematics and Theoretical Computer Science, DMTCS Proceedings vol. AP, Automata 2011 - 17th International Workshop on Cellular Automata and Discrete Complex Systems, pp.1-16, 2011, DMTCS Proceedings,
Conference papers international audience with peer reviewing and proceeding
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. 2011,
Conference papers international audience with peer reviewing and proceeding
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, 2011,
Conference papers international audience with peer reviewing and proceeding
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. ACM, pp.769--776, 2011, <10.1145/2001576.2001681>,
Conference papers international audience with peer reviewing and proceeding
hal-00579984

Sébastien Verel, Arnaud Liefooghe, Laetitia Jourdan, Clarisse Dhaenens
Analyzing the Effect of Objective Correlation on the Efficient Set of MNK-Landscapes.
C.A. Coello Coello. Learning and Intelligent OptimizatioN Conference (LION 5), Jan 2011, Rome, Italy. Springer, 6683/2011, pp.116-130, 2011, Lecture Notes in Computer Science (LNCS). <10.1007/978-3-642-25566-3_9>,
Conference papers international audience with peer reviewing and proceeding
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.
C.A. Coello Coello. Learning and Intelligent OptimizatioN Conference (LION 5), Jan 2011, Rome, Italy. Springer, 6683, pp.31--45, 2011,
Conference papers international audience with peer reviewing and proceeding
hal-00550353

Sébastien Verel, Arnaud Liefooghe, Laetitia Jourdan, Clarisse Dhaenens
Pareto Local Optima of Multiobjective NK-Landscapes with Correlated Objectives.
Peter Merz and Jin-Kao Hao. 11th European Conference on Evolutionary Computation in Combinatorial Optimisation, Apr 2011, Turino, Italy. Springer, 6622, pp.226--237, 2011, Lecture Notes in Computer Science,
Conference papers international audience with peer reviewing and proceeding
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. 2011,
Conference papers international audience with peer reviewing and proceeding
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. Springer-Verlag, 6308, pp.61-68, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-15396-9_8>,
Conference papers international audience with peer reviewing and proceeding
hal-00654414

Julien Cervelle, Enrico Formenti, Pierre Guillon
Ultimate Traces of Cellular Automata.
Jean-Yves Marion and Thomas Schwentick. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Mar 2010, Nancy, France. pp.155-166, 2010, Proceedings of the 27th Annual Symposium on the Theoretical Aspects of Computer Science,
Conference papers international audience with peer reviewing and proceeding
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, 2010,
Conference papers international audience with peer reviewing and proceeding
hal-00487806

Eric Goles, Bruno Martin
Computational Complexity of Avalanches in the Kadanoff Two-dimensional Sandpile Model.
TUCS. Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.121-132, 2010,
Conference papers international audience with peer reviewing and proceeding
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. 2010,
Conference papers international audience with peer reviewing and proceeding
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, 2010,
Conference papers international audience with peer reviewing and proceeding
hal-00488401

Sébastien Verel, Gabriela Ochoa
Fitness landscapes and graphs: multimodularity, ruggedness and neutrality.
WCCI 2010, Jul 2010, Barcelona, Spain. IEEE, pp.3593--3656, 2010,
Conference papers international audience with peer reviewing and proceeding
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. ACM, pp.1799-1800, 2009, <10.1145/1569901.1570168>,
Conference papers international audience with peer reviewing and proceeding
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, 2009,
Conference papers international audience with peer reviewing and proceeding
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. 2009, <http://aclweb.org/anthology//R/R09/>,
Conference papers international audience with peer reviewing and proceeding
inria-00616693

Lionel Nicolas, Benoît Sagot, Miguel Molinero, Jacques Farré, Éric 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, Jun 2009, Senlis, France. 2009,
Conference papers international audience with peer reviewing and proceeding
inria-00553257

Lionel Nicolas, Miguel Molinero, Benoît Sagot, Elena Sánchez Trigo, Éric 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. Association for Computational Linguistics, pp.318--323, 2009, <http://www.aclweb.org/anthology/R09-1058>,
Conference papers international audience with peer reviewing and proceeding
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. ACM, pp.891--898, 2009, <10.1145/1569901.1570023>,
Conference papers international audience with peer reviewing and proceeding
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. Springer, pp.100-110, 2009, LNCS,
Conference papers international audience with peer reviewing and proceeding
hal-00403029

Sébastien Verel
Fitness landscapes and graphs: multimodularity, ruggedness and neutrality.
GECCO '09, Jul 2009, Montreal, Canada. ACM, pp.3593--3656, 2009, <10.1145/1570256.1570431>,
Conference papers international audience with peer reviewing and proceeding
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, 2008,
Conference papers international audience with peer reviewing and proceeding
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. Proc. of 14th International Conference on Principles and Practice of Constraint Programming, 5202, pp.327-341, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-85958-1_22>,
Conference papers international audience with peer reviewing and proceeding
hal-01099509

Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
CPBVP: A Constraint-Programming Framework for Bounded Program Verification.
P.J. Stuckey. The 14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. Springer Verlag, LNCS (5202), pp.327-341, 2008,
Conference papers international audience with peer reviewing and proceeding
hal-00297007

Alberto Dennunzio, Pietro Di Lena, Enrico Formenti, Luciano Margara
Classification of directional dynamics for additive cellular automata.
Bruno Durand. JAC 2008, Apr 2008, Uzès, France. Издательство МЦНМО, pp.40-53, 2008, Regular paper track,
Conference papers international audience with peer reviewing and proceeding
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. Springer-Verlag, 5010, pp.194-203, 2008, Lectures Notes in Computer Science,
Conference papers international audience with peer reviewing and proceeding
hal-00310402

Enrico Formenti, Alberto Dennunzio
Decidable properties of 2D cellular automata.
M. Ito and M. Toyma. DEVELOPMENTS IN LANGUAGE THEORY (DLT 2008), Sep 2008, Kioto, Japan. Springer-Verlag, 5257, pp.264-275, 2008, Lectures Notes in Computer Science,
Conference papers international audience with peer reviewing and proceeding
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. ACM, pp.134-139, 2008,
Conference papers international audience with peer reviewing and proceeding
hal-00297250

Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher
Revisiting the upper bounding process in a safe Branch and Bound algorithm.
P.J. Stuckey. 14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. LNCS (5202), pp.598-602, 2008,
Conference papers international audience with peer reviewing and proceeding
hal-00297086

Patrick Lacharme, Bruno Martin, Patrick Solé
Pseudo-random sequences, boolean functions and cellular automata.
J-F. Michon, P. Valarcher, J-B. Yunès. Boolean Functions: Cryptography & Applications, May 2008, Copenhague, Denmark. Presses Universitaires de l'Université de Rouen, pp.80-95, 2008,
Conference papers international audience with peer reviewing and proceeding
hal-00305493

Bruno Martin, Christophe Papazian
Neighborhood transformations on graph automata.
Bruno Durand. JAC 2008, Apr 2008, Uzès, France. Издательство МЦНМО, pp.90-101, 2008, Regular paper track,
Conference papers international audience with peer reviewing and proceeding
hal-00273947

Bruno Martin, Patrick Solé
Pseudo-random Sequences Generated by Cellular Automata.
Y. Boudabbous et N. Zaguia. International Conference on Relations, Orders and Graphs: Interactions with Computer Science, May 2008, Mahdia, Tunisia. Nouha éditions, pp.401-410, 2008,
Conference papers international audience with peer reviewing and proceeding
hal-00305407

Lionel Nicolas, Benoît Sagot, Miguel Molinero, Jacques Farré, Eric De La Clergerie
Computer aided correction and extension of a syntactic wide-coverage lexicon.
Coling 2008, Aug 2008, Manchester, United Kingdom. pp 604-611, 2008, CD ROM,
Conference papers international audience with peer reviewing and proceeding
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. ACM New York, NY, USA, pp.555--562, 2008, <10.1145/1389095.1389204>,
Conference papers international audience with peer reviewing and proceeding
hal-00331868

Sébastien Verel, Gabriela Ochoa, Marco Tomassini
The Connectivity of NK Landscapes' Basins: A Network Analysis.
S. Bullock, J. Noble, R. Watson, and M. A. Bedau. Artificial Life XI, Aug 2008, Winchester, France. MIT Press, Cambridge, MA, pp.648-655, 2008,
Conference papers international audience with peer reviewing and proceeding
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. IEEE Press, pp.4516-4523, 2007,
Conference papers international audience with peer reviewing and proceeding
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. Elsevier, 28, pp.47-53, 2007, Electronic Notes in Discrete Mathematics. <http://kam.mff.cuni.cz/~cs06/>. <10.1016/j.endm.2007.01.008>,
Conference papers international audience with peer reviewing and proceeding
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. 4783/2007, pp.38-50, 2007, <10.1007/978-3-540-76336-9>,
Conference papers international audience with peer reviewing and proceeding
hal-00400754

Michael Defoin Platel, Sébastien Verel, Manuel Clergue, Malik Chami
Density estimation with Genetic Programming for Inverse Problem solving.
Marc Ebner and Michael O'Neill and Aniko Ekart and Leonardo Vanneschi and Anna Isabel Esparcia-Alcazar. EuroGP'07, the 10th European Conference on Genetic Programming, Apr 2007, Valencia, Spain. Springer, 4445, pp.45--54, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-71605-1_5>,
Conference papers international audience with peer reviewing and proceeding
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, 2012,
Conference papers international audience with peer reviewing and proceeding
hal-00915274

Sandrine Julia, Vinh Duc Tran
Reduced languages as omega-generators.
Tero Harju and Juhani Karhumäki and Arto Lepistö. DLT 2007, Jul 2007, Turku, Finland. Springer Berlin / Heidelberg, 4588, pp.266-277, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-73208-2_26>,
Conference papers international audience with peer reviewing and proceeding
hal-00403286

Lionel Nicolas, Jacques Farré, Eric De La Clergerie
Mining Parsing Results for Lexical Corrections.
3rd Language & Technology Conference, Oct 2007, Poznan, Poland. Wydawnictwo Poznańskie Sp. z o. o., pp.ISBN 978-83-7177-407-2, 2007,
Conference papers international audience with peer reviewing and proceeding
hal-00360978

Lionel Nicolas, Benoît Sagot, Miguel Molinero, Jacques Farré, Éric De La Clergerie
Mining Parsing Results for Lexical Correction: Toward a Complete Correction Process of Wide-Coverage Lexicons.
Zygmunt Vetulani and Hans Uszkoreit. LTC 2007 - Third Language and Technology Conference, Oct 2007, Poznan, Poland. Springer, 5603, pp.178-191, 2009, Lecture Notes in Computer Science; Human Language Technology. Challenges of the Information Society. <10.1007/978-3-642-04235-5_16>,
Conference papers international audience with peer reviewing and proceeding
hal-00793052

Sylvain Schmitz
Conservative Ambiguity Detection in Context-Free Grammars.
Arge L., Cachin C., Jurdziński T., and Tarlecki, A. 34th International Colloquium on Automata, Languages and Programming, Jul 2007, Wroclaw, Poland. Springer, 4596, pp.692-703, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-73420-8_60>,
Conference papers international audience with peer reviewing and proceeding
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. IEEE Press, pp.4706-4713, 2007,
Conference papers international audience with peer reviewing and proceeding
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. 952, pp.287--296, 2007, <10.1063/1.2816633>,
Conference papers international audience with peer reviewing and proceeding
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, 2007,
Conference papers international audience with peer reviewing and proceeding
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. ACM Press, pp.3690-3733, 2007, Tutorial. <10.1145/1274000.1274130>,
Conference papers international audience with peer reviewing and proceeding
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.
Marc Ebner and Michael O'Neill and Aniko Ekart and Leonardo Vanneschi and Anna Isabel Esparcia-Alcazar. EuroGP 2007, Apr 2007, Valencia, Spain. Springer, 4445, pp.241--250, 2007, <10.1007/978-3-540-71605-1_22>,
Conference papers international audience with peer reviewing and proceeding
hal-00164926

Bruno Martin
A Walsh exploration of elementary CA rules.
K. Morita. International Workshop on Cellular Automata, Sep 2006, Hiroshima, Japan. Hiroshima University, pp.25-30, 2006,
Conference papers international audience with peer reviewing and proceeding
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. 2005,
Conference papers international audience with peer reviewing and proceeding
hal-00990048

Philippe Langevin, Patrick Solé
Gauss sums over quasi-Frobenius rings.
Fq5, 2001, Unknown, Unknown or Invalid Region. pp.329--341, 2001,
Conference papers international audience with peer reviewing and proceeding
hal-01279304

Philippe Langevin, Patrick Solé
Kernels and Defaults.
R.~C.~Mullin, G.~L.~Mullen. Finite Fields : Theory, Applications and Algorithms, 1998, Unknown, Unknown or Invalid Region. AMS, 225, pp.77--87, 1998, Contemporary Mathematics,
Conference papers international audience with peer reviewing and proceeding
hal-01279306

Conference papers international audience with peer reviewing

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. 2016,
Conference papers international audience with peer reviewing
hal-01342479

Kévin Perrot, Thi Ha Duong Phan, Trung Van Pham
On the set of Fixed Points of the Parallel Symmetric Sand Pile Model.
DMTCS Proceedings vol. AP, Automata 2011 - 17th International Workshop on Cellular Automata and Discrete Complex Systems, pp.17-28, 2011, DMTCS Proceedings,
Conference papers international audience with peer reviewing
hal-01196141

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. 2014, <http://www.rcis-conf.com/rcis2014/>,
Conference papers international audience with peer reviewing
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. 2013, <https://sites.google.com/site/wehia2013/>,
Conference papers international audience with peer reviewing
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), Dec 2012, Oviedo, Spain. 2012,
Conference papers international audience with peer reviewing
hal-01308287

Bruno Martin, R. Saito, Katsunobu Imai
On radius 1 nontrivial reversible and number-conserving cellular automata.
Reversible Computation, Jul 2012, Copenhagen, Denmark,
Conference papers international audience with peer reviewing
hal-00826548

Gilles Menez, Jean-Marc Fedou, Luc Pronzato, João Rendas
OAT designs for mixed effects.
Statistische Woche 2012 (German Statistical Week), Sep 2012, Vienne, Austria. 2012,
Conference papers international audience with peer reviewing
hal-01308292

Conference papers national audience

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, Jun 2015, Bordeaux, France. 2015, <http://jfpc2015.labri.fr/>,
Conference papers national audience
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,
Conference papers national audience
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. 2012, Actes des Huitièmes Journées Francophones de Programmation par Contraintes,
Conference papers national audience
hal-00829579

Arnaud Malapert, Jean-Charles Régin
Propagation de contraintes arithmétiques.
JFPC 2012, May 2012, Toulouse, France. 2012,
Conference papers national audience
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. 2012,
Conference papers national audience
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. 2012,
Conference papers national audience
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, 2012,
Conference papers national audience
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,
Conference papers national audience
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,
Conference papers national audience
hal-00569139

Gilles Trombettoni, Ignacio Araya, Bertrand Neveu, Gilles Chabert
Régions intérieures et linéarisations par intervalles en optimisation globale.
Association Française de Programmation par Contraintes. JPFC 2011, Jun 2011, Lyon, France. pp.299-306, 2011,
Conference papers national audience
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, 2010,
Conference papers national audience
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.
Collectif i3. Journées MARAMI 2010, Oct 2010, Toulouse, France. Cépaduès, 11 (1), pp.1, 2011,
Conference papers national audience
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, 2010,
Conference papers national audience
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,
Conference papers national audience
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, 2010,
Conference papers national audience
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,
Conference papers national audience
hal-00460442

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

Éric De La Clergerie, Benoît Sagot, Lionel Nicolas, Marie-Laure Guénot
FRMG: évolutions d'un analyseur syntaxique TAG du français.
Villemonte de la Clergerie, Éric and Paroubek, Patrick. Journée de l'ATALA sur : Quels analyseurs syntaxiques pour le français ?, Oct 2009, Paris, France. 2009, <http://alpage.inria.fr/iwpt09/atala/frmg.pdf>,
Conference papers national audience
inria-00553260

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. 2009,
Conference papers national audience
hal-00793048

Lionel Nicolas, Miguel Molinero, Benoît Sagot, Elena Sánchez Trigo, Éric 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. 2009,
Conference papers national audience
inria-00553258

Lionel Nicolas, Miguel Molinero, Benoît Sagot, Elena Sánchez Trigo, Éric 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. 2009,
Conference papers national audience
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,
Conference papers national audience
hal-00425367

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

Lionel Nicolas, Benoît Sagot, Miguel Molinero, Jacques Farré, Éric 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), Sep 2008, Madrid, España. 2008,
Conference papers national audience
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,
Conference papers national audience
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,
Conference papers national audience
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. 2007, JFPC07,
Conference papers national audience
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,
Conference papers national audience
hal-00296811

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

Bruno Martin
Mixing Compression and CA Encryption.
Boulanger, D. SAR-SSI, Jun 2007, Annecy, France. IAE Lyon, pp.255-266, 2007,
Conference papers national audience
hal-00304320

Lionel Nicolas, Jacques Farré, Eric De La Clergerie
Confondre le coupable : corrections à un lexique suggérées par une grammaire.
Farah Benamara, Nabil Hathout, Philippe Muller, and Sylwia Ozdowska. TALN 2007, Jun 2007, Toulouse, France. IRIT, pp.315-324, 2007,
Conference papers national audience
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, 2007,
Conference papers national audience
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,
Documents associated with scientific events
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,
Habilitation à diriger des recherches
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,
Theses
tel-01242557

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

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

Noureddine Aribi
Contribution à l'élicitation des paramètres en optimisation multicritère.
Autre [cs.OH]. Université Nice Sophia Antipolis; Université d'Oran Es-Senia (Algérie), 2014. Français. <NNT : 2014NICE4031>,
Theses
tel-01065629

Daniela Battaglino
Enumeration of polyominoes defined in terms of pattern avoidance or convexity constraints.
Other [cs.OH]. Université Nice Sophia Antipolis; Università degli studi (Sienne, Italie), 2014. English. <NNT : 2014NICE4042>,
Theses
tel-01064960

Kévin Perrot
Les piles de sable Kadanoff.
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2013. Français. <NNT : 2013ENSL0818>,
Theses
tel-00856838

Julien Provillard
Automates cellulaires non-uniformes.
Mathématique discrète [cs.DM]. Université Nice Sophia Antipolis, 2012. Français,
Theses
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,
Theses
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,
Theses
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,
Reports
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,
Reports
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,
Reports
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,
Reports
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,
Reports
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,
Reports
hal-01246824

Elisabetta De Maria, Joelle Despeyroux, Amy Felty
A Logical Framework for Systems Biology.
[Research Report] 2014, pp.34,
Reports
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,
Reports
hal-01093090

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

Kaustuv Chaudhuri, Joelle Despeyroux
A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology.
[Research Report] 2013, pp.30,
Reports
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,
Reports
hal-00665421

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

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

Arnaud Malapert, Sophie Demassey, Jean-Charles Régin
Beyond Cmax: an optimization-oriented framework for constraint-based scheduling.
2012,
Reports
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,
Reports
hal-00642819

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

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

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

Other publications

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