- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c20 |      | Bastien Maubert, Sophie Pinchinat, Laura Bozzelli: The Complexity of Synthesizing Uniform Strategies. SR 2013: 115-122 |
| 2012 | ||
| j9 | | Laura Bozzelli, Axel Legay, Sophie Pinchinat: On timed alternating simulation for concurrent timed games. Acta Inf. 49(4): 249-279 (2012) |
| j8 | | Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet: Modal event-clock specifications for timed component-based design. Sci. Comput. Program. 77(12): 1212-1234 (2012) |
| c19 | | Laura Bozzelli, Hans P. van Ditmarsch, Sophie Pinchinat: The Complexity of One-Agent Refinement Modal Logic. JELIA 2012: 120-133 |
| c18 | | Laura Bozzelli, Sophie Pinchinat: Verification of Gap-Order Constraint Abstractions of Counter Systems. VMCAI 2012: 88-103 |
| i2 | | Laura Bozzelli, Hans P. van Ditmarsch, Tim French, James Hales, Sophie Pinchinat: Refinement Modal Logic. CoRR abs/1202.3538 (2012) |
| i1 | | |
| 2011 | ||
| j7 | | Laura Bozzelli, Axel Legay, Sophie Pinchinat: Hardness of preorder checking for basic formalisms. Theor. Comput. Sci. 412(49): 6795-6808 (2011) |
| c17 | | Bastien Maubert, Sophie Pinchinat, Laura Bozzelli: Opacity Issues in Games with Imperfect Information. GandALF 2011: 87-101 |
| 2010 | ||
| c16 | | Hans P. van Ditmarsch, Tim French, Sophie Pinchinat: Future Event Logic - Axioms and Complexity. Advances in Modal Logic 2010: 77-99 |
| c15 | | Laura Bozzelli, Axel Legay, Sophie Pinchinat: Hardness of Preorder Checking for Basic Formalisms. LPAR (Dakar) 2010: 119-135 |
| 2009 | ||
| j6 | | Andreas Bauer, Sophie Pinchinat: Prognosis of omega-Languages for the Diagnosis of *-Languages: A Topological Perspective. Discrete Event Dynamic Systems 19(4): 451-470 (2009) |
| c14 | | Laura Bozzelli, Axel Legay, Sophie Pinchinat: On Timed Alternating Simulation for Concurrent Timed Games. FSTTCS 2009: 85-96 |
| c13 | | Christophe Morvan, Sophie Pinchinat: Diagnosability of Pushdown Systems. Haifa Verification Conference 2009: 21-33 |
| c12 | | Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet: A Compositional Approach on Modal Specifications for Timed Systems. ICFEM 2009: 679-697 |
| c11 | | |
| c10 | | Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet: Refinement and Consistency of Timed Modal Specifications. LATA 2009: 152-163 |
| c9 | | |
| c8 | | John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat: On the Expressivity of RoCTL*. TIME 2009: 37-44 |
| 2007 | ||
| j5 | | Guillaume Feuillade, Sophie Pinchinat: Modal Specifications for the Control Theory of Discrete Event Systems. Discrete Event Dynamic Systems 17(2): 211-232 (2007) |
| c7 | | Sophie Pinchinat: A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies. ATVA 2007: 253-267 |
| 2005 | ||
| j4 | | Sophie Pinchinat, Stéphane Riedweg: A decidable class of problems for control under partial observation. Inf. Process. Lett. 95(4): 454-460 (2005) |
| 2003 | ||
| c6 | | Stéphane Riedweg, Sophie Pinchinat: Quantified Mu-Calculus for Control Synthesis. MFCS 2003: 642-651 |
| 2002 | ||
| j3 | | Mirabelle Nebut, Sophie Pinchinat: A Decidable Clock Language for Synchronous Specifications. Electr. Notes Theor. Comput. Sci. 65(5): 125-139 (2002) |
| 1998 | ||
| j2 | | Olga Kushnarenko, Sophie Pinchinat: Intensional Approaches for Symbolic Methods. Electr. Notes Theor. Comput. Sci. 18: 112 (1998) |
| c5 | | Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar: Taxonomy and Expressiveness of Preemption: A Syntactic Approach. ASIAN 1998: 125-141 |
| 1995 | ||
| j1 | | François Laroussinie, Sophie Pinchinat, Ph. Schnoebelen: Translations Between Modal Logics of Reactive Systems. Theor. Comput. Sci. 140(1): 53-71 (1995) |
| c4 | | Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar: Preemption Primitives in Reactive Languages (A Preliminary Report). ASIAN 1995: 111-125 |
| 1993 | ||
| c3 |  | François Laroussinie, Sophie Pinchinat, Ph. Schnoebelen: Translation Results for Modal Logics of Reactive Systems. AMAST 1993: 297-306 |
| 1991 | ||
| c2 | | |
| 1990 | ||
| c1 | | Ph. Schnoebelen, Sophie Pinchinat: On the Weak Adequacy of Branching-Time Remporal Logic. ESOP 1990: 377-388 |
| 1 | Andreas Bauer 0002 (Andreas Klaus Bauer) | |
| 2 | Nathalie Bertrand | |
| 3 | Dietmar Berwanger | |
| 4 | Laura Bozzelli | |
| 5 | Hans P. van Ditmarsch | |
| 6 | Guillaume Feuillade | |
| 7 | Tim French (Timothy Stewart French) | |
| 8 | James Hales | |
| 9 | Olga Kushnarenko | |
| 10 | François Laroussinie | |
| 11 | Axel Legay | |
| 12 | Bastien Maubert | |
| 13 | John Christopher McCabe-Dansted | |
| 14 | Christophe Morvan | |
| 15 | Mirabelle Nebut | |
| 16 | Jean-Baptiste Raclet | |
| 17 | Mark Reynolds | |
| 18 | Stéphane Riedweg | |
| 19 | Éric Rutten | |
| 20 | Ph. Schnoebelen (Philippe Schnoebelen) | |
| 21 | R. K. Shyamasundar (Rudrapatna K. Shyamasundar) |
Colors in the list of coauthors
Last update Thu May 23 03:36:51 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page