Filter your results
- 220
- 144
- 2
- 180
- 113
- 23
- 18
- 9
- 9
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 13
- 2
- 1
- 1
- 366
- 41
- 13
- 11
- 7
- 7
- 7
- 3
- 2
- 2
- 1
- 1
- 3
- 14
- 16
- 21
- 23
- 20
- 26
- 34
- 27
- 27
- 21
- 12
- 14
- 18
- 17
- 16
- 16
- 11
- 2
- 3
- 5
- 2
- 3
- 2
- 2
- 1
- 2
- 2
- 3
- 2
- 1
- 331
- 33
- 2
- 105
- 97
- 90
- 72
- 51
- 42
- 29
- 17
- 16
- 15
- 15
- 13
- 13
- 12
- 10
- 10
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 57
- 33
- 28
- 26
- 21
- 19
- 17
- 14
- 12
- 12
- 11
- 10
- 9
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
|
Interactions between Causal Structures in Graph Rewriting SystemsInternational Workshop on Formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, Apr 2018, Thessalonique, Greece. pp.65-78, ⟨10.4204/EPTCS.286.6⟩
Conference papers
hal-02922069v1
|
||
|
A simple calculus for proteins and cellsWorkshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'06), 2006, Venise, Italy
Conference papers
hal-00153157v1
|
||
|
t-Resilient Immediate Snapshot is Impossible2016
Preprints, Working Papers, ...
hal-01315342v4
|
||
|
Present-biased optimizationMathematical Social Sciences, 2022, 119, pp.56-67. ⟨10.1016/j.mathsocsci.2022.06.001⟩
Journal articles
hal-03871448v1
|
||
About Higher Dimensional Transition SystemsGeometric and Topological Methods in Computer Science 2010, Jan 2010, Aalborg, Denmark
Conference papers
hal-00695056v1
|
|||
A Two-Dimensional Optimum-Time Firing Squad Synchronization Algorithm and Its ImplementationInternational Workshop on Natural Computing, Sep 2009, Himeji, Japan. pp.342--351, ⟨10.1007/978-4-431-53868-4_39⟩
Conference papers
hal-00686545v1
|
|||
|
Preconditioning the augmented Lagrangian method for instationary mean field games with diffusion2017
Preprints, Working Papers, ...
hal-01301282v2
|
||
Algebraic Topology and ConcurrencyTheoretical Computer Science, 2006, 357 (1-3), pp.241-278
Journal articles
hal-00150860v1
|
|||
|
Probabilistic pi-calculus and Event StructuresQAPL 2007, Mar 2007, Braga, Portugal. pp.147-166
Conference papers
hal-00148936v1
|
||
Solutions Tolérantes aux pannes pour le problème de la synchronisation d'une ligne de fusiliers.ASMICS Workshop, 1995, France
Conference papers
hal-00139045v1
|
|||
|
Limits on reliable information flows through stochastic populationsPLoS Computational Biology, 2018, 14 (6), ⟨10.1371/journal.pcbi.1006195⟩
Journal articles
hal-01953778v2
|
||
|
Distributed Testing of Excluded Subgraphs30th International Symposium on Distributed Computing (DISC 2016), Sep 2016, Paris, France. pp.342 - 356, ⟨10.1007/978-3-662-53426-7_25⟩
Conference papers
hal-01423633v1
|
||
|
Bounds on the cover time of parallel rotor walksJournal of Computer and System Sciences, 2016, 82 (5), pp.802 - 816. ⟨10.1016/j.jcss.2016.01.004⟩
Journal articles
hal-01415102v1
|
||
|
Rigid Families for CCS and the π-calculus12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia
Conference papers
hal-01189062v1
|
||
A family of smallest symmetrical four-states firing squad synchronization protocols for ring arraysParallel Processing Letters, 2009, 19 (2), pp.299-313. ⟨10.1142/S0129626409000237⟩
Journal articles
hal-00459008v1
|
|||
|
Fast and compact self-stabilizing verification, computation, and fault detection of an MSTDistributed Computing, 2015, 28 (4), ⟨10.1007/s00446-015-0242-y⟩
Journal articles
hal-01240211v1
|
||
|
Clock Synchronization and Distributed Estimation in Highly Dynamic Networks: An Information Theoretic ApproachStructural Information and Communication Complexity - 22nd International Colloquium, {SIROCCO} 2015, Jul 2015, Montserrat, Spain. ⟨10.1007/978-3-319-25258-2_2⟩
Conference papers
hal-01240216v1
|
||
|
Tight Bounds for Distributed Minimum-Weight Spanning Tree VerificationTheory of Computing Systems, 2013, ⟨10.1007/s00224-013-9479-7⟩
Journal articles
hal-01241088v1
|
||
Calcul de programmes parallèles avec CoqInformatique Mathématique, CNRS Éditions, 2015, collection Alpha
Book sections
hal-01107296v1
|
|||
|
Confidence Sharing: An Economic Strategy for Efficient Information Flows in Animal GroupsPLoS Computational Biology, 2014, pp.10. ⟨10.1371/journal.pcbi.1003862⟩
Journal articles
hal-01093295v1
|
||
|
Quelques algorithmes parallèles et séquentiels de traitement des graphes et applicationsAlgorithme et structure de données [cs.DS]. Université Paris-Diderot - Paris VII, 1996. Français. ⟨NNT : ⟩
Theses
tel-00471691v1
|
||
|
Average Size of Unstretched Remote-Spanners5th ACM Workshop on Analytic Algorithmics and Combinatorics (ANALCO), 2009, New York, United States. pp.23--33
Conference papers
inria-00471727v1
|
||
|
Partition refinement and graph decompositionSymposium on Discrete Algorithms (SODA), 1999, Baltimore, United States. pp.1-2
Conference papers
inria-00471612v1
|
||
|
Distributed Detection of CyclesACM Transactions on Parallel Computing, 2019, 6 (3), pp.1-20. ⟨10.1145/3322811⟩
Journal articles
hal-02433486v1
|
||
|
Synchronization Costs in Parallel Programs and Concurrent Data StructuresDistributed, Parallel, and Cluster Computing [cs.DC]. ITMO University; Paris Diderot University, 2018. English. ⟨NNT : ⟩
Theses
tel-01887505v1
|
||
Simple and Fast Distributed Computation of Betweenness CentralityIEEE INFOCOM 2020 - International Conference on Computer Communications, Apr 2020, Pekin / Virtual, China
Conference papers
hal-02433541v1
|
|||
|
Limits for Rumor Spreading in Stochastic PopulationsITCS 2018 - 9th Innovations in Theoretical Computer Science Conference, Jan 2018, Cambridge, United States. pp.1-27
Conference papers
hal-01958152v1
|
||
Decentralized Asynchronous Crash-Resilient Runtime Verification27th International Conference on Concurrency Theory (CONCUR), 2016, Québec, Canada
Conference papers
hal-01423646v1
|
|||
A family of smallest symmetrical four-state firing squad synchronization protocols for one-dimensional ring cellular automataAUTOMATA 2008, Jun 2008, Bristol, United Kingdom. pp.174-185
Conference papers
hal-00287876v1
|
|||
|
Election, Naming and Cellular Edge Local ComputationsInternational Conference on Graph Transformation (ICGT 2004) (EATCS best paper award), Sep 2004, Italy. pp.242--256
Conference papers
hal-00308119v1
|