| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Pierre-Yves Schobbens Yves Bontemps , Pierre-Yves Schobbens: Synthesis of Open Reactive Systems from Scenario-Based Specifications. ACSD 2003 : 41-50 Aidan Harding , Mark Ryan , Pierre-Yves Schobbens: Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. TIME 2003 : 137-146 Aidan Harding , Mark Ryan , Pierre-Yves Schobbens: Approximating ATL * in ATL. VMCAI 2002 : 289-301 Pierre-Yves Schobbens, Gunter Saake , Amílcar Sernadas , Cristina Sernadas : A two-level temporal logic for evolving specifications. Inf. Process. Lett. 83 (3): 167-172 (2002) Hajnal Andréka , Mark Ryan , Pierre-Yves Schobbens: Operators and Laws for Combining Preference Relations. J. Log. Comput. 12 (1): 13-53 (2002) Pierre-Yves Schobbens, Jean-François Raskin , Thomas A. Henzinger : Axioms for real-time logics. Theor. Comput. Sci. 274 (1-2): 151-182 (2002) Mark Ryan , Pierre-Yves Schobbens: Agents and Roles: Refinement in Alternating-Time Temporal Logic. ATAL 2001 : 100-114 John-Jules Ch. Meyer , Pierre-Yves Schobbens: Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers Springer 1999 Laurent Ferier , Jean-François Raskin , Pierre-Yves Schobbens: Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees. Electr. Notes Theor. Comput. Sci. 23 (2): (1999) Pierre-Yves Schobbens, Jean-François Raskin : The Logic of ``Initially'' and ``Next'': Complete Axiomatization and Complexity. Inf. Process. Lett. 69 (5): 221-225 (1999) Jean-François Raskin , Pierre-Yves Schobbens: The Logic of Event Clocks - Decidability, Complexity and Expressiveness. Journal of Automata, Languages and Combinatorics 4 (3): 247-286 (1999) Jean-François Raskin , Pierre-Yves Schobbens, Thomas A. Henzinger : Axioms for Real-Time Logics. CONCUR 1998 : 219-236 Thomas A. Henzinger , Jean-François Raskin , Pierre-Yves Schobbens: The Regular Real-Time Languages. ICALP 1998 : 580-591 Jean-François Raskin , Pierre-Yves Schobbens: State Clock Logic: A Decidable Real-Time Logic. HART 1997 : 33-47 John-Jules Ch. Meyer , Pierre-Yves Schobbens: Formal Models of Agents: An Introduction. ModelAge Workshop 1997 : 1-7 Jean-François Raskin , Pierre-Yves Schobbens: Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time. TACAS 1997 : 165-182 Mark Ryan , Pierre-Yves Schobbens: Counterfactuals and Updates as Inverse Modalities. Journal of Logic, Language and Information 6 (2): 123-146 (1997) Mark Ryan , Pierre-Yves Schobbens: Intertranslating Counterfactuals and Updates. ECAI 1996 : 100-104 Mark Ryan , Pierre-Yves Schobbens, Odinaldo Rodrigues : Counterfactuals and Updates as Inverse Modalities. TARK 1996 : 163-173 Mark Ryan , Pierre-Yves Schobbens: Belief Revision and Verisimilitude. Notre Dame Journal of Formal Logic 36 (1): 15-29 (1995) Pierre-Yves Schobbens: Extensions of Initial Models and their Second-Order Proof Systems. HOA 1993 : 326-344 Pierre-Yves Schobbens: A Logic for Legal Hierarchies. ICAIL 1993 : 272-281 Pierre-Yves Schobbens: Exceptions for Algebraic Specifications: On the Meaning of "but". Sci. Comput. Program. 20 (1-2): 73-111 (1993) Pierre-Yves Schobbens: Second-Order Proof Systems for Algebraic Specification Languages. COMPASS/ADT 1992 : 321-336 Pierre-Yves Schobbens: Clean Algebraic Exception with Implicit Propagation. AMAST 1991 : 173-186 Christine Lafontaine , Yves Ledru , Pierre-Yves Schobbens: An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. Commun. ACM 34 (5): 62-71, 87 (1991) Christine Lafontaine , Yves Ledru , Pierre-Yves Schobbens: An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. ICSE 1990 : 34-42 Christine Lafontaine , Yves Ledru , Pierre-Yves Schobbens: Two Approaches towards the Formalisation of VDM. VDM Europe 1990 : 370-398 Didier Bert , P. Drabik , Rachid Echahed , O. Declerfayt , B. Demeuse , Pierre-Yves Schobbens, F. Wautier : LPG: A Generic, Logic and Functional Programming Language. ESOP 1988 : 376-377 1 [ 25 ] 2 [ 1 ] 3 [ 29 ] 4 [ 1 ] 5 [ 1 ] 6 [ 1 ] 7 [ 1 ] 8 [ 21 ] 9 [ 27 ] [ 28 ] 10 [ 17 ] [ 18 ] [ 24 ] 11 [ 2 ] [ 3 ] [ 4 ] 12 [ 2 ] [ 3 ] [ 4 ] 13 [ 15 ] [ 22 ] 14 [ 14 ] [ 16 ] [ 17 ] [ 18 ] [ 19 ] [ 20 ] [ 21 ] [ 24 ] 15 [ 11 ] 16 [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 23 ] [ 25 ] [ 27 ] [ 28 ] 17 [ 26 ] 18 [ 26 ] 19 [ 26 ] 20 [ 1 ]  ©2004 Association for Computing Machinery |
