The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sophie Pinchinat: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. François Laroussinie, Sophie Pinchinat, Ph. Schnoebelen
    Translation Results for Modal Logics of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:297-306 [Conf]
  2. Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar
    Preemption Primitives in Reactive Languages (A Preliminary Report). [Citation Graph (0, 0)][DBLP]
    ASIAN, 1995, pp:111-125 [Conf]
  3. Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar
    Taxonomy and Expressiveness of Preemption: A Syntactic Approach. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:125-141 [Conf]
  4. Sophie Pinchinat
    Ordinal Processes in Comparative Concurrency Semantics. [Citation Graph (0, 0)][DBLP]
    CSL, 1991, pp:293-305 [Conf]
  5. Ph. Schnoebelen, Sophie Pinchinat
    On the Weak Adequacy of Branching-Time Remporal Logic. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:377-388 [Conf]
  6. Stéphane Riedweg, Sophie Pinchinat
    Quantified Mu-Calculus for Control Synthesis. [Citation Graph (0, 0)][DBLP]
    MFCS, 2003, pp:642-651 [Conf]
  7. Olga Kushnarenko, Sophie Pinchinat
    Intensional Approaches for Symbolic Methods. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
  8. Mirabelle Nebut, Sophie Pinchinat
    A Decidable Clock Language for Synchronous Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
  9. Sophie Pinchinat, Stéphane Riedweg
    A decidable class of problems for control under partial observation. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:95, n:4, pp:454-460 [Journal]
  10. François Laroussinie, Sophie Pinchinat, Ph. Schnoebelen
    Translations Between Modal Logics of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:140, n:1, pp:53-71 [Journal]
  11. Sophie Pinchinat
    A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:253-267 [Conf]
  12. Guillaume Feuillade, Sophie Pinchinat
    Modal Specifications for the Control Theory of Discrete Event Systems. [Citation Graph (0, 0)][DBLP]
    Discrete Event Dynamic Systems, 2007, v:17, n:2, pp:211-232 [Journal]

  13. On Timed Alternating Simulation for Concurrent Timed Games. [Citation Graph (, )][DBLP]


  14. A Compositional Approach on Modal Specifications for Timed Systems. [Citation Graph (, )][DBLP]


  15. On the Expressivity of RoCTL*. [Citation Graph (, )][DBLP]


  16. Refinement and Consistency of Timed Modal Specifications. [Citation Graph (, )][DBLP]


  17. Game Quantification Patterns. [Citation Graph (, )][DBLP]


  18. Games with Opacity Condition. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002