Search - Université Paris Cité Access content directly

Filter your results

366 Results
Domains :

Interactions between Causal Structures in Graph Rewriting Systems

Ioana Cristescu , Walter Fontana , Jean Krivine
International 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
Image document

A simple calculus for proteins and cells

Cosimo Laneve , Fabien Tarissan
Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'06), 2006, Venise, Italy
Conference papers hal-00153157v1
Image document

t-Resilient Immediate Snapshot is Impossible

Carole Delporte , Hugues Fauconnier , Sergio Rajsbaum , Michel Raynal
Preprints, Working Papers, ... hal-01315342v4

Present-biased optimization

Fedor Fomin , Pierre Fraigniaud , Petr Golovach
Mathematical Social Sciences, 2022, 119, pp.56-67. ⟨10.1016/j.mathsocsci.2022.06.001⟩
Journal articles hal-03871448v1

About Higher Dimensional Transition Systems

Philippe Gaucher
Geometric 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 Implementation

Jean-Baptiste Yunès , Hiroshi Umeo , Takuya Yamawaki
International Workshop on Natural Computing, Sep 2009, Himeji, Japan. pp.342--351, ⟨10.1007/978-4-431-53868-4_39⟩
Conference papers hal-00686545v1
Image document

Preconditioning the augmented Lagrangian method for instationary mean field games with diffusion

Roman Andreev
Preprints, Working Papers, ... hal-01301282v2

Algebraic Topology and Concurrency

Eric Goubault
Theoretical Computer Science, 2006, 357 (1-3), pp.241-278
Journal articles hal-00150860v1
Image document

Probabilistic pi-calculus and Event Structures

Daniele Varacca , Nobuko Yoshida
QAPL 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.

Jean-Baptiste Yunès
ASMICS Workshop, 1995, France
Conference papers hal-00139045v1
Image document

Limits on reliable information flows through stochastic populations

Lucas Boczkowski , Emanuele Natale , Ofer Feinerman , Amos Korman
PLoS Computational Biology, 2018, 14 (6), ⟨10.1371/journal.pcbi.1006195⟩
Journal articles hal-01953778v2
Image document

Distributed Testing of Excluded Subgraphs

Pierre Fraigniaud , Ivan Rapaport , Ville Salo , Ioan Todinca
30th 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 walks

Dariusz Dereniowski , Adrian Kosowski , Dominik Pająk , Przemyslaw Uznanski
Journal of Computer and System Sciences, 2016, 82 (5), pp.802 - 816. ⟨10.1016/j.jcss.2016.01.004⟩
Journal articles hal-01415102v1
Image document

Rigid Families for CCS and the π-calculus

Ioana Cristescu , Jean Krivine , Daniele Varacca
12th 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 arrays

Hiroshi Umeo , Naoki Kamikawa , Jean-Baptiste Yunès
Parallel Processing Letters, 2009, 19 (2), pp.299-313. ⟨10.1142/S0129626409000237⟩
Journal articles hal-00459008v1
Image document

Fast and compact self-stabilizing verification, computation, and fault detection of an MST

Amos Korman , Shay Kutten , Toshimitsu Masuzawa
Distributed Computing, 2015, 28 (4), ⟨10.1007/s00446-015-0242-y⟩
Journal articles hal-01240211v1
Image document

Clock Synchronization and Distributed Estimation in Highly Dynamic Networks: An Information Theoretic Approach

Ofer Feinerman , Amos Korman
Structural 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
Image document

Tight Bounds for Distributed Minimum-Weight Spanning Tree Verification

Liah Kor , Amos Korman , David Peleg
Theory of Computing Systems, 2013, ⟨10.1007/s00224-013-9479-7⟩
Journal articles hal-01241088v1

Calcul de programmes parallèles avec Coq

Frédéric Loulergue , Wadoud Bousdira , Julien Tesson
Informatique Mathématique, CNRS Éditions, 2015, collection Alpha
Book sections hal-01107296v1

Confidence Sharing: An Economic Strategy for Efficient Information Flows in Animal Groups

Amos Korman , Greenwald Efrat , Ofer Feinerman
PLoS Computational Biology, 2014, pp.10. ⟨10.1371/journal.pcbi.1003862⟩
Journal articles hal-01093295v1
Image document

Quelques algorithmes parallèles et séquentiels de traitement des graphes et applications

Laurent Viennot
Algorithme et structure de données [cs.DS]. Université Paris-Diderot - Paris VII, 1996. Français. ⟨NNT : ⟩
Theses tel-00471691v1
Image document

Average Size of Unstretched Remote-Spanners

Philippe Jacquet , Laurent Viennot
5th ACM Workshop on Analytic Algorithmics and Combinatorics (ANALCO), 2009, New York, United States. pp.23--33
Conference papers inria-00471727v1
Image document

Partition refinement and graph decomposition

Michel Habib , Christophe Paul , Laurent Viennot
Symposium on Discrete Algorithms (SODA), 1999, Baltimore, United States. pp.1-2
Conference papers inria-00471612v1

Distributed Detection of Cycles

Pierre Fraigniaud , Dennis Olivetti
ACM Transactions on Parallel Computing, 2019, 6 (3), pp.1-20. ⟨10.1145/3322811⟩
Journal articles hal-02433486v1
Image document

Synchronization Costs in Parallel Programs and Concurrent Data Structures

Vitalii Aksenov
Distributed, Parallel, and Cluster Computing [cs.DC]. ITMO University; Paris Diderot University, 2018. English. ⟨NNT : ⟩
Theses tel-01887505v1

Simple and Fast Distributed Computation of Betweenness Centrality

Pierluigi Crescenzi , Pierre Fraigniaud , Ami Paz
IEEE INFOCOM 2020 - International Conference on Computer Communications, Apr 2020, Pekin / Virtual, China
Conference papers hal-02433541v1
Image document

Limits for Rumor Spreading in Stochastic Populations

Lucas Boczkowski , Ofer Feinerman , Amos Korman , Emanuele Natale
ITCS 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 Verification

Pierre Fraigniaud , Borzoo Bonakdarpour , Sergio Rajsbaum , David Rosenblueth , Corentin Travers et al.
27th 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 automata

Hiroshi Umeo , Naoki Kamikawa , Jean-Baptiste Yunès
AUTOMATA 2008, Jun 2008, Bristol, United Kingdom. pp.174-185
Conference papers hal-00287876v1
Image document

Election, Naming and Cellular Edge Local Computations

Jérémie Chalopin , Yves Métivier , Wieslaw Zielonka
International Conference on Graph Transformation (ICGT 2004) (EATCS best paper award), Sep 2004, Italy. pp.242--256
Conference papers hal-00308119v1