Yves Métivier

From MaRDI portal
(Redirected from Person:690236)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
The Kronecker product and local computations in graphs
Trees in Algebra and Programming — CAAP '96
2023-02-23Paper
Definitions and comparisons of local computations on graphs (extended abstract)
Mathematical Foundations of Computer Science 1992
2022-08-18Paper
Counting in one-hop beeping networks
Theoretical Computer Science
2019-06-06Paper
Deterministic leader election takes \(\Theta (D + \log n)\) bit rounds
Algorithmica
2019-05-07Paper
Computing the closure of sets of words under partial commutations
Automata, Languages and Programming
2019-01-10Paper
Design patterns in beeping algorithms: examples, emulation, and analysis
Information and Computation
2018-12-21Paper
Deterministic leader election in \(O(D+\log n)\) time with messages of size \(O(1)\)2018-08-16Paper
Design patterns in beeping algorithms2018-07-18Paper
Randomised distributed MIS and colouring algorithms for rings with oriented edges in \(O(\sqrt{\log n})\) bit rounds
Information and Computation
2016-11-18Paper
Some remarks on the Kronecker product of graphs
Information Processing Letters
2016-06-09Paper
A distributed enumeration algorithm and applications to all pairs shortest paths, diameter\dots
Information and Computation
2016-03-10Paper
Analysis of fully distributed splitting and naming probabilistic procedures and applications
Theoretical Computer Science
2015-05-22Paper
On lower bounds for the time and the bit complexity of some probabilistic distributed graph algorithms. Extended abstract
SOFSEM 2014: Theory and Practice of Computer Science
2015-01-13Paper
On the time and the bit complexity of distributed randomised anonymous ring colouring
Theoretical Computer Science
2014-01-10Paper
Optimal bit complexity randomised distributed MIS and maximal matching algorithms for anonymous rings
Information and Computation
2014-01-10Paper
Analysis of fully distributed splitting and naming probabilistic procedures and applications (extended abstract)
Structural Information and Communication Complexity
2013-12-17Paper
Graph relabelling systems: a tool for encoding, proving, studying and visualizing distributed algorithms
Electronic Notes in Theoretical Computer Science
2013-05-24Paper
Visualization of distributed algorithms based on graph relabelling systems
Electronic Notes in Theoretical Computer Science
2013-05-10Paper
Election in partially anonymous networks with arbitrary knowledge in message passing systems
Distributed Computing
2013-02-04Paper
Enumeration and leader election in partially anonymous and multi-hop broadcast networks
Fundamenta Informaticae
2012-10-31Paper
An optimal bit complexity randomized distributed MIS algorithm
Distributed Computing
2012-02-06Paper
On the power of synchronization between two adjacent processes
Distributed Computing
2012-02-06Paper
scientific article; zbMATH DE number 5855082 (Why is no real title available?)2011-02-22Paper
About randomised distributed graph colouring and graph partition algorithms
Information and Computation
2010-10-22Paper
Labelled (Hyper)Graphs, Negotiations and the Naming Problem
Lecture Notes in Computer Science
2008-11-20Paper
Local Terminations and Distributed Computability in Anonymous Networks
Lecture Notes in Computer Science
2008-11-20Paper
scientific article; zbMATH DE number 5286867 (Why is no real title available?)2008-06-11Paper
About the Termination Detection in the Asynchronous Message Passing Model
Lecture Notes in Computer Science
2008-03-07Paper
Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks
Distributed Computing and Networking
2008-03-06Paper
An efficient message passing election algorithm based on Mazurkiewicz's algorithm2008-01-02Paper
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science
2007-09-28Paper
Graph Transformations
Lecture Notes in Computer Science
2007-06-21Paper
Graph Transformations
Lecture Notes in Computer Science
2007-06-21Paper
Local computations in graphs: the case of cellular edge local computations2007-01-19Paper
Mathematical Foundations of Computer Science 2005
Lecture Notes in Computer Science
2006-10-20Paper
Locally guided randomized elections in trees: The totally fair case
Information and Computation
2005-05-04Paper
Deducible and equivalent structural knowledges in distributed algorithms
Theory of Computing Systems
2005-02-11Paper
Characterizations of classes of graphs recognizable by local computations
Theory of Computing Systems
2004-09-22Paper
scientific article; zbMATH DE number 2087429 (Why is no real title available?)2004-08-11Paper
scientific article; zbMATH DE number 2016070 (Why is no real title available?)2003-12-10Paper
Analysis of a randomized rendezvous algorithm
Information and Computation
2003-07-29Paper
Randomized local elections.
Information Processing Letters
2003-01-21Paper
scientific article; zbMATH DE number 1552336 (Why is no real title available?)2001-01-15Paper
scientific article; zbMATH DE number 1504828 (Why is no real title available?)2000-09-12Paper
scientific article; zbMATH DE number 1456964 (Why is no real title available?)2000-06-07Paper
Checking Global Graph Properties by Means of Local Computations: the Majority Problem
Electronic Notes in Theoretical Computer Science
1998-12-13Paper
scientific article; zbMATH DE number 1026280 (Why is no real title available?)1997-06-24Paper
Medians and centres of polyominoes
Information Processing Letters
1997-02-27Paper
On the recognition of families of graphs with local computations
Information and Computation
1995-12-13Paper
New results on the star problem in trace monoids
Information and Computation
1995-08-02Paper
Different local controls for graph relabeling systems
Mathematical Systems Theory
1995-04-05Paper
scientific article; zbMATH DE number 475415 (Why is no real title available?)1994-10-31Paper
Coverings and minors: Application to local computations in graphs
European Journal of Combinatorics
1994-04-21Paper
Asynchronous mappings and asynchronous cellular automata
Information and Computation
1994-04-20Paper
scientific article; zbMATH DE number 512941 (Why is no real title available?)1994-04-07Paper
Computing with graph rewriting systems with priorities
Theoretical Computer Science
1993-12-20Paper
scientific article; zbMATH DE number 219259 (Why is no real title available?)1993-06-29Paper
scientific article; zbMATH DE number 177456 (Why is no real title available?)1993-05-18Paper
ON THE STAR OPERATION IN FREE PARTIALLY COMMUTATIVE MONOIDS
International Journal of Foundations of Computer Science
1992-09-27Paper
On recognizable subsets of free partially commutative monoids
Theoretical Computer Science
1988-01-01Paper
scientific article; zbMATH DE number 4072393 (Why is no real title available?)1988-01-01Paper
scientific article; zbMATH DE number 4047130 (Why is no real title available?)1987-01-01Paper
On lexicographic semi-commutations
Information Processing Letters
1987-01-01Paper
scientific article; zbMATH DE number 3956459 (Why is no real title available?)1986-01-01Paper
Une condition suffisante de reconnaissabilité dans un monoïde partiellement commutatif
RAIRO - Theoretical Informatics and Applications
1986-01-01Paper
Recognizable subsets of some partially Abelian monoids
Theoretical Computer Science
1985-01-01Paper
Calcul de longueurs de chaînes de réécriture dans le monoïde libre
Theoretical Computer Science
1985-01-01Paper
About the rewriting systems produced by the Knuth-Bendix completion algorithm
Information Processing Letters
1983-01-01Paper


Research outcomes over time


This page was built for person: Yves Métivier