Concepedia

Nathalie Sznajder

NS

5

Publications

116

Citations

5

H-Index

2007

Active since

Affiliations

Sorbonne Université(Current)

École Normale Supérieure Paris-Saclay

Centre National de la Recherche Scientifique

Université Paris Cité

Nathalie Sznajder is an author at Sorbonne Université specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsVerificationAutomated ReasoningFormal VerificationMedicineManagementProbabilityCell Biology

Publications per year

2007–2019

5

Publications

5

Probabilistic opacity for Markov decision processes

Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder · Information Processing Letters · 2014 · 46 citations

Engineering, Uncertainty Quantification, Probabilistic System +7

Distributed synthesis for well-connected architectures

Paul Gastin, Nathalie Sznajder, Marc Zeitoun · Formal Methods in System Design · 2009 · 27 citations · Full text

Logic Synthesis, Engineering, Formal Methods +7

Quantitative and Probabilistic Modeling in Pathway Logic

Alessandro Abate, Yu Bai, Nathalie Sznajder et al. · 2007 · 18 citations

Bioinformatics, Probability Logic, Signal Transduction +15

Parameterized verification of algorithms for oblivious robots on a ring

Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru et al. · Formal Methods in System Design · 2019 · 14 citations · Full text

Computational Complexity Theory, Engineering, Cryptographic Primitive +10

Fair Synthesis for Asynchronous Distributed Systems

Paul Gastin, Nathalie Sznajder · ACM Transactions on Computational Logic · 2013 · 11 citations

Reachability Analysis, Population Protocol, Fair Synthesis Problem +15

Rows per page

1–5 of 5