Nathalie Sznajder - Citegraph

Author Info

Name	Affiliation	Papers
NATHALIE SZNAJDER	LIP6, Université Pierre et Marie Curie & CNRS, 4 place Jussieu, 75005 Paris, France	13
Collaborators	Citations	PageRank
23	36	5.18
Referers	Referees	References
61	265	194

Search Limit

100265

Publications (13 rows)

Collaborators (23 rows)

Referers (61 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
On the Encoding and Solving of Partial Information Games.	0	0.34	2020
Parameterized Synthesis for Fragments of First-Order Logic over Data Words	0	0.34	2020
Round-Bounded Control of Parameterized Systems.	0	0.34	2018
Parameterized verification of algorithms for oblivious robots on a ring	3	0.39	2017
Real-Time Synthesis is Hard!	0	0.34	2016
Probabilistic Opacity for Markov Decision Processes.	3	0.38	2015
On regions and zones for event-clock automata	1	0.35	2014
Fair Synthesis for Asynchronous Distributed Systems	6	0.47	2013
Concurrent games on VASS with inhibition	5	0.45	2012
Decidability of well-connectedness for distributed synthesis	0	0.34	2012
Event clock automata: from theory to practice	1	0.35	2011
Distributed synthesis for well-connected architectures	12	0.66	2009
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems	5	0.44	2009

1