Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Paul Gastin

Uniform Satisfiability Problem for Local Temporal Logics Over Mazurkiewicz Traces

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2010English

Controllers for the Verification of Communicating Multi-Pushdown Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Distributed Timed Automata With Independently Evolving Clocks

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2014English

Logical Characterization of Weighted Pebble Walking Automata

2014English

Distributed Games and Distributed Control for Asynchronous Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Distributed Synthesis for Well-Connected Architectures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Weighted Versus Probabilistic Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables

2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy