2021
Article dans une revue
- titre
- Quantum algorithms for Second-Order Cone Programming and Support Vector Machines
- auteur
- Iordanis Kerenidis, Anupam Prakash, Daniel Szilagyi
- article
- Quantum, 2021, ⟨10.22331/q-2021-04-08-427⟩
- Accès au bibtex
-
2020
Article dans une revue
- titre
- Deciding and verifying network properties locally with few output bits
- auteur
- Heger Arfaoui, Pierre Fraigniaud, David Ilcinkas, Fabien Mathieu, Andrzej Pelc
- article
- Distributed Computing, 2020, 33, pp.169-187. ⟨10.1007/s00446-019-00355-1⟩
- Accès au texte intégral et bibtex
-
2019
Article dans une revue
- titre
- Languages and formations generated by D4 and Q8
- auteur
- Jean-Eric Pin, Xaro Soler-Escrivà
- article
- Theoretical Computer Science, 2019, 800, pp.155-172. ⟨10.1016/j.tcs.2019.10.023⟩
- Accès au texte intégral et bibtex
-
- titre
- On tessellations of random maps and the t g -recurrence
- auteur
- Guillaume Chapuy
- article
- Probability Theory and Related Fields, 2019, 174 (1-2), pp.477-500. ⟨10.1007/s00440-018-0865-6⟩
- Accès au bibtex
-
- titre
- Connectivity in bridge-addable graph classes: The McDiarmid–Steger–Welsh conjecture
- auteur
- Guillaume Chapuy, Guillem Perarnau
- article
- Journal of Combinatorial Theory, Series B, 2019, 136, pp.44-71. ⟨10.1016/j.jctb.2018.09.004⟩
- Accès au bibtex
-
- titre
- Generalizations of Capparelli's identity
- auteur
- Jehanne Dousse, Jeremy Lovejoy
- article
- Bulletin of the London Mathematical Society, 2019, 51 (2), pp.193-206. ⟨10.1112/blms.12218⟩
- Accès au texte intégral et bibtex
-
- titre
- Complexity and (Un)decidability of Fragments of 〈 ω ω λ ;× 〉
- auteur
- Alexis Bès, Christian Choffrut
- article
- Fundamenta Informaticae, 2019, 164 (1), pp.1-15. ⟨10.3233/FI-2019-1752⟩
- Accès au bibtex
-
- titre
- An optical packet metro architecture for Fixed Mobile Convergence in the cloud era
- auteur
- Annie Gravey, Djamel Amar, Philippe Gravey, Michel Morvan
- article
- Photonic Network Communications, 2019, 37, pp.278-295. ⟨10.1007/s11107-019-00831-5⟩
- Accès au bibtex
-
- titre
- Fast approximation of eccentricities and distances in hyperbolic graphs
- auteur
- Victor Chepoi, Feodor F. Dragan, Michel Habib, Yann Vaxès, Hend Alrasheed
- article
- Journal of Graph Algorithms and Applications, 2019, 23 (2), pp.393-433. ⟨10.7155/jgaa.00496⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- SL-COMP: Competition of Solvers for Separation Logic
- auteur
- Mihaela Sighireanu, Juan Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomas Vojnar, Constantin Enea, Ondrej Lengal, Chong Gao, Zhilin Wu
- article
- Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Apr 2019, Prague, Czech Republic. pp.116-132, ⟨10.1007/978-3-030-17502-3_8⟩
- Accès au texte intégral et bibtex
-
- titre
- Facet Connectedness of Arithmetic Discrete Hyperplanes with Non-Zero Shift
- auteur
- Eric Domenjoud, Bastien Laboureix, Laurent Vuillon
- article
- DGCI 2019: 21st International Conference on Discrete Geometry for Computer Imagery, Mar 2019, Paris, France. pp.38-50, ⟨10.1007/978-3-030-14085-4_4⟩
- Accès au bibtex
-
- titre
- q-means: A quantum algorithm for unsupervised machine learning
- auteur
- Iordanis Kerenidis, Jonas Landman, Alessandro Luongo, Anupam Prakash
- article
- NeurIPS 2019, 2019, Vancouver, Canada
- Accès au bibtex
-
- titre
- Quantum Algorithms for Portfolio Optimization
- auteur
- Iordanis Kerenidis, Anupam Prakash, Daniel Szilagyi
- article
- ACM AFT, 2019, Zurich, France. ⟨10.1145/3318041.3355465⟩
- Accès au bibtex
-
Autre publication scientifique
- titre
- Constraint Reductions
- auteur
- Olivier Bailleux, Yacine Boufkhad
- article
- CP anniversary Volume, 2019
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- On improving the approximation ratio of the r-shortest common superstring problem
- auteur
- Tristan Braquelaire, Marie Gasparoux, Mathieu Raffinot, Raluca Uricaru
- article
- 2019
- Accès au texte intégral et bibtex
-
- titre
- Quantum algorithms for feedforward neural networks
- auteur
- Jonathan Allcock, Chang-Yu Hsieh, Iordanis Kerenidis, Shengyu Zhang
- article
- 2019
- Accès au bibtex
-
- titre
- Quantum classification of the MNIST dataset via Slow Feature Analysis
- auteur
- Iordanis Kerenidis, Alessandro Luongo
- article
- 2019
- Accès au bibtex
-
- titre
- Quantum Algorithms for Deep Convolutional Neural Networks
- auteur
- Iordanis Kerenidis, Jonas Landman, Anupam Prakash
- article
- 2019
- Accès au bibtex
-
- titre
- Quantum Expectation-Maximization for Gaussian Mixture Models
- auteur
- Iordanis Kerenidis, Alessandro Luongo, Anupam Prakash
- article
- 2019
- Accès au bibtex
-
- titre
- A Quantum Interior Point Method for LPs and SDPs
- auteur
- Iordanis Kerenidis, Anupam Prakash
- article
- 2019
- Accès au bibtex
-
2018
Article dans une revue
- titre
- Realizability of concurrent recursive programs
- auteur
- Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl
- article
- Formal Methods in System Design, 2018, 53 (3), pp.339-362. ⟨10.1007/s10703-017-0282-y⟩
- Accès au bibtex
-
- titre
- Online Bin Packing with Advice of Small Size
- auteur
- Spyros Angelopoulos, Christoph Dürr, Shahin Kamali, Marc Renault, Adi Rosén
- article
- Theory of Computing Systems, 2018, 62 (8), pp.2006-2034. ⟨10.1007/s00224-018-9862-5⟩
- Accès au bibtex
-
- titre
- Practical and unconditionally secure spacetime-constrained oblivious transfer
- auteur
- Damián Pitalúa-García, Iordanis Kerenidis
- article
- Physical Review A, 2018, 98 (3), ⟨10.1103/PhysRevA.98.032327⟩
- Accès au bibtex
-
- titre
- A note on matrices mapping a positive vector onto its element-wise inverse
- auteur
- Sébastien Labbé
- article
- Journal of Mathematical Analysis and Applications, 2018, 463 (1), pp.235-241. ⟨10.1016/j.jmaa.2018.03.016⟩
- Accès au bibtex
-
- titre
- Bumping sequences and multispecies juggling
- auteur
- Arvind Ayyer, Jérémie Bouttier, Sylvie Corteel, Svante Linusson, François Nunzi
- article
- Advances in Applied Mathematics, 2018, 98, pp.100-126. ⟨10.1016/j.aam.2018.03.001⟩
- Accès au texte intégral et bibtex
-
- titre
- Cubic graphs and related triangulations on orientable surfaces
- auteur
- Wenjie Fang, Mihyun Kang, Michael Mosshammer, Philipp Sprüssel
- article
- The Electronic Journal of Combinatorics, 2018
- Accès au bibtex
-
- titre
- Sheaves and duality
- auteur
- Mai Gehrke, Sam van Gool
- article
- Journal of Pure and Applied Algebra, 2018
- Accès au texte intégral et bibtex
-
- titre
- Perfect sampling algorithm for Schur processes
- auteur
- Dan Betea, Cédric Boutillier, Jérémie Bouttier, Guillaume Chapuy, Sylvie Corteel, Mirjana Vuletić
- article
- Markov Processes And Related Fields, 2018, 24 (3), pp.381-418
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Büchi Good-for-Games Automata Are Efficiently Recognizable
- auteur
- Marc Bagnol, Denis Kuperberg
- article
- 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018), Dec 2018, Ahmedabad, India. pp.16, ⟨10.4230/LIPIcs.FSTTCS.2018.16⟩
- Accès au texte intégral et bibtex
-
Proceedings/Recueil des communications
- titre
- Voronoi tessellations in the CRT and continuum random maps of finite excess
- auteur
- Louigi Addario-Berry, Omer Angel, Guillaume Chapuy, Eric Fusy, Christina Goldschmidt
- article
- Society for Industrial and Applied Mathematics, pp.933-946, 2018, ⟨10.1137/1.9781611975031.60⟩
- Accès au bibtex
-
2017
Article dans une revue
- titre
- On the logical strengths of partial solutions to mathematical problems
- auteur
- Laurent Bienvenu, Ludovic Patey, Paul Shafer
- article
- Transactions of the London Mathematical Society, 2017, 4 (1), pp.30 - 71. ⟨10.1112/tlm3.12001⟩
- Accès au texte intégral et bibtex
-
- titre
- Bounds on Directed star arboricity in some digraph classes
- auteur
- Henri Perret Du Cray, Mourad Baïou, Laurent Beaudou, Vincent Limouzy
- article
- Electronic Notes in Discrete Mathematics, 2017, 62, pp.267 - 272. ⟨10.1016/j.endm.2017.10.046⟩
- Accès au bibtex
-
- titre
- Congruence preserving functions on free monoids
- auteur
- Patrick Cégielski, Serge Grigorieff, Irene Guessarian
- article
- Algebra Universalis, 2017, 78 (3), pp.389 - 406. ⟨10.1007/s00012-017-0464-x⟩
- Accès au bibtex
-
- titre
- From Aztec diamonds to pyramids: Steep tilings
- auteur
- Jérémie Bouttier, Guillaume Chapuy, Sylvie Corteel
- article
- Transactions of the American Mathematical Society, 2017, 369 (8), pp.5921 - 5959. ⟨10.1090/tran/7169⟩
- Accès au bibtex
-
- titre
- On the Zero Defect Conjecture
- auteur
- Sébastien Labbé, Edita Pelantová, Štěpán Starosta
- article
- European Journal of Combinatorics, 2017, 62, pp.132-146. ⟨10.1016/j.ejc.2016.12.006⟩
- Accès au bibtex
-
- titre
- A bijection for rooted maps on general surfaces
- auteur
- Guillaume Chapuy, Maciej Dołęga
- article
- Journal of Combinatorial Theory, Series A, 2017, 145, pp.252-307. ⟨10.1016/j.jcta.2016.08.001⟩
- Accès au bibtex
-
- titre
- Laplacian matrices and spanning trees of tree graphs
- auteur
- Philippe Biane, Guillaume Chapuy
- article
- Annales de la Faculté des Sciences de Toulouse. Mathématiques., 2017, 26, pp.235 - 261. ⟨10.5802/afst.1532⟩
- Accès au texte intégral et bibtex
-
- titre
- Dimers on Rail Yard Graphs
- auteur
- Cédric Boutillier, Jérémie Bouttier, Guillaume Chapuy, Sylvie Corteel, Sanjay Ramassamy
- article
- Annales de l’Institut Henri Poincaré (D) Combinatorics, Physics and their Interactions, 2017, 4 (4), pp.479-539. ⟨10.4171/AIHPD/46⟩
- Accès au texte intégral et bibtex
-
- titre
- An algorithm computing combinatorial specifications of permutation classes
- auteur
- Frédérique Bassino, Mathilde Bouvel, Adeline Pierrot, Carine Pivoteau, Dominique Rossin
- article
- Discrete Applied Mathematics, 2017, 224, pp.16-44. ⟨10.1016/j.dam.2017.02.013⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Experimental demonstration of practical unforgeable quantum money
- auteur
- Mathieu Bozzio, Adeline Orieux, Luis Trigo Vidarte, Isabelle Zaquine, Iordanis Kerenidis, Eleni Diamanti
- article
- Qcrypt 2017 - 7th International Conference on Quantum Cryptography, Sep 2017, Cambridge, United Kingdom
- Accès au bibtex
-
- titre
- First Steps in the Algorithmic Reconstruction of Digital Convex Sets
- auteur
- Paolo Dulio, Andrea Frosini, Simone Rinaldi, Lama Tarsissi, Laurent Vuillon
- article
- Word, Aug 2017, Montreal, Canada. ⟨10.1007/978-3-319-66396-8⟩
- Accès au texte intégral et bibtex
-
- titre
- On Reversible Transducers
- auteur
- Luc Dartois, Paulin Fournier, Ismaël Jecker, Nathan Lhote
- article
- ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Jul 2017, Varsovie, Poland. ⟨10.4230/LIPIcs.ICALP.2017.113⟩
- Accès au texte intégral et bibtex
-
- titre
- Stamina: Stabilisation Monoids IN Automata theory
- auteur
- Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Denis Kuperberg
- article
- CIAA - International Conference on Implementation and Application of Automata, 2017, Marne-la-Vallée, France
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
- auteur
- Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran
- article
- Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings, pp.170-200, 2017
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- Алгебра
- auteur
- Israel M. Gelfand, Alexander Shen
- article
- MCCME Publishers, Moscow, 2017, 978-5-4439-0946-2
- Accès au texte intégral et bibtex
-
Proceedings/Recueil des communications
- titre
- Verification, Model Checking, and Abstract Interpretation
- auteur
- Ahmed Bouajjani, David Monniaux
- article
- Verification, Model Checking, and Abstract Interpretation (VMCAI), Jan 2017, Paris, France. 10145, Springer, 2017, 978-3-319-52233-3. ⟨10.1007/978-3-319-52234-0⟩
- Accès au bibtex
-
Pré-publication, Document de travail
- titre
- Folding Turing is hard but feasible
- auteur
- Cody Geary, Pierre-Étienne Meunier, Nicolas Schabanel, Shinnosuke Seki
- article
- 2017
- Accès au bibtex
-
2016
Article dans une revue
- titre
- The S-adic Pisot conjecture on two letters
- auteur
- Valérie Berthé, Milton Minervino, Wolfgang Steiner, Jörg M. Thuswaldner
- article
- Topology and its Applications, 2016, 205, pp.47-57. ⟨10.1016/j.topol.2016.01.019⟩
- Accès au texte intégral et bibtex
-
- titre
- Volatile composition and sensory properties of Vanilla x tahitensis bring new insights for vanilla quality control
- auteur
- Phila Raharivelomanana, C. Brunschwig, S. Rochard, A. Pierrat, A. Rouger, P. Senger-Emonnot, G. George
- article
- Journal of the Science of Food and Agriculture, 2016, 96 (3), p.848-858. ⟨10.1002/jsfa.7157⟩
- Accès au bibtex
-
- titre
- A simpler proof of existence of quantum weak coin flipping with arbitrarily small bias
- auteur
- Dorit Aharonov, André Chailloux, Maor Ganz, Iordanis Kerenidis, Lock Magnin
- article
- SIAM Journal on Computing, 2016, pp.48. ⟨10.1137/14096387X⟩
- Accès au texte intégral et bibtex
-
- titre
- QMA with Subset State Witnesses
- auteur
- Alex Bredariol Grilo, Iordanis Kerenidis, Jamie Sikora
- article
- Chicago Journal of Theoretical Computer Science, 2016, 2016 (4), pp.1-17. ⟨10.4086/cjtcs.2016.004⟩
- Accès au bibtex
-
- titre
- Rumor Spreading in Random Evolving Graphs
- auteur
- Andrea Clementi, Pierluigi Crescenzi, Carola Doerr, Pierre Fraigniaud, Francesco Pasquale, Riccardo Silvestri
- article
- Random Structures and Algorithms, 2016, 48 (2), pp.290-312. ⟨10.1002/rsa.20586⟩
- Accès au texte intégral et bibtex
-
- titre
- Perfect graphs of arbitrarily large clique-chromatic number
- auteur
- Pierre Charbit, Irena Penev, Stéphan Thomassé, Nicolas Trotignon
- article
- Journal of Combinatorial Theory, Series B, 2016, 116, pp.456-464. ⟨10.1016/j.jctb.2015.09.008⟩
- Accès au bibtex
-
- titre
- A tie-break model for graph search
- auteur
- Derek G. Corneil, Jérémie Dusart, Michel Habib, Antoine Mamcarz, Fabien de Montgolfier
- article
- Discrete Applied Mathematics, 2016, 199, pp.89-100. ⟨10.1016/j.dam.2015.06.011⟩
- Accès au bibtex
-
- titre
- Generating functions of bipartite maps on orientable surfaces
- auteur
- Guillaume Chapuy, Wenjie Fang
- article
- The Electronic Journal of Combinatorics, 2016, 22 (3), pp.P3.31. ⟨10.37236/5511⟩
- Accès au texte intégral et bibtex
-
- titre
- Finitization of Infinite Field-based Multi-general FSSP Solution
- auteur
- Luidnel Maignan, Jean-Baptiste Yunès
- article
- J. Cellular Automata, 2016, 12 (1-2), pp.121--139
- Accès au bibtex
-
- titre
- On the values of repeated games with signals
- auteur
- Hugo Gimbert, Jérôme Renault, Sylvain Sorin, Xavier Venel, Wieslaw Zielonka
- article
- Annals of Applied Probability, 2016, 26 (1), pp.402-424. ⟨10.1214/14-AAP1095⟩
- Accès au texte intégral et bibtex
-
- titre
- On the power of graph searching for cocomparability graphs
- auteur
- Derek G. Corneil, Jérémie Dusart, Michel Habib, Ekkerhard Köhler
- article
- SIAM Journal on Discrete Mathematics, 2016
- Accès au bibtex
-
- titre
- A combinatorial approach to products of Pisot substitutions
- auteur
- Valérie Berthé, Jérémie Bourdon, Timo Jolivet, Anne Siegel
- article
- Ergodic Theory and Dynamical Systems, 2016, 36 (6), pp.1757-1794. ⟨10.1017/etds.2014.141⟩
- Accès au bibtex
-
- titre
- Ultrafilters on words for a fragment of logic
- auteur
- Mai Gehrke, Andreas Krebs, Jean-Eric Pin
- article
- Theoretical Computer Science, 2016, ⟨10.1016/j.tcs.2015.08.007⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property?
- auteur
- Radu Iosif, Arnaud Sangnier
- article
- 14th International Symposium on Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. pp.89-105, ⟨10.1007/978-3-319-46520-3_6⟩
- Accès au texte intégral et bibtex
-
- titre
- Connectivity in bridge-addable graph classes: the McDiarmid-Steger-Welsh conjecture
- auteur
- Guillaume Chapuy, Guillem Perarnau
- article
- SODA 2016, Jan 2016, Arlington, United States. ⟨10.1137/1.9781611974331.ch107⟩
- Accès au bibtex
-
- titre
- On Regularity of unary Probabilistic Automata
- auteur
- Sundararaman Akshay, Blaise Genest, Bruno Karelovic, Nikhil Vyas
- article
- STACS 2016, 2016, Orléans, France. pp.8:1-8:14
- Accès au texte intégral et bibtex
-
- titre
- Cost Functions Definable by Min/Max Automata
- auteur
- Thomas Colcombet, Denis Kuperberg, Amaldev Manuel, Szymon Toruńczyk
- article
- 33rd International Symposium on Theoretical Aspects of Computer Science (STACS 2016), 2016, Orléans, France. pp.1 - 36, ⟨10.4230/LIPIcs.STACS.2016.29⟩
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- Survey of Piecewise Convex Maximization and PCMP over Spherical Sets
- auteur
- Ider Tseveendorj, Dominique Fortin
- article
- Advances in Stochastic and Deterministic Global Optimization, pp.33-52, 2016, 978-3-319-29975-4. ⟨10.1007/978-3-319-29975-4_3⟩
- Accès au bibtex
-
- titre
- Unified View of Graph Searching and LDFS-Based Certifying Algorithms
- auteur
- Derek G. Corneil, Michel Habib
- article
- Encyclopedia of Algorithms, Springer-verlag, 2016, ⟨10.1007/978-3-642-27848-8_685-1⟩
- Accès au bibtex
-
Rapport
- titre
- Perfect Failure Detection with Very Few Bits
- auteur
- Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord
- article
- [Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016
- Accès au texte intégral et bibtex
-
- titre
- Forwarding Tables Verification through Representative Header Sets
- auteur
- Yacine Boufkhad, Ricardo de La Paz, Leonardo Linguaglossa, Fabien Mathieu, Diego Perino, Laurent Viennot
- article
- [Research Report] Inria Paris Rocquencourt. 2016
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- CHARACTERIZING CONGRUENCE PRESERVING FUNCTIONS Z/nZ → Z/mZ VIA RATIONAL POLYNOMIALS
- auteur
- Serge Grigorieff, Irene Guessarian, Patrick Cégielski
- article
- 2016
- Accès au texte intégral et bibtex
-
2015
Article dans une revue
- titre
- Rendezvous of heterogeneous mobile agents in edge-weighted networks
- auteur
- Dariusz Dereniowski, Ralf Klasing, Adrian Kosowski, Łukasz Kuszner
- article
- Theoretical Computer Science, 2015, 608 (3), pp.219-230. ⟨10.1016/j.tcs.2015.05.055⟩
- Accès au bibtex
-
- titre
- Rational self-affine tiles
- auteur
- Wolfgang Steiner, Jörg M. Thuswaldner
- article
- Transactions of the American Mathematical Society, 2015, 367 (11), ⟨10.1090/S0002-9947-2015-06264-3⟩
- Accès au texte intégral et bibtex
-
- titre
- Position discovery for a system of bouncing robots
- auteur
- Jurek Czyzowicz, Leszek Gasieniec, Adrian Kosowski, Evangelos Kranakis, Oscar Morales-Ponce, Eduardo Pacheco
- article
- Information and Computation, 2015, 244, pp.122-133. ⟨10.1016/j.ic.2015.07.005⟩
- Accès au bibtex
-
- titre
- Wheel-free planar graphs
- auteur
- Pierre Aboulker, Maria Chudnovsky, Paul Seymour, Nicolas Trotignon
- article
- European Journal of Combinatorics, 2015, 49, ⟨10.1016/j.ejc.2015.02.027⟩
- Accès au bibtex
-
- titre
- Logics with Rigidly Guarded Data Tests
- auteur
- Thomas Colcombet, Clemens Ley, Gabriele Puppis
- article
- Logical Methods in Computer Science, 2015, 11, ⟨10.2168/LMCS-11(3:10)2015⟩
- Accès au texte intégral et bibtex
-
- titre
- A recursive structure of sand pile model and its applications
- auteur
- Wenjie Fang, Roberto Mantaci
- article
- Pure Mathematics and Applications, 2015, 25 (1), pp.63-78. ⟨10.1515/puma-2015-0006⟩
- Accès au bibtex
-
- titre
- Nonclassicality of Temporal Correlations
- auteur
- Stephen Brierley, Adrian Kosowski, Marcin Markiewicz, Tomasz Paterek, Anna Przysiezna
- article
- Physical Review Letters, 2015, 115 (12), ⟨10.1103/PhysRevLett.115.120404⟩
- Accès au bibtex
-
- titre
- Fast collaborative graph exploration
- auteur
- Dariusz Dereniowski, Yann Disser, Adrian Kosowski, Dominik Pajak, Przemyslaw Uznanski
- article
- Information and Computation, 2015, 243, pp.37-49. ⟨10.1016/j.ic.2014.12.005⟩
- Accès au bibtex
-
- titre
- Fast and compact self-stabilizing verification, computation, and fault detection of an MST
- auteur
- Amos Korman, Shay Kutten, Toshimitsu Masuzawa
- article
- Distributed Computing, 2015, 28 (4), ⟨10.1007/s00446-015-0242-y⟩
- Accès au texte intégral et bibtex
-
- titre
- Newton representation of functions over natural integers having integral difference ratios
- auteur
- Irene Guessarian, Patrick Cégielski, Serge Grigorieff
- article
- International Journal of Number Theory, 2015, 11 (7), pp.2109-2139. ⟨10.1142/S179304211550092X⟩
- Accès au bibtex
-
- titre
- Curve diagrams, laminations, and the geometric complexity of braids
- auteur
- Vincent Jugé
- article
- Journal of Knot Theory and Its Ramifications, 2015, 24 (08), ⟨10.1142/S0218216515500431⟩
- Accès au bibtex
-
- titre
- Simple recurrence formulas to count maps on orientable surfaces
- auteur
- Sean R. Carrell, Guillaume Chapuy
- article
- Journal of Combinatorial Theory, Series A, 2015, 133, pp.58--75. ⟨10.1016/j.jcta.2015.01.005⟩
- Accès au bibtex
-
- titre
- Fast diameter and radius BFS-based computation in (weakly connected) real-world graphs
- auteur
- Michele Borassi, Pierluigi Crescenzi, Michel Habib, Walter A. Kosters, Andrea Marino, Frank W. Takes
- article
- Theoretical Computer Science, 2015, 586, pp.59-80. ⟨10.1016/j.tcs.2015.02.033⟩
- Accès au texte intégral et bibtex
-
- titre
- Fast diameter and radius BFS-based computation in (weakly connected) real-world graphs: With an application to the six degrees of separation games
- auteur
- Michele Borassi, Pierluigi Crescenzi, Michel Habib, Walter A. Kosters, Andrea Marino, Frank W. Takes
- article
- Theoretical Computer Science, 2015, 586, pp.21. ⟨10.1016/j.tcs.2015.02.033⟩
- Accès au bibtex
-
- titre
- A Generic Method for Bijections between Blossoming Trees and Planar Maps
- auteur
- Marie Albenque, Dominique Poulalhon
- article
- The Electronic Journal of Combinatorics, 2015, 22 (2), pp.P2.38
- Accès au bibtex
-
- titre
- Vertex elimination orderings for hereditary graph classes
- auteur
- Pierre Aboulker, Pierre Charbit, Nicolas Trotignon, Kristina Vušković
- article
- Discrete Mathematics, 2015, 338 (5), ⟨10.1016/j.disc.2014.12.014⟩
- Accès au bibtex
-
- titre
- Distinguishing Views in Symmetric Networks: A Tight Lower Bound
- auteur
- Dariusz Dereniowski, Adrian Kosowski, Dominik Pajak
- article
- Theoretical Computer Science, 2015, 582, pp.27-34. ⟨10.1016/j.tcs.2015.03.018⟩
- Accès au texte intégral et bibtex
-
- titre
- Deciding the value 1 problem for probabilistic leaktight automata
- auteur
- Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Youssouf Oualhadj
- article
- Logical Methods in Computer Science, 2015, pp.37. ⟨10.2168/LMCS-2014-994⟩
- Accès au texte intégral et bibtex
-
- titre
- An algorithm for deciding the finiteness of the number of simple permutations in permutation classes
- auteur
- Frédérique Bassino, Mathilde Bouvel, Adeline Pierrot, Dominique Rossin
- article
- Advances in Applied Mathematics, 2015, 64, pp.124 - 200. ⟨10.1016/j.aam.2014.12.001⟩
- Accès au bibtex
-
- titre
- Self-Organizing Flows in Social Networks
- auteur
- Nidhi Hegde, Laurent Massoulié, Laurent Viennot
- article
- Theoretical Computer Science, 2015, pp.16. ⟨10.1016/j.tcs.2015.02.018⟩
- Accès au texte intégral et bibtex
-
- titre
- Multivariate Juggling Probabilities
- auteur
- Arvind Ayyer, Jérémie Bouttier, Sylvie Corteel, François Nunzi
- article
- Electronic Journal of Probability, 2015, 20 (5), pp.1-29. ⟨10.1214/EJP.v20-3495⟩
- Accès au bibtex
-
- titre
- Walking on Data Words
- auteur
- Amaldev Manuel, Anca Muscholl, Gabriele Puppis
- article
- Theory of Computing Systems, 2015, ⟨10.1007/s00224-014-9603-3⟩
- Accès au texte intégral et bibtex
-
- titre
- The graph formulation of the union-closed sets conjecture
- auteur
- Henning Bruhn, Pierre Charbit, Oliver Schaudt, Jan Arne Telle
- article
- European Journal of Combinatorics, 2015, 43, pp.210-219. ⟨10.1016/j.ejc.2014.08.030⟩
- Accès au bibtex
-
- titre
- On a Generalization of the Ryser-Brualdi-Stein Conjecture
- auteur
- Pierre Charbit, Ron Aharoni, David Howard
- article
- Journal of Graph Theory, 2015, pp.14. ⟨10.1002/jgt.21796⟩
- Accès au bibtex
-
- titre
- On the Diameter of Random Planar Graphs
- auteur
- Guillaume Chapuy, Éric Fusy, Omer Giménez, Marc Noy
- article
- Combinatorics, Probability and Computing, 2015, 24 (01), pp.145--178. ⟨10.1017/S0963548314000467⟩
- Accès au bibtex
-
- titre
- Excluding cycles with a fixed number of chords
- auteur
- Pierre Aboulker, Nicolas Bousquet
- article
- Discrete Applied Mathematics, 2015, 180, pp.11-24. ⟨10.1016/j.dam.2014.08.006⟩
- Accès au bibtex
-
- titre
- Termination of the Iterated Strong-Factor Operator on Multipartite Graphs
- auteur
- Christophe Crespelle, Thi Ha Duong Phan, Hung Tran-The
- article
- Theoretical Computer Science, 2015, 571, pp.67-77. ⟨10.1016/j.tcs.2015.01.009⟩
- Accès au bibtex
-
- titre
- Wait-freedom with advice
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Petr Kouznetsov, Eli Gafni
- article
- Distributed Computing, 2015, 28 (1), pp.3-19. ⟨10.1007/s00446-014-0231-6⟩
- Accès au bibtex
-
- titre
- LiveRank: How to Refresh Old Datasets
- auteur
- The Dang Huynh, Fabien Mathieu, Laurent Viennot
- article
- Internet Mathematics, 2015, ⟨10.1080/15427951.2015.1098756⟩
- Accès au texte intégral et bibtex
-
- titre
- On fixed points of the lower set operator
- auteur
- Jorge Almeida, Antonio Cano, Ondrej Klíma, Jean-Eric Pin
- article
- International Journal of Algebra and Computation, 2015, Internat. J. Algebra Comput. 25 (2015), 259-292, 25, pp.259-292. ⟨10.1142/S021819671540010X⟩
- Accès au texte intégral et bibtex
-
- titre
- Linear space bootstrap communication schemes
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum
- article
- Theoretical Computer Science, 2015, 561, pp.122-133. ⟨10.1016/j.tcs.2014.10.013⟩
- Accès au bibtex
-
- titre
- Bijections between affine hyperplane arrangements and valued graphs
- auteur
- David Forge, Sylvie Corteel, Veronique Ventos
- article
- European Journal of Combinatorics, 2015, Combinatorial geometries: Matroids, oriented matroids and applications. Special issue in memory of Michel Las Vergnas. 50, pp.30-37. ⟨10.1016/j.ejc.2015.04.003⟩
- Accès au bibtex
-
- titre
- Maximal bifix decoding
- auteur
- Valérie Berthé, Clelia de Felice, Francesco Dolce, Julien Leroy, Dominique Perrin, Christophe Reutenauer, Giuseppina Rindone
- article
- Contributions to Discrete Mathematics, 2015, 338 (5), pp.725-742. ⟨10.1016/j.disc.2014.12.010⟩
- Accès au texte intégral et bibtex
-
- titre
- Languages associated with saturated formations of groups
- auteur
- Adolfo Ballester-Bolinches, Jean-Eric Pin, Xaro Soler-Escrivà
- article
- Forum Mathematicum, 2015, Forum Math. 27 (2015), 1471-1505, 27, pp.1471-1505. ⟨10.1515/forum-2012-0161⟩
- Accès au texte intégral et bibtex
-
- titre
- Taming Past LTL and Flat Counter Systems
- auteur
- Stéphane Demri, Amit K Kumar Dhar, Arnaud Sangnier
- article
- Information and Computation, 2015, 242, pp.306-339. ⟨10.1016/j.ic.2015.03.007⟩
- Accès au texte intégral et bibtex
-
- titre
- Entropy Games
- auteur
- Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor Kozyakin
- article
- CoRR, 2015, abs/1506.04885
- Accès au bibtex
-
- titre
- k-Chordal Graphs: from Cops and Robber to Compact Routing via Treewidth
- auteur
- Adrian Kosowski, Bi Li, Nicolas Nisse, Karol Suchan
- article
- Algorithmica, 2015, 72 (3), pp.758-777
- Accès au texte intégral et bibtex
-
- titre
- Allowing each node to communicate only once in a distributed system: shared whiteboard models
- auteur
- Florent Becker, Adrian Kosowski, Martin Matamala, Nicolas Nisse, Ivan Rapaport, Karol Suchan, Ioan Todinca
- article
- Distributed Computing, 2015, 28 (3), pp.189-200. ⟨10.1007/s00446-014-0221-8⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- When Patrolmen Become Corrupted: Monitoring a Graph using Faulty Mobile Robots
- auteur
- Jurek Czyzowicz, Leszek Gasieniec, Adrian Kosowski, Evangelos Kranakis, Danny Krizanc, Najmeh Taleb
- article
- 26th International Symposium on Algorithms and Computation (ISAAC 2015), Proceedings, Dec 2015, Nagoya, Japan. pp.343-354, ⟨10.1007/978-3-662-48971-0_30⟩
- Accès au texte intégral et bibtex
-
- titre
- Newton series, coinductively
- auteur
- Henning Basold, Helle Hvid Hansen, Jean-Eric Pin, Jan Rutten
- article
- ICTAC 2015, Oct 2015, Cali, Colombia. pp.91-109
- Accès au texte intégral et bibtex
-
- titre
- Limit Behavior of the Multi-Agent Rotor-Router System
- auteur
- Jérémie Chalopin, Shantanu Das, Pawel Gawrychowski, Adrian Kosowski, Arnaud Labourel, Przemysław Uznanski
- article
- DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Geometry on the Utility Space
- auteur
- François Durand, Benoît Kloeckner, Fabien Mathieu, Ludovic Noirie
- article
- Fourth International Conference on Algorithmic Decision Theory, Sep 2015, Lexington, United States. pp.16, ⟨10.1007/978-3-319-23114-3_12⟩
- Accès au texte intégral et bibtex
-
- titre
- Nearest Fixed Points and Concurrent Priority Games
- auteur
- Bruno Karelovic, Wieslaw Zielonka
- article
- Fundamentals of Computation Theory, FCT 2015, Sep 2015, Gdansk, Poland. ⟨10.1007/978-3-319-22177-9_29⟩
- Accès au bibtex
-
- titre
- Distributed local strategies in broadcast networks
- auteur
- Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier
- article
- 26th International Conference on Concurrency Theory (CONCUR 2015), Sep 2015, Madrid, Spain. pp.44-57, ⟨10.4230/LIPIcs.CONCUR.2015.44⟩
- Accès au bibtex
-
- titre
- Recurrence Function on Sturmian Words: A Probabilistic Study
- auteur
- Valérie Berthé, Eda Cesaratto, Pablo Rotondo, Brigitte Vallée, Alfredo Viola
- article
- Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Aug 2015, Milan, Italy. pp.116-128, ⟨10.1007/978-3-662-48057-1_9⟩
- Accès au bibtex
-
- titre
- QMA with Subset State Witnesses
- auteur
- Alex Bredariol Grilo, Iordanis Kerenidis, Jamie Sikora
- article
- Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Aug 2015, Milan, Italy. pp.163-174, ⟨10.1007/978-3-662-48054-0_14⟩
- Accès au bibtex
-
- titre
- Communication Complexity of Conditional Disclosure of Secrets and Attribute-Based Encryption
- auteur
- Romain Gay, Iordanis Kerenidis, Hoeteck Wee
- article
- CRYPTO 2015 - Advances in Cryptology, Aug 2015, Santa Barbara, United States. pp.485-502, ⟨10.1007/978-3-662-48000-7_24⟩
- Accès au bibtex
-
- titre
- Online Bin Packing with Advice of Small Size
- auteur
- Spyros Angelopoulos, Christoph Dürr, Shahin Kamali, Marc Renault, Adi Rosén
- article
- Algorithms and Data Structures, Aug 2015, Victoria, Canada. pp.40-53, ⟨10.1007/978-3-319-21840-3_4⟩
- Accès au bibtex
-
- titre
- On the Space Complexity of Set Agreement?
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Petr Kouznetsov, Eric Ruppert
- article
- ACM Symposium on Principles of Distributed Computing, PODC 2015, Jul 2015, Donostia, France
- Accès au bibtex
-
- titre
- Randomized Proof-Labeling Schemes
- auteur
- Mor Baruch, Pierre Fraigniaud, Boaz Patt-Shamir
- article
- ACM Symposium on Principles of Distributed Computing (PODC), Jul 2015, Donostia-San Sebastián, Spain. pp.315-324, ⟨10.1145/2767386.2767421⟩
- Accès au texte intégral et bibtex
-
- titre
- A Separation of n-consensus and (n + 1)-consensus Based on Process Scheduling
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
- article
- Structural Information and Communication Complexity - 22nd International Colloquium, {SIROCCO} 2015, Jul 2015, Montserrat, France. pp.385-398, ⟨10.1007/978-3-319-25258-2_27⟩
- Accès au bibtex
-
- titre
- Clock Synchronization and Distributed Estimation in Highly Dynamic Networks: An Information Theoretic Approach
- auteur
- Ofer Feinerman, Amos Korman
- article
- Structural Information and Communication Complexity - 22nd International Colloquium, {SIROCCO} 2015, Jul 2015, Montserrat, Spain. ⟨10.1007/978-3-319-25258-2_2⟩
- Accès au texte intégral et bibtex
-
- titre
- Node Labels in Local Decision
- auteur
- Pierre Fraigniaud, Juho Hirvonen, Jukka Suomela
- article
- 22nd International Colloquium on Structural Information and Communication Complexity (SIROCCO), Jul 2015, Montserrat, Spain. pp.589-598, ⟨10.1007/978-3-319-25258-2_3⟩
- Accès au texte intégral et bibtex
-
- titre
- A bijection for rooted maps on general surfaces (extended abstract)
- auteur
- Guillaume Chapuy, Maciej Dołęga
- article
- 27th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2015), Jul 2015, Daejeon, South Korea. pp.181-192, ⟨10.46298/dmtcs.2536⟩
- Accès au texte intégral et bibtex
-
- titre
- Generating functions of bipartite maps on orientable surfaces (extended abstract)
- auteur
- Guillaume Chapuy, Wenjie Fang
- article
- 27th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2015) , Jul 2015, Daejeon, South Korea. pp.607-618, ⟨10.46298/dmtcs.2531⟩
- Accès au texte intégral et bibtex
-
- titre
- What Percentage of Programs Halt?
- auteur
- Laurent Bienvenu, Damien Desfontaines, Alexander Shen
- article
- ICALP: International Colloquium on Automata, Languages and Programming, EATCS, Jul 2015, Kyoto, Japan. pp.219-230, ⟨10.1007/978-3-662-47672-7⟩
- Accès au bibtex
-
- titre
- Tamari Lattices for Parabolic Quotients of the Symmetric Group
- auteur
- Henri Mühle, Nathan Williams
- article
- 27th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2015), Jul 2015, Daejeon, South Korea. pp.973-984, ⟨10.46298/dmtcs.2534⟩
- Accès au texte intégral et bibtex
-
- titre
- A generalisation of two partition theorems of Andrews
- auteur
- Jehanne Dousse
- article
- 27th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2015), Jul 2015, Daejeon, South Korea. pp.297-308, ⟨10.46298/dmtcs.2529⟩
- Accès au texte intégral et bibtex
-
- titre
- Some generalized juggling processes (extended abstract)
- auteur
- Arvind Ayyer, Jérémie Bouttier, Svante Linusson, François Nunzi
- article
- 27th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2015), Jul 2015, Daejeon, South Korea. pp.925-936, ⟨10.46298/dmtcs.2537⟩
- Accès au texte intégral et bibtex
-
- titre
- On Convergence and Threshold Properties of Discrete Lotka-Volterra Population Protocols
- auteur
- Jurek Czyzowicz, Leszek Gasieniec, Adrian Kosowski, Evangelos Kranakis, Paul G. Spirakis, Przemyslaw Uznanski
- article
- 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015), Proceedings, Part I, Jul 2015, Kyoto, Japan. pp.393-405, ⟨10.1007/978-3-662-47672-7_32⟩
- Accès au texte intégral et bibtex
-
- titre
- Improved Analysis of Deterministic Load-Balancing Schemes
- auteur
- Petra Berenbrink, Ralf Klasing, Adrian Kosowski, Frederik Mallmann-Trenn, Przemyslaw Uznanski
- article
- PODC '15 Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, Jul 2015, San Sebastian, Spain. pp.301-310, ⟨10.1145/2767386.2767413⟩
- Accès au bibtex
-
- titre
- Space-Optimal Time-Efficient Silent Self-Stabilizing Constructions of Constrained Spanning Trees
- auteur
- Lélia Blin, Pierre Fraigniaud
- article
- 35th IEEE International Conference on Distributed Computing Systems (ICDCS), Jun 2015, Columbus, United States. pp.589-598, ⟨10.1109/ICDCS.2015.66⟩
- Accès au texte intégral et bibtex
-
- titre
- Newton’s Forward Difference Equation for Functions from Words to Words
- auteur
- Jean-Eric Pin
- article
- CiE 2015, Jun 2015, Bucarest, Romania. pp.71-82, ⟨10.1007/978-3-319-20028-6_8⟩
- Accès au texte intégral et bibtex
-
- titre
- On the Reversibility of Live Equal-Conflict Petri Nets
- auteur
- Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon
- article
- 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, Jun 2015, Bruxelles, Belgium. pp.234-253, ⟨10.1007/978-3-319-19488-2_12⟩
- Accès au texte intégral et bibtex
-
- titre
- Randomized Local Network Computing
- auteur
- Laurent Feuilloley, Pierre Fraigniaud
- article
- 27th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), Jun 2015, Portland, United States. pp.340-349, ⟨10.1145/2755573.2755596⟩
- Accès au texte intégral et bibtex
-
- titre
- JQuery UI like approximate autocomplete
- auteur
- Ibrahim Chegrane, Djamal Belazzougui, Mathieu Raffinot
- article
- International Symposium on Web Algorithms, Jun 2015, Deauville, France
- Accès au texte intégral et bibtex
-
- titre
- Vérification de tables de routage par utilisation d'un ensemble représentatif d'en-têtes
- auteur
- Yacine Boufkhad, Ricardo de La Paz, Leonardo Linguaglossa, Fabien Mathieu, Diego Perino, Laurent Viennot
- article
- ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
- Accès au texte intégral et bibtex
-
- titre
- Complexité en moyenne pour le modèle LOCAL
- auteur
- Laurent Feuilloley
- article
- ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
- Accès au texte intégral et bibtex
-
- titre
- Exploiting User Movement for Position Detection
- auteur
- The Dang Huynh, Chung Shue Chen, Siu-Wai Ho
- article
- IEEE Consumer Communications and Networking Conference, IEEE, Jan 2015, Las Vegas, United States. pp.6
- Accès au texte intégral et bibtex
-
- titre
- Localization method for device-to-device through user movement
- auteur
- The Dang Huynh, Chung Shue Chen, Siu-Wai Ho
- article
- IEEE International Conference on Communications (ICC), 2015, London, United Kingdom. ⟨10.1109/ICCW.2015.7247279⟩
- Accès au texte intégral et bibtex
-
- titre
- Trading Bounds for Memory in Games with Counters
- auteur
- Nathanaël Fijalkow, Florian Horn, Denis Kuperberg, Michaa L Skrzypczak
- article
- 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015), 2015, Kyoto, Japan. ⟨10.1007/978-3-662-47666-6_16⟩
- Accès au texte intégral et bibtex
-
- titre
- How Good Is a Strategy in a Game with Nature?
- auteur
- Arnaud Carayol, Olivier Serre
- article
- 30th Annual IEEE Symposium on Logic in Computer Science (LiCS 2015), 2015, Kyoto, Japan. pp.12, ⟨10.1109/LICS.2015.62⟩
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- Arithmetical Congruence Preservation: from Finite to Infinite
- auteur
- Irene Guessarian, Patrick Cégielski, Serge Grigorieff
- article
- Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich, 9300, pp.210-225, 2015, LNCS
- Accès au bibtex
-
- titre
- On the Pisot Substitution Conjecture
- auteur
- S Akiyama, M Barge, V Berthé, J.-y Lee, A Siegel
- article
- Mathematics of Aperiodic Order, 309, Springer, pp.33-72, 2015, Progress in mathematics, 978-3-0348-0903-0. ⟨10.1007/978-3-0348-0903-0_2⟩
- Accès au texte intégral et bibtex
-
- titre
- K-trivial, K-low and MLR-low sequences: a tutorial
- auteur
- Laurent Bienvenu, Alexander Shen
- article
- Fields of Logic and Computation II, LNCS (9300), Springer, pp.1-23, 2015, Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday, 978-3-319-23533-2. ⟨10.1007/978-3-319-23534-9_1⟩
- Accès au bibtex
-
- titre
- Arithmetical Congruence Preservation: From Finite to Infinite, Lecture Notes in Computer Science 9300, Springer, 2015, pp. 210-225
- auteur
- Patrick Cégielski, Irene Guessarian, Serge Grigorieff
- article
- From Finite to Infinite, Lecture Notes in Computer Science 9300, Springer, 2015, 2015
- Accès au bibtex
-
HDR
- titre
- Playing with Trees and Logic
- auteur
- Olivier Serre
- article
- Logic in Computer Science [cs.LO]. Université Paris Diderot — Paris 7, 2015
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- Proceedings of the 2015 International Conference on Distributed Computing and Networking, {ICDCN} 2015, Goa, India, January 4-7, 2015
- auteur
- Amos Korman, Sajal K. Das, Krishnaswamy Dilip, Karkar Santonu, Kumar Mohan, Marius Portmann, Srikanth Sastry
- article
- ACM Digital Library, 2015
- Accès au bibtex
-
- titre
- 20th International Symposium on Fundamentals of Computation Theory (FCT 2015), Proceedings, Gdansk, Poland, August 17-19, 2015
- auteur
- Adrian Kosowski, Igor Walukiewicz
- article
- Springer, 9210, 2015, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-22177-9⟩
- Accès au bibtex
-
Rapport
- titre
- Minimizing the Number of Opinions for Fault-Tolerant Distributed Decision Using Well-Quasi Orderings
- auteur
- Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers
- article
- [Research Report] LaBRI, U. 2015
- Accès au texte intégral et bibtex
-
- titre
- Distributed local strategies in broadcast networks
- auteur
- Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier
- article
- [Research Report] Inria Rennes. 2015
- Accès au texte intégral et bibtex
-
- titre
- SVVAMP: Simulator of Various Voting Algorithms in Manipulating Populations
- auteur
- François Durand, Fabien Mathieu, Ludovic Noirie
- article
- [Research Report] Inria. 2015
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Counting and Randomising in Automata Theory
- auteur
- Nathanaël Fijalkow
- article
- Computer Science and Game Theory [cs.GT]. Université Paris Diderot - Paris 7; Université de Varsovie (Pologne), 2015. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards less manipulable voting systems
- auteur
- François Durand
- article
- Modeling and Simulation. Université Pierre et Marie Curie - Paris VI, 2015. English. ⟨NNT : 2015PA066519⟩
- Accès au texte intégral et bibtex
-
- titre
- Vers des modes de scrutin moins manipulables
- auteur
- François Durand
- article
- Modélisation et simulation. Université Pierre et Marie Curie - Paris VI, 2015. Français. ⟨NNT : 2015PA066519⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Generic algorithms for halting problem and optimal machines revisited
- auteur
- Laurent Bienvenu, Damien Desfontaines, Alexander Shen
- article
- 2015
- Accès au bibtex
-
- titre
- Limits of Structures and the Example of Tree-Semilattices
- auteur
- Pierre Charbit, Lucas Hosseini, Patrice Ossona de Mendez
- article
- 2015
- Accès au texte intégral et bibtex
-
- titre
- Entropy Games and Matrix Multiplication Games
- auteur
- Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor Kozyakin
- article
- 2015
- Accès au texte intégral et bibtex
-
- titre
- Lock-in Problem for Parallel Rotor-router Walks
- auteur
- Jérémie Chalopin, Shantanu Das, Pawel Gawrychowski, Adrian Kosowski, Arnaud Labourel, Przemyslaw Uznanski
- article
- 2015
- Accès au texte intégral et bibtex
-
- titre
- On Automated Lemma Generation for Separation Logic with Inductive Definitions
- auteur
- Constantin Enea, Mihaela Sighireanu, Zhilin Wu
- article
- 2015
- Accès au texte intégral et bibtex
-
- titre
- Coxeter hyperplane arrangements and $k$-decreasing forests
- auteur
- David Forge, Sylvie Corteel, Anne Micheli
- article
- 2015
- Accès au bibtex
-
2014
Article dans une revue
- titre
- Naive Evaluation of Queries over Incomplete Databases
- auteur
- Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
- article
- ACM Transactions on Database Systems, 2014, pp.42
- Accès au texte intégral et bibtex
-
- titre
- A Robust Class of Data Languages and an Application to Learning
- auteur
- Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege
- article
- Logical Methods in Computer Science, 2014, 10 (4:19), ⟨10.2168/LMCS-10(4:19)2014⟩
- Accès au texte intégral et bibtex
-
- titre
- Counting factorizations of Coxeter elements into products of reflections
- auteur
- G. Chapuy, C. Stump
- article
- Journal of the London Mathematical Society, 2014, 90 (3), pp.919--939. ⟨10.1112/jlms/jdu059⟩
- Accès au bibtex
-
- titre
- Randomized distributed decision
- auteur
- Parter Merav, David Peleg, Amos Korman, Pierre Fraigniaud, Göös Mika
- article
- Distributed Computing, 2014, pp.15. ⟨10.1007/s00446-014-0211-x⟩
- Accès au bibtex
-
- titre
- Confidence Sharing: An Economic Strategy for Efficient Information Flows in Animal Groups
- auteur
- Amos Korman, Greenwald Efrat, Ofer Feinerman
- article
- PLoS Computational Biology, 2014, pp.10. ⟨10.1371/journal.pcbi.1003862⟩
- Accès au bibtex
-
- titre
- A generalization of the quadrangulation relation to constellations and hypermaps
- auteur
- Wenjie Fang
- article
- Journal of Combinatorial Theory, Series A, 2014, 127, pp.1-21. ⟨10.1016/j.jcta.2014.05.005⟩
- Accès au bibtex
-
- titre
- Influence of the tie-break rule on the end-vertex problem
- auteur
- Pierre Charbit, Michel Habib, Antoine Mamcarz
- article
- Discrete Mathematics and Theoretical Computer Science, 2014, Vol. 16 no. 2, pp.57-72. ⟨10.46298/dmtcs.2081⟩
- Accès au texte intégral et bibtex
-
- titre
- Easy identification of generalized common and conserved nested intervals
- auteur
- Fabien de Montgolfier, Mathieu Raffinot, Irena Rusu
- article
- Journal of Computational Biology, 2014, 21 (7), pp.520-533. ⟨10.1089/cmb.2013.0146⟩
- Accès au bibtex
-
- titre
- Tilings for Pisot beta numeration
- auteur
- Milton Minervino, Wolfgang Steiner
- article
- Indagationes Mathematicae, 2014, 25 (4), pp.745-773. ⟨10.1016/j.indag.2014.04.008⟩
- Accès au texte intégral et bibtex
-
- titre
- Une brève histoire des réseaux de télécommunications
- auteur
- Laurent Viennot
- article
- Interstices, 2014, pp.1
- Accès au bibtex
-
- titre
- Fully Subtractive Algorithm, Tribonacci numeration and connectedness of discrete planes
- auteur
- Valérie Berthé, Eric Domenjoud, Damien Jamet, Xavier Provençal
- article
- RIMS Kôkyûroku Bessatsu, 2014, Numeration and Substitution 2012, B46, pp.159-174
- Accès au bibtex
-
- titre
- Experimental plug and play quantum coin flipping
- auteur
- Anna Pappa, Paul Jouguet, Thomas Lawson, André Chailloux, Matthieu Legré, Patrick Trinkler, Iordanis Kerenidis, Eleni Diamanti
- article
- Nature Communications, 2014, pp.9. ⟨10.1038/ncomms4717⟩
- Accès au texte intégral et bibtex
-
- titre
- Validating an agent-based model of the Zipf's law: a discrete Markov chain approach
- auteur
- Bruno Gaujal, Laszlo Gulyas, Yuri Mansuri, Eric Thierry
- article
- Journal of Economic Dynamics and Control, 2014, pp.38-49. ⟨10.1016/j.jedc.2014.02.002⟩
- Accès au bibtex
-
- titre
- Time versus space trade-offs for rendezvous in trees
- auteur
- Jurek Czyzowicz, Adrian Kosowski, Andrzej Pelc
- article
- Distributed Computing, 2014, 27 (2), pp.95-109. ⟨10.1007/s00446-013-0201-4⟩
- Accès au texte intégral et bibtex
-
- titre
- Fine costs for Euclid's algorithm on polynomials and Farey maps
- auteur
- Valérie Berthé, Hitoshi Nakada, Rie Natsui, Brigitte Vallée
- article
- Advances in Applied Mathematics, 2014, 54, pp.27-65. ⟨10.1016/j.aam.2013.11.001⟩
- Accès au texte intégral et bibtex
-
- titre
- Strong connections between quantum encodings, non-locality and quantum cryptography
- auteur
- Jamie Sikora, André Chailloux, Iordanis Kerenidis
- article
- Physical Review A : Atomic, molecular, and optical physics [1990-2015], 2014, pp.9
- Accès au texte intégral et bibtex
-
- titre
- Q-subdifferential and Q-conjugate for global optimality
- auteur
- Dominique Fortin, Ider Tseveendorj
- article
- Computational Mathematics and Mathematical Physics / Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki, 2014, 54 (2), pp.265-274
- Accès au bibtex
-
- titre
- The axiomatic power of Kolmogorov complexity
- auteur
- Laurent Bienvenu, Andrei Romashchenko, Alexander Shen, Antoine Taveneaux, Stijn Vermeeren
- article
- Annals of Pure and Applied Logic, 2014, 165 (9), pp.1380-1402. ⟨10.1016/j.apal.2014.04.009⟩
- Accès au texte intégral et bibtex
-
- titre
- Packing Triangles in Weighted Graphs
- auteur
- Guillaume Chapuy, Matt Devos, Jessica Mcdonald, Bojan Mohar, Diego Scheide
- article
- SIAM Journal on Discrete Mathematics, 2014, 28 (1), pp.226--239. ⟨10.1137/100803869⟩
- Accès au bibtex
-
- titre
- Flooding in dynamic graphs with arbitrary degree sequence
- auteur
- Hervé Baumann, Pierluigi Crescenzi, Pierre Fraigniaud
- article
- Journal of Parallel and Distributed Computing, 2014, 74 (5), pp.2433-2437. ⟨10.1016/j.jpdc.2014.01.007⟩
- Accès au bibtex
-
- titre
- On the Identification of Conflicting Contiguities in Ancestral Genome Reconstruction
- auteur
- Aïda Ouangraoua, Mathieu Raffinot
- article
- Journal of Computational Biology, 2014, 21, 1, pp.64-79. ⟨10.1089/cmb.2013.0086⟩
- Accès au bibtex
-
- titre
- Computing H-Joins with Application to 2-Modular Decomposition
- auteur
- Michel Habib, Antoine Mamcarz, Fabien de Montgolfier
- article
- Algorithmica, 2014, 70 (2), pp.245-266. ⟨10.1007/s00453-013-9820-1⟩
- Accès au texte intégral et bibtex
-
- titre
- The worst case behavior of randomized gossip protocols
- auteur
- Hervé Baumann, Pierre Fraigniaud, Hovhannes A. Harutyunyan, Rémi de Verclos
- article
- Theoretical Computer Science, 2014, 560 (Part2), pp.108-120. ⟨10.1016/j.tcs.2014.08.008⟩
- Accès au bibtex
-
- titre
- Acyclic, connected and tree sets
- auteur
- Valérie Berthé, Clelia de Felice, Francesco Dolce, Julien Leroy, Dominique Perrin, Christophe Reutenauer, Giuseppina Rindone
- article
- Monatshefte für Mathematik, 2014, ⟨10.1007/s00605-014-0721-4⟩
- Accès au texte intégral et bibtex
-
- titre
- Greedy routing in small-world networks with power-law degrees
- auteur
- Pierre Fraigniaud, George Giakkoupis
- article
- Distributed Computing, 2014, 27 (4), pp.231 - 253. ⟨10.1007/s00446-014-0210-y⟩
- Accès au texte intégral et bibtex
-
- titre
- The diameter of associahedra
- auteur
- Lionel Pournin
- article
- Advances in Mathematics, 2014, 259, pp.13--42. ⟨10.1016/j.aim.2014.02.035⟩
- Accès au bibtex
-
- titre
- The finiteness problem for automaton semigroups is undecidable
- auteur
- Pierre Gillibert
- article
- International Journal of Algebra and Computation, 2014, 24 (1), pp.1-9. ⟨10.1142/S0218196714500015⟩
- Accès au texte intégral et bibtex
-
- titre
- Deep Tags: Toward a Quantitative Analysis of Online Pornography
- auteur
- Antoine Mazieres, Mathieu Trachman, Jean-Philippe Cointet, Baptiste Coulmont, Christophe Prieur
- article
- Porn Studies, 2014, 1 (1), pp.80-95. ⟨10.1080/23268743.2014.888214⟩
- Accès au texte intégral et bibtex
-
- titre
- Formations of finite monoids and formal languages: Eilenberg’s variety theorem revisited
- auteur
- Adolfo Ballester-Bolinches, Jean-Eric Pin, Xaro Soler-Escrivà
- article
- Forum Mathematicum, 2014, 26, pp.1737-1761. ⟨10.1515/forum-2012-0055⟩
- Accès au texte intégral et bibtex
-
- titre
- k-Block parallel addition versus 1-block parallel addition in non-standard numeration systems
- auteur
- Christiane Frougny, Pavel Heller, Edita Pelantová, Milena Svobodová
- article
- Theoretical Computer Science, 2014, Theoretical Computer Science, 543, pp.52-67. ⟨10.1016/j.tcs.2014.06.001⟩
- Accès au texte intégral et bibtex
-
- titre
- The Price of Anarchy for Selfish Ring Routing is Two
- auteur
- Xujin Chen, Benjamin Doerr, Carola Doerr, Xiaodong Hu, Ma Weidong, Rob van Stee
- article
- ACM Transactions on Economics and Computation, 2014, 2, pp.8. ⟨10.1145/2548545⟩
- Accès au bibtex
-
- titre
- On Lattices of Regular Sets of Natural Integers Closed under Decrementation
- auteur
- Patrick Cégielski, Serge Grigorieff, Irene Guessarian
- article
- Information Processing Letters, 2014, 114 (4), pp.197-202. ⟨10.1016/j.ipl.2013.11.013⟩
- Accès au texte intégral et bibtex
-
- titre
- Reducing the arity in unbiased black-box complexity
- auteur
- Benjamin Doerr, Carola Doerr
- article
- Theoretical Computer Science, 2014, 545, pp.108-121. ⟨10.1016/j.tcs.2013.05.004⟩
- Accès au bibtex
-
- titre
- Connectedness of fractals associated with Arnoux–Rauzy substitutions
- auteur
- Valérie Berthé, Timo Jolivet, Anne Siegel
- article
- RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2014, 48 (3), pp.249-266. ⟨10.1051/ita/2014008⟩
- Accès au bibtex
-
- titre
- Randomisation in Automata on Infinite Trees
- auteur
- Arnaud Carayol, Axel Haddad, Olivier Serre
- article
- ACM Transactions on Computational Logic, 2014, 15 (3), pp.24. ⟨10.1145/2629336⟩
- Accès au texte intégral et bibtex
-
- titre
- Critical itineraries of maps with constant slope and one discontinuity
- auteur
- Michael Barnsley, Wolfgang Steiner, Andrew Vince
- article
- Mathematical Proceedings of the Cambridge Philosophical Society, 2014, 157 (03), pp.547-565. ⟨10.1017/S0305004114000486⟩
- Accès au texte intégral et bibtex
-
- titre
- What can be computed without communications?
- auteur
- Heger Arfaoui, Pierre Fraigniaud
- article
- ACM SIGACT News, 2014, 45 (3), pp.82-104. ⟨10.1145/2670418.2670440⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- LiveRank: How to Refresh Old Crawls
- auteur
- The Dang Huynh, Fabien Mathieu, Laurent Viennot
- article
- Algorithms and Models for the Web Graph - 11th International Workshop (WAW 2014), Dec 2014, Beijing, China. pp.148 - 160, ⟨10.1007/978-3-319-13123-8_12⟩
- Accès au texte intégral et bibtex
-
- titre
- The Opinion Number of Set-Agreement
- auteur
- Pierre Fraigniaud, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
- article
- OPODIS 2014 - 18th International Conference on Principles of Distributed Systems, Dec 2014, Cortina d’Ampezzo, Italy. pp.155-170
- Accès au texte intégral et bibtex
-
- titre
- Évaluation des émissions non réglementées issues des véhicules à moteurs diesel équipés de FAP et essence à injection directe
- auteur
- B. Rmili, B. d'Anna, A. Boreave, A. Meme, N. Charbonnel, P. Vernoux, Stéphane Raux, Mickaël Leblanc
- article
- Colloque francophone «COMbustion et POLlution Atmosphérique», Oct 2014, Tanger, Morocco
- Accès au bibtex
-
- titre
- Caesar: A Content Router for High-Speed Forwarding on Content Names
- auteur
- Diego Perino, Matteo Varvello, Leonardo Linguaglossa, Rafael Laufer, Roger Boislaigue
- article
- ACM/IEEE Symposium on Architectures for Networking and Communications Systems, Oct 2014, Marina del Rey - Los Angeles, United States. ⟨10.1145/2658260.2658267⟩
- Accès au texte intégral et bibtex
-
- titre
- Automatically Adjusting Concurrency to the Level of Synchrony
- auteur
- Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
- article
- International Symposium on Distributed Computing (DISC), Oct 2014, Austin, United States. pp.1-15, ⟨10.1007/978-3-662-45174-8_1⟩
- Accès au texte intégral et bibtex
-
- titre
- Fair Synchronization in the Presence of Process Crashes and its Weakest Failure Detector
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal
- article
- 33h Symposium on Reliable Distributed Systems (SRDS), Oct 2014, Nara, Japan. pp.161-170, ⟨10.1109/SRDS.2014.18⟩
- Accès au bibtex
-
- titre
- On Proof-Labeling Schemes versus Silent Self-stabilizing Algorithms
- auteur
- Lélia Blin, Pierre Fraigniaud, Boaz Patt-Shamir
- article
- SSS 2014 - 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Sep 2014, Paderborn, Germany. pp.18-32, ⟨10.1007/978-3-319-11764-5_2⟩
- Accès au bibtex
-
- titre
- On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems
- auteur
- Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers
- article
- 5th International Conference on Runtime Verification (RV), Sep 2014, Toronto, Canada. pp.92-107
- Accès au bibtex
-
- titre
- Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic
- auteur
- Stéphane Demri, Amit K Kumar Dhar, Arnaud Sangnier
- article
- Reachability Problems - 8th International Workshop, RP 2014, Oxford, Joël Ouaknine; Igor Potapov; James Worrell, Sep 2014, Oxford, United Kingdom. pp.85-97, ⟨10.1007/978-3-319-11439-2_7⟩
- Accès au texte intégral et bibtex
-
- titre
- An Exercise in Concurrency: From Non-blocking Objects to Fair Objects
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal
- article
- International Conference on Network-Based Information Systems( NBiS 2014), Sep 2014, Salerne, Italy
- Accès au bibtex
-
- titre
- Two Recursively Inseparable Problems for Probabilistic Automata
- auteur
- Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Youssouf Oualhadj
- article
- MFCS 2014, Aug 2014, Budapest, Hungary. Paper 168
- Accès au texte intégral et bibtex
-
- titre
- From Ultrafilters on Words to the Expressive Power of a Fragment of Logic
- auteur
- Mai Gehrke, Andreas Krebs, Jean-Eric Pin
- article
- Descriptional Complexity of Formal Systems 2014, Department of Mathematics and Statistics, University of Turku, Aug 2014, Turku, Finland. pp.138-149, ⟨10.1007/978-3-319-09704-6_13⟩
- Accès au texte intégral et bibtex
-
- titre
- Rendezvous of Heterogeneous Mobile Agents in Edge-Weighted Networks
- auteur
- Dariusz Dereniowski, Ralf Klasing, Adrian Kosowski, Łukasz Kuszner
- article
- 21th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2014), Jul 2014, Japan. pp.311--326
- Accès au bibtex
-
- titre
- Breathe before speaking: efficient information dissemination despite noisy, limited and anonymous communication
- auteur
- Ofer Feinerman, Haeupler Bernhard, Amos Korman
- article
- Proceedings of the 2014 ACM symposium on Principles of distributed computing, Jul 2014, Paris, France. ⟨10.1145/2611462.2611469⟩
- Accès au bibtex
-
- titre
- Rendezvous of Distance-aware Mobile Agents in Unknown Graphs
- auteur
- Shantanu Das, Dariusz Dereniowski, Adrian Kosowski, Przemyslaw Uznanski
- article
- 21st International Colloquium on Structural Information and Communication Complexity (SIROCCO 2014), Jul 2014, Takayama, Japan. pp.295-310, ⟨10.1007/978-3-319-09620-9_24⟩
- Accès au texte intégral et bibtex
-
- titre
- Colored Modular and Split Decompositions of Graphs with Applications to Trigraphs
- auteur
- Michel Habib, Antoine Mamcarz
- article
- Graph-Theoretic Concepts in Computer Science - 40th International Workshop (WG 2014), Jun 2014, Orléans, France. pp.12
- Accès au bibtex
-
- titre
- Distributedly Testing Cycle-Freeness
- auteur
- Heger Arfaoui, Pierre Fraigniaud, David Ilcinkas, Fabien Mathieu
- article
- Proceedings of the 40th International Workshop on Graph-Theoretic Concepts in Computer Science, Jun 2014, Nouan-le-Fuzelier, France. pp.15 - 28, ⟨10.1007/978-3-319-12340-0_2⟩
- Accès au texte intégral et bibtex
-
- titre
- Geometry on the Utility Space
- auteur
- François Durand, Benoît Kloeckner, Fabien Mathieu, Ludovic Noirie
- article
- The 12th Meeting of the Society for Social Choice and Welfare (SSCW 2014), Jun 2014, Boston, United States
- Accès au texte intégral et bibtex
-
- titre
- Multivariate juggling probabilities
- auteur
- Arvind Ayyer, Jérémie Bouttier, Sylvie Corteel, François Nunzi
- article
- 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2014), Jun 2014, Paris, France. pp.1-12
- Accès au texte intégral et bibtex
-
- titre
- Élection d'un chemin dans un réseau : étude de la manipulabilité
- auteur
- François Durand, Fabien Mathieu, Ludovic Noirie
- article
- ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4
- Accès au texte intégral et bibtex
-
- titre
- Construction auto-stabilisante silencieuse optimale en mémoire d'arbres couvants de degré minimum
- auteur
- Lélia Blin, Pierre Fraigniaud
- article
- ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4
- Accès au texte intégral et bibtex
-
- titre
- Allocation adaptative de registres en utilisant un nombre linéaire de registres
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Leslie Lamport
- article
- ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4
- Accès au texte intégral et bibtex
-
- titre
- LiveRank : comment faire du neuf avec du vieux ?
- auteur
- The Dang Huynh, Fabien Mathieu, Laurent Viennot
- article
- ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4
- Accès au texte intégral et bibtex
-
- titre
- Facility Location in Evolving Metrics
- auteur
- David Eisenstat, Claire Mathieu, Nicolas Schabanel
- article
- ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4
- Accès au texte intégral et bibtex
-
- titre
- Élection du Best Paper AlgoTel 2012 : étude de la manipulabilité
- auteur
- François Durand, Fabien Mathieu, Ludovic Noirie
- article
- ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4
- Accès au texte intégral et bibtex
-
- titre
- Optimal bounds for parity-oblivious random access codes
- auteur
- André Chailloux, Iordanis Kerenidis, Srijita Kundu, Jamie Sikora
- article
- TQC 2014, May 2014, Singapour, Singapore
- Accès au texte intégral et bibtex
-
- titre
- Leader Election in Rings with Homonyms.
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The
- article
- NETYS, May 2014, Marrackech, Morocco. pp.9-24, ⟨10.1007/978-3-319-09581-32⟩
- Accès au bibtex
-
- titre
- Logics with Rigidly Guarded Data Tests
- auteur
- Thomas Colcombet, Clemens Ley, Gabriele Puppis
- article
- Proceedings of FREC 2014 - Frontiers of Recognizability, Apr 2014, Marseille, France. ⟨10.2168/LMCS-11(3:10)2015⟩
- Accès au texte intégral et bibtex
-
- titre
- Playing with Probabilities in Reconfigurable Broadcast Networks
- auteur
- Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier
- article
- Foundations of Software Science and Computation Structures (FoSSaCS'14), Apr 2014, Grenoble, France. pp.134-148, ⟨10.1007/978-3-642-54830-7_9⟩
- Accès au bibtex
-
- titre
- Collision-Free Network Exploration
- auteur
- Jurek Czyzowicz, Dariusz Dereniowski, Leszek Gasieniec, Ralf Klasing, Adrian Kosowski, Dominik Pajak
- article
- LATIN - 11th Latin American Theoretical INformatics Symposium, Mar 2014, Montevideo, Uruguay. pp.342-354, ⟨10.1007/978-3-642-54423-1_30⟩
- Accès au texte intégral et bibtex
-
- titre
- Bounds on the Cover Time of Parallel Rotor Walks
- auteur
- Dariusz Dereniowski, Adrian Kosowski, Dominik Pajak, Przemyslaw Uznanski
- article
- STACS 2014, Mar 2014, Lyon, France. pp.263--275, ⟨10.4230/LIPIcs.STACS.2014.263⟩
- Accès au texte intégral et bibtex
-
- titre
- Fast Rendezvous on a Cycle by Agents with Different Speeds
- auteur
- Ofer Feinerman, Amos Korman, Shay Kutten, Rodeh Yoav
- article
- ICDCN 2014 - 15th International Conference Distributed Computing and Networking, Jan 2014, Coimbatore, India. ⟨10.1007/978-3-642-45249-9_1⟩
- Accès au bibtex
-
- titre
- Asymptotic behaviour in temporal logic
- auteur
- Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, Chunyan Mu
- article
- Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, 2014, Unknown, Unknown Region. pp.10:1--10:9, ⟨10.1145/2603088.2603158⟩
- Accès au bibtex
-
- titre
- Playing Safe
- auteur
- Thomas Colcombet, Nathanaël Fijalkow, Florian Horn
- article
- Foundations of Software Technology and Theoretical Computer Science, FSTTCS, 2014, NA, India. ⟨10.4230/LIPIcs.FSTTCS.2014.379⟩
- Accès au bibtex
-
- titre
- Two-Way Cost Automata and Cost Logics over Infinite Trees
- auteur
- Achim Blumensath, Thomas Colcombet, Denis Kuperberg, Paweł Parys, Michael Vanden Boom
- article
- JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC (CSL) AND the Twenty-Ninth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS), 2014, Vienne, Austria. ⟨10.1145/2603088.2603104⟩
- Accès au texte intégral et bibtex
-
- titre
- Experimental Finitization of Infinite Field-Based Generalized FSSP Solution
- auteur
- Luidnel Maignan, Jean-Baptiste Yunès
- article
- Cellular Automata - 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014. Proceedings, 2014, Cracovie, Poland. pp.136--145, ⟨10.1007/978-3-319-11520-7_15⟩
- Accès au bibtex
-
- titre
- ACME: Automata with Counters, Monoids and Equivalence
- auteur
- Nathanaël Fijalkow, Denis Kuperberg
- article
- ATVA, 2014, Sydney, Australia. pp.163-167, ⟨10.1007/978-3-319-11936-6_12⟩
- Accès au texte intégral et bibtex
-
- titre
- A simple recurrence formula for the number of rooted maps on surfaces by edges and genus
- auteur
- Sean Carrell, Guillaume Chapuy
- article
- 26th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2014), 2014, Chicago, United States. pp.573-584, ⟨10.46298/dmtcs.2424⟩
- Accès au texte intégral et bibtex
-
- titre
- Generalized FSSP on Hexagonal Tiling: Towards Arbitrary Regular Spaces
- auteur
- Luidnel Maignan, Jean-Baptiste Yunès
- article
- Cellular Automata and Discrete Complex Systems - 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers, 2014, Himeji, Japan. pp.83--96, ⟨10.1007/978-3-319-18812-6_7⟩
- Accès au bibtex
-
- titre
- A characterization of those automata that structurally generate finite groups
- auteur
- Ines Klimann, Matthieu Picantin
- article
- 11th Latin American Theoretical INformatics Symposium (LATIN 2014), 2014, Uruguay. pp.180--189
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- Advances on Random Sequence Generation by Uniform Cellular Automata
- auteur
- Enrico Formenti, Katsunobu Imai, Bruno Martin, Jean-Baptiste Yunès
- article
- 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⟩
- Accès au bibtex
-
- titre
- Integral Difference Ratio Functions on Integers
- auteur
- Patrick Cégielski, Serge Grigorieff, Irene Guessarian
- article
- Computing with new resouces, 8808, pp.210-225, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-13350-8_21⟩
- Accès au texte intégral et bibtex
-
- titre
- Splicing Systems from Past to Future: Old and New Challenges
- auteur
- L. Boasson, Paola Bonizzoni, Clelia de Felice, Isabelle Fagnot, Gabriele Fici, Rocco Zaccagnino, Rosalba Zizza
- article
- Discrete Mathematics and Computer Science. Papers in Memoriam Alexandru Mateescu (1952-2005). The Publishing House of the Romanian Academy, 2014. ISBN: 978-973-27-2470-5, 2014
- Accès au bibtex
-
Ouvrages
- titre
- Fondements de la Programmation Concepts et Techniques
- auteur
- Jean-Marie Rifflet, Jean-Baptiste Yunès
- article
- Ellipses, 2014, 978-2340000148
- Accès au bibtex
-
- titre
- Complex Systems Design & Management
- auteur
- Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal
- article
- Springer International Publishing, 2014, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, ⟨10.1007/978-3-319-02812-5⟩
- Accès au bibtex
-
Poster de conférence
- titre
- A High Speed Information-Centric Network in a Mobile Backhaul Setting
- auteur
- Diego Perino, Massimo Gallo, Roger Boislaigue, Leonardo Linguaglossa, Matteo Varvello, Giovanna Carofiglio, Luca Muscariello, Ben Houidi Zied
- article
- ACM Conference on Information-Centric Networking, Sep 2014, Paris, France. ⟨10.1145/2660129.2660134⟩
- Accès au texte intégral et bibtex
-
- titre
- Reducing Manipulability
- auteur
- François Durand, Fabien Mathieu, Ludovic Noirie
- article
- Fifth International Workshop on Computational Social Choice (ComSoC - 14), Jun 2014, Pittsburgh, United States. , 2014
- Accès au texte intégral et bibtex
-
Rapport
- titre
- Making most voting systems meet the Condorcet criterion reduces their manipulability
- auteur
- François Durand, Fabien Mathieu, Ludovic Noirie
- article
- [Research Report] 2014, pp.27
- Accès au texte intégral et bibtex
-
- titre
- Making a voting system depend only on orders of preference reduces its manipulability rate
- auteur
- François Durand, Fabien Mathieu, Ludovic Noirie
- article
- [Research Report] 2014, pp.26
- Accès au texte intégral et bibtex
-
- titre
- A separation of (n -1)-consensus and n-consensus in read-write shared-memory systems
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
- article
- 2014
- Accès au texte intégral et bibtex
-
- titre
- LTL Model-Checking for Dynamic Pushdown Networks Communicating via Locks
- auteur
- Fu Song, Tayssir Touili
- article
- [Research Report] LIAFA. 2014
- Accès au texte intégral et bibtex
-
- titre
- Asynchronous Consensus with Bounded Memory
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier
- article
- 2014
- Accès au texte intégral et bibtex
-
- titre
- Report on GRASTA 2014
- auteur
- Fedor V. Fomin, Pierre Fraigniaud, Nicolas Nisse, Dimitrios M. Thilikos
- article
- [Research Report] AlGCo project team, CNRS, LIRMM, Montpellier, France. 2014
- Accès au texte intégral et bibtex
-
- titre
- Static Quantum Games Revisited
- auteur
- Marcin Markiewicz, Adrian Kosowski, Tomasz Tylec, Jaroslaw Pykacz, Cyril Gavoille
- article
- [Research Report] Inria. 2014
- Accès au bibtex
-
Thèse
- titre
- Local Distributed Decision and Verification
- auteur
- Heger Arfaoui
- article
- Networking and Internet Architecture [cs.NI]. Paris Diderot University, 2014. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Graph Searches with Applications to Cocomparability Graphs
- auteur
- Jérémie Dusart
- article
- Computer Science [cs]. Université Denis Diderot Paris 7, 2014. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- What is known about the Value 1 Problem for Probabilistic Automata?
- auteur
- Nathanaël Fijalkow
- article
- 2014
- Accès au texte intégral et bibtex
-
- titre
- On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems
- auteur
- Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers
- article
- 2014
- Accès au texte intégral et bibtex
-
- titre
- Rendezvous of Heterogeneous Mobile Agents in Edge-weighted Networks
- auteur
- Dariusz Dereniowski, Ralf Klasing, Adrian Kosowski, Lukasz Kuszner
- article
- 2014
- Accès au texte intégral et bibtex
-
- titre
- Into the Square - On the Complexity of Quadratic-Time Solvable Problems
- auteur
- Michele Borassi, Pierluigi Crescenzi, Michel Habib
- article
- 2014
- Accès au bibtex
-
- titre
- Entropy of regular timed languages
- auteur
- Eugene Asarin, Nicolas Basset, Aldric Degorre
- article
- 2014
- Accès au texte intégral et bibtex
-
- titre
- Playing with probabilities in Reconfigurable Broadcast Networks
- auteur
- Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier
- article
- 2014
- Accès au texte intégral et bibtex
-
2013
Article dans une revue
- titre
- On digit patterns in expansions of rational numbers with prime denominator
- auteur
- Igor E. Shparlinski, Wolfgang Steiner
- article
- Quarterly Journal of Mathematics, 2013, 64 (4), pp.1231-1238. ⟨10.1093/qmath/has027⟩
- Accès au texte intégral et bibtex
-
- titre
- Epstein-Barr virus infection and clinical outcome in breast cancer patients correlate with immune cell TNF-α/IFN-γ response.
- auteur
- Gina Marrão, Mohammed Habib, Artur Paiva, Dominique Bicout, Catherine Fallecker, Sofia Franco, Samira Fafi-Kremer, Teresa Simões da Silva, Patrice Morand, Carlos Freire de Oliveira, Emmanuel Drouet
- article
- BMC Cancer, 2013, 14, pp.665. ⟨10.1186/1471-2407-14-665⟩
- Accès au bibtex
-
- titre
- A simple model of trees for unicellular maps
- auteur
- Guillaume Chapuy, Valentin Féray, Eric Fusy
- article
- Journal of Combinatorial Theory, Series A, 2013, 120 (8), pp.Pages 2064-2092. ⟨10.1016/j.jcta.2013.08.003⟩
- Accès au texte intégral et bibtex
-
- titre
- Toward more localized local algorithms: removing assumptions concerning global knowledge
- auteur
- Amos Korman, Jean-Sébastien Sereni, Laurent Viennot
- article
- Distributed Computing, 2013, 26 (5-6), ⟨10.1007/s00446-012-0174-8⟩
- Accès au texte intégral et bibtex
-
- titre
- A study of Jacobi-Perron boundary words for the generation of discrete planes
- auteur
- Valerie Berthe, Annie Lacasse, Geneviève Paquin, Xavier Provençal
- article
- Theoretical Computer Science, 2013, 502, pp.118-142
- Accès au bibtex
-
- titre
- Balance properties of Arnoux-Rauzy words
- auteur
- Valérie Berthé, Julien Cassaigne, Wolfgang Steiner
- article
- International Journal of Algebra and Computation, 2013, 23 (4), pp.689-704. ⟨10.1142/S0218196713400043⟩
- Accès au texte intégral et bibtex
-
- titre
- Stability of the bipartite matching model
- auteur
- Ana Bušić, Varun Gupta, Jean Mairesse
- article
- Advances in Applied Probability, 2013, 45 (2), pp.351-378. ⟨10.1239/aap/1370870122⟩
- Accès au bibtex
-
- titre
- Digital expansions with negative real bases
- auteur
- Wolfgang Steiner
- article
- Acta Mathematica Hungarica, 2013, 139 (1-2), pp.106-119. ⟨10.1007/s10474-012-0252-1⟩
- Accès au texte intégral et bibtex
-
- titre
- Patterns in rational base number systems
- auteur
- Johannes F. Morgenbesser, Wolfgang Steiner, Jörg Thuswaldner
- article
- Journal of Fourier Analysis and Applications, 2013, 19 (2), pp.225-250. ⟨10.1007/s00041-012-9246-1⟩
- Accès au texte intégral et bibtex
-
- titre
- The local limit of unicellular maps in high genus
- auteur
- Omer Angel, Guillaume Chapuy, Nicolas Curien, Gourab Ray
- article
- Electronic Communications in Probability, 2013, 18 (86), pp.1-8. ⟨10.1214/ECP.v18-3037⟩
- Accès au bibtex
-
- titre
- Probabilistic cellular automata, invariant measures, and perfect sampling
- auteur
- Ana Bušić, Jean Mairesse, Irène Marcovici
- article
- Advances in Applied Probability, 2013, 45 (4), pp.960-980. ⟨10.1239/aap/1386857853⟩
- Accès au bibtex
-
- titre
- Synthesis and Analysis of Product-form Petri Nets
- auteur
- Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen
- article
- Fundamenta Informaticae, 2013, 122 (1-2), pp.147-172. ⟨10.3233/FI-2013-786⟩
- Accès au bibtex
-
- titre
- LDFS-Based Certifying Algorithm for the Minimum Path Cover Problem on Cocomparability Graphs
- auteur
- Derek G. Corneil, Barnaby Dalton, Michel Habib
- article
- SIAM Journal on Computing, 2013, 42 (3), pp.792-807. ⟨10.1137/11083856X⟩
- Accès au bibtex
-
- titre
- Tight Bounds for Distributed Minimum-Weight Spanning Tree Verification
- auteur
- Liah Kor, Amos Korman, David Peleg
- article
- Theory of Computing Systems, 2013, ⟨10.1007/s00224-013-9479-7⟩
- Accès au texte intégral et bibtex
-
- titre
- Dyck tableaux
- auteur
- Jean-Christophe Aval, Adrien Boussicault, Sandrine Dasse-Hartaut
- article
- Theoretical Computer Science, 2013, 502, pp.195-209
- Accès au texte intégral et bibtex
-
- titre
- A Tight Bound on the Set Chromatic Number
- auteur
- Jean-Sébastien Sereni, Zelealem Yilma
- article
- Discussiones Mathematicae Graph Theory, 2013, 33 (2), pp.461--465. ⟨10.7151/dmgt.1679⟩
- Accès au texte intégral et bibtex
-
- titre
- Byzantine agreement with homonyms
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec, Eric Ruppert, Hung Tran-The
- article
- Distributed Computing, 2013, 26 (5-6), pp.321-340. ⟨10.1007/s00446-013-0190-3⟩
- Accès au bibtex
-
- titre
- Special issue with selected papers from PODC 2011
- auteur
- Pierre Fraigniaud
- article
- Distributed Computing, 2013, 26 (5-6), pp.271. ⟨10.1007/s00446-013-0197-9⟩
- Accès au bibtex
-
- titre
- Complements of nearly perfect graphs
- auteur
- Andras Gyarfas, Zhentao Li, Raphael Machado, András Sebő, Stéphan Thomassé, Nicolas Trotignon
- article
- The Electronic Journal of Combinatorics, 2013, 4 (3), pp.299 - 310. ⟨10.4310/JOC.2013.v4.n3.a2⟩
- Accès au bibtex
-
- titre
- Stack or trash? Quality assessment of virtual slides
- auteur
- David Ameisen, Christophe Deroulers, Valérie Perrier, Jean-Baptiste Yunès, Fatiha Bouhidel, Maxime Battistella, Luc Legrès, Anne Janin, Philippe Bertheau
- article
- Diagnostic Pathology, 2013, 8 (Suppl 1), pp.S23. ⟨10.1186/1746-1596-8-S1-S23⟩
- Accès au texte intégral et bibtex
-
- titre
- Delays Induce an Exponential Memory Gap for Rendezvous in Trees
- auteur
- Pierre Fraigniaud, Andrzej Pelc
- article
- ACM Transactions on Algorithms, 2013, 9 (2), pp.17. ⟨10.1145/2438645.2438649⟩
- Accès au bibtex
-
- titre
- Counting CTL
- auteur
- François Laroussinie, Antoine Meyer, Eudes Petonnet
- article
- Logical Methods in Computer Science, 2013, 9 (1), pp.3.1-3.34. ⟨10.2168/LMCS-9(1:3)2013⟩
- Accès au bibtex
-
- titre
- Population Protocols that Correspond to Symmetric Games
- auteur
- Olivier Bournez, Jérémie Chalopin, Johanne Cohen, Xavier Koegler, Mikael Rabie
- article
- International Journal of Unconventional Computing, 2013, 9 (1-2), pp.5--36
- Accès au bibtex
-
- titre
- On computing the diameter of real-world undirected graphs
- auteur
- Pilu Crescenzi, Roberto Grossi, Michel Habib, Leonardo Lanzi, Andrea Marino
- article
- Theoretical Computer Science, 2013, Graph Algorithms and Applications: in Honor of Professor Giorgio Ausiello, 514, pp.84-95. ⟨10.1016/j.tcs.2012.09.018⟩
- Accès au bibtex
-
- titre
- Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics
- auteur
- Rodica Bozianu, Catalin Dima, Constantin Enea
- article
- CoRR, 2013, abs/1310.6434
- Accès au bibtex
-
- titre
- Stochastic Cellular Automata: Correlations, Decidability and Simulations
- auteur
- Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier
- article
- Fundamenta Informaticae, 2013, 126 (2-3), pp.121-156. ⟨10.3233/FI-2013-87⟩
- Accès au bibtex
-
- titre
- Density Classification on Infinite Lattices and Trees
- auteur
- Ana Bušić, Nazim Fatès, Irène Marcovici, Jean Mairesse
- article
- Electronic Journal of Probability, 2013, 18 (51), pp.1-22. ⟨10.1214/EJP.v18-2325⟩
- Accès au bibtex
-
- titre
- Regular languages and partial commutations
- auteur
- Antonio Cano, Giovanna Guaiana, Jean-Eric Pin
- article
- Information and Computation, 2013, 230, pp.76-96. ⟨10.1016/j.ic.2013.07.003⟩
- Accès au texte intégral et bibtex
-
- titre
- Local Distributed Decision
- auteur
- Pierre Fraigniaud, Amos Korman, David Peleg
- article
- Journal of the ACM (JACM), 2013, pp.35
- Accès au bibtex
-
- titre
- Byzantine agreement with homonyms in synchronous systems
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The
- article
- Theoretical Computer Science, 2013, 496, pp.34-49. ⟨10.1016/j.tcs.2012.11.012⟩
- Accès au bibtex
-
- titre
- The representation of the symmetric group on m-Tamari intervals
- auteur
- Mireille Bousquet-Mélou, Guillaume Chapuy, Louis-François Préville-Ratelle
- article
- Advances in Mathematics, 2013, 247, pp.309-342
- Accès au texte intégral et bibtex
-
- titre
- Locality and checkability in wait-free computing
- auteur
- Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers
- article
- Distributed Computing, 2013, 26 (4), pp.223-242. ⟨10.1007/s00446-013-0188-x⟩
- Accès au bibtex
-
- titre
- Crossings of signed permutations and q-Eulerian numbers of type B
- auteur
- Sylvie Corteel, Matthieu Josuat-Vergès, Jang Soo Kim
- article
- Journal of Combinatorics, 2013, 4, pp.191-228
- Accès au texte intégral et bibtex
-
- titre
- Pushdown Module Checking with Imperfect Information
- auteur
- Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Vardi
- article
- Information and Computation, 2013, 223, pp.18. ⟨10.1016/j.ic.2012.11.005⟩
- Accès au texte intégral et bibtex
-
- titre
- Controller and estimator for dynamic networks
- auteur
- Amos Korman, Kutten Shay
- article
- Information and Computation, 2013, 223, pp.43-66. ⟨10.1016/j.ic.2012.10.018⟩
- Accès au texte intégral et bibtex
-
- titre
- Les jeux d'accessibilité généralisée
- auteur
- Nathanaël Fijalkow, Florian Horn
- article
- Technique et Science Informatiques, 2013, 32 (9-10), ⟨10.3166/tsi.32.931-949⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Single and multiple consecutive permutation motif search
- auteur
- Djamal Belazzougui, Adeline Pierrot, Mathieu Raffinot, Stéphane Vialette
- article
- ISAAC 2013, Dec 2013, Hong-Kong, Hong Kong SAR China. pp.66-77, ⟨10.1007/978-3-642-45030-3_7⟩
- Accès au texte intégral et bibtex
-
- titre
- Model Checking and Functional Program Transformations
- auteur
- Axel Haddad
- article
- IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2013, Guwahati, India
- Accès au texte intégral et bibtex
-
- titre
- Local Decision and Verification with Bounded-Size Outputs
- auteur
- Heger Arfaoui, Pierre Fraigniaud, Andrzej Pelc
- article
- SSS, Nov 2013, France. pp.133-147
- Accès au bibtex
-
- titre
- On the Manipulability of Voting Systems: Application to Multi-Operator Networks
- auteur
- François Durand, Fabien Mathieu, Ludovic Noirie
- article
- 8th International Workshop on Internet Charging and QoS Technologies (ICQT 2013, collocated with the 9th International Conference on Network and Service Management CNSM 2013), Oct 2013, Zurich, Switzerland. pp.292-297
- Accès au bibtex
-
- titre
- Adaptive Register Allocation with a Linear Number of Registers
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Leslie Lamport
- article
- DISC 2013 - 27th International Symposium Distributed Computing, Oct 2013, Jerusalem, Israel. pp.269-283, ⟨10.1007/978-3-642-41527-2_19⟩
- Accès au bibtex
-
- titre
- C-SHORe: a collapsible approach to higher-order verification
- auteur
- Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
- article
- ACM SIGPLAN International Conference on Functional Programming (ICFP'13), Sep 2013, Boston, MA, United States. pp.13-24, ⟨10.1145/2500365.2500589⟩
- Accès au texte intégral et bibtex
-
- titre
- Protein subunit association: NOT a social network
- auteur
- Mounia Achoch, Giovanni Feverati, Laurent Vuillon, Kavé Salamatian, Claire Lesieur
- article
- Theoretical Approaches to Bioinformation systems, Sep 2013, belgrade, Serbia
- Accès au texte intégral et bibtex
-
- titre
- Balancedness of Arnoux-Rauzy and Brun words
- auteur
- Vincent Delecroix, Tomáš Hejda, Wolfgang Steiner
- article
- 9th International Conference, WORDS 2013, Sep 2013, Turku, Finland. pp.119-131, ⟨10.1007/978-3-642-40579-2_14⟩
- Accès au texte intégral et bibtex
-
- titre
- Mining Malware Specifications through Static Reachability Analysis
- auteur
- Hugo Daniel Macedo, Tayssir Touili
- article
- ESORICS 2013 - 18th European Symposium on Research in Computer Security, Sep 2013, Egham, United Kingdom. pp.517-535, ⟨10.1007/978-3-642-40203-6_29⟩
- Accès au texte intégral et bibtex
-
- titre
- Rumor Spreading in Random Evolving Graphs
- auteur
- Andrea Clementi, Pierluigi Crescenzi, Carola Doerr, Pierre Fraigniaud, Marco Isopi, Alessandro Panconesi, Francesco Pasquale, Riccardo Silvestri
- article
- 21st Annual European Symposium on Algorithms - ESA 2013, Sep 2013, Sophia Antipolis, France. pp.325-336, ⟨10.1007/978-3-642-40450-4_28⟩
- Accès au bibtex
-
- titre
- Generating discrete planes with substitutions
- auteur
- Valerie Berthe, Jérémie Bourdon, Timo Jolivet, Anne Siegel
- article
- WORDS - 9th International Conference on Words - 2013, Sep 2013, Turku, Finland
- Accès au bibtex
-
- titre
- Shrinking Maxima, Decreasing Costs: New Online Packing and Covering Problems
- auteur
- Pierre Fraigniaud, Magnús Halldórsson, Boaz Patt-Shamir, Dror Rawitz, Adi Rosén
- article
- APPROX-RANDOM, Aug 2013, France. pp.158-172
- Accès au bibtex
-
- titre
- Spectral Gap in Timed Automata
- auteur
- Eugene Asarin, Aldric Degorre, Nicolas Basset
- article
- FORMATS 2013, Aug 2013, Argentina. pp.16-30, ⟨10.1007/978-3-642-40229-6_2⟩
- Accès au texte intégral et bibtex
-
- titre
- Reasoning About Pattern-Based XML Queries
- auteur
- Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
- article
- RR - 7th International Conference on Web Reasoning and Rule Systems, 2013, Jul 2013, Mannheim, Germany
- Accès au texte intégral et bibtex
-
- titre
- Complexity Estimates for Two Uncoupling Algorithms
- auteur
- Alin Bostan, Frédéric Chyzak, Élie de Panafieu
- article
- ISSAC'13 - 38th International Symposium on Symbolic and Algebraic Computation, Northeastern University, Boston, Massachusetts, USA, Jul 2013, Boston, United States. pp.85-92, ⟨10.1145/2465506.2465941⟩
- Accès au texte intégral et bibtex
-
- titre
- What can be decided locally without identifiers?
- auteur
- Pierre Fraigniaud, Mika Göös, Amos Korman, Jukka Suomela
- article
- PODC 2013 - ACM Symposium on Principles of Distributed Computing, Jul 2013, Montreal, Canada. pp.157-165, ⟨10.1145/2484239.2484264⟩
- Accès au bibtex
-
- titre
- On the Complexity of Verifying Regular Properties on Flat Counter Systems,
- auteur
- Stéphane Demri, Amit K Kumar Dhar, Arnaud Sangnier
- article
- Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013,, Jul 2013, Riga, Latvia. pp.162-173, ⟨10.1007/978-3-642-39212-2_17⟩
- Accès au texte intégral et bibtex
-
- titre
- A maximal entropy stochastic process for a timed automaton
- auteur
- Nicolas Basset
- article
- ICALP 2013, Jul 2013, Riga, Latvia. pp.61-73, ⟨10.1007/978-3-642-39212-2_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Dynamic programming algorithms for the (Elementary) Resource Constrained Shortest Path Problem
- auteur
- André Linhares, Ruslan Sadykov, François Vanderbeck, Luigi Di Puglia Pugliese, Francesca Guerriero
- article
- 26th European Conference on Operational Research, Jul 2013, Rome, Italy
- Accès au bibtex
-
- titre
- Self-organizing Flows in Social Networks
- auteur
- Nidhi Hegde, Laurent Massoulié, Laurent Viennot
- article
- Structural Information AND Communication Complexity - 20th International Colloquium, SIROCCO, Jul 2013, Ischia, Italy. pp.116-128
- Accès au bibtex
-
- titre
- A data-driven analysis to question epidemic models for citation cascades on the blogosphere
- auteur
- Abdelhamid Salah-Brahim, Lionel Tabourier, Bénédicte Le Grand
- article
- 7th International AAAAI Conference on Weblogs and Social Media, ICWSM 2012, Jul 2013, Boston, United States. pp.00
- Accès au bibtex
-
- titre
- Multiple GCD's. Probabilistic analysis of the plain algorithm
- auteur
- Valérie Berthé, Jean Creusefond, Loïck Lhote, Brigitte Vallée
- article
- 38th international symposium on International symposium on symbolic and algebraic computation, ISSAC '13, Jun 2013, Boston, United States
- Accès au texte intégral et bibtex
-
- titre
- Walking on Data Words
- auteur
- Amaldev Manuel, Anca Muscholl, Gabriele Puppis
- article
- 8th International Computer Science Symposium in Russia, Jun 2013, Ekaterinburg, Russia. pp.64-75, ⟨10.1007/978-3-642-38536-0_6⟩
- Accès au texte intégral et bibtex
-
- titre
- When is Naïve Evaluation Possible?
- auteur
- Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
- article
- PODS - 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013, Jun 2013, New York, United States
- Accès au texte intégral et bibtex
-
- titre
- Computing Minimum Cycle Bases in Weighted Partial 2-Trees in Linear Time
- auteur
- Carola Doerr, Jens M. Schmidt, G. Ramakrishna
- article
- WG 2013 - 39th International Workshop on Graph-Theoretic Concepts in Computer Science, Jun 2013, Luebeck, Germany. pp.225-236, ⟨10.1007/978-3-642-45043-3_20⟩
- Accès au bibtex
-
- titre
- An explicit formula for the intersection of two polynomials of regular languages
- auteur
- Jean-Eric Pin
- article
- Developments in Language Theory, - 17th International Conference, DLT 2013, Jun 2013, Champs sur Marne, France. pp.31-45
- Accès au texte intégral et bibtex
-
- titre
- Diffusion probabiliste dans les réseaux dynamiques
- auteur
- Adrea Clementi, Pierluigi Crescenzi, Carola Doerr, Pierre Fraigniaud, Francesco Pasquale, R. Silvestri
- article
- 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
- Accès au texte intégral et bibtex
-
- titre
- Dynamic clustering of evolving networks: some results on the line
- auteur
- Cristina G. Fernandes, Marcio T.I. Oshiro, Nicolas Schabanel
- article
- 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
- Accès au texte intégral et bibtex
-
- titre
- Black Art: Obstruction-Free k-set Agreement with |MWMR registers| < |proccesses|
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum
- article
- NETYS 2013 - First International Conference Networked Systems, May 2013, Marrakech, Morocco. pp.28-41, ⟨10.1007/978-3-642-40148-0_3⟩
- Accès au bibtex
-
- titre
- Contenu généré par les utilisateurs : une étude sur DailyMotion
- auteur
- Yannick Carlinet, The Dang Huynh, Bruno Kauffmann, Fabien Mathieu, Ludovic Noirie, Sébastien Tixeuil
- article
- 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
- Accès au texte intégral et bibtex
-
- titre
- Can P2P Networks be Super-Scalable?
- auteur
- François Baccelli, Fabien Mathieu, Ilkka Norros, Rémi Varloot
- article
- IEEE Infocom 2013 - 32nd IEEE International Conference on Computer Communications, Apr 2013, Turin, Italy
- Accès au texte intégral et bibtex
-
- titre
- Toward Google Borders
- auteur
- Antoine Mazieres, Samuel Huron
- article
- Proceedings of the 2013 ACM Web Science, Apr 2013, Paris, France. pp.244-247, ⟨10.1145/2464464.2464525⟩
- Accès au texte intégral et bibtex
-
- titre
- Critical Connectedness of Thin Arithmetical Discrete Planes
- auteur
- Valérie Berthé, Damien Jamet, Timo Jolivet, Xavier Provençal
- article
- International Conference Discrete Geometry for Computer Imagery, Mar 2013, Sevilla, Spain. pp.107-118
- Accès au bibtex
-
- titre
- The finiteness of a group generated by a 2-letter invertible-reversible Mealy automaton is decidable
- auteur
- Ines Klimann
- article
- 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), Feb 2013, Kiel, Germany. pp.502--513, ⟨10.4230/LIPIcs.STACS.2013.502⟩
- Accès au texte intégral et bibtex
-
- titre
- Linear Space Bootstrap Communication Schemes
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum
- article
- ICDCN 2013 - 14th International Conference Distributed Computing and Networking, Jan 2013, Mumbi, India. pp.363-377, ⟨10.1007/978-3-642-35668-1_25⟩
- Accès au bibtex
-
- titre
- Uniform Consensus with Homonyms and Omission Failures
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The
- article
- ICDCN 2013 - 14th International Conference Distributed Computing and Networking, Jan 2013, Mumbai, India. pp.161-175, ⟨10.1007/978-3-642-35668-1_12⟩
- Accès au bibtex
-
- titre
- Queues with Skill Based Parallel Servers and a FCFS Infinite Matching Model
- auteur
- Ivo Adan, Marko Boon, Ana Bušić, Jean Mairesse, Gideon Weiss
- article
- MAMA 2013 workshop of ACM Sigmetrics, 2013, Pittsburgh, United States. pp.22-24, ⟨10.1145/2567529.2567536⟩
- Accès au texte intégral et bibtex
-
- titre
- A combinatorial method to find sharp lower bounds on flip distances
- auteur
- Lionel Pournin
- article
- 25th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2013), 2013, Paris, France. pp.1-12
- Accès au texte intégral et bibtex
-
- titre
- Emptiness Of Alternating Tree Automata Using Games With Imperfect Information
- auteur
- Nathanaël Fijalkow, Sophie Pinchinat, Olivier Serre
- article
- 33rd International Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS 2013), 2013, Guwahati, India. pp.13, ⟨10.4230/LIPIcs.FSTTCS.2013.299⟩
- Accès au texte intégral et bibtex
-
- titre
- The probability of planarity of a random graph near the critical point
- auteur
- Marc Noy, Vlady Ravelomanana, Juanjo Rué
- article
- 25th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2013), 2013, Paris, France. pp.791-802, ⟨10.46298/dmtcs.2343⟩
- Accès au texte intégral et bibtex
-
- titre
- Moore and Von Neumann Neighborhood N-Dimensional Generalized Firing Squad Solutions Using Fields
- auteur
- Jean-Baptiste Yunès, Luidnel Maignan
- article
- The First International Symposium on Computing and Networking - Across Practical Development and Theoretical Research, Dogo SPA Resort, Matsuyama, Japan, December 4-6, 2013., 2013, Matsuyama, Japan. pp.552--558, ⟨10.1109/CANDAR.2013.98⟩
- Accès au bibtex
-
- titre
- A Fresh Approach to Learning Register Automata
- auteur
- Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege
- article
- Developments in Language Theory, 2013, France. pp.118-130, ⟨10.1007/978-3-642-38771-5_12⟩
- Accès au texte intégral et bibtex
-
- titre
- Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics
- auteur
- Rodica Bozianu, Catalin Dima, Constantin Enea
- article
- Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013, 2013, Unknown, Unknown Region
- Accès au bibtex
-
Cours
- titre
- Une introduction aux (semi-)groupes d'automate
- auteur
- Ines Klimann
- article
- Master. Une introduction aux (semi-)groupes d'automate, MPRI, 2013, pp.21
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- Developments in Language Theory - 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings
- auteur
- Marie-Pierre Béal, Olivier Carton
- article
- Springer, 7907, pp.460, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-38771-5⟩
- Accès au bibtex
-
Brevet
- titre
- Convertisseur analogique-numérique delta-sigma
- auteur
- Luc Dartois, Philippe Benabes
- article
- France, Patent n° : EP2544374 A1. 2013
- Accès au bibtex
-
Rapport
- titre
- Médiation Scientifique : une facette de nos métiers de la recherche
- auteur
- Antoine Rousseau, Aurélie Darnaud, Brice Goglin, Céline Acharian, Christine Leininger, Christophe Godin, Clarisse Holik, Claude Kirchner, Diane Rives, Elodie Darquie, Erwan Kerrien, Fabrice Neyret, Florent Masseglia, Florian Dufour, Gérard Berry, Gilles Dowek, Hélène Robak, Hélène Xypas, Irina Illina, Isabelle Gnaedig, Joanna Jongwane, Jocelyne Ehrel, Laurent Viennot, Laure Guion, Lisette Calderan, Lola Kovacic, Marie Collin, Marie-Agnès Enard, Marie-Hélène Comte, Martin Quinson, Martine Olivi, Mathieu Giraud, Mathilde Dorémus, Mia Ogouchi, Muriel Droin, Nathalie Lacaux, Nicolas P. Rougier, Nicolas Roussel, Pascal Guitton, Pierre Peterlongo, Rose-Marie Cornus, Simon Vandermeersch, Sophie Maheo, Sylvain Lefebvre, Sylvie Boldo, Thierry Viéville, Véronique Poirel, Aline Chabreuil, Arnaud Fischer, Claude Farge, Claude Vadel, Isabelle Astic, Jean-Pierre Dumont, Loic Féjoz, Patrick Rambert, Pierre Paradinas, Sophie de Quatrebarbes, Stéphane Laurent
- article
- [Interne] Inria. 2013, pp.34
- Accès au texte intégral et bibtex
-
- titre
- Convergence of the D-iteration algorithm: convergence rate and asynchronous distributed scheme
- auteur
- Dohy Hong, Fabien Mathieu, Gérard Burnside
- article
- [Research Report] 2013, pp.9
- Accès au bibtex
-
Thèse
- titre
- Automates cellulaires probabilistes et mesures spécifiques sur des espaces symboliques
- auteur
- Irène Marcovici
- article
- Probability [math.PR]. Université Paris-Diderot - Paris VII, 2013. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Computations on Massive Data Sets : Streaming Algorithms and Two-party Communication
- auteur
- Christian Konrad
- article
- Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. ⟨NNT : 2013PA112120⟩
- Accès au texte intégral et bibtex
-
- titre
- Problème du Consensus dans le Modèle Homonyme
- auteur
- Hung Tran-The
- article
- Calcul parallèle, distribué et partagé [cs.DC]. Université Paris-Diderot - Paris VII, 2013. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Critical connectedness of thin arithmetical discrete planes
- auteur
- Valérie Berthé, Damien Jamet, Timo Jolivet, Xavier Provençal
- article
- 2013
- Accès au bibtex
-
- titre
- Generalized Subdifferentials of the Sign Change Counting Function
- auteur
- Dominique Fortin, Ider Tseveendorj
- article
- 2013
- Accès au bibtex
-
- titre
- Newton representation of functions over natural integers having integral difference ratios
- auteur
- Patrick Cegielski, Serge Grigorieff
- article
- 2013
- Accès au bibtex
-
- titre
- Algorithmic Aspects of Switch Cographs
- auteur
- Vincent Cohen-Addad, Michel Habib, Fabien de Montgolfier
- article
- 2013
- Accès au bibtex
-
- titre
- DISTRIBUTIVE ENVELOPES AND TOPOLOGICAL DUALITY FOR LATTICES VIA CANONICAL EXTENSIONS
- auteur
- Mai Gehrke, Sam van Gool
- article
- 2013
- Accès au texte intégral et bibtex
-
- titre
- Experimental plug&play quantum coin flipping
- auteur
- Anna Pappa, Paul Jouguet, Thomas Lawson, André Chailloux, Matthieu Legré, Patrick Trinkler, Iordanis Kerenidis, Eleni Diamanti
- article
- 2013
- Accès au bibtex
-
- titre
- Stochastic Cellular Automata: Correlations, Decidability and Simulations
- auteur
- Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier
- article
- 2013
- Accès au texte intégral et bibtex
-
- titre
- 2-Stack Sorting is polynomial
- auteur
- Adeline Pierrot, Dominique Rossin
- article
- 2013
- Accès au texte intégral et bibtex
-
- titre
- 2-stack pushall sortable permutations
- auteur
- Adeline Pierrot, Dominique Rossin
- article
- 2013
- Accès au texte intégral et bibtex
-
- titre
- On Lattices of Regular Sets of Natural Integers Closed under Decrementation
- auteur
- Patrick Cegielski, Serge Grigorieff, Irene Guessarian
- article
- 2013
- Accès au bibtex
-
- titre
- Infinite-state games with finitary conditions
- auteur
- Krishnendu Chatterjee, Nathanaël Fijalkow
- article
- 2013
- Accès au texte intégral et bibtex
-
- titre
- Counting and generating permutations using timed languages (long version)
- auteur
- Nicolas Basset
- article
- 2013
- Accès au texte intégral et bibtex
-
Vidéo
- titre
- Christiane Frougny - Systèmes de numération et automates (Part 2)
- auteur
- Christiane Frougny, Fanny Bastien, Vanille Beaumont
- article
- 2013
- Accès au texte intégral et bibtex
-
- titre
- Christiane Frougny - Systèmes de numération et automates (Part 1)
- auteur
- Christiane Frougny, Fanny Bastien, Vanille Beaumont
- article
- 2013
- Accès au texte intégral et bibtex
-
- titre
- Valérie Berthé - Fractions continues multidimensionnelles et dynamique (Part 3)
- auteur
- Valérie Berthé, Fanny Bastien, Vanille Beaumont
- article
- 2013
- Accès au texte intégral et bibtex
-
- titre
- Valérie Berthé - Fractions continues multidimensionnelles et dynamique (Part 2)
- auteur
- Valérie Berthé, Fanny Bastien, Vanille Beaumont
- article
- 2013
- Accès au texte intégral et bibtex
-
- titre
- Valérie Berthé - Fractions continues multidimensionnelles et dynamique (Part 1)
- auteur
- Valérie Berthé, Fanny Bastien, Vanille Beaumont
- article
- 2013
- Accès au texte intégral et bibtex
-
2012
Article dans une revue
- titre
- Dynamical properties of the negative beta transformation
- auteur
- Lingmin Liao, Wolfgang Steiner
- article
- Ergodic Theory and Dynamical Systems, 2012, 32 (5), pp.1673-1690. ⟨10.1017/S0143385711000514⟩
- Accès au texte intégral et bibtex
-
- titre
- On the finiteness problem for automaton (semi)groups
- auteur
- Ali Akhavi, Ines Klimann, Sylvain Lombardy, Jean Mairesse, Matthieu Picantin
- article
- International Journal of Algebra and Computation, 2012, 22 (06), pp.1250052.1-1250052.26. ⟨10.1142/S021819671250052X⟩
- Accès au bibtex
-
- titre
- Natural extensions and entropy of $\alpha$-continued fractions
- auteur
- Cor Kraaikamp, Thomas A. Schmidt, Wolfgang Steiner
- article
- Nonlinearity, 2012, 25 (8), pp.2207-2243. ⟨10.1088/0951-7715/25/8/2207⟩
- Accès au texte intégral et bibtex
-
- titre
- Complexity of the Fibonacci snowflake
- auteur
- Michel Mendes-France, Alexandre Blondin-Massé, Srečko Brlek, Sébastien Labbé
- article
- Fractals, 2012, 20, pp.257-260
- Accès au bibtex
-
- titre
- Deficit in the preattentive processing of syllabic duration and VOT in children with dyslexia
- auteur
- Julie Chobert, Clément François, Michel Habib, Mireille R Besson
- article
- Neuropsychologia, 2012, 50 (8), pp.2044-2055. ⟨10.1016/j.neuropsychologia.2012.05.004⟩
- Accès au bibtex
-
- titre
- Multipartite entanglement verification resistant against dishonest parties
- auteur
- Anna Pappa, André Chailloux, Stephanie Wehner, Eleni Diamanti, Iordanis Kerenidis
- article
- Physical Review Letters, 2012, 108 (26), pp.260502. ⟨10.1103/PhysRevLett.108.260502⟩
- Accès au bibtex
-
- titre
- Splicing systems and the Chomsky hierarchy
- auteur
- Jean Berstel, Luc Boasson, Isabelle Fagnot
- article
- Theoretical Computer Science, 2012, 436 (1), pp.2-22. ⟨10.1016/j.tcs.2012.03.008⟩
- Accès au bibtex
-
- titre
- Blackwell Optimal Strategies in Priority Mean-Payoff Games
- auteur
- Hugo Gimbert, Wieslaw Zielonka
- article
- International Journal of Foundations of Computer Science, 2012, 23 (03), pp.687-711. ⟨10.1142/S0129054112400345⟩
- Accès au texte intégral et bibtex
-
- titre
- Polynomial-time recognition of clique-width ≤3 graphs
- auteur
- Derek G. Corneil, Michel Habib, Jean-Marc Lanlignel, Bruce Reed, Udi Rotics
- article
- Discrete Applied Mathematics, 2012, Fourth Workshop on Graph Classes, Optimization, and Width Parameters Bergen, Norway, October 2009: Bergen GROW 09, 160 (6), pp.834-865. ⟨10.1016/j.dam.2011.03.020⟩
- Accès au bibtex
-
- titre
- Griggs and Yeh's Conjecture and L(p,1)-labelings
- auteur
- Frédéric Havet, Bruce Reed, Jean-Sébastien Sereni
- article
- SIAM Journal on Discrete Mathematics, 2012, 26 (1), pp.145--168. ⟨10.1137/090763998⟩
- Accès au texte intégral et bibtex
-
- titre
- Beta-expansions, natural extensions and multiple tilings associated with Pisot units
- auteur
- Charlene Kalle, Wolfgang Steiner
- article
- Transactions of the American Mathematical Society, 2012, 364 (5), pp.2281-2318. ⟨10.1090/S0002-9947-2012-05362-1⟩
- Accès au texte intégral et bibtex
-
- titre
- Estimating satisfiability
- auteur
- Yacine Boufkhad, Thomas Hugel
- article
- Discrete Applied Mathematics, 2012, 160 (1-2), pp.19. ⟨10.1016/j.dam.2011.10.005⟩
- Accès au bibtex
-
- titre
- On the structure of ($-\beta$)-integers
- auteur
- Wolfgang Steiner
- article
- RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2012, 46 (1), pp.181-200. ⟨10.1051/ita/2011115⟩
- Accès au texte intégral et bibtex
-
- titre
- On graphs with no induced subdivision of K4
- auteur
- Benjamin Lévêque, Frédéric Maffray, Nicolas Trotignon
- article
- Journal of Combinatorial Theory, Series B, 2012, 102, pp.924-947. ⟨10.1016/j.jctb.2012.04.005⟩
- Accès au bibtex
-
- titre
- Linear Time Split Decomposition Revisited
- auteur
- Pierre Charbit, Fabien de Montgolfier, Mathieu Raffinot
- article
- SIAM Journal on Discrete Mathematics, 2012, 26 (2), pp.499-514. ⟨10.1137/10080052X⟩
- Accès au texte intégral et bibtex
-
- titre
- Detecting 2-joins faster
- auteur
- Charbit Pierre, Michel Habib, Trotignon Nicolas, Vuskovic Kristina
- article
- Journal of Discrete Algorithms, 2012, 17, pp.60-66
- Accès au bibtex
-
- titre
- Parity Games on Undirected Graphs
- auteur
- Dietmar Berwanger, Olivier Serre
- article
- Information Processing Letters, 2012, 112 (23), pp.5. ⟨10.1016/j.ipl.2012.08.021⟩
- Accès au texte intégral et bibtex
-
- titre
- A constructive version of Birkhoff's ergodic theorem for Martin-Lof random points
- auteur
- Laurent Bienvenu, Adam Day, Mathieu Hoyrup, Ilya Mezhirov, Alexander Shen
- article
- Information and Computation, 2012, 210, pp.021-030. ⟨10.1016/j.ic.2011.10.006⟩
- Accès au texte intégral et bibtex
-
- titre
- Grids and universal computations on one-dimensional cellular automata
- auteur
- Jean-Baptiste Yunès
- article
- Natural Computing, 2012, pp.11-31. ⟨10.1007/s11047-012-9312-2⟩
- Accès au bibtex
-
- titre
- Upper set monoids and length preserving morphisms
- auteur
- Antonio Cano, Jean-Eric Pin
- article
- Journal of Pure and Applied Algebra, 2012, Journal of Pure and Applied Algebra, 216, pp.1178-1183. ⟨10.1016/j.jpaa.2011.10.022⟩
- Accès au texte intégral et bibtex
-
- titre
- Graphs that do not contain a cycle with a node that has at least two neighbors on it.
- auteur
- Pierre Aboulker, Marko Radovanovic, Nicolas Trotignon, Kristina Vuskovic
- article
- SIAM Journal on Discrete Mathematics, 2012, 26 (4), pp.1510-1531
- Accès au bibtex
-
- titre
- Equational descriptions of languages
- auteur
- Jean-Eric Pin
- article
- International Journal of Foundations of Computer Science, 2012, 23, pp.1227-1240. ⟨10.1142/S0129054112400497⟩
- Accès au texte intégral et bibtex
-
- titre
- Additive Spanners and Distance and Routing Labeling Schemes for Hyperbolic Graphs
- auteur
- Victor Chepoi, Feodor F. Dragan, Bertrand Estellon, Michel Habib, Yann Vaxès, Yang Xiang
- article
- Algorithmica, 2012, 62, pp.713--732. ⟨10.1007/s00453-010-9478-x⟩
- Accès au bibtex
-
- titre
- Partial synchrony based on set timeliness
- auteur
- Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
- article
- Distributed Computing, 2012, 25 (3), pp.249-260. ⟨10.1007/s00446-012-0158-8⟩
- Accès au bibtex
-
- titre
- Tree-representation of set families and applications to combinatorial decompositions
- auteur
- Binh-Minh Bui-Xuan, Michel Habib, Michaël Rao
- article
- European Journal of Combinatorics, 2012, 33 (5), pp.688-711. ⟨10.1016/j.ejc.2011.09.032⟩
- Accès au bibtex
-
- titre
- Substitutive Arnoux-rauzy sequences have pure discrete spectrum
- auteur
- Valérie Berthé, Timo Jolivet, Anne Siegel
- article
- Uniform Distribution Theory, 2012, 7 (1), pp.173-197
- Accès au bibtex
-
- titre
- The vertical profile of embedded trees
- auteur
- Mireille Bousquet-Mélou, Guillaume Chapuy
- article
- The Electronic Journal of Combinatorics, 2012, 19 (3), pp.P46
- Accès au texte intégral et bibtex
-
- titre
- Model-checking an Epistemic \(μ\)-calculus with Synchronous and Perfect Recall Semantics
- auteur
- Rodica Bozianu, Catalin Dima, Constantin Enea
- article
- CoRR, 2012, abs/1204.2087
- Accès au bibtex
-
- titre
- Finding an induced subdivision of a digraph.
- auteur
- Jørgen Bang-Jensen, Frédéric Havet, Nicolas Trotignon
- article
- Theoretical Computer Science, 2012, 443, pp.10--24
- Accès au texte intégral et bibtex
-
- titre
- Connected Graph Searching
- auteur
- Lali Barrière, Paola Flocchini, Fedor V. Fomin, Pierre Fraigniaud, Nicolas Nisse, Nicola Santoro, Dimitrios M. Thilikos
- article
- Information and Computation, 2012, 219, pp.1-16. ⟨10.1016/j.ic.2012.08.004⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- On the Impact of Identifiers on Local Decision
- auteur
- Pierre Fraigniaud, Magnús Halldórsson, Amos Korman
- article
- Principles of Distributed Systems, 16th International Conference, {OPODIS}, Dec 2012, Rome, Italy. ⟨10.1007/978-3-642-35476-2_16⟩
- Accès au texte intégral et bibtex
-
- titre
- Memory Lower Bounds for Randomized Collaborative Search and Applications to Biology
- auteur
- Ofer Feinerman, Amos Korman
- article
- Distributed Computing - 26th International Symposium, DISC 2012, Oct 2012, Salvador, Brazil. ⟨10.1007/978-3-642-33651-5_5⟩
- Accès au texte intégral et bibtex
-
- titre
- Approximate Verification and Enumeration Problems
- auteur
- Sylvain Peyronnet, Michel de Rougemont, Yann Strozecki
- article
- 9th International Colloquium on Theoretical Aspects of Computing – ICTAC 2012, Abhik Roychoudhury, Meenakshi D'Souza, Sep 2012, Bangalore, India. pp.228-242, ⟨10.1007/978-3-642-32943-2_18⟩
- Accès au bibtex
-
- titre
- Four Months in DailyMotion: Dissecting User Video Requests
- auteur
- Yannick Carlinet, The Dang Huynh, Bruno Kauffmann, Fabien Mathieu, Ludovic Noirie, Sébastien Tixeuil
- article
- TRAC 2012 - 3rd International Workshop on TRaffic Analysis and Classification, Aug 2012, Limassol, Cyprus. pp.613-618, ⟨10.1109/IWCMC.2012.6314274⟩
- Accès au texte intégral et bibtex
-
- titre
- Computing with Large Populations Using Interactions
- auteur
- Olivier Bournez, Pierre Fraigniaud, Xavier Koegler
- article
- Mathematical Foundations of Computer Science 2012, MFCS'2012, Aug 2012, Slovakia. pp.234-246
- Accès au texte intégral et bibtex
-
- titre
- Generating functions of timed languages
- auteur
- Eugene Asarin, Nicolas Basset, Aldric Degorre, Dominique Perrin
- article
- MFCS 2012, Aug 2012, Bratislava, Slovakia. pp.124-135, ⟨10.1007/978-3-642-32589-2_14⟩
- Accès au texte intégral et bibtex
-
- titre
- A generalization of Girod's bidirectional decoding method to codes with a finite deciphering delay
- auteur
- Laura Giambruno, Sabrina Mantaci, Jean Néraud, Carla Selmi
- article
- Developments in Language Theory 2012, Aug 2012, Tapei, Taiwan. pp.471-476, ⟨10.1007/978-3-642-31653-1⟩
- Accès au texte intégral et bibtex
-
- titre
- Combinatorial specification of permutation classes
- auteur
- Frédérique Bassino, Mathilde Bouvel, Adeline Pierrot, Carine Pivoteau, Dominique Rossin
- article
- 24th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2012), Jul 2012, Nagoya, Japan. pp.781 - 792, ⟨10.46298/dmtcs.3082⟩
- Accès au texte intégral et bibtex
-
- titre
- Collaborative search on the plane without communication
- auteur
- Ofer Feinerman, Amos Korman, Zvi Lotker, Jean-Sébastien Sereni
- article
- ACM Symposium on Principles of Distributed Computing, PODC 2012, Jul 2012, Madeira, Portugal. ⟨10.1145/2332432.2332444⟩
- Accès au texte intégral et bibtex
-
- titre
- Wait-freedom with advice
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kouznetsov
- article
- Symposium on Principles of Distributed Computing, ACM, Jul 2012, Funchal, France
- Accès au bibtex
-
- titre
- Notions of Connectivity in Overlay Networks
- auteur
- Pierre Fraigniaud, Amos Korman, Shay Kutten, David Peleg, Emek Yuval
- article
- Structural Information and Communication Complexity - 19th International Colloquium, {SIROCCO} 2012, Jun 2012, Reykjavik, Iceland. ⟨10.1007/978-3-642-31104-8_3⟩
- Accès au texte intégral et bibtex
-
- titre
- Taming Past LTL and Flat Counter Systems
- auteur
- Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
- article
- 6th International Joint Conference, IJCAR 2012, Bernhard Gramlich; Dale Miller; Uli Sattler, Jun 2012, Manchester, United Kingdom. pp.179-193, ⟨10.1007/978-3-642-31365-3_16⟩
- Accès au texte intégral et bibtex
-
- titre
- Collapsible pushdown automata and labeled recursion schemes. equivalence, safety and effective selection
- auteur
- Arnaud Carayol, Olivier Serre
- article
- LICS 2012, Jun 2012, Dubrovnik, Croatia. pp.165-174, ⟨10.1109/LICS.2012.73⟩
- Accès au texte intégral et bibtex
-
- titre
- Deciding the Value 1 Problem of Probabilistic Leaktight Automata
- auteur
- Nathanaël Fijalkow, Hugo Gimbert, Youssouf Oualhadj
- article
- Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on, Jun 2012, Croatia. pp.295-304, ⟨10.1109/LICS.2012.40⟩
- Accès au texte intégral et bibtex
-
- titre
- von Neumann’s biased coin revisited
- auteur
- Laurent Bienvenu, Benoit Monin
- article
- LICS: Logic in Computer Science, Jun 2012, Dubrovnik, Croatia
- Accès au texte intégral et bibtex
-
- titre
- Verification of Ad Hoc Networks with Node and Communication Failures
- auteur
- Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
- article
- 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.235-250
- Accès au texte intégral et bibtex
-
- titre
- On the topology of discrete hyperplanes
- auteur
- Valérie Berthé, Eric Domenjoud, Damien Jamet, Xavier Provençal, Jean-Luc Toutant
- article
- Numeration and Substitution, Jun 2012, Kyoto, Japan
- Accès au bibtex
-
- titre
- Homonyms with Forgeable Identifiers.
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The
- article
- 19th International Colloquium Structural Information and Communication Complexity, {SIROCCO}, Jun 2012, Reykjavik, France
- Accès au bibtex
-
- titre
- Density Classification on Infinite Lattices and Trees
- auteur
- Irène Marcovici, Ana Bušić, Nazim Fatès, Jean Mairesse
- article
- 10th Latin American Theoretical Informatics Symposium (LATIN 2012), Apr 2012, Arequipa, Peru. pp.109-120, ⟨10.1007/978-3-642-29344-3_10⟩
- Accès au bibtex
-
- titre
- IO vs OI in Higher-Order Recursion Schemes
- auteur
- Axel Haddad
- article
- Workshop on Fixed Points in Computer Science, Mar 2012, Tallinn, Estonia. pp.23-30, ⟨10.4204/EPTCS.77.4⟩
- Accès au texte intégral et bibtex
-
- titre
- Low Randomness Rumor Spreading via Hashing
- auteur
- George Giakkoupis, Thomas Sauerwald, He Sun, Philipp Woelfel
- article
- STACS'12 (29th Symposium on Theoretical Aspects of Computer Science), Feb 2012, Paris, France. pp.314-325
- Accès au texte intégral et bibtex
-
- titre
- Ehrenfeucht-Fraïssé goes elementarily automatic for structures of bounded degree
- auteur
- Antoine Durand-Gasselin, Peter Habermehl
- article
- STACS'12 (29th Symposium on Theoretical Aspects of Computer Science), Feb 2012, Paris, France. pp.242-253
- Accès au texte intégral et bibtex
-
- titre
- Forms of Determinism for Automata
- auteur
- Thomas Colcombet
- article
- STACS'12 (29th Symposium on Theoretical Aspects of Computer Science), Feb 2012, Paris, France. pp.1-23
- Accès au texte intégral et bibtex
-
- titre
- The Denjoy alternative for computable functions
- auteur
- Laurent Bienvenu, Rupert Hölzl, Joseph S. Miller, André Nies
- article
- STACS'12 (29th Symposium on Theoretical Aspects of Computer Science), Feb 2012, Paris, France. pp.543-554
- Accès au texte intégral et bibtex
-
- titre
- Random Semicomputable Reals Revisited
- auteur
- Laurent Bienvenu, Alexander Shen
- article
- WTCS: Workshop on Theoretical Computer Science, Feb 2012, Auckland, New Zealand. pp.031-045, ⟨10.1007/978-3-642-27654-5⟩
- Accès au bibtex
-
- titre
- Byzantine Agreement with Homonyms in Synchronous Systems
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The
- article
- ICDCN, Jan 2012, Hong Kong, France. pp.76-90
- Accès au bibtex
-
- titre
- Faster and Simpler Minimal Conflicting Set Identification.
- auteur
- Aida Ouangraoua, Mathieu Raffinot
- article
- Combinatorial Pattern Matching, 2012, Helsinki, Finland. pp.41-55
- Accès au bibtex
-
- titre
- Loader and Urzyczyn Are Logically Related
- auteur
- Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt
- article
- ICALP, 2012, Warwick, France. pp.364-376
- Accès au texte intégral et bibtex
-
- titre
- The tree structure in staircase tableaux
- auteur
- Jean-Christophe Aval, Adrien Boussicault, Sandrine Dasse-Hartaut
- article
- GASCOM 2012, 2012, France
- Accès au bibtex
-
- titre
- The representation of the symmetric group on $m$-Tamari intervals (conference version)
- auteur
- Mireille Bousquet-Mélou, Guillaume Chapuy, Louis-François Préville-Ratelle
- article
- 24th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2012), 2012, Nagoya, Japan. pp.351-353, ⟨10.46298/dmtcs.3045⟩
- Accès au texte intégral et bibtex
-
- titre
- Brief Announcement: Flooding in Dynamic Graphs with Arbitrary Degree Sequence
- auteur
- Hervé Baumann, Pierluigi Crescenzi, Pierre Fraigniaud
- article
- 26th International Symposium on Distributed Computing, 2012, Salvador, Brazil. pp.417-419
- Accès au bibtex
-
- titre
- Modularité asymptotique de quelques classes de graphes
- auteur
- Fabien de Montgolfier, Mauricio Soto, Laurent Viennot
- article
- 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2012, La grande motte, France. pp.1-4
- Accès au texte intégral et bibtex
-
- titre
- A Spatio-temporal Algorithmic Point of View on Firing Squad Synchronisation Problem
- auteur
- Luidnel Maignan, Jean-Baptiste Yunès
- article
- Cellular Automata - 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings, 2012, santorini, Greece. pp.101--110, ⟨10.1007/978-3-642-33350-7_11⟩
- Accès au bibtex
-
- titre
- Enumeration of Cylindric Plane Partitions
- auteur
- Robin Langer
- article
- 24th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2012), 2012, Nagoya, Japan. pp.793-804, ⟨10.46298/dmtcs.3083⟩
- Accès au texte intégral et bibtex
-
- titre
- A simple tree model for unicellular maps
- auteur
- Guillaume Chapuy, Valentin Féray, Eric Fusy
- article
- 24th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2012), 2012, Nagoya, Japan. pp.215-226
- Accès au texte intégral et bibtex
-
- titre
- On the Decidability Status of Reachability and Coverability in Graph Transformation Systems
- auteur
- Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, Jan Stückrath
- article
- RTA - 23rd International Conference on Rewriting Techniques and Applications - 2012, 2012, Nagoya, Japan. pp.101-116, ⟨10.4230/LIPIcs.RTA.2012.101⟩
- Accès au bibtex
-
- titre
- A Saturation Method for Collapsible Pushdown Systems
- auteur
- Christopher Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
- article
- Automata, Languages and Programming, 39th International Colloquium, ICALP 2012, 2012, Warwick, United Kingdom. pp.165-176, ⟨10.1007/978-3-642-31585-5_18⟩
- Accès au texte intégral et bibtex
-
- titre
- Toward a timed theory of channel coding
- auteur
- Eugene Asarin, Nicolas Basset, Marie-Pierre Béal, Aldric Degorre, Dominique Perrin
- article
- FORMATS, 2012, United Kingdom. pp.27-42, ⟨10.1007/978-3-642-33365-1_4⟩
- Accès au texte intégral et bibtex
-
- titre
- Constellations and multicontinued fractions: application to Eulerian triangulations
- auteur
- Marie Albenque, Jérémie Bouttier
- article
- 24th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2012), 2012, Nagoya, Japan. pp.805-816, ⟨10.46298/dmtcs.3084⟩
- Accès au texte intégral et bibtex
-
- titre
- A simple model of trees for unicellular maps
- auteur
- Guillaume Chapuy, Valentin Feray, Eric Fusy
- article
- 24th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2012), 2012, Nagoya, Japan. pp.215-226, ⟨10.46298/dmtcs.3033⟩
- Accès au texte intégral et bibtex
-
- titre
- Intrinsic Simulations between Stochastic Cellular Automata
- auteur
- Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier
- article
- 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium, Journées Automates Cellulaires, 2012, France. pp.208-224
- Accès au bibtex
-
Ouvrages
- titre
- Foreword: Special Issue on Theory and Applications of Graph Searching Problems
- auteur
- Dimitrios M. Thilikos, Pierre Fraigniaud, Fedor V. Fomin, Stephan Kreutzer
- article
- Springer, 463, 2012, Theoretical Computer Science, ⟨10.1016/j.tcs.2012.10.006⟩
- Accès au bibtex
-
Rapport
- titre
- Compositional Invariant Checking for Overlaid and Nested Linked Lists
- auteur
- Constantin Enea, Vlad Saveluc, Mihaela Sighireanu
- article
- [Research Report] 2012, pp.27
- Accès au texte intégral et bibtex
-
- titre
- On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks
- auteur
- Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro
- article
- 2012
- Accès au texte intégral et bibtex
-
- titre
- Parity and Streett Games with Costs
- auteur
- Nathanaël Fijalkow, Martin Zimmermann
- article
- 2012
- Accès au texte intégral et bibtex
-
- titre
- Finding Non-Terminating Executions in Distributed Asynchronous Programs
- auteur
- Michael Emmi, Akash Lal
- article
- 2012
- Accès au texte intégral et bibtex
-
- titre
- Emptiness Of Alternating Parity Tree Automata Using Games With Imperfect Information
- auteur
- Sophie Pinchinat, Olivier Serre
- article
- [Research Report] PI-1992, 2012, pp.6
- Accès au texte intégral et bibtex
-
- titre
- Spatial Interactions of Peers and Performance of File Sharing Systems
- auteur
- François Baccelli, Fabien Mathieu, Ilkka Norros
- article
- [Research Report] RR-7713, 2012, pp.17
- Accès au texte intégral et bibtex
-
- titre
- On the Manipulability of Voting Systems: Application to Multi-Carrier Networks
- auteur
- François Durand, Fabien Mathieu, Ludovic Noirie
- article
- [Research Report] 2012-04-001, 2012, pp.17
- Accès au texte intégral et bibtex
-
- titre
- Tamari lattices and parking functions: proof of a conjecture of F. Bergeron
- auteur
- Mireille Bousquet-Mélou, Guillaume Chapuy, Louis-François Préville Ratelle
- article
- 2012
- Accès au texte intégral et bibtex
-
- titre
- A Fresh Approach to Learning Register Automata
- auteur
- Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege
- article
- 2012
- Accès au texte intégral et bibtex
-
- titre
- Limit complexities revisited [ once more ]
- auteur
- Laurent Bienvenu, Andrej Muchnik, Alexander Shen, Nikolay Vereshchagin
- article
- arxiv:1204-0201, 2012, pp.1-12
- Accès au bibtex
-
- titre
- Approximate comparison of distance automata
- auteur
- Thomas Colcombet, Laure Daviaud
- article
- 2012
- Accès au texte intégral et bibtex
-
- titre
- A new bound for the 2/3 conjecture
- auteur
- Daniel Král', Chun-Hung Liu, Jean-Sébastien Sereni, Peter Whalen, Zelealem Yilma
- article
- [Research Report] Loria & Inria Grand Est. 2012
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Diffusion décentralisée d'information dans les systèmes distribués
- auteur
- Hervé Baumann
- article
- Réseaux et télécommunications [cs.NI]. Paris Diderot University, 2012. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Population protocols, games, and large populations
- auteur
- Xavier Koegler
- article
- Networking and Internet Architecture [cs.NI]. Paris Diderot Unviersity, 2012. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Randomness Zoo
- auteur
- Antoine Taveneaux
- article
- 2012
- Accès au texte intégral et bibtex
-
- titre
- From bi-immunity to absolute undecidability
- auteur
- Laurent Bienvenu, Rupert Hölzl, Adam R. Day
- article
- 2012
- Accès au texte intégral et bibtex
-
- titre
- Probabilistic cellular automata and random fields with i.i.d. directions
- auteur
- Jean Mairesse, Irène Marcovici
- article
- 2012
- Accès au bibtex
-
- titre
- Linear Space Boostrap Communication Scheme
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum
- article
- 2012
- Accès au texte intégral et bibtex
-
- titre
- Homonyms with forgeable identifiers
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The
- article
- 2012
- Accès au texte intégral et bibtex
-
- titre
- The tree structure in staircase tableaux
- auteur
- Jean-Christophe Aval, Adrien Boussicault, Sandrine Dasse-Hartaut
- article
- 2012
- Accès au texte intégral et bibtex
-
- titre
- Byzantine Agreement with Homonyms (Accord Byzantin avec des Homonymes)
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec, Eric Ruppert, Hung Tran-The
- article
- 2012
- Accès au texte intégral et bibtex
-
2011
Article dans une revue
- titre
- On the supports of recognizable series over a field and a single letter alphabet
- auteur
- Guillaume Chapuy, Ines Klimann
- article
- Information Processing Letters, 2011, 111 (23-24), pp.1096-1098. ⟨10.1016/j.ipl.2011.09.010⟩
- Accès au texte intégral et bibtex
-
- titre
- Algorithmic tests and randomness with respect to a class of measures
- auteur
- Laurent Bienvenu, Peter Gacs, Mathieu Hoyrup, Cristobal Rojas, Alexander Shen
- article
- Proceedings of the Steklov Institute of Mathematics, 2011, 274 (1), pp.34-89. ⟨10.1134/S0081543811060058⟩
- Accès au texte intégral et bibtex
-
- titre
- Practical Quantum Coin Flipping
- auteur
- Anna Pappa, Andre Chailloux, Eleni Diamanti, Iordanis Kerenidis
- article
- Physical Review A : Atomic, molecular, and optical physics [1990-2015], 2011, 84 (5), pp.052305. ⟨10.1103/PhysRevA.84.052305⟩
- Accès au texte intégral et bibtex
-
- titre
- Redundancy of minimal weight expansions in Pisot bases
- auteur
- Peter J. Grabner, Wolfgang Steiner
- article
- Theoretical Computer Science, 2011, 412 (45), pp.6303-6315. ⟨10.1016/j.tcs.2011.08.018⟩
- Accès au texte intégral et bibtex
-
- titre
- Nombres et représentations : Les décimales de √2 sont-elles aléatoires ?
- auteur
- Valérie Berthé
- article
- Images des Mathématiques, 2011, http://images.math.cnrs.fr/Nombres-et-representations.html
- Accès au bibtex
-
- titre
- Characterization of graphs and digraphs with small process number
- auteur
- David Coudert, Jean-Sébastien Sereni
- article
- Discrete Applied Mathematics, 2011, 159 (11), pp.1094-1109. ⟨10.1016/j.dam.2011.03.010⟩
- Accès au texte intégral et bibtex
-
- titre
- Every plane graph of maximum degree 8 has an edge-face 9-colouring
- auteur
- Ross Kang, Jean-Sébastien Sereni, Matej Stehlík
- article
- SIAM Journal on Discrete Mathematics, 2011, 25 (2), pp.514--533. ⟨10.1137/090781206⟩
- Accès au texte intégral et bibtex
-
- titre
- Les complexités : point de vue d'un institut des systèmes complexes
- auteur
- Eric Bertin, Guillaume Beslon, Olivier Gandrillon, Sebastian Grauwin, Pablo Jensen, Nicolas Schabanel
- article
- Hermès, La Revue - Cognition, communication, politique, 2011, 2 (60), pp.145-150. ⟨10.4267/2042/45459⟩
- Accès au bibtex
-
- titre
- Negative bases and automata
- auteur
- Christiane Frougny, Anna Chiara Lai
- article
- Discrete Mathematics and Theoretical Computer Science, 2011, Vol. 13 no. 1 (1), pp.75--94. ⟨10.46298/dmtcs.538⟩
- Accès au texte intégral et bibtex
-
- titre
- The Fractional Chromatic Number of Zykov Products of Graphs
- auteur
- Pierre Charbit, Jean-Sébastien Sereni
- article
- Applied Mathematics Letters, 2011, 24 (4), pp.432--437. ⟨10.1016/j.aml.2010.10.032⟩
- Accès au texte intégral et bibtex
-
- titre
- Edge-Face Coloring of Plane Graphs with Maximum Degree Nine
- auteur
- Jean-Sébastien Sereni, Matej Stehlík
- article
- Journal of Graph Theory, 2011, 66 (4), pp.332-346. ⟨10.1002/jgt.20506⟩
- Accès au texte intégral et bibtex
-
- titre
- Similar dissection of sets
- auteur
- Shigeki Akiyama, Jun Luo, Ryotaro Okazaki, Wolfgang Steiner, Jörg Thuswaldner
- article
- Geometriae Dedicata, 2011, 150 (1), pp.233-247. ⟨10.1007/s10711-010-9502-y⟩
- Accès au texte intégral et bibtex
-
- titre
- Fractal tiles associated with shift radix systems
- auteur
- Valerie Berthe, Anne Siegel, Wolfgang Steiner, Paul Surer, Jörg Thuswaldner
- article
- Advances in Mathematics, 2011, 226 (1), pp.139-175. ⟨10.1016/j.aim.2010.06.010⟩
- Accès au texte intégral et bibtex
-
- titre
- Random 2-XORSAT phase transition
- auteur
- Hervé Daudé, Vlady Ravelomanana
- article
- Algorithmica, 2011, 1, pp.48-65. ⟨10.1007/s00453-009-9308-1⟩
- Accès au bibtex
-
- titre
- Graphs with four boundary vertices
- auteur
- Tobias Müller, Attila Pór, Jean-Sébastien Sereni
- article
- The Electronic Journal of Combinatorics, 2011, 18 (1), pp.P11
- Accès au texte intégral et bibtex
-
- titre
- The Matrix Ansatz, orthogonal polynomials, and permutations
- auteur
- Sylvie Corteel, Matthieu Josuat-Vergès, Lauren Williams
- article
- Advances in Applied Mathematics, 2011, 46 (1-4), pp.209-225. ⟨10.1016/j.aam.2010.04.009⟩
- Accès au bibtex
-
- titre
- Architecture of a network-aware P2P-TV application: the NAPA-WINE approach
- auteur
- Robert Birke, Emilio Leonardi, Marco Mellia, Arpad Bakay, Tivadar Szemethy, Csaba Kiraly, Renato Lo Cigno, Fabien Mathieu, Luca Muscariello, Saverio Niccolini, Jan Seedorf, Giuseppe Tropea
- article
- IEEE Communications Magazine, 2011, 49 (6), pp.154 -163. ⟨10.1109/MCOM.2011.5784001⟩
- Accès au bibtex
-
- titre
- Claw-freeness, $3$-homogeneous subsets of a graph and a reconstruction problem
- auteur
- Maurice Pouzet, Hamza Si Kaddour, Nicolas Trotignon
- article
- Contributions to Discrete Mathematics, 2011, 6, pp.92-103
- Accès au texte intégral et bibtex
-
- titre
- A non-ergodic probabilistic cellular automaton with a unique invariant measure
- auteur
- Philippe Chassaing, Jean Mairesse
- article
- Stochastic Processes and their Applications, 2011, 121 (11), pp.2474-2487. ⟨10.1016/j.spa.2011.06.009⟩
- Accès au texte intégral et bibtex
-
- titre
- On the modularity of the unified WRT invariants of certain Seifert manifolds
- auteur
- Jeremy Lovejoy, Kathrin Bringmann, Kazuhiro Hikami
- article
- Advances in Applied Mathematics, 2011, 46, pp.86-93. ⟨10.1016/j.aam.2009.12.004⟩
- Accès au bibtex
-
- titre
- Palindromic complexity of codings of rotations
- auteur
- Alexandre Blondin Masse, Srečko Brlek, Sébastien Labbé, Laurent Vuillon
- article
- Theoretical Computer Science, 2011, 412 (46), pp.6455-6463. ⟨10.1016/j.tcs.2011.08.007⟩
- Accès au texte intégral et bibtex
-
- titre
- Two-variable logic on data words
- auteur
- Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin
- article
- ACM Transactions on Computational Logic, 2011, 12, pp.27
- Accès au bibtex
-
- titre
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
- auteur
- Dimitar P. Guelev, Catalin Dima, Constantin Enea
- article
- Journal of Applied Non-Classical Logics, 2011, 21 (1), pp.93--131. ⟨10.3166/jancl.21.93-131⟩
- Accès au bibtex
-
- titre
- On profinite uniform structures defined by varieties of finite monoids
- auteur
- Jean-Eric Pin, Pedro Silva
- article
- International Journal of Algebra and Computation, 2011, International Journal of Algebra and Computation, 21, pp.295-314
- Accès au texte intégral et bibtex
-
- titre
- Quadratic forms and four partition functions modulo 3
- auteur
- Jeremy Lovejoy, Robert Osburn
- article
- Integers : Electronic Journal of Combinatorial Number Theory, 2011, 11, pp.47-53
- Accès au bibtex
-
- titre
- Programs with Lists are Counter Automata
- auteur
- Ahmed A Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomáš Vojnar
- article
- Formal Methods in System Design, 2011, 38 (2), pp.158-192. ⟨10.1007/s10703-011-0111-7⟩
- Accès au texte intégral et bibtex
-
- titre
- Enumeration of Pin-Permutations
- auteur
- Frédérique Bassino, Mathilde Bouvel, Dominique Rossin
- article
- The Electronic Journal of Combinatorics, 2011, 18 (1), pp.P57
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Node-Disjoint Multipath Spanners and their Relationship with Fault-Tolerant Spanners
- auteur
- Cyril Gavoille, Quentin Godfroy, Laurent Viennot
- article
- OPODIS'11 - 15th International Conference on Principles of Distributed Systems, Dec 2011, Toulouse, France. pp.143-158, ⟨10.1007/978-3-642-25873-2_11⟩
- Accès au bibtex
-
- titre
- Asymptotic Modularity of some Graph Classes
- auteur
- Fabien de Montgolfier, Mauricio Soto, Laurent Viennot
- article
- 22nd International Symposium on Algorithms and Computation (ISAAC), Dec 2011, Yokohama, Japan. pp.435-444
- Accès au texte intégral et bibtex
-
- titre
- A Boolean approach to cellular automata random sequences generation
- auteur
- Enrico Formenti, Katsunobu Imai, Bruno Martin, Jean-Baptiste Yunès
- article
- 17th International Workshop on Cellular Automata and Discrete Complex System, Nov 2011, Santiago, Chile. pp.25-35
- Accès au bibtex
-
- titre
- On the Delone property of (-\beta)-integers
- auteur
- Wolfgang Steiner
- article
- WORDS 2011, Sep 2011, Prague, Czech Republic. pp.247-256, ⟨10.4204/EPTCS.63.31⟩
- Accès au bibtex
-
- titre
- Thin and Thick Timed Regular Languages
- auteur
- Nicolas Basset, Eugene Asarin
- article
- FORMATS, Sep 2011, Netherlands. pp.113-128, ⟨10.1007/978-3-642-24310-3_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Live seeding: Performance bounds of seeders for P2P live streaming
- auteur
- Fabien Mathieu
- article
- P2P'11 - International Conference on Peer-to-Peer Computing, Aug 2011, Kyoto, Japan. pp.172 -181, ⟨10.1109/P2P.2011.6038733⟩
- Accès au texte intégral et bibtex
-
- titre
- Treewidth and Hyperbolicity of the Internet
- auteur
- Fabien de Montgolfier, Mauricio Soto, Laurent Viennot
- article
- 10th IEEE International Symposium on Network Computing and Applications (IEEE NCA), Aug 2011, Boston, United States. pp.25-32
- Accès au texte intégral et bibtex
-
- titre
- Regular Languages of Words over Countable Linear Orderings
- auteur
- Thomas Colcombet, Olivier Carton, Gabriele Puppis
- article
- Icalp 2011, Jul 2011, Zürich, Switzerland. pp.125-136, ⟨10.1007/978-3-642-21254-3_1⟩
- Accès au bibtex
-
- titre
- Theme and variations on the concatenation product
- auteur
- Jean-Eric Pin
- article
- 4th International Conference on Algebraic Informatics (CAI 2011), Jun 2011, Linz, Austria. pp.44-64
- Accès au texte intégral et bibtex
-
- titre
- Byzantine Agreement with Homonyms
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec, Eric Ruppert, Hung Tran-The
- article
- PODC - 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Jun 2011, San Jose, United States. pp.21-30, ⟨10.1145/1993806.1993810⟩
- Accès au texte intégral et bibtex
-
- titre
- Green's Relations and Their Use in Automata Theory
- auteur
- Thomas Colcombet
- article
- Language and Automata Theory and Applications, May 2011, Tarragone, Spain. pp.1-21, ⟨10.1007/978-3-642-21254-3_1⟩
- Accès au bibtex
-
- titre
- Clustering de métrique et clustering de graphe
- auteur
- Fabien de Montgolfier, Mauricio Soto, Laurent Viennot
- article
- 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France
- Accès au texte intégral et bibtex
-
- titre
- On the Use of Guards for Logics with Data
- auteur
- Thomas Colcombet, Gabriele Puppis, Clemens Ley
- article
- MFCS 2011, Apr 2011, Varsovie, Poland. pp.243-255, ⟨10.1007/978-3-642-22993-0_24⟩
- Accès au bibtex
-
- titre
- Finding an induced subdivision of a digraph
- auteur
- Frédéric Havet, Jørgen Bang-Jensen, Nicolas Trotignon
- article
- VI Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS 2011), Apr 2011, Bariloche, Argentina. pp.09--14
- Accès au bibtex
-
- titre
- Linear temporal logic for regular cost functions
- auteur
- Denis Kuperberg
- article
- Symposium on Theoretical Aspects of Computer Science (STACS2011), Mar 2011, Dortmund, Germany. pp.627-636
- Accès au texte intégral et bibtex
-
- titre
- Tight bounds for rumor spreading in graphs of a given conductance
- auteur
- George Giakkoupis
- article
- Symposium on Theoretical Aspects of Computer Science (STACS2011), Mar 2011, Dortmund, Germany. pp.57-68
- Accès au texte intégral et bibtex
-
- titre
- Solovay functions and K-triviality
- auteur
- Laurent Bienvenu, Wolfgang Merkle, André Nies
- article
- Symposium on Theoretical Aspects of Computer Science (STACS2011), Mar 2011, Dortmund, Germany. pp.452-463
- Accès au texte intégral et bibtex
-
- titre
- Tight Bounds For Distributed MST Verification
- auteur
- Liah Kor, Amos Korman, David Peleg
- article
- Symposium on Theoretical Aspects of Computer Science (STACS2011), Mar 2011, Dortmund, Germany. pp.57-68
- Accès au bibtex
-
- titre
- Probabilistic cellular automata, invariant measures, and perfect sampling
- auteur
- Ana Bušić, Jean Mairesse, Irène Marcovici
- article
- Symposium on Theoretical Aspects of Computer Science (STACS2011), Mar 2011, Dortmund, Germany. pp.296-307
- Accès au texte intégral et bibtex
-
- titre
- Adjacent transformations in permutations
- auteur
- Adeline Pierrot, Dominique Rossin, Julian West
- article
- 23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011), 2011, Reykjavik, Iceland. pp.765-776, ⟨10.46298/dmtcs.2951⟩
- Accès au texte intégral et bibtex
-
- titre
- Regular Languages of Words over Countable Linear Orderings
- auteur
- Gabriele Puppis, Thomas Colcombet, Olivier Carton
- article
- Proceedings of ICALP 2011, 2011, Zurich, Switzerland. pp.125-136, ⟨10.1007/978-3-642-22012-8_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Qualitative Tree Languages
- auteur
- Arnaud Carayol, Axel Haddad, Olivier Serre
- article
- Twenty-Sixth Annual IEEE Symposium on Logic in Computer Science (LICS 2011), 2011, Toronto, Canada. pp.13-22, ⟨10.1109/LICS.2011.28⟩
- Accès au texte intégral et bibtex
-
- titre
- Computing with Pavlovian Populations
- auteur
- Olivier Bournez, Jérémie Chalopin, Johanne Cohen, Xavier Koegler, Mikaël Rabie
- article
- Principles of Distributed Systems - 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings, 2011, France. pp.409-420
- Accès au texte intégral et bibtex
-
- titre
- On the Use of Guards for Logics with Data
- auteur
- Thomas Colcombet, Clemens Ley, Gabriele Puppis
- article
- Proceedings of MFCS 2011, 2011, Warsaw, Poland. pp.243-255, ⟨10.1007/978-3-642-22993-0_24⟩
- Accès au texte intégral et bibtex
-
- titre
- Mode d'emploi pour la vérification des protocoles de population
- auteur
- Julien Clément, Carole Delporte-Gallet, Hugues Fauconnier, Mihaela Sighireanu
- article
- 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France
- Accès au texte intégral et bibtex
-
- titre
- Locality and Checkability in Wait-Free Computing
- auteur
- Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers
- article
- DISC, 2011, Unknown, pp.333-347
- Accès au texte intégral et bibtex
-
- titre
- Le rôle de la dimension dans la recherche de chemins optimaux dans les petits mondes
- auteur
- George Giakkoupis, Nicolas Schabanel
- article
- 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France. 4 p
- Accès au texte intégral et bibtex
-
- titre
- Algebraic Characterization of FO for Scattered Linear Orderings
- auteur
- Alexis Bès, Olivier Carton
- article
- 25th International Workshop of Computer Science Logic (CSL), part of 20th Annual Conference of the EACSL, 2011, Unknown, Unknown Region. pp.67--81, ⟨10.4230/LIPIcs.CSL.2011.67⟩
- Accès au bibtex
-
- titre
- Statistics on staircase tableaux, eulerian and mahonian statistics
- auteur
- Sylvie Corteel, Sandrine Dasse-Hartaut
- article
- 23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011), 2011, Reykjavik, Iceland. pp.245-256, ⟨10.46298/dmtcs.2907⟩
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- Computations on cellular automata
- auteur
- Jacques Mazoyer, Jean-Baptiste Yunès
- article
- Rozenberg, Back, Kok. Handbook of natural computing, Springer, pp.1-29, 2011
- Accès au bibtex
-
- titre
- Le premier programme informatique de von Neumann
- auteur
- Jean-Baptiste Yunès
- article
- Éléments pour une histoire de l'informatique, Société Mathématique de France - CSLI Publications, Stanford, California, pp.56-75, 2011, 978-1-57586-622-2
- Accès au bibtex
-
Ouvrages
- titre
- Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing (PODC), San Jose, CA, USA
- auteur
- Pierre Fraigniaud, Cyril Gavoille
- article
- ACM Press, pp.391, 2011, 978-1-4503-0719-2
- Accès au bibtex
-
- titre
- Une introduction à la science informatique pour les enseignants de la discipline en lycée
- auteur
- Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Sylvie Boldo, Denis Bouhineau, Patrick Cegielski, Thomas Heide Clausen, Irène Guessarian, Stéphane Lopes, Laurent Mounier, Benjamin Nguyen, Franck Quessette, Anne Rasse, Brigitte Rozoy, Claude Timsit, Thierry Viéville, Jean-Marc Vincent
- article
- Gilles Dowek. CRDP Paris, pp.376, 2011, Repères pour agir (RPA disciplines & compétences), Christine Moulin, 978-2-86631-188-9
- Accès au bibtex
-
Rapport
- titre
- Bounded Phase Analysis of Message-Passing Programs
- auteur
- Ahmed Bouajjani, Michael Emmi
- article
- 2011
- Accès au texte intégral et bibtex
-
- titre
- Analysis of Recursively Parallel Programs
- auteur
- Ahmed Bouajjani, Michael Emmi
- article
- 2011
- Accès au texte intégral et bibtex
-
- titre
- Node-Disjoint Multipath Spanners and their Relationship with Fault-Tolerant Spanners
- auteur
- Cyril Gavoille, Quentin Godfroy, Laurent Viennot
- article
- 2011
- Accès au texte intégral et bibtex
-
- titre
- On wheel-free graphs
- auteur
- Pierre Aboulker, Frédéric Havet, Nicolas Trotignon
- article
- [Research Report] RR-7651, INRIA. 2011
- Accès au texte intégral et bibtex
-
- titre
- On Sequentializing Concurrent Programs
- auteur
- Ahmed Bouajjani, Michael Emmi, Gennaro Parlato
- article
- 2011
- Accès au texte intégral et bibtex
-
- titre
- Locality and Checkability in Wait-free Computing
- auteur
- Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers
- article
- 2011
- Accès au texte intégral et bibtex
-
- titre
- On Using Seeders for P2P Live Streaming
- auteur
- Fabien Mathieu
- article
- [Research Report] RR-7608, INRIA. 2011
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Quelques propriétés topologiques des graphes et applications à Internet et aux réseaux
- auteur
- Mauricio Abel Gomez Soto
- article
- Réseaux et télécommunications [cs.NI]. Paris Diderot University, 2011. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- A noncommutative extension of Mahler's theorem on interpolation series
- auteur
- Jean-Eric Pin, Pedro Silva
- article
- 2011
- Accès au texte intégral et bibtex
-
- titre
- Simple permutations poset
- auteur
- Adeline Pierrot, Dominique Rossin
- article
- 2011
- Accès au texte intégral et bibtex
-
- titre
- Density classification on infinite lattices and trees
- auteur
- Ana Bušić, Nazim Fatès, Jean Mairesse, Irène Marcovici
- article
- 2011
- Accès au bibtex
-
- titre
- Effective randomness, strong reductions and Demuth's theorem
- auteur
- Laurent Bienvenu, Christopher Porter
- article
- 2011
- Accès au texte intégral et bibtex
-
- titre
- The Denjoy alternative for computable functions
- auteur
- Laurent Bienvenu, Rupert Hölzl, Joseph Miller, André Nies
- article
- 2011
- Accès au texte intégral et bibtex
-
- titre
- Pushing undecidability of the isolation problem for probabilistic automata
- auteur
- Nathanaël Fijalkow, Hugo Gimbert, Youssouf Oualhadj
- article
- 2011
- Accès au texte intégral et bibtex
-
- titre
- Safra-like constructions for regular cost functions over finite words
- auteur
- Thomas Colcombet
- article
- 2011
- Accès au texte intégral et bibtex
-
- titre
- Synthesis and Analysis of Product-form Petri Nets
- auteur
- Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen
- article
- 2011
- Accès au texte intégral et bibtex
-
2010
Article dans une revue
- titre
- Graphs with bounded tree-width and large odd-girth are almost bipartite
- auteur
- Alexander Kostochka, Daniel Král', Jean-Sébastien Sereni, Michael Stiebitz
- article
- Journal of Combinatorial Theory, Series B, 2010, 100 (6), pp.554--559. ⟨10.1016/j.jctb.2010.04.004⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards an Erlang formula for multiclass networks
- auteur
- Matthieu Jonckheere, Jean Mairesse
- article
- Queueing Systems, 2010, 66 (1), pp.53-78. ⟨10.1007/s11134-010-9185-y⟩
- Accès au texte intégral et bibtex
-
- titre
- The k-in-a-tree problem for graphs of girth at least k
- auteur
- Nicolas Trotignon, Wei Liu
- article
- Discrete Applied Mathematics, 2010, 158, pp.1644-1649
- Accès au bibtex
-
- titre
- Circular edge-colorings of cubic graphs with girth six
- auteur
- Daniel Král', Edita Máčajová, Ján Mazák, Jean-Sébastien Sereni
- article
- Journal of Combinatorial Theory, Series B, 2010, 100 (4), pp.351--358. ⟨10.1016/j.jctb.2009.10.003⟩
- Accès au texte intégral et bibtex
-
- titre
- Outils, machines et informatique
- auteur
- Maurice Nivat
- article
- Interstices, 2010
- Accès au bibtex
-
- titre
- The last fraction of a fractional conjecture
- auteur
- František Kardoš, Daniel Král', Jean-Sébastien Sereni
- article
- SIAM Journal on Discrete Mathematics, 2010, 24 (2), pp.699--707. ⟨10.1137/090779097⟩
- Accès au texte intégral et bibtex
-
- titre
- Logic and Rational Languages of Words Indexed by Linear Orderings.
- auteur
- Nicolas Bedon, Alexis Bès, Olivier Carton, Chloé Rispal
- article
- Theory of Computing Systems, 2010, 46 (4), pp.737-760
- Accès au bibtex
-
- titre
- On the sextet polynomial of fullerenes
- auteur
- Jean-Sébastien Sereni, Matej Stehlík
- article
- Journal of Mathematical Chemistry, 2010, 47 (3), pp.1121--1128
- Accès au texte intégral et bibtex
-
- titre
- Outils, machines et informatique
- auteur
- Maurice Nivat
- article
- Revue de l'EPI (Enseignement Public et Informatique), 2010, 124, pp.[en ligne]
- Accès au bibtex
-
- titre
- Facial colorings using Hall's Theorem
- auteur
- Frédéric Havet, Daniel Král', Jean-Sébastien Sereni, Riste Skrekovski
- article
- European Journal of Combinatorics, 2010, 31 (3), pp.1001--1019. ⟨10.1016/j.ejc.2009.10.003⟩
- Accès au texte intégral et bibtex
-
- titre
- Two proofs of the Bermond-Thomassen conjecture for tournaments with bounded minimum in-degree
- auteur
- Stéphane Bessy, Nicolas Lichiardopol, Jean-Sébastien Sereni
- article
- Discrete Mathematics, 2010, 310 (3), pp.557--560. ⟨10.1016/j.disc.2009.03.039⟩
- Accès au texte intégral et bibtex
-
- titre
- Deciding whether the ordering is necessary in a Presburger formula
- auteur
- Christian Choffrut, Achille Frigeri
- article
- Discrete Mathematics and Theoretical Computer Science, 2010, Vol. 12 no. 1 (1), pp.20-37. ⟨10.46298/dmtcs.510⟩
- Accès au texte intégral et bibtex
-
- titre
- On the analysis of ''simple'' 2D stochastic cellular automata
- auteur
- Damien Regnault, Nicolas Schabanel, Eric Thierry
- article
- Discrete Mathematics and Theoretical Computer Science, 2010, Vol. 12 no. 2 (2), pp.263-294. ⟨10.46298/dmtcs.518⟩
- Accès au texte intégral et bibtex
-
- titre
- Contextual partial commutations
- auteur
- Christian Choffrut, Robert Mercas
- article
- Discrete Mathematics and Theoretical Computer Science, 2010, Vol. 12 no. 4 (4), pp.59-72. ⟨10.46298/dmtcs.493⟩
- Accès au texte intégral et bibtex
-
- titre
- A note on antisymmetric flows in graphs
- auteur
- Zdenek Dvorak, Tomas Kaiser, Daniel Král', Jean-Sébastien Sereni
- article
- European Journal of Combinatorics, 2010, 31 (1), pp.320--324. ⟨10.1016/j.ejc.2009.05.005⟩
- Accès au texte intégral et bibtex
-
- titre
- Une brève introduction à la théorie effective de l'aléatoire
- auteur
- Laurent Bienvenu, Mathieu Hoyrup
- article
- Gazette des Mathématiciens, 2010, 123, pp.35-47
- Accès au texte intégral et bibtex
-
- titre
- A structure theorem for graphs with no cycle with a unique chord and its consequences
- auteur
- Nicolas Trotignon, Kristina Vuskovic
- article
- Journal of Graph Theory, 2010, 63 (1), pp.31-67
- Accès au bibtex
-
- titre
- Deciding the finiteness of the number of simple permutations contained in a wreath-closed class is polynomial
- auteur
- Frédérique Bassino, Mathilde Bouvel, Adeline Pierrot, Dominique Rossin
- article
- Pure Mathematics and Applications, 2010, 21 (2), pp.119-135
- Accès au texte intégral et bibtex
-
- titre
- Communication algorithms with advice
- auteur
- Pierre Fraigniaud, David Ilcinkas, Andrzej Pelc
- article
- Journal of Computer and System Sciences, 2010, 76 (3-4), pp.222-232. ⟨10.1016/j.jcss.2009.07.002⟩
- Accès au texte intégral et bibtex
-
- titre
- On the computation of covert channel capacity
- auteur
- Eugene Asarin, Catalin Dima
- article
- RAIRO - Theor. Inf. and Applic., 2010, 44 (1), pp.37--58. ⟨10.1051/ita/2010004⟩
- Accès au bibtex
-
- titre
- Sturmian Trees
- auteur
- Jean Berstel, Luc Boasson, Olivier Carton, Isabelle Fagnot
- article
- Theory of Computing Systems, 2010, 46 (3), pp.443-478
- Accès au texte intégral et bibtex
-
- titre
- A Survey on Algorithmic Aspects of Modular Decomposition
- auteur
- Michel Habib, Christophe Paul
- article
- Computer Science Review, 2010, 4 (1), pp.41-59. ⟨10.1016/j.cosrev.2010.01.001⟩
- Accès au bibtex
-
- titre
- Characterization results for Steiner triple systems and their application to edge-colorings of cubic graphs
- auteur
- Daniel Král', Edita Máčajová, Attila Pór, Jean-Sébastien Sereni
- article
- Canadian Journal of Mathematics = Journal Canadien de Mathématiques, 2010, 62 (2), pp.355--381. ⟨10.4153/CJM-2010-021-9⟩
- Accès au texte intégral et bibtex
-
- titre
- Partitions with rounded occurrences and attached parts
- auteur
- Jeremy Lovejoy
- article
- Ramanujan Journal (The), 2010, 23, pp.307-313
- Accès au bibtex
-
- titre
- On identities involving the sixth order mock theta functions
- auteur
- Jeremy Lovejoy
- article
- Proceedings of the American Mathematical Society, 2010, 138 (7), pp.2547-2552. ⟨10.1090/S0002-9939-10-10296-2⟩
- Accès au bibtex
-
- titre
- Kolmogorov Complexity in perspective. Part II: Classification, Information Processing and Duality
- auteur
- Marie Ferbus-Zanda
- article
- Synthese, 2010, pp.00
- Accès au texte intégral et bibtex
-
- titre
- Complexité de Kolmogorov, une mise en perspective. Partie II : Classification, Traitement de l' Information et Dualité.
- auteur
- Marie Ferbus-Zanda
- article
- Synthese, 2010, pp.00
- Accès au texte intégral et bibtex
-
- titre
- ASMs and Operational Algorithmic Completeness of Lambda Calculus
- auteur
- Marie Ferbus-Zanda, Serge Grigorieff
- article
- Lecture Notes in Computer Science, 2010, LNCS 6300, pp.00
- Accès au texte intégral et bibtex
-
- titre
- Building Real-World Complex Networks by Wandering on Random Graphs
- auteur
- Bruno Gaume, Fabien Mathieu, Emmanuel Navarro
- article
- Revue I3 - Information Interaction Intelligence, 2010, 10 (1), pp.73-91
- Accès au texte intégral et bibtex
-
- titre
- M2-rank differences for overpartitions
- auteur
- Jeremy Lovejoy, Robert Osburn
- article
- Acta Arithmetica, 2010, 144, pp.193-212
- Accès au bibtex
-
- titre
- Kolmogorov Complexity in perspective. Part I: Information Theory and Randomnes
- auteur
- Marie Ferbus-Zanda, Serge Grigorieff
- article
- Synthese, 2010, pp.00
- Accès au texte intégral et bibtex
-
- titre
- Automorphic properties of generating functions for generalized rank moments and Durfee symbols
- auteur
- Jeremy Lovejoy, Kathrin Bringmann, Robert Osburn
- article
- International Mathematics Research Notices, 2010, 2, pp.238-260. ⟨10.1093/imrn/rnp131⟩
- Accès au bibtex
-
- titre
- Rational numbers with purely periodic $\beta$-expansion
- auteur
- Boris Adamczewski, Christiane Frougny, Anne Siegel, Wolfgang Steiner
- article
- Bulletin of the London Mathematical Society, 2010, 42 (3), pp.538-552. ⟨10.1112/blms/bdq019⟩
- Accès au texte intégral et bibtex
-
- titre
- Posets and Permutations in the Duplication-Loss Model: Minimal Permutations with d Descents.
- auteur
- Mathilde Bouvel, Elisa Pergola
- article
- Theoretical Computer Science, 2010, 411 (26-28), pp.2487-2501
- Accès au texte intégral et bibtex
-
- titre
- Strong no-go theorem for Gaussian quantum bit commitment
- auteur
- Loïck Magnin, Frédéric Magniez, Anthony Leverrier, Nicolas J. Cerf
- article
- Physical Review A : Atomic, molecular, and optical physics [1990-2015], 2010, 81, pp.010302(R). ⟨10.1103/PhysRevA.81.010302⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- ATL with strategy contexts: Expressiveness and Model Checking.
- auteur
- Arnaud da Costa, François Laroussinie, Nicolas Markey
- article
- 30th {C}onference on {F}oundations of {S}oftware {T}echnology and {T}heoretical {C}omputer {S}cience ({FSTTCS}'10), Dec 2010, Chennai, India. pp.120-132, ⟨10.4230/LIPIcs.FSTTCS.2010.120⟩
- Accès au texte intégral et bibtex
-
- titre
- Spanners additifs de taille sous-quadratique pour les graphes orientés
- auteur
- Cyril Gavoille, Quentin Godfroy, Laurent Viennot
- article
- 12e Journées Graphes et Algorithmes, Oct 2010, Marseille, France. pp.9
- Accès au bibtex
-
- titre
- The PEGASE project: precise and scalable temporal analysis for aerospace communication systems with Network Calculus
- auteur
- Marc Boyer, Nicolas Navet, Xavier Olive, Eric Thierry
- article
- 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISOLA 2010, Oct 2010, Heraclion, Greece
- Accès au texte intégral et bibtex
-
- titre
- Achieving Universal Computations on One-Dimensional Cellular Automata
- auteur
- Jean-Baptiste Yunès
- article
- International Conference on Cellular Automata for Research and Industry - International Workshop of Natural Computing, Sep 2010, Ascoli Piceno, Italy
- Accès au bibtex
-
- titre
- On resource aware algorithms in epidemic live streaming
- auteur
- Fabien Mathieu, Diego Perino
- article
- ITC 2010 - 22nd International Teletraffic Congress, Sep 2010, Amsterdam, Netherlands. pp.1 -8, ⟨10.1109/ITC.2010.5608724⟩
- Accès au bibtex
-
- titre
- Counting LTL
- auteur
- François Laroussinie, Antoine Meyer, Eudes Petonnet
- article
- TIME 2010, Sep 2010, Paris, France. p. 51-58, ⟨10.1109/TIME.2010.20⟩
- Accès au texte intégral et bibtex
-
- titre
- On utilizing speed in networks of mobile agents
- auteur
- Joffroy Beauquier, Janna Burman, Julien Clément, Shay Kutten
- article
- ACM Symposium on Principles of Distributed Computing, PODC 2010, Jul 2010, Zurich, Switzerland. ⟨10.1145/1835698.1835775⟩
- Accès au bibtex
-
- titre
- A Topological Approach to Recognition
- auteur
- Mai Gehrke, Serge Grigorieff, Jean-Eric Pin
- article
- ICALP 2010, Jul 2010, Bordeaux, France. pp.151 - 162, ⟨10.1007/978-3-642-14162-1_13⟩
- Accès au texte intégral et bibtex
-
- titre
- Multipath Spanners
- auteur
- Cyril Gavoille, Quentin Godfroy, Laurent Viennot
- article
- Structural Information and Communication Complexity, 17th International Colloquium (SIROCCO), Jun 2010, Sirince, Turkey. pp.211-223, ⟨10.1007/978-3-642-13284-1_17⟩
- Accès au texte intégral et bibtex
-
- titre
- Bit-complexité des protocoles de gossip
- auteur
- Pierre Fraigniaud, Giakkoupis George
- article
- 12èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2010), May 2010, Belle dune, France. pp.0-0
- Accès au texte intégral et bibtex
-
- titre
- A Note on Synchronization Steps in Firing Squad Synchronization Problem
- auteur
- Jean-Baptiste Yunès, Hiroshi Umeo, Akira Nomura
- article
- Third International Conference on Computational Sciences and Optimization, May 2010, Huangshan Moutain, Anhui, China. pp.300-301, ⟨10.1109/CSO.2010.124⟩
- Accès au bibtex
-
- titre
- On Optimizing for Epidemic Live Streaming
- auteur
- Nidhi Hegde, Fabien Mathieu, Diego Perino
- article
- ICC - IEEE International Conference on Communications - 2010, May 2010, Cape Town, South Africa. pp.1 -5, ⟨10.1109/ICC.2010.5502559⟩
- Accès au texte intégral et bibtex
-
- titre
- Counting CTL
- auteur
- François Laroussinie, Antoine Meyer, Eudes Pétonnet
- article
- FoSSaCS 2010, Mar 2010, Paphos, Cyprus. pp.206-220, ⟨10.1007/978-3-642-12032-9_15⟩
- Accès au texte intégral et bibtex
-
- titre
- Fair Adversaries and Randomization in Two-Player Games
- auteur
- Eugene Asarin, Raphael Chane-Yack-Fa, Daniele Varacca
- article
- FOSSACS 2010, Mar 2010, Paphos, Cyprus. pp.64-78
- Accès au bibtex
-
- titre
- Evolving MultiAlgebras unify all usual sequential computation models
- auteur
- Serge Grigorieff, Pierre Valarcher
- article
- 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.417-428
- Accès au texte intégral et bibtex
-
- titre
- La puissance de désaccord d'un adversaire
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann
- article
- 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Maria Gradinariu Potop-Butucaru et Hervé Rivano, 2010, Belle Dune, France
- Accès au texte intégral et bibtex
-
- titre
- Regular Temporal Cost Functions
- auteur
- Thomas Colcombet, Denis Kuperberg, Sylvain Lombardy
- article
- International Colloquium on Automata, Languages and Programming (ICALP), 2010, Bordeaux, France. pp.563-574
- Accès au texte intégral et bibtex
-
- titre
- Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions
- auteur
- Catalin Dima, Constantin Enea, Dimitar P. Guelev
- article
- Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., 2010, Unknown, Unknown Region. pp.103--117, ⟨10.4204/EPTCS.25.12⟩
- Accès au bibtex
-
- titre
- Graphes de recouvrement multichemins
- auteur
- Cyril Gavoille, Quentin Godfroy, Laurent Viennot
- article
- 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Maria Gradinariu Potop-Butucaru and Hervé Rivano, 2010, Belle Dune, France
- Accès au texte intégral et bibtex
-
- titre
- Chain enumeration of k-divisible noncrossing partitions of classical types
- auteur
- Jang Soo Kim
- article
- 22nd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2010), 2010, San Francisco, United States. pp.809-820, ⟨10.46298/dmtcs.2813⟩
- Accès au texte intégral et bibtex
-
- titre
- Recursion Schemes and Logical Reflection
- auteur
- Christopher Broadbent, Arnaud Carayol, Luke Ong, Olivier Serre
- article
- Twenty-Fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2010), 2010, Edinburgh, United Kingdom. pp.120-129
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- Diffusion épidémique pour du contenu live
- auteur
- Fabien Mathieu, Diego Perino
- article
- Bertrand MATHIEU and Mikaêl SALAÜN. Evolution des technologies pair-à-pair, optimination, sécurité et application, HERMÈS / LAVOISIER, pp.97-132, 2010, 9782746225794
- Accès au bibtex
-
- titre
- Normal form of Some extended Abstract State Machines
- auteur
- Irene Guessarian, Patrick Cégielski
- article
- Fields of Logic and Computation, pp.165-180, 2010, 978-3-642-15025-8. ⟨10.1007/978-3-642-15025-8⟩
- Accès au bibtex
-
- titre
- Epidemic Live Streaming
- auteur
- Diego Perino, Fabien Mathieu
- article
- Ce Zhu and Yuenan Li and Xiamu Niu. Streaming Media Architectures, Techniques, and Applications: Recent Advances, IGI Global, pp.311-336, 2010, ⟨10.4018/978-1-61692-831-5.ch013⟩
- Accès au bibtex
-
- titre
- Décidabilité et Complexité
- auteur
- Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison
- article
- Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010
- Accès au texte intégral et bibtex
-
- titre
- Acyclic Preference-Based Systems
- auteur
- Fabien Mathieu
- article
- Shen, Xuemin and Yu, Heather and Buford, John and Akon, Mursalin. Handbook of Peer-to-Peer Networking, Springer US, pp.1165-1203, 2010, 978-0-387-09751-0. ⟨10.1007/978-0-387-09751-0_42⟩
- Accès au bibtex
-
- titre
- Substitutions, Rauzy fractals and tilings
- auteur
- Valerie Berthe, Anne Siegel, Jorg Thuswaldner
- article
- Cambridge University Press. Combinatorics, Automata and Number Theory, 135, Cambridge University Press, 2010, Encyclopedia of Mathematics and its Applications, 9780521515979
- Accès au bibtex
-
Autre publication scientifique
- titre
- Invariant Synthesis for Programs Manipulating Lists with Unbounded Data
- auteur
- Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu
- article
- 2010
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- WG'09: International Workshop on Theoretic Concepts in Computer Science
- auteur
- Christophe Paul, Michel Habib
- article
- 5911, 352 p., 2010, Lecture Notes in Computer Science
- Accès au bibtex
-
Rapport
- titre
- Guidelines for Verification of Population Protocols
- auteur
- Julien Clément, Carole Delporte-Gallet, Hugues Fauconnier, Mihaela Sighireanu
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Finding an induced subdivision of a digraph
- auteur
- Jørgen Bang-Jensen, Frédéric Havet, Nicolas Trotignon
- article
- [Research Report] RR-7430, INRIA. 2010
- Accès au texte intégral et bibtex
-
- titre
- Connected Graph Searching
- auteur
- Lali Barrière, Paola Flocchini, Fedor V. Fomin, Pierre Fraigniaud, Nicolas Nisse, Nicola Santoro, Dimitrios M. Thilikos
- article
- [Research Report] RR-7363, INRIA. 2010
- Accès au texte intégral et bibtex
-
- titre
- Improved bounds for the randomized decision tree complexity of recursive majority
- auteur
- Frédéric Magniez, Ashwin Nayak, Miklos Santha, David Xiao
- article
- [Research Report] xx. 2010
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Jeux et automates sur les ordres
- auteur
- Julien Cristau
- article
- Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2010. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Estimations de satisfaisabilité
- auteur
- Thomas Hugel
- article
- Mathématiques [math]. Université Paris-Diderot - Paris VII, 2010. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Two Size Measures for Timed Languages
- auteur
- Eugene Asarin, Aldric Degorre
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- The surprizing complexity of generalized reachability games
- auteur
- Nathanaël Fijalkow, Florian Horn
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Stochastic Minority on Graphs
- auteur
- Damien Regnault, Jean-Baptiste Rouquier, Eric Thierry
- article
- 2010
- Accès au bibtex
-
- titre
- Deficiency Zero Petri Nets and Product Form
- auteur
- Jean Mairesse, Hoang-Thach Nguyen
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Algorithms For Extracting Timeliness Graphs
- auteur
- Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Mikel Larrea
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Pushdown Module Checking with Imperfect Information
- auteur
- Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Vardi
- article
- 2010
- Accès au texte intégral et bibtex
-
2009
Article dans une revue
- titre
- Identifying and locating-dominating codes in (random) geometric networks
- auteur
- Tobias Müller, Jean-Sébastien Sereni
- article
- Combinatorics, Probability and Computing, 2009, 18 (6), pp.925--952. ⟨10.1017/S0963548309990344⟩
- Accès au texte intégral et bibtex
-
- titre
- A new lower bound on the number of perfect matchings in cubic graphs
- auteur
- Daniel Král', Jean-Sébastien Sereni, Michael Stiebitz
- article
- SIAM Journal on Discrete Mathematics, 2009, 23 (3), pp.1465--1483. ⟨10.1137/080723843⟩
- Accès au texte intégral et bibtex
-
- titre
- On the reduction of a random basis
- auteur
- Ali Akhavi, Jean-François Marckert, Alain Rouault
- article
- ESAIM: Probability and Statistics, 2009, 13, pp.437-458. ⟨10.1051/ps:2008012⟩
- Accès au texte intégral et bibtex
-
- titre
- Fullerene graphs have exponentially many perfect matchings
- auteur
- Frantisek Kardos, Daniel Kral, Jozef Miskuf, Jean-Sébastien Sereni
- article
- Journal of Mathematical Chemistry, 2009, 46 (2), pp.443--447. ⟨10.1007/s10910-008-9471-7⟩
- Accès au bibtex
-
- titre
- Tree Automata and Automata on Linear Orderings
- auteur
- Véronique Bruyère, Olivier Carton, Géraud Sénizergues
- article
- RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2009, 43 (2), pp.321-338
- Accès au bibtex
-
- titre
- A family of smallest symmetrical four-states firing squad synchronization protocols for ring arrays
- auteur
- Hiroshi Umeo, Naoki Kamikawa, Jean-Baptiste Yunès
- article
- Parallel Processing Letters, 2009, 19 (2), pp.299-313. ⟨10.1142/S0129626409000237⟩
- Accès au bibtex
-
- titre
- A step toward the Bermond-Thomassen conjecture about disjoint cycles in digraphs
- auteur
- Nicolas Lichiardopol, Attila Pór, Jean-Sébastien Sereni
- article
- SIAM Journal on Discrete Mathematics, 2009, 23 (2), pp.979--992. ⟨10.1137/080715792⟩
- Accès au texte intégral et bibtex
-
- titre
- Overpartitions and class numbers of binary quadratic forms
- auteur
- Jeremy Lovejoy, Kathrin Bringmann
- article
- Proceedings of the National Academy of Sciences of the United States of America, 2009, 106 (14), pp.5513-5516
- Accès au bibtex
-
- titre
- Science et Technique
- auteur
- Maurice Nivat
- article
- Revue de l'EPI (Enseignement Public et Informatique), 2009, 113, pp.[en ligne]
- Accès au bibtex
-
- titre
- Non-Deterministic Graph Searching: From Pathwidth to Treewidth
- auteur
- Fedor V. Fomin, Pierre Fraigniaud, Nicolas Nisse
- article
- Algorithmica, 2009, 53 (3), pp.358-373. ⟨10.1007/s00453-007-9041-6⟩
- Accès au bibtex
-
- titre
- Distributed computing with advice: information sensitivity of graph coloring
- auteur
- Pierre Fraigniaud, Cyril Gavoille, David Ilcinkas, Andrzej Pelc
- article
- Distributed Computing, 2009, 21 (6), pp.395-403. ⟨10.1007/s00446-008-0076-y⟩
- Accès au texte intégral et bibtex
-
- titre
- Stratégies de capture de fugitifs... ou l'application de la théorie des graphes à PacMan
- auteur
- Vincent Limouzy, Fabien de Montgolfier
- article
- Interstices, 2009, http://interstices.info/pacman
- Accès au bibtex
-
- titre
- Projective, affine, and abelian colorings of cubic graphs
- auteur
- Dan Kral, Edita Macajova, Ondrej Pangrac, André Raspaud, Jean-Sébastien Sereni, Martin Skoviera
- article
- European Journal of Combinatorics, 2009, 30, pp.53-69
- Accès au bibtex
-
- titre
- About a Brooks-type theorem for improper colouring
- auteur
- Ricardo Correa, Frédéric Havet, Jean-Sébastien Sereni
- article
- The Australasian Journal of Combinatorics, 2009, 43, pp.219--230
- Accès au texte intégral et bibtex
-
- titre
- Présentation de "Numeration: Mathematics and Computer Science" (CIRM, 2009)
- auteur
- Anne Siegel, Boris Adamczewski, Wolfgang Steiner
- article
- Actes des rencontres du CIRM, 2009, 1 (1), pp.1-2
- Accès au bibtex
-
- titre
- A variant of the tandem duplication - random loss model of genome rearrangement
- auteur
- Mathilde Bouvel, Dominique Rossin
- article
- Theoretical Computer Science, 2009, 410 (8-10), pp.847-858. ⟨10.1016/j.tcs.2008.11.017⟩
- Accès au texte intégral et bibtex
-
- titre
- Overpartitions and the q-Bailey identity
- auteur
- Jeremy Lovejoy, Corteel Sylvie
- article
- Proceedings of the Edinburgh Mathematical Society, 2009, 52, pp.297-306
- Accès au bibtex
-
- titre
- The four-in-a-tree problem for triangle-free graphs
- auteur
- Nicolas Trotignon, Christophe Picouleau, Nicolas Derhy
- article
- Graphs and Combinatorics, 2009, 25, pp.489-502
- Accès au bibtex
-
- titre
- Partitions weighted by the parity of the crank
- auteur
- Jeremy Lovejoy, Soon-Yi Kang, Dohoon Choi
- article
- Journal of Combinatorial Theory, Series A, 2009, 116, pp.1034-1046
- Accès au bibtex
-
- titre
- Circular choosability
- auteur
- Frédéric Havet, Ross Kang, Tobias Müller, Jean-Sébastien Sereni
- article
- Journal of Graph Theory, 2009, 61 (4), pp.241--270. ⟨10.1002/jgt.20375⟩
- Accès au texte intégral et bibtex
-
- titre
- Rank and crank moments for overpartitions
- auteur
- Jeremy Lovejoy, Kathrin Bringmann, Robert Osburn
- article
- Journal of Number Theory, 2009, 129 (7), pp.1758-1772
- Accès au bibtex
-
- titre
- Idée reçue : Web et Internet, c'est la même chose
- auteur
- Laurent Viennot
- article
- Interstices, 2009
- Accès au bibtex
-
- titre
- On the reduction of a random basis
- auteur
- Ali Akhavi, Jean-François Marckert, Alain Rouault
- article
- ESAIM: Probability and Statistics, 2009, 13, pp.4357-4394. ⟨10.1051/ps:2008012⟩
- Accès au texte intégral et bibtex
-
- titre
- Metrical theory for $\alpha$-Rosen fractions
- auteur
- Karma Dajani, Cor Kraaikamp, Wolfgang Steiner
- article
- Journal of the European Mathematical Society, 2009, 11 (6), pp.1259-1283
- Accès au texte intégral et bibtex
-
- titre
- M2-rank differences for partitions without repeated odd parts
- auteur
- Jeremy Lovejoy, Robert Osburn
- article
- Journal de theorie de nombres de Bordeaux, 2009, 21 (2), pp.313-334
- Accès au bibtex
-
- titre
- Improper Colouring of Unit Disk Graphs
- auteur
- Frédéric Havet, Ross Kang, Jean-Sébastien Sereni
- article
- Networks, 2009, 54 (3), pp.150--164
- Accès au bibtex
-
- titre
- A note on the enumeration of directed animals via gas considerations
- auteur
- Marie Albenque
- article
- Annals of Applied Probability, 2009, 19 (5), pp.1860-1879. ⟨10.1214/08-AAP580⟩
- Accès au texte intégral et bibtex
-
- titre
- Regularities of the distribution of abstract van der Corput sequences
- auteur
- Wolfgang Steiner
- article
- Uniform Distribution Theory, 2009, 4 (2), pp.81-100
- Accès au texte intégral et bibtex
-
- titre
- Universal Augmentation Schemes for Network Navigability: Overcoming the $\sqrtn$-Barrier
- auteur
- Pierre Fraigniaud, Cyril Gavoille, Adrian Kosowski, Emmanuelle Lebhar, Zvi Lotker
- article
- Theoretical Computer Science, 2009, 410 (21-23), pp.1970-1981. ⟨10.1016/j.tcs.2008.12.061⟩
- Accès au bibtex
-
- titre
- On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata
- auteur
- Nutan Limaye, Meena Mahajan, Antoine Meyer
- article
- Journal of Automata Languages and Combinatorics, 2009, 14 (3/4), p. 211-235
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Automata and temporal logic over arbitrary linear time
- auteur
- Julien Cristau
- article
- Foundations of Software Technology and Theoretical Computer Science, Dec 2009, Kanpur, India. pp.133-144, ⟨10.4230/LIPIcs.FSTTCS.2009.2313⟩
- Accès au texte intégral et bibtex
-
- titre
- Small Non-Optimum-Time Firing Squad Synchronization Protocols for One-Dimensional Rings
- auteur
- Hiroshi Umeo, Jean-Baptiste Yunès, Naoki Kamikawa, Juntarou Kurashiki
- article
- International Symposium on Nonlinear Theory and its Applications, Oct 2009, Sapporo, Japan. pp.479-492
- Accès au bibtex
-
- titre
- A Two-Dimensional Optimum-Time Firing Squad Synchronization Algorithm and Its Implementation
- auteur
- Jean-Baptiste Yunès, Hiroshi Umeo, Takuya Yamawaki
- article
- International Workshop on Natural Computing, Sep 2009, Himeji, Japan. pp.342--351, ⟨10.1007/978-4-431-53868-4_39⟩
- Accès au bibtex
-
- titre
- Local Computation of Nearly Additive Spanners
- auteur
- Bilel Derbel, Cyril Gavoille, David Peleg, Laurent Viennot
- article
- DISC, Sep 2009, Elche/Elx, Spain. pp.176-190
- Accès au bibtex
-
- titre
- A simple Optimum-Time Firing Squad Synchronization Algorithm for Two-Dimensional Rectangle Arrays
- auteur
- Jean-Baptiste Yunès, Naoki Kamikawa, Hiroshi Umeo
- article
- International Conference on Computational Intelligence, Modelling and Simulation, Sep 2009, Brno, Czech Republic
- Accès au bibtex
-
- titre
- Fine Tuning of a Distributed VoD System
- auteur
- Yacine Boufkhad, Fabien Mathieu, Fabien de Montgolfier, Diego Perino, Laurent Viennot
- article
- 18th IEEE International Conference on Computer Communications and Networks (ICCCN), Aug 2009, San Francisco, United States. pp.1--7, ⟨10.1109/ICCCN.2009.5235272⟩
- Accès au texte intégral et bibtex
-
- titre
- Deciding the finiteness of simple permutations contained in a wreath-closed class is polynomial
- auteur
- Frédérique Bassino, Mathilde Bouvel, Adeline Pierrot, Dominique Rossin
- article
- Permutation Patterns 2009 (PP 2009), Jul 2009, Florence, Italy. pp.13-20
- Accès au texte intégral et bibtex
-
- titre
- The Theory of Stabilisation Monoids and Regular Cost Functions
- auteur
- Thomas Colcombet
- article
- ICALP, Jul 2009, Rhodes, Greece. pp.139-150, ⟨10.1007/978-3-642-02930-1_12⟩
- Accès au bibtex
-
- titre
- Qualitative Concurrent Stochastic Games with Imperfect Information
- auteur
- Vincent Gripon, Olivier Serre
- article
- Automata, Languages and Programming, 36th International Colloquium, ICALP 2009, Jul 2009, Rhodes, Greece. pp.200-211
- Accès au texte intégral et bibtex
-
- titre
- Equations defining the polynomial closure of a lattice of regular languages
- auteur
- Mário Branco, Jean-Eric Pin
- article
- ICALP 2009, Jul 2009, Rhodes, Grèce, France. pp.115 - 126
- Accès au texte intégral et bibtex
-
- titre
- New Encodings of Pseudo-Boolean Constraints into CNF
- auteur
- Olivier Bailleux, Yacine Boufkhad, Olivier Roussel
- article
- Theory and Applications of Satisfiability Testing - SAT 2009, Jun 2009, Swansea, United Kingdom. pp.181-194
- Accès au bibtex
-
- titre
- Automatic Verification of Integer Array Programs
- auteur
- Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecny, Tomas Vojnar
- article
- Computer Aided Verification, 21st International Conference, CAV 2009, Jun 2009, Grenoble, France. pp.157-172, ⟨10.1007/978-3-642-02658-4_15⟩
- Accès au texte intégral et bibtex
-
- titre
- Quand le consensus est plus simple que la diffusion fiable
- auteur
- Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit, Sam Toueg
- article
- 11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
- Accès au texte intégral et bibtex
-
- titre
- Average-case analysis of perfect sorting by reversals
- auteur
- Mathilde Bouvel, Cedric Chauve, Marni Mishna, Dominique Rossin
- article
- CPM'09, Jun 2009, Lille, France. pp.314-325, ⟨10.1007/978-3-642-02441-2_28⟩
- Accès au texte intégral et bibtex
-
- titre
- Ordonnancement non-clairvoyant: petites simplifications et améliorations de l'analyse de la famille d'algorithmes LAPSβ
- auteur
- Julien Robert, Nicolas Schabanel
- article
- Algotel 2009, Jun 2009, France. pp.4
- Accès au texte intégral et bibtex
-
- titre
- An Upload Bandwidth Threshold for Peer-to-Peer Video-on-Demand Scalability
- auteur
- Yacine Boufkhad, Fabien Mathieu, Fabien de Montgolfier, Diego Perino, Laurent Viennot
- article
- 23rd IEEE International Parallel and Distributed Processing Symposium (IPDPS), May 2009, Rome, Italy. pp.1--10, ⟨10.1109/IPDPS.2009.5161047⟩
- Accès au texte intégral et bibtex
-
- titre
- Remote spanners: what to know beyond neighbors
- auteur
- Philippe Jacquet, Laurent Viennot
- article
- 23rd IEEE International Parallel and Distributed Processing Symposium (IPDPS), May 2009, Rome, Italy. pp.1--10, ⟨10.1109/IPDPS.2009.5161041⟩
- Accès au texte intégral et bibtex
-
- titre
- Efficient Measurement of Complex Networks Using Link Queries
- auteur
- Fabien Tarissan, Matthieu Latapy, Christophe Prieur
- article
- IEEE International Workshop on Network Science For Communication Networks (NetSciCom'09), Apr 2009, Rio de Janeiro, Brazil. pp.1-6, ⟨10.1109/INFCOMW.2009.5072135⟩
- Accès au texte intégral et bibtex
-
- titre
- The Stable Configuration of Acyclic Preference-Based Systems
- auteur
- Fabien Mathieu, Gheorghe Postelnicu, Julien Reynier
- article
- INFOCOM 2009, Apr 2009, Rio de Janeiro, Brazil. pp.1440-1448, ⟨10.1109/INFCOM.2009.5062060⟩
- Accès au bibtex
-
- titre
- Simple Stochastic Games with Few Random Vertices are Easy to Solve
- auteur
- Hugo Gimbert, Florian Horn
- article
- FOSSACS, Mar 2009, France. pp.5-19, ⟨10.1007/978-3-540-78499-9⟩
- Accès au texte intégral et bibtex
-
- titre
- Profinite Methods in Automata Theory
- auteur
- Jean-Eric Pin
- article
- 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. pp.31-50
- Accès au texte intégral et bibtex
-
- titre
- Average Size of Unstretched Remote-Spanners
- auteur
- Philippe Jacquet, Laurent Viennot
- article
- 5th ACM Workshop on Analytic Algorithmics and Combinatorics (ANALCO), 2009, New York, United States. pp.23--33
- Accès au texte intégral et bibtex
-
- titre
- Inondation dans les réseaux dynamiques
- auteur
- Hervé Baumann, Pierluigi Crescenzi, Pierre Fraigniaud
- article
- AlgoTel, 2009, Carry-Le-Rouet, France
- Accès au texte intégral et bibtex
-
- titre
- Reconfiguration dans les réseaux optiques
- auteur
- David Coudert, Florian Huc, Dorian Mazauric, Nicolas Nisse, Jean-Sébastien Sereni
- article
- 11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2009, Carry-Le-Rouet, France
- Accès au texte intégral et bibtex
-
- titre
- Liens proches dans les réseaux sociaux : la dynamique des commentaires de Flickr
- auteur
- Stéphane Raux, Christophe Prieur
- article
- AlgoTel, 2009, Carry-Le-Rouet, France
- Accès au texte intégral et bibtex
-
- titre
- Influence d'une distribution des degrés en loi de puissance sur la navigabilité des petits mondes
- auteur
- Pierre Fraigniaud, George Giakkoupis
- article
- AlgoTel, 2009, Carry-Le-Rouet, France
- Accès au texte intégral et bibtex
-
- titre
- Ordonnancement non-clair voyant avec dépendances : analyse de LAPS_β◦ EQUI
- auteur
- Julien Robert, Nicolas Schabanel
- article
- AlgoTel, 2009, Carry-Le-Rouet, France
- Accès au texte intégral et bibtex
-
- titre
- Growth function for a class of monoids
- auteur
- Marie Albenque, Philippe Nadeau
- article
- 21st International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2009), 2009, Hagenberg, Austria. pp.25-38, ⟨10.46298/dmtcs.2728⟩
- Accès au texte intégral et bibtex
-
- titre
- Reconfiguration of the Routing in WDM Networks with Two Classes of Services
- auteur
- David Coudert, Florian Huc, Dorian Mazauric, Nicolas Nisse, Jean-Sébastien Sereni
- article
- Conference on Optical Network Design and Modeling (ONDM), 2009, Braunschweig, Germany
- Accès au texte intégral et bibtex
-
- titre
- Diffusion épidémique de chunks en quasi-direct : la taille compte
- auteur
- Nidhi Hegde, Fabien Mathieu, Diego Perino
- article
- Algotel, 2009, Carry-Le-Rouet, France
- Accès au texte intégral et bibtex
-
- titre
- Realizability of Concurrent Recursive Programs
- auteur
- Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl
- article
- Proceedings of the 12th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'09), 2009, York, UK, United Kingdom. pp.410-424, ⟨10.1007/978-3-642-00596-1_29⟩
- Accès au texte intégral et bibtex
-
- titre
- Unifying the representation of symmetric crossing families and weakly partitive families
- auteur
- Binh-Minh Bui-Xuan, Michel Habib
- article
- European Conference on Combinatorics, Graph Theory and Applications (Eurocomb'09), 2009, Bordeaux, France. pp.329-333, ⟨10.1016/j.endm.2009.07.054⟩
- Accès au bibtex
-
HDR
- titre
- Autour du pair-à-pair : distribution de contenus, réseaux à préférences acycliques
- auteur
- Fabien Mathieu
- article
- Réseaux et télécommunications [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2009
- Accès au texte intégral et bibtex
-
Rapport
- titre
- Size Does Matter (in P2P Live Streaming)
- auteur
- Nidhi Hegde, Fabien Mathieu, Diego Perino
- article
- [Research Report] RR-7032, INRIA. 2009, pp.13
- Accès au texte intégral et bibtex
-
- titre
- On Resource Aware Algorithms in Epidemic Live Streaming
- auteur
- Fabien Mathieu, Diego Perino
- article
- [Research Report] RR-7031, INRIA. 2009, pp.23
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Pure and Stationary Optimal Strategies in Perfect-Information Stochastic Games with Global Preferences
- auteur
- Hugo Gimbert, Wieslaw Zielonka
- article
- 2009
- Accès au texte intégral et bibtex
-
- titre
- Partial Synchrony Based on Set Timeliness
- auteur
- Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
- article
- 2009
- Accès au texte intégral et bibtex
-
- titre
- The Minimum Failure Detector For Non-Local Tasks In Message-Passing Systems
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
- article
- 2009
- Accès au texte intégral et bibtex
-
- titre
- Solving Simple Stochastic Games with Few Random Vertices
- auteur
- Hugo Gimbert, Florian Horn
- article
- 2009
- Accès au texte intégral et bibtex
-
- titre
- Volume and entropy of regular timed languages
- auteur
- Eugene Asarin, Aldric Degorre
- article
- 2009
- Accès au texte intégral et bibtex
-
- titre
- Fault-Tolerant Consensus in Unknown and Anonymous Networks
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Andreas Tielmann
- article
- 2009
- Accès au texte intégral et bibtex
-
- titre
- The Disagreement Power of an Adversary
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann
- article
- 2009
- Accès au texte intégral et bibtex
-
- titre
- Structure of neighborhoods in a large social network
- auteur
- Alina Stoica, Christophe Prieur
- article
- 2009
- Accès au texte intégral et bibtex
-
- titre
- A new Garside structure for braid groups of type $(e,e,r)$
- auteur
- Ruth Corran, Matthieu Picantin
- article
- 2009
- Accès au texte intégral et bibtex
-
- titre
- Le poids des liens proches -- Étude de la dynamique d'un grand réseau social
- auteur
- Stéphane Raux, Christophe Prieur
- article
- 2009
- Accès au texte intégral et bibtex
-
- titre
- Level-k Phylogenetic Network can be Constructed from a Dense Triplet Set in Polynomial Time
- auteur
- Thu-Hien To, Michel Habib
- article
- 2009
- Accès au texte intégral et bibtex
-
- titre
- A Superpolynomial Lower Bound on the Size of Uniform Non-constant-depth Threshold Circuits for the Permanent
- auteur
- Pascal Koiran, Sylvain Perifel
- article
- 2009
- Accès au texte intégral et bibtex
-
2008
Article dans une revue
- titre
- Lower bounding the boundary of a graph in terms of its maximum or minimum degree
- auteur
- Tobias Müller, Attila Pór, Jean-Sébastien Sereni
- article
- Discrete Mathematics, 2008, 308 (24), pp.6581--6583. ⟨10.1016/j.disc.2007.12.038⟩
- Accès au texte intégral et bibtex
-
- titre
- Minimal weight expansions in Pisot bases
- auteur
- Christiane Frougny, Wolfgang Steiner
- article
- Journal of Mathematical Cryptology, 2008, 2 (4), pp.365-392. ⟨10.1515/JMC.2008.017⟩
- Accès au texte intégral et bibtex
-
- titre
- Sequences with constant number of return words
- auteur
- Lubomira Balkova, Edita Pelantová, Wolfgang Steiner
- article
- Monatshefte für Mathematik, 2008, 155 (3-4), pp.251-263. ⟨10.1007/s00605-008-0001-2⟩
- Accès au texte intégral et bibtex
-
- titre
- Monotony Properties of Connected Visible Graph Searching
- auteur
- Pierre Fraigniaud, Nicolas Nisse
- article
- Information and Computation, 2008, 206 (12), pp.1383-1393. ⟨10.1016/j.ic.2008.09.002⟩
- Accès au bibtex
-
- titre
- Tree exploration with advice
- auteur
- Pierre Fraigniaud, David Ilcinkas, Andrzej Pelc
- article
- Information and Computation, 2008, 206 (11), pp.1276-1287. ⟨10.1016/j.ic.2008.07.005⟩
- Accès au texte intégral et bibtex
-
- titre
- Optimal routing for end-to-end guarantees using Network Calculus
- auteur
- Anne Bouillard, Bruno Gaujal, Sébastien Lagrange, Eric Thierry
- article
- Performance Evaluation, 2008, 65 (11-12), pp.Pages 883-906. ⟨10.1016/j.peva.2008.04.008⟩
- Accès au bibtex
-
- titre
- List colorings with measurable sets
- auteur
- Jan Hladky, Daniel Král', Jean-Sébastien Sereni, Michael Stiebitz
- article
- Journal of Graph Theory, 2008, 59 (3), pp.229--238. ⟨10.1002/jgt.20335⟩
- Accès au texte intégral et bibtex
-
- titre
- A Note on Computing Set Overlap Classes
- auteur
- Pierre Charbit, Michel Habib, Vincent Limouzy, Fabien de Montgolfier, Mathieu Raffinot, Michaël Rao
- article
- Information Processing Letters, 2008, 108 (4), pp.186-191. ⟨10.1016/j.ipl.2008.05.005⟩
- Accès au bibtex
-
- titre
- Total colouring of plane graphs with maximum degree nine
- auteur
- Lukasz Kowalik, Jean-Sébastien Sereni, Riste Skrekovski
- article
- SIAM Journal on Discrete Mathematics, 2008, 22 (4), pp.1462--1479. ⟨10.1137/070688389⟩
- Accès au texte intégral et bibtex
-
- titre
- Graphs with full rank 3-color matrix and few 3-colorings
- auteur
- Sergey Norine, Jean-Sébastien Sereni
- article
- Journal of Combinatorial Theory, Series B, 2008, 98 (5), pp.1115--1116. ⟨10.1016/j.jctb.2007.12.001⟩
- Accès au texte intégral et bibtex
-
- titre
- Abstract numeration systems on bounded languages and multiplication by a constant
- auteur
- Emilie Charlier, Michel Rigo, Wolfgang Steiner
- article
- Integers : Electronic Journal of Combinatorial Number Theory, 2008, 8 (1), pp.#35
- Accès au texte intégral et bibtex
-
- titre
- Label-Guided Graph Exploration by a Finite Automaton
- auteur
- Reuven Cohen, Pierre Fraigniaud, David Ilcinkas, Amos Korman, David Peleg
- article
- ACM Transactions on Algorithms, 2008, 4 (4), pp.Article 42. ⟨10.1145/1383369.1383373⟩
- Accès au texte intégral et bibtex
-
- titre
- Randomly colouring graphs (a combinatorial view)
- auteur
- Jean-Sébastien Sereni
- article
- Computer Science Review, 2008, 2 (2), pp.63--95. ⟨10.1016/j.cosrev.2008.05.003⟩
- Accès au texte intégral et bibtex
-
- titre
- A 4-states Algebraic Solution to Linear Cellular Automata Synchronization
- auteur
- Jean-Baptiste Yunès
- article
- Information Processing Letters, 2008, 107 (2), pp.71-75. ⟨10.1016/j.ipl.2008.01.009⟩
- Accès au bibtex
-
- titre
- Traces of Term-Automatic Graphs
- auteur
- Antoine Meyer
- article
- RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2008, 42, p. 615-630. ⟨10.1051/ita:2008018⟩
- Accès au texte intégral et bibtex
-
- titre
- Periodicity of certain piecewise affine planar maps
- auteur
- Shigeki Akiyama, Horst Brunotte, Attila Petho, Wolfgang Steiner
- article
- Tsukuba Journal of Mathematics, 2008, 32 (1), pp.197-251
- Accès au texte intégral et bibtex
-
- titre
- Impact of memory size on graph exploration capability
- auteur
- Pierre Fraigniaud, David Ilcinkas, Andrzej Pelc
- article
- Discrete Applied Mathematics, 2008, 156 (12), pp.2310-2319. ⟨10.1016/j.dam.2007.11.001⟩
- Accès au texte intégral et bibtex
-
- titre
- Tree inclusion problems
- auteur
- Irene Guessarian, Patrick Cégielski, Yuri Matiyasevich
- article
- RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2008, 42 (1), pp.5-20. ⟨10.1051/ita:2007052⟩
- Accès au bibtex
-
- titre
- Vaches et informatique.
- auteur
- Maurice Nivat
- article
- Revue de l'EPI (Enseignement Public et Informatique), 2008, 104, pp.[en ligne]
- Accès au bibtex
-
- titre
- Cycle time of stochastic max-plus linear systems
- auteur
- Glenn Merlet
- article
- Electronic Journal of Probability, 2008, 13 (2008), Paper 12, 322-340
- Accès au texte intégral et bibtex
-
- titre
- Finding a Vector Orthogonal to Roughly Half a Collection of Vectors
- auteur
- Pierre Charbit, Emmanuel Jeandel, Pascal Koiran, Sylvain Perifel, Stéphan Thomassé
- article
- Journal of Complexity, 2008, 24, pp.39-53. ⟨10.1016/j.jco.2006.09.005⟩
- Accès au texte intégral et bibtex
-
- titre
- An intrinsically non minimal-time Minsky-like 6-states solution to the firing squad synchronization problem
- auteur
- Jean-Baptiste Yunès
- article
- RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2008, 42 (1), pp.55-68. ⟨10.1051/ita:2007051⟩
- Accès au bibtex
-
- titre
- Rank and conjugation for a second Frobenius representation of an overpartition
- auteur
- Jeremy Lovejoy
- article
- Annals of Combinatorics, 2008, pp.101-113
- Accès au bibtex
-
- titre
- On the Continuity Set of an omega Rational Function
- auteur
- Olivier Carton, Olivier Finkel, Pierre Simonnet
- article
- RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2008, 42 ((1)), pp.183-196
- Accès au texte intégral et bibtex
-
- titre
- Rank and congruences for overpartition pairs
- auteur
- Jeremy Lovejoy, Kathrin Bringmann
- article
- International Journal of Number Theory, 2008, pp.303-322
- Accès au bibtex
-
- titre
- Les réseaux ont la fibre de l'information
- auteur
- Laurent Viennot
- article
- DocSciences, 2008, 5, pp.34-39
- Accès au texte intégral et bibtex
-
- titre
- On the Expressiveness and Complexity of ATL
- auteur
- François Laroussinie, Nicolas Markey, Ghassan Oreiby
- article
- Logical Methods in Computer Science, 2008, 4 (2\string:7), pp.1. ⟨10.2168/LMCS-4(2:7)2008⟩
- Accès au texte intégral et bibtex
-
- titre
- Overpartition pairs and two classes of basic hypergeomtric series
- auteur
- Jeremy Lovejoy, Olivier Mallet
- article
- Advances in Mathematics, 2008, 217 (1), pp.368-416
- Accès au bibtex
-
- titre
- Self-stabilization in preference-based systems
- auteur
- Fabien Mathieu
- article
- Peer-to-Peer Networking and Applications, 2008, 1 (2), pp.104--121. ⟨10.1007/s12083-008-0009-3⟩
- Accès au bibtex
-
- titre
- A Simple Linear Time LexBFS Cograph Recongition Algorithm
- auteur
- Anna Bretscher, Derek Corneil, Michel Habib, Christophe Paul
- article
- SIAM Journal on Discrete Mathematics, 2008, 22 (4), pp.1277-1296. ⟨10.1137/060664690⟩
- Accès au bibtex
-
- titre
- Rank differences for overpartitions
- auteur
- Jeremy Lovejoy, Robert Osburn
- article
- The Quarterly Journal of Mathematics, 2008, pp.257-273
- Accès au bibtex
-
- titre
- n-color overpartitions, twister divisor functions, and Rogers-Ramanujan identities
- auteur
- Jeremy Lovejoy, Olivier Mallet
- article
- South East Asian Journal of Mathematics and Mathematical Sciences, 2008, pp.23-36
- Accès au bibtex
-
- titre
- Some families of increasing planar maps
- auteur
- Marie Albenque, Jean-François Marckert
- article
- Electronic Journal of Probability, 2008, paper 56, 1624-1671
- Accès au texte intégral et bibtex
-
- titre
- Competitive Graph Searches
- auteur
- Binh-Minh Bui-Xuan, Michel Habib, Christophe Paul
- article
- Theoretical Computer Science, 2008, 393 (1-3), pp.72-80. ⟨10.1016/j.tcs.2007.10.048⟩
- Accès au bibtex
-
- titre
- Pattern Matching and Membership for Hierarchical Message Sequence Charts
- auteur
- Blaise Genest, Anca Muscholl
- article
- Theory of Computing Systems, 2008, 42 (4), pp.536--567
- Accès au bibtex
-
- titre
- Tree-Walking Automata Do Not Recognize All Regular Languages
- auteur
- Mikolaj Bojanczyk, Thomas Colcombet
- article
- SIAM Journal on Computing, 2008, 38 (2), pp.658-701. ⟨10.1137/050645427⟩
- Accès au bibtex
-
- titre
- An extension to overpartitions of the Rogers-Ramanujan identities for even moduli
- auteur
- Jeremy Lovejoy, Olivier Mallet, Corteel Sylvie
- article
- Journal of Number Theory, 2008, 128, pp.1602-1621
- Accès au bibtex
-
Communication dans un congrès
- titre
- Playing with Population Protocols
- auteur
- Olivier Bournez, Jérémie Chalopin, Johanne Cohen, Xavier Koegler
- article
- The Complexity of Simple Program, CSP'08, Dec 2008, Cork, Ireland
- Accès au bibtex
-
- titre
- The Nesting-Depth of Disjunctive mu-Calculus for Tree Languages and the Limitedness Problem
- auteur
- Thomas Colcombet, Christof Löding
- article
- CSL'08, Sep 2008, Bertinoro, Italy. pp.416-430, ⟨10.1007/978-3-540-87531-4⟩
- Accès au bibtex
-
- titre
- μ-Calculus Pushdown Module Checking with Imperfect State Information
- auteur
- Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre
- article
- Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC1, Foundations of Computer Science, Sep 2008, Milano, Italy. pp.333-348
- Accès au texte intégral et bibtex
-
- titre
- About 4-states Solutions to the Firing Squad Synchronization Problem
- auteur
- Jean-Baptiste Yunès, Naoki Kamikawa, Hiroshi Umeo
- article
- ACRI 2008, Sep 2008, Yokohama, Japan. pp.108-113, ⟨10.1007/978-3-540-79992-4_14⟩
- Accès au bibtex
-
- titre
- A robust class of regular languages
- auteur
- Antonio Cano Gómez, Jean-Eric Pin
- article
- MFCS 2008, Aug 2008, Torun, Poland. pp.36-51
- Accès au texte intégral et bibtex
-
- titre
- On the Locality of Distributed Sparse Spanner Construction
- auteur
- Cyril Gavoille, Bilel Derbel, David Peleg, Laurent Viennot
- article
- 27th Annual ACM Symposium on Principles of Distributed Computing (PODC), Aug 2008, Toronto, Canada. pp.273-282, ⟨10.1145/1400751.1400788⟩
- Accès au bibtex
-
- titre
- Improving the Quality of GNU/Linux Distributions
- auteur
- Roberto Di Cosmo, Berke Durak, Jaap Boender, Fabio Mancinelli, Jérôme Vouillon
- article
- COMPSAC, Jul 2008, Turku, France. pp.1240-1246, ⟨10.1109/COMPSAC.2008.226⟩
- Accès au bibtex
-
- titre
- The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata
- auteur
- Thomas Colcombet, Christof Löding
- article
- ICALP'08, Jul 2008, Reykjavik, Iceland. pp.398-409, ⟨10.1007/978-3-540-70583-3⟩
- Accès au bibtex
-
- titre
- Simple, Linear-Time Modular Decomposition
- auteur
- Marc Tedder, Derek Corneil, Michel Habib, Christophe Paul
- article
- ICALP: International Colloquium on Automata, Languages and Programming, Jul 2008, Reykjavik, Iceland. pp.634-645
- Accès au bibtex
-
- titre
- Duality and equational theory of regular languages
- auteur
- Mai Gehrke, Serge Grigorieff, Jean-Eric Pin
- article
- ICALP 2008, Jul 2008, Reykjavik, Iceland. pp.246-257
- Accès au texte intégral et bibtex
-
- titre
- Winning regions of higher-order pushdown games
- auteur
- Arnaud Carayol, Matthew Hague, Antoine Meyer, Luke Ong, Olivier Serre
- article
- Twenty-Third Annual IEEE Symposium on Logic in Computer Science (LICS 2008), Jun 2008, Pittsburgh, United States. pp.193-204
- Accès au texte intégral et bibtex
-
- titre
- Collapsible Pushdown Automata and Recursion Schemes
- auteur
- Matthew Hague, Andrzej Murawski, Luke Ong, Olivier Serre
- article
- Twenty-Third Annual IEEE Symposium on Logic in Computer Science (LICS 2008), Jun 2008, Pittsburgh, United States. pp.452-461
- Accès au texte intégral et bibtex
-
- titre
- Solving Simple Stochastic Games
- auteur
- Hugo Gimbert, Florian Horn
- article
- CIE 2008, Jun 2008, France. pp.206/209, ⟨10.1007/978-3-540-69407-6_24⟩
- Accès au texte intégral et bibtex
-
- titre
- On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata
- auteur
- Nutan Limaye, Meena Mahajan, Antoine Meyer
- article
- CSR 2008, Jun 2008, Moscow, Russia. p. 240-251, ⟨10.1007/978-3-540-79709-8_25⟩
- Accès au texte intégral et bibtex
-
- titre
- A family of smallest symmetrical four-state firing squad synchronization protocols for one-dimensional ring cellular automata
- auteur
- Hiroshi Umeo, Naoki Kamikawa, Jean-Baptiste Yunès
- article
- AUTOMATA 2008, Jun 2008, Bristol, United Kingdom. pp.174-185
- Accès au bibtex
-
- titre
- Polylogarithmic Network Navigability Using Compact Metrics with Small Stretch
- auteur
- Cyril Gavoille, Pierre Fraigniaud
- article
- 20th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), Munich, Allemagne, juin 2008, Jun 2008, Munich, Germany. pp.62-69, ⟨10.1145/1378533.1378542⟩
- Accès au bibtex
-
- titre
- Posets and Permutations in the duplication-loss model
- auteur
- Mathilde Bouvel, Elisa Pergola
- article
- GASCOM'08, Jun 2008, Bibbiena, Italy
- Accès au texte intégral et bibtex
-
- titre
- K-parmi-L exclusion auto-stabilisante
- auteur
- Stéphane Desvimes, Florian Horn, Ajoy Datta, Lawrence Larmore
- article
- 10èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications, May 2008, Saint-Malo, France. 4 p
- Accès au texte intégral et bibtex
-
- titre
- Construction locale de sous-graphes couvrants peu denses
- auteur
- Cyril Gavoille, Bilel Derbel, David Peleg, Laurent Viennot
- article
- 10ièmes Rencontres francophones sur les aspects algorithmiques des télécommunications (AlgoTel), Saint-Malo, France, 2008, May 2008, France. pp.105-108
- Accès au bibtex
-
- titre
- Election Robuste, Auto-Stabilisante et Efficace
- auteur
- Carole Delporte-Gallet, Stéphane Desvimes, Hugues Fauconnier
- article
- 10èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications, May 2008, Saint-Malo, France
- Accès au texte intégral et bibtex
-
- titre
- Goto's construction and Pascal's triangle: new insights into cellular automata synchronization
- auteur
- Jean-Baptiste Yunès
- article
- JAC 2008, Apr 2008, Uzès, France. pp.195-203
- Accès au texte intégral et bibtex
-
- titre
- The Inframetric Model for the Internet
- auteur
- Pierre Fraigniaud, Emmanuelle Lebhar, Laurent Viennot
- article
- 27th IEEE International Conference on Computer Communications (INFOCOM), Apr 2008, Phoenix, United States. pp.1085-1093, ⟨10.1109/INFOCOM.2008.163⟩
- Accès au texte intégral et bibtex
-
- titre
- A Representation Theorem for Union-Difference Families and Application
- auteur
- Binh-Minh Bui-Xuan, Michel Habib
- article
- LATIN: Latin American Symposium, Apr 2008, Búzios, Brazil. pp.492-503, ⟨10.1007/978-3-540-78773-0_43⟩
- Accès au texte intégral et bibtex
-
- titre
- Achievable Catalog Size in Peer-to-Peer Video-on-Demand Systems
- auteur
- Yacine Boufkhad, Fabien Mathieu, Fabien de Montgolfier, Diego Perino, Laurent Viennot
- article
- Proceedings of the 7th Internnational Workshop on Peer-to-Peer Systems (IPTPS), Feb 2008, Tampa Bay, United States. pp.1-6
- Accès au texte intégral et bibtex
-
- titre
- A Mahler's theorem for functions from words to integers
- auteur
- Jean-Eric Pin, Pedro Silva
- article
- STACS 2008, Feb 2008, Bordeaux, France. pp.585-596
- Accès au texte intégral et bibtex
-
- titre
- L(2,1)-labelling of graphs
- auteur
- Frédéric Havet, Bruce Reed, Jean-Sébastien Sereni
- article
- ACM-SIAM symposium on Discrete algorithms (SODA 2008), Jan 2008, San Francisco, California, United States. pp.621-630
- Accès au texte intégral et bibtex
-
- titre
- Non-clairvoyant scheduling with precedence constraints
- auteur
- Robert Julien, Nicolas Schabanel
- article
- Proc. of ACM/SIAM Symp. On Discrete Algorithms (SODA), Jan 2008, France. pp.491-500
- Accès au bibtex
-
- titre
- When does partial commutative closure preserve regularity?
- auteur
- Antonio Cano Gómez, Giovanna Guaiana, Jean-Eric Pin
- article
- ICALP 2008, 2008, Reykjavik, Iceland. pp.209-220
- Accès au texte intégral et bibtex
-
- titre
- Representation theorems for two set families and applications to combinatorial decompositions
- auteur
- Binh-Minh Bui-Xuan, Michel Habib, Michaël Rao
- article
- International Conference on Relations, Orders and Graphs: Interaction with Computer Science (ROGICS'08), 2008, Mahdia, Tunisia. pp.532-546
- Accès au bibtex
-
- titre
- A Mahler's theorem for functions from words to integers
- auteur
- Jean-Eric Pin, Pedro Silva
- article
- 25th International Symposium on Theoretical Aspects of Computer Science (STACS 2008), 2008, Bordeaux, France. pp.585-596
- Accès au texte intégral et bibtex
-
- titre
- $n$-color overpartitions, lattice paths, and multiple basic hypergeometric series
- auteur
- Olivier Mallet
- article
- 20th Annual International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008), 2008, Viña del Mar, Chile. pp.343-356, ⟨10.46298/dmtcs.3643⟩
- Accès au texte intégral et bibtex
-
- titre
- Hopcroft's automaton minimization algorithm and Sturmian words
- auteur
- Jean Berstel, Luc Boasson, Olivier Carton
- article
- Fifth Colloquium on Mathematics and Computer Science, 2008, Kiel, Germany. pp.351-362, ⟨10.46298/dmtcs.3576⟩
- Accès au texte intégral et bibtex
-
- titre
- Tree Pattern Rewriting Systems
- auteur
- Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun
- article
- Automated Technology for Verification and Analysis, 2008, Séoul, South Korea. pp.332-346, ⟨10.1007/978-3-540-88387-6_29⟩
- Accès au texte intégral et bibtex
-
- titre
- On square permutations
- auteur
- Enrica Duchi, Dominique Poulalhon
- article
- Fifth Colloquium on Mathematics and Computer Science, 2008, Kiel, Germany. pp.207-222, ⟨10.46298/dmtcs.3565⟩
- Accès au texte intégral et bibtex
-
- titre
- Le modèle Inframétrique pour Internet
- auteur
- Pierre Fraigniaud, Emmanuelle Lebhar, Laurent Viennot
- article
- 10ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel'08), 2008, Saint-Malo, France. pp.73-76
- Accès au texte intégral et bibtex
-
Autre publication scientifique
- titre
- Consensus is Easier Than Reliable Broadcast
- auteur
- Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit, Sam Toueg
- article
- 2008
- Accès au texte intégral et bibtex
-
- titre
- On the Locality of Distributed Sparse Spanner Construction
- auteur
- Bilel Derbel, Cyril Gavoille, David Peleg, Laurent Viennot
- article
- 2008
- Accès au bibtex
-
Rapport
- titre
- Optimal routing for end-to-end guarantees using Network Calculus
- auteur
- Anne Bouillard, Bruno Gaujal, Sébastien Lagrange, Eric Thierry
- article
- [Research Report] RR-6423, INRIA. 2008, pp.20
- Accès au texte intégral et bibtex
-
- titre
- Scalable Distributed Video-on-Demand: Theoretical Bounds and Practical Algorithms
- auteur
- Laurent Viennot, Yacine Boufkhad, Fabien Mathieu, Fabien de Montgolfier, Diego Perino
- article
- [Research Report] RR-6496, INRIA. 2008, pp.19
- Accès au texte intégral et bibtex
-
- titre
- Early Experiences in Traffic Engineering Exploiting Path Diversity: A Practical Approach
- auteur
- Luca Muscariello, Diego Perino
- article
- [Research Report] RR-6474, INRIA. 2008, pp.21
- Accès au texte intégral et bibtex
-
- titre
- From Random Graph to Small World by Wandering
- auteur
- Bruno Gaume, Fabien Mathieu
- article
- [Research Report] RR-6489, INRIA. 2008, pp.11
- Accès au texte intégral et bibtex
-
- titre
- Remote-Spanners: What to Know beyond Neighbors
- auteur
- Philippe Jacquet, Laurent Viennot
- article
- [Research Report] RR-6679, INRIA. 2008, pp.22
- Accès au texte intégral et bibtex
-
- titre
- Networks Become Navigable as Nodes Move and Forget
- auteur
- Augustin Chaintreau, Pierre Fraigniaud, Emmanuelle Lebhar
- article
- [Research Report] 2008, pp.19
- Accès au texte intégral et bibtex
-
- titre
- The stable configuration in acyclic preference-based systems
- auteur
- Fabien Mathieu, Gheorghe Postelnicu, Julien Reynier
- article
- [Research Report] RR-6628, INRIA. 2008, pp.26
- Accès au texte intégral et bibtex
-
- titre
- Routing Reconfiguration/Process Number: Coping wih Two Classes of Services
- auteur
- David Coudert, Florian Huc, Dorian Mazauric, Nicolas Nisse, Jean-Sébastien Sereni
- article
- [Research Report] RR-6698, INRIA. 2008, pp.15
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Autour des surpartitions et des identités de type Rogers-Ramanujan
- auteur
- Olivier Mallet
- article
- Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2008. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- On some simplicial elimination schemes for chordal graphs
- auteur
- Michel Habib, Vincent Limouzy
- article
- 2008
- Accès au texte intégral et bibtex
-
- titre
- Self-stabilizing K-out-of-L exclusion on tree network
- auteur
- Ajoy Datta, Stéphane Devismes, Florian Horn, Lawrence Larmore
- article
- 2008
- Accès au texte intégral et bibtex
-
- titre
- Optimal Strategies in Perfect-Information Stochastic Games with Tail Winning Conditions
- auteur
- Hugo Gimbert, Florian Horn
- article
- 2008
- Accès au texte intégral et bibtex
-
- titre
- End-to-end performance guarantees for multipath flows
- auteur
- Anne Bouillard, Laurent Jouhet, Eric Thierry
- article
- 2008
- Accès au texte intégral et bibtex
-
- titre
- Computation of a (min,+) multi-dimensional convolution for end-to-end performance analyzes
- auteur
- Anne Bouillard, Laurent Jouhet, Eric Thierry
- article
- 2008
- Accès au texte intégral et bibtex
-
- titre
- Simple Algorithm for Simple Timed Games
- auteur
- Yasmina Abdeddaim, Eugene Asarin, Mihaela Sighireanu
- article
- 2008
- Accès au texte intégral et bibtex
-
- titre
- Stochastic Minority on Graphs
- auteur
- Damien Regnault, Jean-Baptiste Rouquier, Eric Thierry
- article
- 2008
- Accès au texte intégral et bibtex
-
- titre
- The complexity of embedding orders into small products of chains
- auteur
- Olivier Raynaud, Eric Thierry
- article
- 2008
- Accès au texte intégral et bibtex
-
- titre
- The Stength of Weak cooperation: A Case Study on Flickr
- auteur
- Christophe Prieur, Dominique Cardon, Jean-Samuel Beuscart, Nicolas Pissard, Pascal Pons
- article
- 2008
- Accès au texte intégral et bibtex
-
- titre
- The Weakest Failure Detector for Set-Agreement in Message-Passing Networks
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Andreas Tielmann
- article
- 2008
- Accès au texte intégral et bibtex
-
- titre
- Accord et cohérence sans connaître le nombre de participants
- auteur
- Mohssen Abboud, Carole Delporte-Gallet, Hugues Fauconnier
- article
- 2008
- Accès au texte intégral et bibtex
-
2007
Article dans une revue
- titre
- Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted game
- auteur
- Hugo Gimbert, Wieslaw Zielonka
- article
- Texts in Logic and Games, 2007, 2, pp.331-356
- Accès au texte intégral et bibtex
-
- titre
- A Logic of Reachable Patterns in Linked Data-Structures
- auteur
- Greta Yorsh, Alexander Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
- article
- Journal of Logic and Algebraic Programming, 2007, 73 (1-2), p. 111-142. ⟨10.1016/j.jlap.2006.12.001⟩
- Accès au texte intégral et bibtex
-
- titre
- MSOL partitioning problems on graphs of bounded treewidth and clique-width
- auteur
- Michaël Rao
- article
- Theoretical Computer Science, 2007, 377, pp.260-267. ⟨10.1016/j.tcs.2007.03.043⟩
- Accès au bibtex
-
- titre
- What is the real size of a sampled network? The case of the Internet
- auteur
- Fabien Viger, Alain Barrat, Luca Dall'Asta, Cun-Hui Zhang, Eric D. Kolaczyk
- article
- Physical Review E : Statistical, Nonlinear, and Soft Matter Physics, 2007, 75, pp.056111. ⟨10.1103/PhysRevE.75.056111⟩
- Accès au bibtex
-
- titre
- Propositional Dynamic Logic with Recursive Programs
- auteur
- Christof Loeding, Carsten Lutz, Olivier Serre
- article
- Journal of Logic and Algebraic Programming, 2007, 73 (1-2), pp.51-69. ⟨10.1016/j.jlap.2006.11.003⟩
- Accès au texte intégral et bibtex
-
- titre
- Dicing on the Streett
- auteur
- Florian Horn
- article
- Information Processing Letters, 2007, 104 (1), pp.1-9. ⟨10.1016/j.ipl.2007.04.010⟩
- Accès au bibtex
-
- titre
- Mahler's expansion and boolean functions
- auteur
- Jean-Baptiste Yunès, Jean-Francis Michon, Pierre Valarcher
- article
- Journal of Integer Sequences, 2007, 10 (3), pp.07.3.4
- Accès au bibtex
-
- titre
- Infinite special branches in words associated with beta-expansions
- auteur
- Christiane Frougny, Zuzana Masáková, Edita Pelantová
- article
- Discrete Mathematics and Theoretical Computer Science, 2007, Vol. 9 no. 2 (2), pp.125-144. ⟨10.46298/dmtcs.415⟩
- Accès au texte intégral et bibtex
-
- titre
- The Minimum Feedback Arc Set Problem is NP-hard for Tournaments
- auteur
- Pierre Charbit, Stéphan Thomassé, Anders Yeo
- article
- Combinatorics, Probability and Computing, 2007, 16, pp.01-04. ⟨10.1017/S0963548306007887⟩
- Accès au texte intégral et bibtex
-
- titre
- Dyson's rank, overpartitions, and weak Maass forms
- auteur
- Jeremy Lovejoy, Kathrin Bringmann
- article
- International Mathematics Research Notices, 2007, pp.Articel ID rnm063
- Accès au bibtex
-
- titre
- On alpha-adic expansions in Pisot bases
- auteur
- Petr Ambrož, Christiane Frougny
- article
- Theoretical Computer Science, 2007, 380, pp.238-250
- Accès au bibtex
-
- titre
- On univoque Pisot numbers
- auteur
- Jean-Paul Allouche, Christiane Frougny, Kevin G. Hare
- article
- Mathematics of Computation, 2007, 76, pp.1639-1660
- Accès au bibtex
-
- titre
- The growth ratio of synchronous rational relations is unique
- auteur
- Olivier Carton
- article
- Theoretical Computer Science, 2007, 376, pp.52-59
- Accès au texte intégral et bibtex
-
- titre
- Minimization of circuit registers: retiming revisited
- auteur
- Bruno Gaujal, Jean Mairesse
- article
- Discrete Applied Mathematics, 2007
- Accès au texte intégral et bibtex
-
- titre
- Permutation Rewriting and Algorithmic Verification.
- auteur
- Ahmed Bouajjani, Anca Muscholl, Tayssir Touili
- article
- Information and Computation, 2007, Volume 205, Issue 2 February 2007, p. 199-224
- Accès au bibtex
-
- titre
- Algorithmic Analysis of Polygonal Hybrid Systems, Part I: Reachability
- auteur
- Eugene Asarin, Gerardo Schneider, Sergio Yovine
- article
- Theoretical Computer Science, 2007, 379 (1-2), pp.231-265. ⟨10.1016/j.tcs.2007.03.055⟩
- Accès au bibtex
-
- titre
- Partitions and overpartitions with attached parts
- auteur
- Jeremy Lovejoy
- article
- Archiv der Mathematik, 2007, 88 (4), pp.316-322
- Accès au bibtex
-
- titre
- Graphs with Large Girth Not Embeddable in the Sphere
- auteur
- Pierre Charbit, Stéphan Thomassé
- article
- Combinatorics, Probability and Computing, 2007, 16 (6), pp.829-832. ⟨10.1017/S0963548307008528⟩
- Accès au texte intégral et bibtex
-
- titre
- Complementation of Rational sets on Scattered Linear Orderings of Finite Rank
- auteur
- Olivier Carton, Chloé Rispal
- article
- Theoretical Computer Science, 2007, 382 (2), pp.109-119. ⟨10.1016/j.tcs.2007.03.008⟩
- Accès au texte intégral et bibtex
-
- titre
- Automata on linear orderings
- auteur
- Véronique Bruyère, Olivier Carton
- article
- Journal of Computer and System Sciences, 2007, 73 (1), pp.1-24
- Accès au texte intégral et bibtex
-
- titre
- Random walks on free products of cyclic groups
- auteur
- Jean Mairesse, Frédéric Mathéus
- article
- Journal of the London Mathematical Society, 2007, 75 (1), pp.47-66. ⟨10.1112/jlms/jdl006⟩
- Accès au bibtex
-
- titre
- Dissections and trees, with applications to optimal mesh encoding and to random sampling
- auteur
- Eric Fusy, Dominique Poulalhon, Gilles Schaeffer
- article
- ACM Transactions on Algorithms, 2007, à paraître
- Accès au bibtex
-
- titre
- Hybridization methods for the analysis of nonlinear systems
- auteur
- Eugene Asarin, Thao Dang, Antoine Girard
- article
- Acta Informatica, 2007, 43 (7), pp.451-476. ⟨10.1007/s00236-006-0035-7⟩
- Accès au bibtex
-
- titre
- Zero-automatic queues and product form
- auteur
- Thu-Ha Dao-Thi, Jean Mairesse
- article
- Advances in Applied Probability, 2007, 39 (2), pp.429-461
- Accès au texte intégral et bibtex
-
- titre
- Routage dans les petits mondes
- auteur
- Emmanuelle Lebhar, Nicolas Schabanel
- article
- Interstices, 2007
- Accès au bibtex
-
- titre
- Randomly growing braid on three strands and the manta ray
- auteur
- Jean Mairesse, Frédéric Mathéus
- article
- Annals of Applied Probability, 2007, 17 (2), pp.502-536. ⟨10.1214/105051606000000754⟩
- Accès au bibtex
-
- titre
- Powers of rationals modulo 1 and rational base number systems
- auteur
- Shigeki Akiyama, Christiane Frougny, Jacques Sakarovitch
- article
- Israel Journal of Mathematics, 2007, pp.1-30
- Accès au bibtex
-
- titre
- Algorithmic Analysis of Polygonal Hybrid Systems, Part II: Phase Portrait and Tools
- auteur
- Eugene Asarin, Gordon Pace, Gerardo Schneider, Sergio Yovine
- article
- Theoretical Computer Science, 2007, To appear. Manuscript Number: TCS-D-07-00065R1
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Unifying Two Graph Decompositions with Modular Decomposition
- auteur
- Binh-Minh Bui-Xuan, Michel Habib, Vincent Limouzy, Fabien de Montgolfier
- article
- ISAAC'07: 18th International Symposium on Algorithms and Computation, Dec 2007, Sendai, Japan. pp.52-64, ⟨10.1007/978-3-540-77120-3_7⟩
- Accès au bibtex
-
- titre
- Unifying two Graph Decompositions with Modular Decomposition
- auteur
- Binh-Minh Bui-Xuan, Michel Habib, Vincent Limouzy, Fabien de Montgolfier
- article
- International Symposium on Algorithms and Computation (ISAAC, Dec 2007, Sendai, Japan. pp.52-64, ⟨10.1007/978-3-540-77120-3⟩
- Accès au texte intégral et bibtex
-
- titre
- Automatic Optimisation of Reliable Collaborative Services in OLSR Mobile Ad Hoc Networks
- auteur
- Christophe Guettier, Philippe Jacquet, Laurent Viennot, Jacques Yelloz
- article
- Proceedings of IEEE MILCOM: Military Commununications Conference, Oct 2007, Orlando, United States. pp.1-7, ⟨10.1109/MILCOM.2007.4454993⟩
- Accès au texte intégral et bibtex
-
- titre
- Non-Clairvoyant Batch Set Scheduling: Fairness is Fair enough
- auteur
- Nicolas Schabanel
- article
- European Symposium on Algorithms (ESA), Oct 2007, Israel. pp.741-753
- Accès au bibtex
-
- titre
- Planning Robust Temporal Plans A Comparison Between CBTP and TGA Approaches
- auteur
- Yasmina Abdeddaim, Eugene Asarin, Matthieu Gallien, Félix Ingrand, Charles Lesire, Mihaela Sighireanu
- article
- International Conference on Automated Planning and Scheduling, Sep 2007, Providence, Rhode Island, United States. pp.2-9
- Accès au texte intégral et bibtex
-
- titre
- Self-Stabilization in Preference-Based Networks
- auteur
- Fabien Mathieu
- article
- P2P 2007 - Seventh IEEE International Conference on Peer-to-Peer Computing, Sep 2007, Galway, Ireland. pp.203 -210, ⟨10.1109/P2P.2007.16⟩
- Accès au bibtex
-
- titre
- Simple new algorithm which solve the FSSP: a 4n-steps 7-states solution
- auteur
- Jean-Baptiste Yunès
- article
- Machines, Computations and Universality. MCU 2007, Sep 2007, Orléans, France. pp.316-324, ⟨10.1007/978-3-540-74593-8_27⟩
- Accès au bibtex
-
- titre
- Bijective combinatorics of a certain class of monoids
- auteur
- Marie Albenque
- article
- Eurocomb 2007, Sep 2007, Seville, Spain. pp.225-229, ⟨10.1016/j.endm.2007.07.038⟩
- Accès au texte intégral et bibtex
-
- titre
- Acyclic Preference Systems in P2P Networks
- auteur
- Anh-Tuan Gai, Dmitry Lebedev, Fabien Mathieu, Fabien de Montgolfier, Julien Reynier, Laurent Viennot
- article
- Proceedings of the 13th International Euro-Par Conference - Euro-Par 2007, Aug 2007, Rennes, France. pp.825-834, ⟨10.1007/978-3-540-74466-5_88⟩
- Accès au texte intégral et bibtex
-
- titre
- Known CA synchronizers made insensitive to the initial state of the initiator
- auteur
- Jean-Baptiste Yunès
- article
- AUTOMATA 2007, Aug 2007, Toronto, Canada. pp.147-158
- Accès au bibtex
-
- titre
- Traces of Term-Automatic Graphs
- auteur
- Antoine Meyer
- article
- Mathematical Foundations of Computer Science (MFCS), Aug 2007, Cesky Krumlov, Poland. p. 489-500, ⟨10.1007/978-3-540-74456-6_44⟩
- Accès au texte intégral et bibtex
-
- titre
- Complexity of pebble tree-walking automata
- auteur
- Mathias Samuelides, Luc Segoufin
- article
- 16th International Symposium on Fundamentals of Computation Theory, Aug 2007, Budapest, Hungary
- Accès au texte intégral et bibtex
-
- titre
- New extensions to some firing squad synchronization solutions
- auteur
- Jean-Baptiste Yunès
- article
- AUTOMATA 2007, Aug 2007, Toronto, Canada
- Accès au bibtex
-
- titre
- Rewriting Systems with Data
- auteur
- Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu
- article
- International Symposium on Fundamentals of Computation Theory, Aug 2007, Budapest, Hungary. pp.1-22
- Accès au bibtex
-
- titre
- Limits of Multi-Discounted Markov Decision Processes
- auteur
- Hugo Gimbert, Wieslaw Zielonka
- article
- LICS 07, Jul 2007, Wroclaw, Poland. pp.89-98, ⟨10.1109/LICS.2007.28⟩
- Accès au texte intégral et bibtex
-
- titre
- Perfect Information Stochastic Priority Games
- auteur
- Hugo Gimbert, Wieslaw Zielonka
- article
- ICALP 07, Jul 2007, Wroclaw, Poland. pp.850-861, ⟨10.1007/978-3-540-73420-8_73⟩
- Accès au texte intégral et bibtex
-
- titre
- Attenuation Regulation as a Term Rewriting System
- auteur
- Eugene Asarin, Thierry Cachat, Alexander Seliverstov, Tayssir Touili, Vassily Lyubetsky
- article
- Conference on Algebraic Biology, AB'07, Jul 2007, Castle of Hagenberg (Linz), Austria. pp.81-94
- Accès au texte intégral et bibtex
-
- titre
- SPADE: Verification of Multithreaded Dynamic and Recursive Programs
- auteur
- Gael Patin, Mihaela Sighireanu, Tayssir Touili
- article
- 19th International Conference in Computer Aided Verification, Jul 2007, Berlin, Germany. pp.254-257
- Accès au texte intégral et bibtex
-
- titre
- Distributed Computing with Advice: Information Sensitivity of Graph Coloring
- auteur
- Pierre Fraigniaud, Cyril Gavoille, David Ilcinkas, Andrzej Pelc
- article
- ICALP 2007, Jul 2007, Wrocław, Poland. pp.231-242, ⟨10.1007/978-3-540-73420-8_22⟩
- Accès au texte intégral et bibtex
-
- titre
- Revisiting existing solutions to the firing squad synchronization problem
- auteur
- Jean-Baptiste Yunès
- article
- WSDC'07 Workshop on Symbolic Dynamics and Coding, Jul 2007, Marne-la-vallée, France
- Accès au bibtex
-
- titre
- NLC-2 graph recognition and isomorphism
- auteur
- Vincent Limouzy, Fabien de Montgolfier, Michaël Rao
- article
- Graph-Theoretic Concepts in Computer Science 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007., Jun 2007, Dornburg, Germany. pp.86-98, ⟨10.1007/978-3-540-74839-7_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Local MST computation with short advice
- auteur
- Pierre Fraigniaud, Amos Korman, Emmanuelle Lebhar
- article
- ACM Symposium on Parallel Algorithms and Architectures, Jun 2007, San Diego, United States. pp.154
- Accès au texte intégral et bibtex
-
- titre
- Minimal weight expansions in some Pisot bases,
- auteur
- Christiane Frougny, Wolfgang Steiner
- article
- AutoMathA, Jun 2007, Palerme, Italy
- Accès au bibtex
-
- titre
- On restrictions of balanced 2-interval graphs
- auteur
- Philippe Gambette, Stéphane Vialette
- article
- 33rd International Workshop on Graph-Theoretic Concepts in Computer Science (WG'07), ?, Jun 2007, Dornburg, Germany. pp.55-65, ⟨10.1007/978-3-540-74839-7_6⟩
- Accès au texte intégral et bibtex
-
- titre
- Bi-connexité, k-connexité et multipoints relais
- auteur
- Laurent Viennot, Philippe Jacquet
- article
- 9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2007, Ile d'Oléron, France. pp.9-12
- Accès au texte intégral et bibtex
-
- titre
- A propos des schémas d'augmentation universels pour la navigation dans les réseaux
- auteur
- Pierre Fraigniaud, Cyril Gavoille, Adrian Kosowski, Emmanuelle Lebhar, Zvi Lotker
- article
- 9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2007, Ile d'Oléron, France. pp.23-26
- Accès au texte intégral et bibtex
-
- titre
- Faster Algorithms for Finitary Games
- auteur
- Florian Horn
- article
- Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Apr 2007, Braga, Portugal. pp.472-484, ⟨10.1007/978-3-540-71209-1_36⟩
- Accès au bibtex
-
- titre
- A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
- auteur
- Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu
- article
- Mar 2007, pp.690-705
- Accès au bibtex
-
- titre
- A first investigation of sturmian trees
- auteur
- Jean Berstel, Luc Boasson, Olivier Carton, Isabelle Fagnot
- article
- A first investigation of sturmian trees, Feb 2007, Aachen (Aix la Chapelle), Germany. pp.73-84, ⟨10.1007/978-3-540-70918-3_7⟩
- Accès au texte intégral et bibtex
-
- titre
- Réseaux de capteurs avec détecteurs de collision
- auteur
- Mohssen Abboud, Carole Delporte-Gallet, Hugues Fauconnier
- article
- 8èmes Journées Doctorales en Informatique et Réseaux, JDIR'2007, Jan 2007, Marne-la-Vallée, France. pp.29-34
- Accès au texte intégral et bibtex
-
- titre
- Pull-based data broadcast with dependencies: be fair to users, not to items
- auteur
- Nicolas Schabanel
- article
- Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Jan 2007, United States. pp.238-247
- Accès au bibtex
-
- titre
- Longest Common Separable Pattern between Permutations
- auteur
- Mathilde Bouvel, Dominique Rossin, Stéphane Vialette
- article
- Combinatorial Pattern Matching, 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, 2007, London, Canada. pp.316-327
- Accès au texte intégral et bibtex
-
- titre
- Abstractions of Multi-agent Systems
- auteur
- Constantin Enea, Catalin Dima
- article
- Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings, 2007, Unknown, Unknown Region. pp.11--21, ⟨10.1007/978-3-540-75254-7_2⟩
- Accès au bibtex
-
- titre
- On Using Matching Theory to Understand P2P Network Design
- auteur
- Dmitry Lebedev, Fabien Mathieu, Laurent Viennot, Anh-Tuan Gai, Julien Reynier, Fabien de Montgolfier
- article
- INOC 2007, International Network Optimization Conference, 2007, Spa, Belgium
- Accès au texte intégral et bibtex
-
- titre
- Bijective counting of plane bipolar orientations
- auteur
- Eric Fusy, Dominique Poulalhon, Gilles Schaeffer
- article
- European Conference on Combinatorics, Graph Theory and Applications (EuroComb), 2007, Malaga, Spain. pp.283-287
- Accès au bibtex
-
- titre
- Abstract Error Projection
- auteur
- Akash Lal, Nicholas Kidd, Tom Reps, Tayssir Touili
- article
- 2007, pp.100-115
- Accès au bibtex
-
- titre
- NLC-2 graph recognition and isomorphism
- auteur
- Vincent Limouzy, Fabien de Montgolfier, Michael Rao
- article
- WG'07, 33rd International Workshop on Graph-Theoretic Concepts in Computer Science, 2007, Jena, Germany
- Accès au texte intégral et bibtex
-
- titre
- Detecting induced subgraphs
- auteur
- Nicolas Trotignon, Benjamin Lévêque, David Y. Lin, Frédéric Maffray
- article
- EUROCOMB'07, 2007, Seville, Spain. pp.207--211
- Accès au bibtex
-
- titre
- Bijective combinatorics of positive braids
- auteur
- Marie Albenque
- article
- Eurocomb 2007, 2007, Spain. pp.0
- Accès au bibtex
-
- titre
- Upper bounds for stabilization in acyclic preference-based systems
- auteur
- Fabien Mathieu
- article
- SSS'07 - 9th international conference on Stabilization, Safety, and Security of Distributed Systems, 2007, Paris, France. pp.372--382
- Accès au texte intégral et bibtex
-
- titre
- Stratification in P2P networks, Application to BitTorrent
- auteur
- Anh-Tuan Gai, Fabien Mathieu, Fabien de Montgolfier, Julien Reynier
- article
- ICDCS'07, International Conference on Distributed Computing Systems 2007, 2007, Toronto, Canada
- Accès au texte intégral et bibtex
-
- titre
- Computing Transitive Closures of Hedge Transformations.
- auteur
- Tayssir Touili
- article
- 2007, pp.50-65
- Accès au bibtex
-
- titre
- Clock Synchronization in the Byzantine-Recovery Failure Model
- auteur
- Emmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, Michel Hurfin, Josef Widder
- article
- OPODIS, 2007, Pointe-à-Pitre, France
- Accès au texte intégral et bibtex
-
- titre
- Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability
- auteur
- Catalin Dima, Constantin Enea, Radu Gramatovici, Alexandru Sofronia
- article
- Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007, 2007, Unknown, Unknown Region. pp.33--40, ⟨10.1109/SYNASC.2007.67⟩
- Accès au bibtex
-
- titre
- Random Web Crawls
- auteur
- Toufik Bennouas, Fabien de Montgolfier
- article
- 16th international conference on World Wide Web, WWW 2007, 2007, Banff, Canada. pp.451-460
- Accès au texte intégral et bibtex
-
- titre
- Universal augmentation schemes for network navigability: overcoming the $\sqrt n$-barrier
- auteur
- Pierre Fraigniaud, Cyril Gavoille, Adrian Kosowski, Emmanuelle Lebhar, Zvi Lotker
- article
- nineteenth annual ACM symposium on parallelism and architectures, 2007, San Diego, California, United States. pp.1-7
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- Logical Theories and Compatible Operations
- auteur
- Achim Blumensath, Thomas Colcombet, Christof Löding
- article
- Erich Grädel, Jörg Flum, Thomas Wilke. Logic and Automata: History and Perspectives, Amsterdam University Press, pp.75 - 109, 2007, Texts in Logic and Games 2
- Accès au bibtex
-
- titre
- Automata and semigroups recognizing infinite words
- auteur
- Olivier Carton, Dominique Perrin, Jean-Eric Pin
- article
- J. Flum, E. Grädel and T. Wilke. Logic and Automata, History and perspectives, Amsterdam University Press, pp.585-596, 2007
- Accès au texte intégral et bibtex
-
- titre
- Non-standard number representation: computer arithmetic, beta-numeration and quasicrystals
- auteur
- Christiane Frougny
- article
- J.P. Gazeau, J. Nesestril and B. Rovan. Physics and Theoretical Computer Science, IOS Press, pp.155-169, 2007
- Accès au bibtex
-
HDR
- titre
- Automates Cellulaires; Fonctions Booléennes
- auteur
- Jean-Baptiste Yunès
- article
- Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2007
- Accès au texte intégral et bibtex
-
Autre publication scientifique
- titre
- Behavioural and event-related potentials evidence for pitch discrimination deficits in dyslexic children: Improvement after intensive phonic intervention
- auteur
- Andreia Santos, Barbara Joly-Pottuz, Sylvain Moreno, Michel Habib, Mireille R Besson
- article
- 2007
- Accès au bibtex
-
Ouvrages
- titre
- Real numbers.
- auteur
- Vasco Brattka, Christiane Frougny, Norbert Mueller
- article
- EDP Sciences, pp.140, 2007
- Accès au bibtex
-
Rapport
- titre
- Representing Partitive Crossing Families and Union-Difference Families, with Application to Sesquimodular Decomposition
- auteur
- Binh-Minh Bui-Xuan, Michel Habib, Michaël Rao
- article
- RR-07031, 2007
- Accès au bibtex
-
- titre
- A Representation Theorem for union-difference Families and Application
- auteur
- Binh-Minh Bui-Xuan, Michel Habib
- article
- [Research Report] RR-07020, LIRMM. 2007
- Accès au texte intégral et bibtex
-
- titre
- A new tractable combinatorial decomposition
- auteur
- Binh-Minh Bui-Xuan, Michel Habib, Vincent Limouzy, Fabien de Montgolfier
- article
- RR-07016, 2007
- Accès au texte intégral et bibtex
-
- titre
- Les syndiqués en France, 1990-2006
- auteur
- Dominique Andolfatto, Dominique Labbé, Antoine Bevort, Christophe Cardot, Marina Casula, Thierry Choffat, Gilles Henry, Régis Matuszewicz, François Paccou, Pascal Pons, Aurélie Rey, Jean-Yves Sabot, Benoît Verrier
- article
- [Rapport de recherche] 2-902360-17-7, IRENEE; Nancy-Université; Pacte; Institut d’études politiques de Grenoble; Université Pierre-Mendès-France de Grenoble. 2007, 174 p
- Accès au texte intégral et bibtex
-
- titre
- Competitive Graph Searches
- auteur
- Binh-Minh Bui-Xuan, Michel Habib, Christophe Paul
- article
- RR-07017, 2007
- Accès au texte intégral et bibtex
-
- titre
- Bi-connectivity, k-connectivity and Multipoint Relays
- auteur
- Laurent Viennot, Philippe Jacquet
- article
- [Research Report] RR-6169, INRIA. 2007, pp.9
- Accès au texte intégral et bibtex
-
- titre
- Acyclic Preference Systems in P2P Networks
- auteur
- Anh-Tuan Gai, Dmitry Lebedev, Fabien Mathieu, Fabien de Montgolfier, Julien Reynier, Laurent Viennot
- article
- [Research Report] RR-6174, INRIA. 2007, pp.9
- Accès au texte intégral et bibtex
-
- titre
- Recovering the Long Range Links in Augmented Graphs
- auteur
- Pierre Fraigniaud, Emmanuelle Lebhar, Zvi Lotker
- article
- [Research Report] RR-6197, INRIA. 2007, pp.27
- Accès au texte intégral et bibtex
-
Thèse
- titre
- Automates d'arbres à jetons
- auteur
- Mathias Samuelides
- article
- Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2007. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Les files et les reseaux zero-automatiques
- auteur
- Thu Ha Dao Thi
- article
- Réseaux et télécommunications [cs.NI]. Université Paris-Diderot - Paris VII, 2007. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- A Note On Computing Set Overlap Classes
- auteur
- Pierre Charbit, Michel Habib, Vincent Limouzy, Fabien de Montgolfier, Mathieu Raffinot, Michaël Rao
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- Algorithmic Aspects of a General Modular Decomposition Theory
- auteur
- Binh-Minh Bui-Xuan, Michel Habib, Vincent Limouzy, Fabien de Montgolfier
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- On implementing Omega in systems with weak reliability and synchrony a ssumptions
- auteur
- Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- Automatic Transformations from Crash-Stop to Permanent Omission
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Felix Freiling, Lucia Draque Penso, Andreas Tielmann
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- Secretive Birds: Privacy in Population Protocols
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- Robust Stabilizing Leader Election
- auteur
- Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- Bidimensional Sand Pile and Ice Pile Models
- auteur
- Enrica Duchi, Roberto Mantaci, Ha Duong Phan, Dominique Rossin
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- A combinatorial approach to jumping particles: the parallel TASEP
- auteur
- Enrica Duchi, Gilles Schaeffer
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- Tree inclusions in windows and slices
- auteur
- Patrick Cegielski, Irene Guessarian
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- Inf-datalog, Modal Logic and Complexities
- auteur
- E. Foustoucos, Irene Guessarian
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- The Complexity of Games on Higher Order Pushdown Automata
- auteur
- Thierry Cachat, Igor Walukiewicz
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- New decompositions of 2-structures
- auteur
- Michael Rao
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- Tree inclusion problems
- auteur
- Patrick Cegielski, Irene Guessarian, Yuri Matiyasevich
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- Languages recognized by finite supersoluble groups
- auteur
- Olivier Carton, Jean-Eric Pin, Xaro Soler-Escrivà
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- Transforming Asynchronous Systems with Crash-Stop Failures and Failure Detectors to the General Omission model
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Felix Freiling, Lucia Draque Penso, Andreas Tielmann
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- Kolmogorov complexity in perspective.
- auteur
- Marie Ferbus-Zanda, Serge Grigorieff
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- Refinment of the "up to a constant" ordering using contructive co-immunity and alike. Application to the Min/Max hierarchy of Kolmogorov complexities.
- auteur
- Marie Ferbus-Zanda, Serge Grigorieff
- article
- 2007
- Accès au texte intégral et bibtex
-
2006
Article dans une revue
- titre
- Linearly bounded infinite graphs
- auteur
- Arnaud Carayol, Antoine Meyer
- article
- Acta Informatica, 2006, 43 (4), p. 265-292. ⟨10.1007/s00236-006-0022-z⟩
- Accès au texte intégral et bibtex
-
- titre
- Context-Sensitive Languages, Rational Graphs and Determinism
- auteur
- Arnaud Carayol, Antoine Meyer
- article
- Logical Methods in Computer Science, 2006, 2 (2), pp.6. ⟨10.2168/LMCS-2(2:6)2006⟩
- Accès au bibtex
-
- titre
- Separability of rational subsets by recognizable subsets is decidable in $A^*\times\N^m$
- auteur
- Christian Choffrut, Serge Grigorieff
- article
- Information Processing Letters, 2006, 99 (1), pp.27-32. ⟨10.1016/j.ipl.2005.09.018⟩
- Accès au bibtex
-
- titre
- Decision problems among the main subfamilies of rational relations
- auteur
- Christian Choffrut, Serge Grigorieff, Olivier Carton
- article
- RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2006, 40 (2), pp.255-276. ⟨10.1051/ita:2006005⟩
- Accès au bibtex
-
- titre
- Recognizing group languages with OBDDs
- auteur
- Christian Choffrut, Yael Haddad
- article
- Vietnam Journal of Mathematics, 2006, 34 (4), pp.369-379
- Accès au bibtex
-
- titre
- Local limit properties for pattern statistics and rational models
- auteur
- Christian Choffrut, Alberto Bertoni, Massimiliano Goldwurm, Violetta Lonati
- article
- Theory of Computing Systems, 2006, 39 (1), pp.209--235. ⟨10.1007/s00224-005-1265-8⟩
- Accès au bibtex
-
- titre
- A Cartesian closed category of event structures with quotients
- auteur
- Samy Abbes
- article
- Discrete Mathematics and Theoretical Computer Science, 2006, Vol. 8, pp.249--272. ⟨10.46298/dmtcs.374⟩
- Accès au texte intégral et bibtex
-
- titre
- Extremal throughputs in free-choice nets
- auteur
- Anne Bouillard, Bruno Gaujal, Jean Mairesse
- article
- Discrete Event Dynamic Systems, 2006, 16 (3), pp.327-352. ⟨10.1007/s10626-006-9326-y⟩
- Accès au texte intégral et bibtex
-
- titre
- Window Subsequence Problem for Compressed Texts
- auteur
- Patrick Cegielski, Irène Guessarian, Yuri Lifshits, Yuri Matiyasevich
- article
- Lecture Notes in Computer Science, 2006, 3697, pp.127-136
- Accès au bibtex
-
- titre
- Constant terms, jagged partitions, and partitions with difference two at distance two
- auteur
- Jeremy Lovejoy
- article
- Aequationes Mathematicae, 2006, 72, pp.299-312
- Accès au bibtex
-
- titre
- Active Context-Free Games
- auteur
- Anca Muscholl, Thomas Schwentick, Luc Segoufin
- article
- Theory of Computing Systems, 2006, 39 (1), pp.237--276
- Accès au texte intégral et bibtex
-
- titre
- A Translation of Pseudo Boolean Constraints to SAT
- auteur
- Olivier Bailleux, Yacine Boufkhad, Olivier Roussel
- article
- Journal on Satisfiability, Boolean Modeling and Computation, 2006, 2, pp.191-200
- Accès au bibtex
-
- titre
- Edit Distance between Unlabeled Ordered Trees
- auteur
- Anne Micheli, Dominique Rossin
- article
- RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2006, 40, pp.593-609
- Accès au texte intégral et bibtex
-
- titre
- Kolmogorov complexities Kmax, Kmin on computable partially ordered sets.
- auteur
- Marie Ferbus-Zanda, Serge Grigorieff
- article
- Theoretical Computer Science, 2006, 352, pp.159-180
- Accès au texte intégral et bibtex
-
- titre
- Time-stamps for Mazurkiewicz traces
- auteur
- Wieslaw Zielonka
- article
- Theoretical Computer Science, 2006, 356 (1-2), pp.255-262. ⟨10.1016/j.tcs.2006.01.026⟩
- Accès au bibtex
-
- titre
- Abstract Regular Tree Model Checking
- auteur
- Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomas Vojnar
- article
- Electronic Notes in Theoretical Computer Science, 2006, 149 (1), pp.37-48
- Accès au texte intégral et bibtex
-
- titre
- An iterative-bijective appraoch to generalizations of Schur's theorem
- auteur
- Jeremy Lovejoy, Corteel Sylvie
- article
- European Journal of Combinatorics, 2006, 27, pp.496-512
- Accès au bibtex
-
- titre
- Optimal Coding and Sampling of triangulations
- auteur
- Dominique Poulalhon, Gilles Schaeffer
- article
- Algorithmica, 2006, 46 (3-4), pp.505-527
- Accès au bibtex
-
- titre
- Planar graphs, via well-orderly maps and trees
- auteur
- Nicolas Bonichon, Cyril Gavoille, Nicolas Hanusse, Dominique Poulalhon, Gilles Schaeffer
- article
- Graphs and Combinatorics, 2006, 22 (2), pp.185-202
- Accès au bibtex
-
- titre
- Chip firing and vertex cover of squares of graphs
- auteur
- Dominique Rossin, Fedor V. Fomin
- article
- RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2006, To be published
- Accès au bibtex
-
- titre
- Actions, Wreath Products of C-varieties and Concatenation Product
- auteur
- Laura Chaubard, Jean-Eric Pin, Howard Straubing
- article
- Theoretical Computer Science, 2006, 356, pp.73-89
- Accès au texte intégral et bibtex
-
- titre
- Operations preserving recognizable languages
- auteur
- Jean Berstel, Luc Boasson, Olivier Carton, Bruno Petazzoni, Jean-Eric Pin
- article
- Theoretical Computer Science, 2006, 354, pp.405-420
- Accès au texte intégral et bibtex
-
- titre
- The Longest Common Pattern Problem for two Permutations
- auteur
- Dominique Rossin, Mathilde Bouvel
- article
- Pure Mathematics and Applications, 2006, 17 (1-2), pp.55-69
- Accès au texte intégral et bibtex
-
- titre
- Games with Winning Conditions of High Borel Complexity
- auteur
- Olivier Serre
- article
- Theoretical Computer Science, 2006, 350 (2-3), pp.345-372. ⟨10.1016/j.tcs.2005.10.024⟩
- Accès au texte intégral et bibtex
-
- titre
- Complementing deterministic tree-walking automata
- auteur
- Anca Muscholl, Mathias Samuelides, Luc Segoufin
- article
- Information Processing Letters, 2006, 99 (1), pp.33 - 39
- Accès au texte intégral et bibtex
-
- titre
- Set theoretical Representations of Integers, I.
- auteur
- Marie Ferbus-Zanda, Serge Grigorieff
- article
- Mathematical Logic Quaterly, 2006, 52 (N°4), pp.375-403. ⟨10.1002/malq.200510040⟩
- Accès au texte intégral et bibtex
-
- titre
- Scheduling with Timed Automata
- auteur
- Yasmina Abdeddaïm, Eugene Asarin, Oded Maler
- article
- Theoretical Computer Science, 2006, 354 (2), pp.272-300. ⟨10.1016/j.tcs.2005.11.018⟩
- Accès au bibtex
-
- titre
- Local Computations in Graphs: The Case of Cellular Edge Local Computations
- auteur
- Wieslaw Zielonka, Yves Métivier, Jérémie Chalopin
- article
- Fundamenta Informaticae, 2006, 74 (1), pp.85-114
- Accès au bibtex
-
- titre
- Remarks on a conjecture on certain integer sequences
- auteur
- Shigeki Akiyama, Horst Brunotte, Attila Petho, Wolfgang Steiner
- article
- Periodica Mathematica Hungarica, 2006, 52, pp.1-17
- Accès au texte intégral et bibtex
-
- titre
- Growth series for Artin groups of dihedral type
- auteur
- Jean Mairesse, Frédéric Mathéus
- article
- International Journal of Algebra and Computation, 2006, 16 (6), pp.1087-1107
- Accès au texte intégral et bibtex
-
- titre
- Finite-range topical functions and uniformly topical functions
- auteur
- Thierry Bousch, Jean Mairesse
- article
- Dynamical Systems An International Journal, 2006, 21 (1), pp.73-114
- Accès au bibtex
-
- titre
- Solvability of equations in graph groups is decidable
- auteur
- Volker Diekert, Anca Muscholl
- article
- International Journal of Algebra and Computation, 2006, 16 (6), pp.1047--1070
- Accès au bibtex
-
- titre
- Decision problems among the main subfamilies of rational relations
- auteur
- Olivier Carton, Christian Choffrut, Serge Grigorieff
- article
- RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2006, 40, pp.255--275
- Accès au bibtex
-
- titre
- Sequential ?
- auteur
- Sylvain Lombardy, Jacques Sakarovitch
- article
- Theoretical Computer Science, 2006, 356, pp.224 -- 244. ⟨10.1016/j.tcs.2006.01.028⟩
- Accès au bibtex
-
- titre
- Relevance of Massively Distributed Explorations of the Internet Topology: Qualitative Results
- auteur
- Jean-Loup Guillaume, Matthieu Latapy, Damien Magoni
- article
- Computer Networks, 2006, 50 (16), pp.3197-3224. ⟨10.1016/j.comnet.2005.12.010⟩
- Accès au texte intégral et bibtex
-
- titre
- Overpartition pairs
- auteur
- Jeremy Lovejoy
- article
- Annales de l'Institut Fourier, 2006, 56, pp.781-794
- Accès au bibtex
-
- titre
- Palindromic complexity of infinite words associated with simple Parry numbers
- auteur
- Petr Ambrož, Christiane Frougny, Zuzana Masáková, Edita Pelantova
- article
- Annales de l'Institut Fourier, 2006, 56, pp.2131-2160
- Accès au bibtex
-
- titre
- Infinite-state high-level MSCs: Model-checking and realizability
- auteur
- Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun
- article
- Journal of Computer and System Sciences, 2006, 72 (4), pp.617--647
- Accès au bibtex
-
- titre
- A Kleene theorem and model checking algorithms for existentially bounded communicating automata
- auteur
- Blaise Genest, Dietrich Kuske, Anca Muscholl
- article
- Information and Computation, 2006, 204 (6), pp.920--956
- Accès au bibtex
-
- titre
- Series which are both max-plus and min-plus rational are unambiguous
- auteur
- Sylvain Lombardy, Jean Mairesse
- article
- RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2006, 40, pp.1-14. ⟨10.1051/ita:2005042⟩
- Accès au texte intégral et bibtex
-
- titre
- Presentations of the Schützenberger product of n groups
- auteur
- Gracinda Gomes, Jean-Eric Pin, Helena Sezinando
- article
- Communications in Algebra, 2006, 340, pp.1213--1235
- Accès au texte intégral et bibtex
-
- titre
- A Kleene Theorem for Languages of Words Indexed by Linear Orderings
- auteur
- Alexis Bès, Olivier Carton
- article
- International Journal of Foundations of Computer Science, 2006, 17 (3), pp.519-542
- Accès au texte intégral et bibtex
-
- titre
- Multiple serial episodes matching
- auteur
- Irene Guessarian, Patrick Cegielski, Yuri Matiyasevich
- article
- Information Processing Letters, 2006, 98/6, pp.211-218
- Accès au bibtex
-
- titre
- Regularities of the distribution of beta-adic van der Corput sequences
- auteur
- Wolfgang Steiner
- article
- Monatshefte für Mathematik, 2006, 149, pp.67-81. ⟨10.1007/s00605-005-0370-8⟩
- Accès au texte intégral et bibtex
-
- titre
- Fault Tolerant Solutions to the Firing Squad Synchronization Problem in Linear Cellular Automata
- auteur
- Jean-Baptiste Yunès
- article
- Journal of Cellular Automata, 2006, 1, pp. 253-268
- Accès au bibtex
-
Communication dans un congrès
- titre
- Recent progress in continuous and hybrid reachability analysis
- auteur
- Eugene Asarin, Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic, Oded Maler
- article
- IEEE International Symposium on Computer-Aided Control Systems Design 2006, Oct 2006, Munich, Germany. pp.1582 - 1587, ⟨10.1109/CACSD-CCA-ISIC.2006.4776877⟩
- Accès au bibtex
-
- titre
- Zero-automatic networks
- auteur
- Thu-Ha Dao-Thi, Jean Mairesse
- article
- VALUETOOLS 2006, Oct 2006, Pisa, Italy. pp.3, ⟨10.1145/1190095.1190098⟩
- Accès au bibtex
-
- titre
- Avoiding traceroute anomalies with Paris traceroute
- auteur
- Brice Augustin, Xavier Cuvellier, Benjamin Orgogozo, Fabien Viger, Timur Friedman, Matthieu Latapy, Clémence Magnien, Renata Teixeira
- article
- IMC 2006 - 6th ACM Internet Measurement Conference, Oct 2006, Rio de Janeiro, Brazil. pp.153-158, ⟨10.1145/1177080.1177100⟩
- Accès au texte intégral et bibtex
-
- titre
- Managing the Complexity of Large Free and Open Source Package-Based Software Distributions
- auteur
- Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jérôme Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen
- article
- 21st IEEE/ACM International Conference on Automated Software Engineering, Sep 2006, Tokyo, Japan. pp.199-208, ⟨10.1109/ASE.2006.49⟩
- Accès au texte intégral et bibtex
-
- titre
- Some statistics on permutations avoiding generalized patterns
- auteur
- A. Bernini, M. Bouvel, L. Ferrari
- article
- GASCom 2006, Sep 2006, Dijon, France
- Accès au bibtex
-
- titre
- Programs with Lists are Counter Automata
- auteur
- Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomáš Vojnar
- article
- 18th International Conference on Computer Aided Verification (CAV 2006), Aug 2006, Seattle, WA, United States. pp.517-531, ⟨10.1007/11817963_47⟩
- Accès au texte intégral et bibtex
-
- titre
- Programs with Lists are Counter Automata
- auteur
- Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomas Vojnar
- article
- Computer Aided Verification, Aug 2006, Seattle, United States. pp.517-531
- Accès au texte intégral et bibtex
-
- titre
- When Birds Die: Making Population Protocols Fault-Tolerant
- auteur
- Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert
- article
- DCOSS, Jul 2006, San Fransisco, United States. pp.51-56
- Accès au bibtex
-
- titre
- Deterministic Priority Mean-payoff Games as Limits of Discounted Games
- auteur
- Hugo Gimbert, Wieslaw Zielonka
- article
- Automata, Languages and Programming, Jul 2006, Venice, Italy. pp.312-323, ⟨10.1007/11787006_27⟩
- Accès au texte intégral et bibtex
-
- titre
- Consensus with Byzantine Failures and Little System Synchrony.
- auteur
- Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
- article
- DSN, Jul 2006, Philadelphie, United States. pp.147-155
- Accès au bibtex
-
- titre
- Deterministic priority mean-payoff games as limits of discounted games
- auteur
- Hugo Gimbert, Wieslaw Zielonka
- article
- ICALP 06, Jun 2006, Venise, Italy. pp.312-323, ⟨10.1007/11787006_27⟩
- Accès au texte intégral et bibtex
-
- titre
- Context-Free Grammars and XML Languages
- auteur
- Christian Choffrut, Alberto Bertoni, Beatrice Palano
- article
- Developments in Language Theory, Jun 2006, santa barbara, United States. pp.108-119
- Accès au bibtex
-
- titre
- Homogeneity vs. Adjacency: generalising some graph decomposition algorithms
- auteur
- Binh-Minh Bui-Xuan, Michel Habib, Vincent Limouzy, Fabien de Montgolfier
- article
- WG: Graph-Theoretic Concepts in Computer Science, Jun 2006, Bergen, Norway. pp.278-288, ⟨10.1007/11917496_25⟩
- Accès au texte intégral et bibtex
-
- titre
- Conjugacy and Equivalence of Weighted Automata and Functional Transducers
- auteur
- Marie-Pierre Béal, Sylvain Lombardy, Jacques Sakarovitch
- article
- 1st International Computer Science Symposium in Russia (CSR 2006), Jun 2006, St. Petersburg, Russia. pp.58-69
- Accès au texte intégral et bibtex
-
- titre
- A Logic of Reachable Patterns in Linked Data-Structures
- auteur
- Greta Yorsh, Alexander Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
- article
- FOSSACS 2006, Mar 2006, Vienne, Austria. p. 94-110, ⟨10.1007/11690634_7⟩
- Accès au texte intégral et bibtex
-
- titre
- Missing Piece Issue and Upload Strategies in Flashcrowds and P2P-assisted Filesharing
- auteur
- Fabien Mathieu, Julien Reynier
- article
- AICT-ICIW '06 - Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services, Feb 2006, Le Gosier, France. pp.112-117, ⟨10.1109/AICT-ICIW.2006.129⟩
- Accès au bibtex
-
- titre
- The number of Z-convex polyominoes
- auteur
- Enrica Duchi, Simone Rinaldi, Gilles Schaeffer
- article
- 2006, pp.221-232
- Accès au bibtex
-
- titre
- Expressive power of pebbles Automata
- auteur
- Mikolaj Bojanczyk, Mathias Samuelides, Thomas Schwentick, Luc Segoufin
- article
- Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, 2006, Venice, Italy. pp.157-168
- Accès au texte intégral et bibtex
-
- titre
- Controller synthesis & Ordinal Automata
- auteur
- Thierry Cachat
- article
- 2006, pp.215-228
- Accès au texte intégral et bibtex
-
- titre
- Propositional Dynamic Logic with Recursive Programs
- auteur
- Christof Loeding, Olivier Serre
- article
- FOSSACS 2006: Foundations of Software Science and Computation Structures, 2006, Vienna, Austria. pp.292-306
- Accès au texte intégral et bibtex
-
- titre
- Does Church-Turing thesis apply outside computer science?
- auteur
- Eugene Asarin
- article
- Transgressive Computing 2006, A conference in honor of Jean Della Dora, 2006, Granada, Spain
- Accès au texte intégral et bibtex
-
- titre
- Regularity Problems for Visibly Pushdown Languages
- auteur
- Vince Bárány, Christof Loeding, Olivier Serre
- article
- 23rd International Symposium on Theoretical Aspects of Computer Science, STACS 2006, 2006, Marseille, France. pp.420-431
- Accès au texte intégral et bibtex
-
- titre
- Open problems on regular languages: an historical perspective
- auteur
- Laura Chaubard, Jean-Eric Pin
- article
- Proceedings of the Conference on Semigroups and Languages, 2006, Portugal
- Accès au texte intégral et bibtex
-
- titre
- Bidimensionnal sand pile and ice pile models
- auteur
- Dominique Rossin, Enrica Duchi, Roberto Mantaci, Ha Duong Phan
- article
- GASCOM 2006, 2006, Dijon, France
- Accès au bibtex
-
- titre
- Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism
- auteur
- Mihaela Sighireanu, Tayssir Touili
- article
- Infinity, 2006, Bonn, Germany
- Accès au texte intégral et bibtex
-
- titre
- First order formulas with modular predicates
- auteur
- Laura Chaubard, Jean-Eric Pin, Howard Straubing
- article
- 2006, pp.211-220, ⟨10.1109/LICS.2006.24⟩
- Accès au texte intégral et bibtex
-
- titre
- Two-Variable Logic on Words with Data
- auteur
- Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David
- article
- 21st Annual IEEE Symposium on Logic in Computer Science LICS'06, 2006, Seattle, United States. pp.7-16, ⟨10.1109/LICS.2006.51⟩
- Accès au texte intégral et bibtex
-
- titre
- Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
- auteur
- Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomas Vojnar
- article
- Static Analysis Symposium, 2006, Seoul, South Korea. pp.52-70
- Accès au texte intégral et bibtex
-
- titre
- Verifying Concurrent message-Passing C programs with Recursive Calls.
- auteur
- Sagar Chaki, Edmund Clarke, Nicholas Kidd, Tom Reps, Tayssir Touili
- article
- 2006, pp.334-349
- Accès au bibtex
-
- titre
- Connected Treewidth and Connected Graph Searching
- auteur
- Pierre Fraigniaud, Nicolas Nisse
- article
- Latin American Theoretical Informatics Symposium (LATIN), 2006, Valdivia, Chile
- Accès au bibtex
-
- titre
- Automata-Based Verification of Programs with Tree Updates
- auteur
- Peter Habermehl, Radu Iosif, Tomas Vojnar
- article
- International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2006, Vienne, Austria. pp.350-364
- Accès au texte intégral et bibtex
-
- titre
- Two-Variable Logic on Data Trees and XML Reasoning
- auteur
- Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin
- article
- twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database system, 2006, Chicago, United States. pp.10-19, ⟨10.1145/1142351.1142354⟩
- Accès au texte intégral et bibtex
-
- titre
- Structure of Stable Sand Piles Model
- auteur
- Thi Ha Duong Phan, Thi Thu Huong Tran
- article
- Fourth Colloquium on Mathematics and Computer Science Algorithms, Trees, Combinatorics and Probabilities, 2006, Nancy, France. pp.407-410, ⟨10.46298/dmtcs.3493⟩
- Accès au texte intégral et bibtex
-
- titre
- Strategies d'encerclement non deterministes
- auteur
- Fedor V. Fomin, Pierre Fraigniaud, Nicolas Nisse
- article
- 8èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2006, France. pp.81-84
- Accès au bibtex
-
- titre
- Monotony Properties of Connected Visible Graph Searching
- auteur
- Pierre Fraigniaud, Nicolas Nisse
- article
- International Workshop on Graph-Theoretic Concepts in Computer Science (WG), 2006, Bergen, Norway
- Accès au bibtex
-
- titre
- The growth ratio of synchronous rational relations is unique
- auteur
- Olivier Carton
- article
- Developements in Language Theory, 2006, Santa Barbara, United States. pp.270-279
- Accès au texte intégral et bibtex
-
- titre
- On Symbolic Verification of Weakly Extended PAD.
- auteur
- Ahmed Bouajjani, Jan Strejcek, Tayssir Touili
- article
- 2006, pp.200-215
- Accès au bibtex
-
- titre
- Varieties generated by certain models of reversible finite automata
- auteur
- Marats Golovkins, Jean-Eric Pin
- article
- 2006, pp.83-93
- Accès au texte intégral et bibtex
-
- titre
- An extension to overpartitions of Rogers-Ramanujan identities for even moduli
- auteur
- Sylvie Corteel, Jeremy Lovejoy, Olivier Mallet
- article
- Fourth Colloquium on Mathematics and Computer Science Algorithms, Trees, Combinatorics and Probabilities, 2006, Nancy, France. pp.141-150, ⟨10.46298/dmtcs.3498⟩
- Accès au texte intégral et bibtex
-
- titre
- Parity games played on transition graphs of one-counter processes
- auteur
- Olivier Serre
- article
- FOSSACS 2006: Foundations of Software Science and Computation Structures, 2006, Vienna, Austria. pp.337-351
- Accès au texte intégral et bibtex
-
- titre
- Tree Automata Make Ordinal Theory Easy
- auteur
- Thierry Cachat
- article
- 2006, pp.286-297
- Accès au texte intégral et bibtex
-
- titre
- Un modèle de crawls aléatoires
- auteur
- Toufik Bennouas, Fabien de Montgolfier
- article
- Algotel 2006, 8emes Rencontres Francophones sur les aspects Algorithmiques des Télécommunications, 2006, Trégastel, France
- Accès au texte intégral et bibtex
-
- titre
- Constructing Exponential-size Deterministic Zielonka Automata
- auteur
- Blaise Genest, Anca Muscholl
- article
- International Colloquium on Automata, Languages and Programming, 2006, Italy. pp.565--576
- Accès au bibtex
-
- titre
- Encerclement réparti d'un fugitif dans un réseau par des agents mobiles
- auteur
- Lélia Blin, Pierre Fraigniaud, Nicolas Nisse, Sandrine Vial
- article
- Actes des Rencontres Francophones sur les aspects Algorithmiques des Télécommunications (AlgoTel), 2006, France. pp.89--92
- Accès au bibtex
-
- titre
- Regular Hedge Model Checking
- auteur
- Julien d'Orso, Tayssir Touili
- article
- 2006, pp.215-230
- Accès au bibtex
-
- titre
- Arithmetics of eventually periodic tau-adic expansions.
- auteur
- Petr Ambrož
- article
- CANT 2006, 2006, Liège, Belgium. pp.1-13
- Accès au bibtex
-
Chapitre d'ouvrage
- titre
- Algorithmique et Programmation. Introduction
- auteur
- Jean-Eric Pin
- article
- J. Akoka et I. Comyn-Wattiau. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, pp.913-918, 2006
- Accès au texte intégral et bibtex
-
- titre
- Algorithmique et Programmation. Automates finis. Chap. I/9
- auteur
- Jean-Eric Pin
- article
- J. Akoka et I. Comyn-Wattiau. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, pp.966-976, 2006
- Accès au texte intégral et bibtex
-
- titre
- 6 (E-)LOTOS: (Enhanced) Language Of Temporal Ordering Specification
- auteur
- Kenneth J. Turner, Mihaela Sighireanu
- article
- H. Habrias and M. Frappier. Software Specification Methods -- An Overview Using a Case Study, ISTE Hermes & Lavoisier, pp.233-258, 2006
- Accès au texte intégral et bibtex
-
Autre publication scientifique
- titre
- Self expression as a relational technique, Four types of personal blog networks
- auteur
- Christophe Prieur, Dominique Cardon, Hélène Delaunay-Téterel, Cédric Fluckiger
- article
- 2006
- Accès au texte int