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
Philippe Collard
Second-order Micromotives and Macrobehaviour.
Journal of Computational Social Science, Springer, 2020,
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⟩,
Philippe Collard
Strong and weak spatial segregation with multilevel discrimination criteria.
Complex Systems , Complex Systems Publications, Inc., 2019,
Philippe Collard
lambdaCA: a Peer Learning Cellular Automaton.
Journal of Cellular Automata, Old City Publishing, 2019, 14 (3-4), pp.263-288,
Elisabetta de Maria, Cinzia Di Giusto, Laetitia Laversa
Spiking neural networks modelled as timed automata: with parameter learning.
Natural Computing, Springer Verlag, 2019,
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⟩,
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⟩,
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⟩,
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⟩,
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⟩,
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⟩,
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⟩,
Enrico Formenti, Sébastien Autran
More Decision Algorithms for Global Properties of 1D Cellular Automata.
Journal of Cellular Automata, Old City Publishing, 2018,
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,
Adrien Richard
Fixed points and connections between positive and negative cycles in Boolean networks.
Discrete Applied Mathematics, Elsevier, 2018,
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⟩,
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⟩,
Philippe Collard
The “Two’s Company, Three’s a Crowd” Game.
Complex Systems , Complex Systems Publications, Inc., 2017, 26 (3),
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⟩,
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⟩,
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⟩,
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⟩,
Philippe Collard, Teodor Ghetiu
Segregation Landscape: A New View on the Schelling Segregation Space.
Complex Systems , Complex Systems Publications, Inc., 2016, 25 (3), pp.169 - 193. ⟨10.25088/ComplexSystems.25.3.169⟩,
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⟩,
Maximilien Gadouleau, Adrien Richard
Simple dynamics on graphs.
Theoretical Computer Science, Elsevier, 2016, 628, pp.62-77. ⟨10.1016/j.tcs.2016.03.013⟩,
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⟩,
Anthony Palmieri, Jean-Charles Régin, Pierre Schaus
Parallel Strategies Selection.
CoRR, 2016, abs/1604.06484,
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⟩,
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,
Jean-Marc Fedou, Gabriele Fici
Vertical Representation of C∞-words.
Theoretical Computer Science, Elsevier, 2015, 565,
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⟩,
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⟩,
Adrien Richard
Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks.
Theoretical Computer Science, Elsevier, 2015, 583, pp.1-26,
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⟩,
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⟩,
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⟩,
Philippe Collard, Salma Mesmoudi, Teodor Ghetiu, Fiona Polack
Emergence of Frontiers in networked Schelling segregationist models.
Complex Systems , Complex Systems Publications, Inc., 2013, 22 (1), pp.35-59,
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⟩,
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,
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⟩,
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⟩,
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⟩,
Kévin Perrot, Éric Rémila
Kadanoff Sand Pile Model, Avalanche Structure and Wave Shape.
Theoretical Computer Science, Elsevier, 2013, 504, pp.52-72,
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⟩,
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⟩,
Ignacio Araya, Bertrand Neveu, Gilles Trombettoni
An Interval Extension Based on Occurrence Grouping.
Computing, Springer Verlag, 2012, 94 (2), pp.173-188,
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⟩,
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⟩,
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,
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⟩,
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⟩,
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⟩,
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⟩,
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⟩,
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⟩,
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,
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,
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,
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⟩,
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⟩,
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⟩,
Adrien Richard
Local negative circuits and fixed points in Boolean networks.
Discrete Applied Mathematics, Elsevier, 2011, 159 (11), pp.1085-1093,
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⟩,
Ali El Hafidi, Bruno Martin, Alexandre Loredo, Eric Jego
Vibration reduction on city buses: Determination of optimal position of engine mounts.
Mechanical Systems and Signal Processing, Elsevier, 2010, 24 (7), pp.2198-2209. ⟨10.1016/j.ymssp.2010.04.001⟩,
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⟩,
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,
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⟩,
Alexandre Goldsztejn, Michel Rueher, Michel Claude
Efficient Handling of Universally Quantified Inequalities.
Constraints, Springer Verlag, 2009, 14 (1), pp.117-135,
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,
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⟩,
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,
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⟩,
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,
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⟩,
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⟩,
Bruno Martin
A walsh exploration of elementary CA rules.
Journal of Cellular Automata, Old City Publishing, 2008, 3 (2), pp.145-156,
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,
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⟩,
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⟩,
Julien Cervelle, Enrico Formenti, Benoît Masson
From sandpiles to sand automata.
Theoretical Computer Science, Elsevier, 2007, 381 (1-3), pp.1-28,
Enrico Formenti, Petr Kurka
Subshift attractors of cellular automata.
Nonlinearity, IOP Publishing, 2007, 20, pp.105-117,
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⟩,
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⟩,
Bruno Martin
Universal Simulations by Spatial Machines.
Journal of Cellular Automata, Old City Publishing, 2007, 2 (3), pp.203-217,
Benoît Masson, Enrico Formenti, Theophilos Pisokas
Advances in symmetric sandpiles.
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2007, 76 (1-2), pp.91-112,
Adrien Richard, Jean-Paul Comet
Necessary conditions for multistationarity in discrete dynamical systems.
Discrete Applied Mathematics, Elsevier, 2007, 155 (18), pp.2403-2413,
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⟩,
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,
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⟩,
Philippe Langevin, Patrick Solé
Z4 duadic codes.
Finite Fields and Their Applications, Elsevier, 2000, 6, pp.309--326,
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⟩,
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⟩,
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,
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,
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,
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,
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⟩,
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⟩,
Nicolas Isoart, Jean-Charles Régin
Integration of Structural Constraints into TSP Models.
Principles and Practice of Constraint Programming, pp.284-299, 2019, ⟨10.1007/978-3-030-30048-7_17⟩,
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⟩,
Alberto Dennunzio, Valentina Dorigatti, Enrico Formenti, Luca Manzoni, Antonio Porreca
Polynomial Equations over Finite, Discrete-Time Dynamical Systems.
Cellular Automata, pp.298-306, 2018,
Bruno Martin, Katsunobu Imai, Ryohei Saito
On Radius 1 Nontrivial Reversible and Number-Conserving Cellular Automata.
Reversibility and Universality, 2018,
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,
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,
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,
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,
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,
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⟩,
Gilles Bernot, Jean-Paul Comet, Christine Risso - de Faverney
Regulatory networks.
Computational Toxicology, II, pp.215-234, 2013, 978-1-62703-058-8,
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, 9783642312083 364231208X. ⟨10.1007/978-3-642-31208-3_2⟩,
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,
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,
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⟩,
Philippe Langevin, Patrick Solé
Gauss sums over quasi-Frobenius rings.
Finite fields and applications (Augsburg, 1999), Springer, pp.329--340, 2001,
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,
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,
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,
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 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⟩,
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⟩,
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,
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,
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,
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,
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⟩,
Anthony Palmieri, Guillaume Perez
Objective as a Feature for Robust Search Strategies.
International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.328-344, ⟨10.1007/978-3-319-98334-9_22⟩,
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⟩,
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⟩,
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⟩,
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⟩,
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,
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⟩,
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⟩,
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⟩,
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⟩,
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⟩,
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⟩,
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⟩,
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⟩,
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⟩,
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⟩,
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⟩,
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,
Guillaume Perez, Jean-Charles Régin
Efficient Operations On MDDs For Building Constraint Programming Models.
IJCAI 2015, Jul 2015, Buenos Aires, Argentina,
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⟩,
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⟩,
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⟩,
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,
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⟩,
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,
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⟩,
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,
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,
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,
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,
Arnaud Malapert, Jean-Charles Régin, Jean Parpaillon
The Package Server Location Problem.
ICORES 2013, Feb 2013, Barcelona, Spain,
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⟩,
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⟩,
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⟩,
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,
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⟩,
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,
Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
A Contractor Based on Convex Interval Taylor.
CPAIOR 2012, 2012, Nantes, France. pp.1-16,
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⟩,
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⟩,
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⟩,
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,
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⟩,
Gabriele Fici, Francesca Fiorenzi
Topological properties of cellular automata on trees.
AUTOMATA 2012, 2012, France. pp.255-266, ⟨10.4204/EPTCS.90.20⟩,
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⟩,
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⟩,
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⟩,
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⟩,
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,
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,
Philippe Collard, Salma Mesmoudi
How to Prevent Intolerant Agents from High Segregation?.
Advances in Artificial Life, ECAL 2011, Aug 2011, Paris, France. pp.8,
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⟩,
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⟩,
Gabriele Fici, Thierry Lecroq, Arnaud Lefebvre, Elise Prieur-Gaston
Computing Abelian Periods in Words.
Prague Stringology Conference, 2011, Prague, Czech Republic. pp.184-196,
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,
Sandrine Julia
Minimal uncompletable words.
First Russian-Finnish Symposium on Discrete Mathematics, Sep 2011, Saint Petersburg, Russia,
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,
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⟩,
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⟩,
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,
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⟩,
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⟩,
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⟩,
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,
Gilles Trombettoni, Araya Ignacio, Bertrand Neveu, Gilles Chabert
Inner Regions and Interval Linearizations for Global Optimization.
AAAI 2011, Aug 2011, San Francisco, United States,
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,
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⟩,
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⟩,
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,
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,
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,
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⟩,
Carole Blanc, Maylis Delest, Jean-Marc Fédou, Guy Melançon, François Queyroi
́Evaluer la qualité d’une fragmentation de graphe multi-niveaux.
MARAMI 2010, Jun 2010, Toulouse, France,
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,
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,
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,
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,
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,
Sébastien Verel, Gabriela Ochoa
Fitness landscapes and graphs: multimodularity, ruggedness and neutrality.
WCCI 2010, Jul 2010, Barcelona, Spain. pp.3593--3656,
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⟩,
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,
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,
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,
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,
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⟩,
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,
Sébastien Verel
Fitness landscapes and graphs: multimodularity, ruggedness and neutrality.
GECCO '09, Jul 2009, Montreal, Canada. pp.3593--3656, ⟨10.1145/1570256.1570431⟩,
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,
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⟩,
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,
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,
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,
Enrico Formenti, Alberto Dennunzio
Decidable properties of 2D cellular automata.
DEVELOPMENTS IN LANGUAGE THEORY (DLT 2008), Sep 2008, Kioto, Japan. pp.264-275,
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,
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,
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,
Bruno Martin, Christophe Papazian
Neighborhood transformations on graph automata.
JAC 2008, Apr 2008, Uzès, France. pp.90-101,
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,
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,
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⟩,
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,
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,
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⟩,
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⟩,
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⟩,
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,
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⟩,
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,
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⟩,
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⟩,
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,
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⟩,
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,
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⟩,
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⟩,
Bruno Martin
A Walsh exploration of elementary CA rules.
International Workshop on Cellular Automata, Sep 2006, Hiroshima, Japan. pp.25-30,
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,
Philippe Langevin, Patrick Solé
Gauss sums over quasi-Frobenius rings.
Fq5, 2001, Unknown, Unknown Region. pp.329--341,
Philippe Langevin, Patrick Solé
Kernels and Defaults.
Finite Fields : Theory, Applications and Algorithms, 1998, Unknown, Unknown Region. pp.77--87,
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⟩,
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,
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,
Bruno Martin
Randomness with Cellular Automata.
Discrete Models of Complex Systems, Mar 2018, Orléans, France,
Bruno Martin
Pseudo-random sequence generation with cellular automata.
6th International Workshop on Applications and Fundamentals of Cellular Automata, Nov 2018, Hida, Takayama, Japan,
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,
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⟩,
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,
Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso - de Faverney
Detecting Toxicity Pathways with a Formal Framework based on Equilibrium Changes.
Computational Methods for Systems Biology (CMSB), Sep 2017, Darmstadt, Germany,
Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso - de Faverney
A Qualitative Framework Dedicated to Toxicology.
International Conference on Bioinformatics Models, Methods and Algorithms, Feb 2017, Porto, Portugal,
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,
Jonathan Behaegel, Jean-Paul Comet, Gilles Bernot, Emilien Cornillon, Franck Delaunay
A hybrid model of cell cycle in mammals.
6th International Conference on Computational Systems-Biology and Bioinformatics (CSBio'2015), Nov 2015, Bangkok, Thailand,
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,
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,
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,
Bruno Martin, R. Saito, Katsunobu Imai
On radius 1 nontrivial reversible and number-conserving cellular automata.
Reversible Computation, Jul 2012, Copenhagen, Denmark,
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,
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,
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,
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,
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,
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,
Arnaud Malapert, Jean-Charles Régin
Propagation de contraintes arithmétiques.
JFPC 2012, May 2012, Toulouse, France,
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,
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,
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,
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,
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,
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,
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,
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,
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,
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,
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,
Sébastien Verel, Philippe Collard, Manuel Clergue
States based evolutionary algorithm.
Workshop selfstar at conference PPSN, Sep 2010, Krakow, Poland,
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,
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,
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,
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,
É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,
Katsunobu Imai, Bruno Martin
Simulations between triangular and hexagonal number-conserving cellular automata.
International Workshop on Natural Computing, Sep 2008, Yokohama, Japan,
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,
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,
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,
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,
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,
Bruno Martin
Another Co*cryption Method.
International Conference on Science and Technology (JICT), Mar 2007, Malaga, Spain. pp.CD-ROM,
Bruno Martin
Mixing Compression and CA Encryption.
SAR-SSI, Jun 2007, Annecy, France. pp.255-266,
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,
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,
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,
Habilitation à diriger des recherches
Elisabetta de Maria
Formal Methods for Systems Biology: Contributions.
Bioinformatics [q-bio.QM]. Université Côte d'Azur, 2020,
Hélène Collavizza
Contribution à la vérication formelle et programmation par contraintes.
Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2009,
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,
Simon Martiel
Algorithmical and mathematical approaches of causal graph dynamics.
Other [cs.OH]. Université Nice Sophia Antipolis, 2015. English. ⟨NNT : 2015NICE4043⟩,
Mohamed Rezgui
Parallélisme en programmation par contraintes.
Autre [cs.OH]. Université Nice Sophia Antipolis, 2015. Français. ⟨NNT : 2015NICE4040⟩,
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⟩,
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⟩,
Julien Provillard
Automates cellulaires non-uniformes.
Mathématique discrète [cs.DM]. Université Nice Sophia Antipolis, 2012. Français,
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,
Maroun Bercachi
Algorithme Évolutionnaire à États pour l'Optimisation Difficile.
Algorithme et structure de données [cs.DS]. Université Nice Sophia Antipolis, 2010. Français,
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,
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,
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,
Mohammed Bekkouche
Exploration de la scalabilité de LocFaults.
[Rapport de recherche] Univ. Nice Sophia Antipolis, CNRS, I3S, UMR 7271, 06900 Sophia Antipolis, France. 2015,
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,
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,
Elisabetta de Maria, Joelle Despeyroux, Amy Felty
A Logical Framework for Systems Biology.
[Research Report] 2014, pp.34,
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,
Juha-Matti Kuusinen, Arnaud Malapert
Constraint Programming Formulation for the Elevator Trip Origin-Destination Matrix Estimation Problem.
2014,
Kaustuv Chaudhuri, Joelle Despeyroux
A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology.
[Research Report] 2013, pp.30,
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,
Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
A Contractor Based on Convex Interval Taylor.
[Research Report] RR-7887, INRIA. 2012, pp.23,
Arnaud Malapert, Jean-Charles Régin
A note on arithmetic constraint propagation.
2012,
Arnaud Malapert, Sophie Demassey, Jean-Charles Régin
Beyond Cmax: an optimization-oriented framework for constraint-based scheduling.
2012,
Ignacio Araya, Bertrand Neveu, Gilles Trombettoni
An Interval Extension Based on Occurrence Grouping: Method and Properties.
[Research Report] RR-7806, INRIA. 2011, pp.26,
Nadjib Lazaar, Nourredine Aribi, Arnaud Gotlieb, Yahia Lebbah
Negation for Free!.
[Research Report] RR-7749, INRIA. 2011, pp.16,
Olivier Ponsini, Claude Michel, Michel Rueher
Refining Abstract Interpretation-based Approximations with Constraint Solvers.
[Research Report] Laboratoire I3S / UNS. 2011,
Nadjib Lazaar, Arnaud Gotlieb, Lebbah Yahia
On Testing Constraint Programs.
[Research Report] RR-7291, INRIA. 2010,
Other publications
Piotr Krasnowski
Secure voice communications over voice channels.
2019,
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,
Bruno Martin
Ce que la cryptographie doit à Shannon.
2017,
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,
Nguyen Le Vinh, Hélène Collavizza, Michel Rueher, Samuel Devulder, Thierry Gueguen
Efficient Constraint-Based Dynamic Strategies For Generating Counterexamples.
2010,
Philippe Collard
Second-order Micromotives and Macrobehaviour.
Journal of Computational Social Science, Springer, 2020,
Journal articles International audience
hal-02463856Alexandra 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⟩,
Journal articles International audience
hal-02407141Philippe Collard
Strong and weak spatial segregation with multilevel discrimination criteria.
Complex Systems , Complex Systems Publications, Inc., 2019,
Journal articles International audience
hal-02175498Philippe Collard
lambdaCA: a Peer Learning Cellular Automaton.
Journal of Cellular Automata, Old City Publishing, 2019, 14 (3-4), pp.263-288,
Journal articles International audience
hal-02175508Elisabetta de Maria, Cinzia Di Giusto, Laetitia Laversa
Spiking neural networks modelled as timed automata: with parameter learning.
Natural Computing, Springer Verlag, 2019,
Journal articles International audience
hal-02003126Alberto 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⟩,
Journal articles International audience
hal-02123610Paolo 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⟩,
Journal articles International audience
hal-01928990Guillaume 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⟩,
Journal articles International audience
hal-02131738Adrien 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⟩,
Journal articles International audience
hal-02403956Adrien 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⟩,
Journal articles International audience
hal-02403960Manuel 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⟩,
Journal articles International audience
hal-01738330Franck 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⟩,
Journal articles International audience
hal-01783917Enrico Formenti, Sébastien Autran
More Decision Algorithms for Global Properties of 1D Cellular Automata.
Journal of Cellular Automata, Old City Publishing, 2018,
Journal articles International audience
hal-01977656Enrico 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,
Journal articles International audience
halshs-01417248Adrien Richard
Fixed points and connections between positive and negative cycles in Boolean networks.
Discrete Applied Mathematics, Elsevier, 2018,
Journal articles International audience
hal-01804329Julio 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⟩,
Journal articles International audience
hal-01630474Julio 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⟩,
Journal articles International audience
hal-01630477Philippe Collard
The “Two’s Company, Three’s a Crowd” Game.
Complex Systems , Complex Systems Publications, Inc., 2017, 26 (3),
Journal articles International audience
hal-01716804Enrico 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⟩,
Journal articles International audience
hal-01753994Enrico 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⟩,
Journal articles International audience
hal-01754002Enrico 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⟩,
Journal articles International audience
hal-01753996Sandrine 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⟩,
Journal articles International audience
hal-01665399Philippe Collard, Teodor Ghetiu
Segregation Landscape: A New View on the Schelling Segregation Space.
Complex Systems , Complex Systems Publications, Inc., 2016, 25 (3), pp.169 - 193. ⟨10.25088/ComplexSystems.25.3.169⟩,
Journal articles International audience
hal-01716809Cinzia 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-01320789Maximilien Gadouleau, Adrien Richard
Simple dynamics on graphs.
Theoretical Computer Science, Elsevier, 2016, 628, pp.62-77. ⟨10.1016/j.tcs.2016.03.013⟩,
Journal articles International audience
hal-01298053Maximilien 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-01318072Anthony Palmieri, Jean-Charles Régin, Pierre Schaus
Parallel Strategies Selection.
CoRR, 2016, abs/1604.06484,
Journal articles International audience
hal-02133495Olivier 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-00860681Jonathan 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-01255242Jean-Marc Fedou, Gabriele Fici
Vertical Representation of C∞-words.
Theoretical Computer Science, Elsevier, 2015, 565,
Journal articles International audience
hal-01318802Jean-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⟩,
Journal articles International audience
hal-01318096Maximilien 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-01298045Adrien Richard
Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks.
Theoretical Computer Science, Elsevier, 2015, 583, pp.1-26,
Journal articles International audience
hal-01298012J 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-01298835Sé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-01079758Franç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⟩,
Journal articles International audience
hal-00579474Philippe Collard, Salma Mesmoudi, Teodor Ghetiu, Fiona Polack
Emergence of Frontiers in networked Schelling segregationist models.
Complex Systems , Complex Systems Publications, Inc., 2013, 22 (1), pp.35-59,
Journal articles International audience
hal-01284623Jean-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-01242396Gabriele Fici, Luca Q. Zamboni
On the least number of palindromes contained in an infinite word.
Theoretical Computer Science, Elsevier, 2013, 481, pp.1--8,
Journal articles International audience
hal-00865188Cé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⟩,
Journal articles International audience
hal-01332344Jé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-00832029Bruno 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⟩,
Journal articles International audience
hal-01217199Ké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-00949239Adrien 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-01298841Sé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-00760097Ignacio 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-00733855Pascal 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-01099501Pascal 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-01344070Jean-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,
Journal articles International audience
hal-00906811Martine 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-00767043Hé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-00874059Eric 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⟩,
Journal articles International audience
hal-01217125Adrien 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-01242399Siamak 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-01242438Leonardo 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⟩,
Journal articles International audience
hal-00563462Fabio 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-00563461Alexandre 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-00835183Mbarka 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-00782867Vic 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-00643738Thierry 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⟩,
Journal articles International audience
hal-00753742Adrien 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-01242441Adrien 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-01298851Hé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-00510303Ali El Hafidi, Bruno Martin, Alexandre Loredo, Eric Jego
Vibration reduction on city buses: Determination of optimal position of engine mounts.
Mechanical Systems and Signal Processing, Elsevier, 2010, 24 (7), pp.2198-2209. ⟨10.1016/j.ymssp.2010.04.001⟩,
Journal articles International audience
hal-02542014Enrico 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⟩,
Journal articles International audience
hal-01242315Sé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-00488637Gilles 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-00646001Alexandre 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-00431129Michel 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-00338632Sylvie 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-00967379Jamil 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-00415808Patrick 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-00643746Delphine 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-00359833Srecko 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-00395229Franck 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-00400775Bruno 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-00300231Mathieu 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,
Journal articles International audience
hal-00352003Marco 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-00354804Julien 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-00310905Julien 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-00619704Enrico Formenti, Petr Kurka
Subshift attractors of cellular automata.
Nonlinearity, IOP Publishing, 2007, 20, pp.105-117,
Journal articles International audience
hal-00311968Yahia 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-00510304Bruno 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-00296744Bruno Martin
Universal Simulations by Spatial Machines.
Journal of Cellular Automata, Old City Publishing, 2007, 2 (3), pp.203-217,
Journal articles International audience
hal-00298560Benoî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-00311074Adrien 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-00415886Sé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-00164772Jamil 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-00415810Bernard 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⟩,
Journal articles International audience
inria-00540299Philippe Langevin, Patrick Solé
Z4 duadic codes.
Finite Fields and Their Applications, Elsevier, 2000, 6, pp.309--326,
Journal articles International audience
hal-01279305Olivier 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-00540302Books
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⟩,
Books
hal-01656363Philippe 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,
Books
hal-01284628Directions 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,
Directions of work or proceedings
hal-01276502Patrick 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,
Directions of work or proceedings
hal-01276522Book 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,
Book sections
hal-02177634Alberto 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⟩,
Book sections
hal-02086299Ophé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⟩,
Book sections
hal-02412722Nicolas Isoart, Jean-Charles Régin
Integration of Structural Constraints into TSP Models.
Principles and Practice of Constraint Programming, pp.284-299, 2019, ⟨10.1007/978-3-030-30048-7_17⟩,
Book sections
hal-02456686Arnaud 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⟩,
Book sections
hal-02315989Alberto Dennunzio, Valentina Dorigatti, Enrico Formenti, Luca Manzoni, Antonio Porreca
Polynomial Equations over Finite, Discrete-Time Dynamical Systems.
Cellular Automata, pp.298-306, 2018,
Book sections
hal-01977651Bruno Martin, Katsunobu Imai, Ryohei Saito
On Radius 1 Nontrivial Reversible and Number-Conserving Cellular Automata.
Reversibility and Universality, 2018,
Book sections
hal-01741396Loï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,
Book sections
hal-01753101Emilien 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-01345019Benjamin 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-01345025Kristine 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-01242450Gilles 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-01282880Enrico 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⟩,
Book sections
hal-01218459Gilles 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-01282888Gilles 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, 9783642312083 364231208X. ⟨10.1007/978-3-642-31208-3_2⟩,
Book sections
hal-00848394H 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-01298860Jean-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-01282904Maroun 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-00331863Philippe Langevin, Patrick Solé
Gauss sums over quasi-Frobenius rings.
Finite fields and applications (Augsburg, 1999), Springer, pp.329--340, 2001,
Book sections
hal-01279303Conference 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,
Conference papers invited
hal-01282932Jean-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,
Conference papers invited
hal-01282935Maroun 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,
Conference papers invited
hal-00383711Alexandre 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-00510305Conference 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-02412723Florian 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-02403974Assia Kamal Idrissi, Arnaud Malapert, Rémi Jolin
Flight Radius Algorithms.
8th International Conferance on Operations Research and Entreprise Systems, Feb 2019, Prague, Czech Republic,
Conference papers international audience with peer reviewing and proceeding
hal-02069634Abdorrahim 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,
Conference papers international audience with peer reviewing and proceeding
hal-01919043Elisabetta 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,
Conference papers international audience with peer reviewing and proceeding
hal-01638248Ophé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,
Conference papers international audience with peer reviewing and proceeding
hal-01663555Assia 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01701827Anthony Palmieri, Guillaume Perez
Objective as a Feature for Robust Search Strategies.
International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.328-344, ⟨10.1007/978-3-319-98334-9_22⟩,
Conference papers international audience with peer reviewing and proceeding
hal-02118552Jonathan 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01655310Laurent 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01637573Elisabetta 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01643862Luca 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01656352Hé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,
Conference papers international audience with peer reviewing and proceeding
hal-01224009Luca 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01377338Luca 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01377343Tarek 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01341136Guillaume 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01344087Pablo 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01249272Mohammed 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01094227Martine 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01252936Luca 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01313904Luca 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01313909Luca 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01313895Simon 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01218448Alexandre Papadopoulos, Pierre Roy, Jean-Charles Régin, François Pachet
Generating all Possible Palindromes from Ngram Corpora.
IJCAI 2015, Jul 2015, Buenos Aires, Argentina,
Conference papers international audience with peer reviewing and proceeding
hal-01344082Guillaume Perez, Jean-Charles Régin
Efficient Operations On MDDs For Building Constraint Programming Models.
IJCAI 2015, Jul 2015, Buenos Aires, Argentina,
Conference papers international audience with peer reviewing and proceeding
hal-01344084Hé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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01099503Elisabetta 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01285058Guillaume 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01344079Ké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,
Conference papers international audience with peer reviewing and proceeding
halshs-00949246Jean-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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01344078Hernan 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,
Conference papers international audience with peer reviewing and proceeding
hal-00825310Hernan 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00805164Matthieu 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,
Conference papers international audience with peer reviewing and proceeding
hal-00805166Daniela 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,
Conference papers international audience with peer reviewing and proceeding
hal-01229685Philippe 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,
Conference papers international audience with peer reviewing and proceeding
hal-01285679Martine 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,
Conference papers international audience with peer reviewing and proceeding
hal-00874344Arnaud Malapert, Jean-Charles Régin, Jean Parpaillon
The Package Server Location Problem.
ICORES 2013, Feb 2013, Barcelona, Spain,
Conference papers international audience with peer reviewing and proceeding
hal-01344073Bruno 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01218359Tarek 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00832885Franç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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01344076Sé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,
Conference papers international audience with peer reviewing and proceeding
hal-00845349Sheikh 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01218351Ignacio 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,
Conference papers international audience with peer reviewing and proceeding
hal-00733860Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
A Contractor Based on Convex Interval Taylor.
CPAIOR 2012, 2012, Nantes, France. pp.1-16,
Conference papers international audience with peer reviewing and proceeding
hal-00733848Mohammed 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01099514Nicolas 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00754079Francisco 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00741842Jean-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,
Conference papers international audience with peer reviewing and proceeding
hal-01282923Fabio 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00741725Gabriele Fici, Francesca Fiorenzi
Topological properties of cellular automata on trees.
AUTOMATA 2012, 2012, France. pp.255-266, ⟨10.4204/EPTCS.90.20⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00946194Thao 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00908805Olivier 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01099512Pierre 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01344066Sé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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00744887J. 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,
Conference papers international audience with peer reviewing and proceeding
hal-01298868Jean-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,
Conference papers international audience with peer reviewing and proceeding
hal-00906785Philippe Collard, Salma Mesmoudi
How to Prevent Intolerant Agents from High Segregation?.
Advances in Artificial Life, ECAL 2011, Aug 2011, Paris, France. pp.8,
Conference papers international audience with peer reviewing and proceeding
hal-00742859Bilel 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00579993Roberto 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00622830Gabriele Fici, Thierry Lecroq, Arnaud Lefebvre, Elise Prieur-Gaston
Computing Abelian Periods in Words.
Prague Stringology Conference, 2011, Prague, Czech Republic. pp.184-196,
Conference papers international audience with peer reviewing and proceeding
hal-00627216Enrico 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,
Conference papers international audience with peer reviewing and proceeding
hal-00686571Sandrine Julia
Minimal uncompletable words.
First Russian-Finnish Symposium on Discrete Mathematics, Sep 2011, Saint Petersburg, Russia,
Conference papers international audience with peer reviewing and proceeding
hal-01286382Petr 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,
Conference papers international audience with peer reviewing and proceeding
hal-01196143Marie-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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00579990Marie-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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00550356Marie-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,
Conference papers international audience with peer reviewing and proceeding
hal-00563459Gabriela 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00550355Loï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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00714476Thierry 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00753385Adrien 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,
Conference papers international audience with peer reviewing and proceeding
hal-01196145Gilles Trombettoni, Araya Ignacio, Bertrand Neveu, Gilles Chabert
Inner Regions and Interval Linearizations for Global Optimization.
AAAI 2011, Aug 2011, San Francisco, United States,
Conference papers international audience with peer reviewing and proceeding
hal-00648085Sé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,
Conference papers international audience with peer reviewing and proceeding
hal-00639522Sé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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00579984Sé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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00550349Sé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,
Conference papers international audience with peer reviewing and proceeding
hal-00550353Sé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,
Conference papers international audience with peer reviewing and proceeding
hal-00563460Géraldine Walther, Lionel Nicolas
Enriching Morphological Lexica through Unsupervised Derivational Rule Acquisition.
WoLeR 2011at ESSLLI : International Workshop on Lexical Resources, Aug 2011, Ljubljana, Slovenia,
Conference papers international audience with peer reviewing and proceeding
inria-00617064Ignacio 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00654414Carole Blanc, Maylis Delest, Jean-Marc Fédou, Guy Melançon, François Queyroi
́Evaluer la qualité d’une fragmentation de graphe multi-niveaux.
MARAMI 2010, Jun 2010, Toulouse, France,
Conference papers international audience with peer reviewing and proceeding
hal-00542484Julien 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,
Conference papers international audience with peer reviewing and proceeding
inria-00455807Fabio 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,
Conference papers international audience with peer reviewing and proceeding
hal-00487806Eric 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,
Conference papers international audience with peer reviewing and proceeding
hal-00542340Lionel 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,
Conference papers international audience with peer reviewing and proceeding
inria-00521241Gabriela 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,
Conference papers international audience with peer reviewing and proceeding
hal-00488401Sébastien Verel, Gabriela Ochoa
Fitness landscapes and graphs: multimodularity, ruggedness and neutrality.
WCCI 2010, Jul 2010, Barcelona, Spain. pp.3593--3656,
Conference papers international audience with peer reviewing and proceeding
hal-00460448Maroun 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00945549Nadjib 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,
Conference papers international audience with peer reviewing and proceeding
hal-00387850Miguel 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,
Conference papers international audience with peer reviewing and proceeding
inria-00616693Lionel 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,
Conference papers international audience with peer reviewing and proceeding
inria-00553257Lionel 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,
Conference papers international audience with peer reviewing and proceeding
inria-00553259David 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00410191Leonardo 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,
Conference papers international audience with peer reviewing and proceeding
hal-00403029Sébastien Verel
Fitness landscapes and graphs: multimodularity, ruggedness and neutrality.
GECCO '09, Jul 2009, Montreal, Canada. pp.3593--3656, ⟨10.1145/1570256.1570431⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00410186Thierry 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,
Conference papers international audience with peer reviewing and proceeding
hal-00331869Hé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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-01099509Hé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,
Conference papers international audience with peer reviewing and proceeding
hal-00297007Alberto 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,
Conference papers international audience with peer reviewing and proceeding
hal-00273932Enrico 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,
Conference papers international audience with peer reviewing and proceeding
hal-00310402Enrico Formenti, Alberto Dennunzio
Decidable properties of 2D cellular automata.
DEVELOPMENTS IN LANGUAGE THEORY (DLT 2008), Sep 2008, Kioto, Japan. pp.264-275,
Conference papers international audience with peer reviewing and proceeding
hal-00310411Alexandre 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,
Conference papers international audience with peer reviewing and proceeding
hal-00297250Alexandre 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,
Conference papers international audience with peer reviewing and proceeding
hal-00297086Patrick Lacharme, Bruno Martin, Patrick Solé
Pseudo-random sequences, boolean functions and cellular automata.
Boolean Functions: Cryptography & Applications, May 2008, Copenhague, Denmark. pp.80-95,
Conference papers international audience with peer reviewing and proceeding
hal-00305493Bruno Martin, Christophe Papazian
Neighborhood transformations on graph automata.
JAC 2008, Apr 2008, Uzès, France. pp.90-101,
Conference papers international audience with peer reviewing and proceeding
hal-00273947Bruno 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,
Conference papers international audience with peer reviewing and proceeding
hal-00305407Lionel 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,
Conference papers international audience with peer reviewing and proceeding
hal-00360918Gabriela 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00331868Sé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,
Conference papers international audience with peer reviewing and proceeding
hal-00331864Maroun 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,
Conference papers international audience with peer reviewing and proceeding
hal-00164788Sté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⟩,
Conference papers international audience with peer reviewing and proceeding
lirmm-00153984Jean-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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00400754Michael 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00164762Francine 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,
Conference papers international audience with peer reviewing and proceeding
hal-00915274Sandrine 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00403286Lionel 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,
Conference papers international audience with peer reviewing and proceeding
hal-00360978Lionel 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00793052Sylvain 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00610222David 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,
Conference papers international audience with peer reviewing and proceeding
hal-00164789Sylvie 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00342179Sylvie 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,
Conference papers international audience with peer reviewing and proceeding
hal-00342180Leonardo 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00165384Leonardo 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⟩,
Conference papers international audience with peer reviewing and proceeding
hal-00164926Bruno Martin
A Walsh exploration of elementary CA rules.
International Workshop on Cellular Automata, Sep 2006, Hiroshima, Japan. pp.25-30,
Conference papers international audience with peer reviewing and proceeding
hal-00305489Alexandre 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,
Conference papers international audience with peer reviewing and proceeding
hal-00990048Philippe Langevin, Patrick Solé
Gauss sums over quasi-Frobenius rings.
Fq5, 2001, Unknown, Unknown Region. pp.329--341,
Conference papers international audience with peer reviewing and proceeding
hal-01279304Philippe Langevin, Patrick Solé
Kernels and Defaults.
Finite Fields : Theory, Applications and Algorithms, 1998, Unknown, Unknown Region. pp.77--87,
Conference papers international audience with peer reviewing and proceeding
hal-01279306Conference 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⟩,
Conference papers international audience with peer reviewing
hal-01717603Assia 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,
Conference papers international audience with peer reviewing
hal-02069642Verena 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,
Conference papers international audience with peer reviewing
hal-01961788Bruno Martin
Randomness with Cellular Automata.
Discrete Models of Complex Systems, Mar 2018, Orléans, France,
Conference papers international audience with peer reviewing
hal-01741411Bruno Martin
Pseudo-random sequence generation with cellular automata.
6th International Workshop on Applications and Fundamentals of Cellular Automata, Nov 2018, Hida, Takayama, Japan,
Conference papers international audience with peer reviewing
hal-01980216Jean-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,
Conference papers international audience with peer reviewing
hal-01877882Elisabetta 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⟩,
Conference papers international audience with peer reviewing
hal-01717598Assia 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,
Conference papers international audience with peer reviewing
hal-01514375Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso - de Faverney
Detecting Toxicity Pathways with a Formal Framework based on Equilibrium Changes.
Computational Methods for Systems Biology (CMSB), Sep 2017, Darmstadt, Germany,
Conference papers international audience with peer reviewing
hal-02540288Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso - de Faverney
A Qualitative Framework Dedicated to Toxicology.
International Conference on Bioinformatics Models, Methods and Algorithms, Feb 2017, Porto, Portugal,
Conference papers international audience with peer reviewing
hal-02540290Sandrine 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,
Conference papers international audience with peer reviewing
hal-01342479Jonathan Behaegel, Jean-Paul Comet, Gilles Bernot, Emilien Cornillon, Franck Delaunay
A hybrid model of cell cycle in mammals.
6th International Conference on Computational Systems-Biology and Bioinformatics (CSBio'2015), Nov 2015, Bangkok, Thailand,
Conference papers international audience with peer reviewing
hal-02540293Philippe 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,
Conference papers international audience with peer reviewing
hal-01288467Anaï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,
Conference papers international audience with peer reviewing
hal-01288725Jean-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,
Conference papers international audience with peer reviewing
hal-01308287Bruno 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-00826548Gilles 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,
Conference papers international audience with peer reviewing
hal-01308292Ké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,
Conference papers international audience with peer reviewing
hal-01196141Conference 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,
Conference papers national audience
hal-01562642Mohammed 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,
Conference papers national audience
hal-01152341Mohammed 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-00957255Mohammed 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,
Conference papers national audience
hal-00829579Arnaud Malapert, Jean-Charles Régin
Propagation de contraintes arithmétiques.
JFPC 2012, May 2012, Toulouse, France,
Conference papers national audience
hal-00812011Marie-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,
Conference papers national audience
hal-00840357Mohammed 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,
Conference papers national audience
hal-00811851Gilles 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,
Conference papers national audience
hal-00733916Gabriele 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-00560414Gabriele 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-00569139Gilles 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,
Conference papers national audience
hal-00654307Mohammed 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,
Conference papers national audience
inria-00520370Nguyen 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,
Conference papers national audience
inria-00520281Gabriela 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-00460436Mohamed 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,
Conference papers national audience
inria-00520293Sé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-00460442Sébastien Verel, Philippe Collard, Manuel Clergue
States based evolutionary algorithm.
Workshop selfstar at conference PPSN, Sep 2010, Krakow, Poland,
Conference papers national audience
hal-00518206Miguel 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,
Conference papers national audience
hal-00793048Lionel 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,
Conference papers national audience
inria-00553258Lionel 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,
Conference papers national audience
hal-00793059Gabriela 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É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,
Conference papers national audience
inria-00553260Katsunobu 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-00315932Lionel 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,
Conference papers national audience
inria-00553523Michel 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-00481388Marco 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-00433254Yahia 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,
Conference papers national audience
inria-00151231Bruno 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-00296811Bruno Martin
Another Co*cryption Method.
International Conference on Science and Technology (JICT), Mar 2007, Malaga, Spain. pp.CD-ROM,
Conference papers national audience
hal-00301817Bruno Martin
Mixing Compression and CA Encryption.
SAR-SSI, Jun 2007, Annecy, France. pp.255-266,
Conference papers national audience
hal-00304320Lionel 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,
Conference papers national audience
hal-00384334Denis 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,
Conference papers national audience
hal-01363859Documents 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-00742227Habilitation à diriger des recherches
Elisabetta de Maria
Formal Methods for Systems Biology: Contributions.
Bioinformatics [q-bio.QM]. Université Côte d'Azur, 2020,
Habilitation à diriger des recherches
tel-02888024Hé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-00461140Theses
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-01242557Simon Martiel
Algorithmical and mathematical approaches of causal graph dynamics.
Other [cs.OH]. Université Nice Sophia Antipolis, 2015. English. ⟨NNT : 2015NICE4043⟩,
Theses
tel-01188690Mohamed Rezgui
Parallélisme en programmation par contraintes.
Autre [cs.OH]. Université Nice Sophia Antipolis, 2015. Français. ⟨NNT : 2015NICE4040⟩,
Theses
tel-01191760Noureddine 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-01065629Daniela Battaglino
Enumeration of polyominoes defined in terms of pattern avoidance or convexity constraints.
Other [cs.OH]. Université Nice Sophia Antipolis, 2014. English. ⟨NNT : 2014NICE4042⟩,
Theses
tel-01064960Julien Provillard
Automates cellulaires non-uniformes.
Mathématique discrète [cs.DM]. Université Nice Sophia Antipolis, 2012. Français,
Theses
tel-01297387Vinh 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-01288662Maroun 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-00818459Reports
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-01473941Elisabetta 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-01349019Franck 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-01152719Mohammed 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-01132780Mohammed 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-01132781Mohammed 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-01246824Elisabetta de Maria, Joelle Despeyroux, Amy Felty
A Logical Framework for Systems Biology.
[Research Report] 2014, pp.34,
Reports
hal-00981409Cinzia 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-01093090Juha-Matti Kuusinen, Arnaud Malapert
Constraint Programming Formulation for the Elevator Trip Origin-Destination Matrix Estimation Problem.
2014,
Reports
hal-00932519Kaustuv Chaudhuri, Joelle Despeyroux
A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology.
[Research Report] 2013, pp.30,
Reports
inria-00402942Jé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-00665421Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
A Contractor Based on Convex Interval Taylor.
[Research Report] RR-7887, INRIA. 2012, pp.23,
Reports
hal-00673447Arnaud Malapert, Jean-Charles Régin
A note on arithmetic constraint propagation.
2012,
Reports
hal-00690317Arnaud Malapert, Sophie Demassey, Jean-Charles Régin
Beyond Cmax: an optimization-oriented framework for constraint-based scheduling.
2012,
Reports
hal-00976994Ignacio 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-00642819Nadjib Lazaar, Nourredine Aribi, Arnaud Gotlieb, Yahia Lebbah
Negation for Free!.
[Research Report] RR-7749, INRIA. 2011, pp.16,
Reports
inria-00629657Olivier Ponsini, Claude Michel, Michel Rueher
Refining Abstract Interpretation-based Approximations with Constraint Solvers.
[Research Report] Laboratoire I3S / UNS. 2011,
Reports
hal-00623274Nadjib Lazaar, Arnaud Gotlieb, Lebbah Yahia
On Testing Constraint Programs.
[Research Report] RR-7291, INRIA. 2010,
Reports
inria-00483410Other publications
Piotr Krasnowski
Secure voice communications over voice channels.
2019,
Other publications
hal-02561994Lyes Khacef, Sarah Zerimech, Adrien Russo, Pablo Avalos Prado, Cyrille Mascart
L'intelligence artificielle s'inspire de l'humain ... et vice versa.
2018, pp.35,
Other publications
hal-01740476Bruno Martin
Ce que la cryptographie doit à Shannon.
2017,
Other publications
hal-01741406Bruno 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,
Other publications
hal-02119487Nguyen Le Vinh, Hélène Collavizza, Michel Rueher, Samuel Devulder, Thierry Gueguen
Efficient Constraint-Based Dynamic Strategies For Generating Counterexamples.
2010,
Other publications
hal-00495816