×

zbMATH — the first resource for mathematics

Schobbens, Pierre-Yves

Compute Distance To:
Author ID: schobbens.pierre-yves Recent zbMATH articles by "Schobbens, Pierre-Yves"
Published as: Schobbens, P. Y.; Schobbens, P.-Y.; Schobbens, Pierre Yves; Schobbens, Pierre-Yves
External Links: ORCID · dblp
Documents Indexed: 29 Publications since 1993, including 2 Books

Publications by Year

Citations contained in zbMATH

19 Publications have been cited 109 times in 104 Documents Cited by Year
Operators and laws for combining preference relations. Zbl 1008.91027
Andréka, Hajnal; Ryan, Mark; Schobbens, Pierre-Yves
24
2002
Alternating-time logic with imperfect recall. Zbl 1270.68287
Schobbens, Pierre-Yves
18
2004
Counterfactuals and updates as inverse modalities. Zbl 0921.03035
Ryan, Mark; Schobbens, Pierre-Yves
13
1997
Axioms for real-time logics. Zbl 0928.03022
Raskin, J.-F.; Schobbens, P.-Y.; Henzinger, T. A.
10
1998
Axioms for real-time logics. Zbl 0994.03009
Schobbens, P.-Y.; Raskin, J.-F.; Henzinger, T. A.
7
2002
The logic of event clocks. Decidability, complexity and expressiveness. Zbl 0978.03015
Raskin, Jean-François; Schobbens, Pierre-Yves
7
1999
Generic semantics of feature diagrams. Zbl 1119.68113
Schobbens, Pierre-Yves; Heymans, Patrick; Trigaux, Jean-Christophe; Bontemps, Yves
4
2007
Model-checking access control policies. Zbl 1109.68456
Guelev, Dimitar P.; Ryan, Mark; Schobbens, Pierre Yves
4
2004
Agents and roles: Refinement in alternating-time temporal logic. Zbl 1050.68132
Ryan, Mark; Schobbens, Pierre-Yves
4
2002
A new algorithm for strategy synthesis in LTL games. Zbl 1087.68020
Harding, Aidan; Ryan, Mark; Schobbens, Pierre-Yves
3
2005
Belief revision and verisimilitude. Zbl 0837.03008
Ryan, Mark; Schobbens, Pierre-Yves
3
1995
Memory event clocks. Zbl 1290.68075
Jerson Ortiz, James; Legay, Axel; Schobbens, Pierre-Yves
2
2010
Synthesis of open reactive systems from scenario-based specifications. Zbl 1082.68064
Bontemps, Yves; Schobbens, Pierre-Yves; Löding, Christof
2
2004
The logic of “initially” and “next”: complete axiomatization and complexity. Zbl 1338.03027
Schobbens, P.-Y.; Raskin, J.-F.
2
1999
Exceptions for algebraic specifications: On the meaning of “but”. Zbl 0783.68085
Schobbens, Pierre-Yves
2
1993
Distributed event clock automata (extended abstract). Zbl 1297.68162
Ortiz, James; Legay, Axel; Schobbens, Pierre-Yves
1
2011
The computational complexity of scenario-based agent verification and design. Zbl 1122.68066
Bontemps, Yves; Schobbens, Pierre-Yves
1
2007
A two-level temporal logic for evolving specifications. Zbl 1043.68069
Schobbens, P. Y.; Saake, G.; Sernadas, A.; Sernadas, C.
1
2002
Second-order proof systems for algebraic specification languages. Zbl 0941.68636
Schobbens, Pierre-Yves
1
1994
Distributed event clock automata (extended abstract). Zbl 1297.68162
Ortiz, James; Legay, Axel; Schobbens, Pierre-Yves
1
2011
Memory event clocks. Zbl 1290.68075
Jerson Ortiz, James; Legay, Axel; Schobbens, Pierre-Yves
2
2010
Generic semantics of feature diagrams. Zbl 1119.68113
Schobbens, Pierre-Yves; Heymans, Patrick; Trigaux, Jean-Christophe; Bontemps, Yves
4
2007
The computational complexity of scenario-based agent verification and design. Zbl 1122.68066
Bontemps, Yves; Schobbens, Pierre-Yves
1
2007
A new algorithm for strategy synthesis in LTL games. Zbl 1087.68020
Harding, Aidan; Ryan, Mark; Schobbens, Pierre-Yves
3
2005
Alternating-time logic with imperfect recall. Zbl 1270.68287
Schobbens, Pierre-Yves
18
2004
Model-checking access control policies. Zbl 1109.68456
Guelev, Dimitar P.; Ryan, Mark; Schobbens, Pierre Yves
4
2004
Synthesis of open reactive systems from scenario-based specifications. Zbl 1082.68064
Bontemps, Yves; Schobbens, Pierre-Yves; Löding, Christof
2
2004
Operators and laws for combining preference relations. Zbl 1008.91027
Andréka, Hajnal; Ryan, Mark; Schobbens, Pierre-Yves
24
2002
Axioms for real-time logics. Zbl 0994.03009
Schobbens, P.-Y.; Raskin, J.-F.; Henzinger, T. A.
7
2002
Agents and roles: Refinement in alternating-time temporal logic. Zbl 1050.68132
Ryan, Mark; Schobbens, Pierre-Yves
4
2002
A two-level temporal logic for evolving specifications. Zbl 1043.68069
Schobbens, P. Y.; Saake, G.; Sernadas, A.; Sernadas, C.
1
2002
The logic of event clocks. Decidability, complexity and expressiveness. Zbl 0978.03015
Raskin, Jean-François; Schobbens, Pierre-Yves
7
1999
The logic of “initially” and “next”: complete axiomatization and complexity. Zbl 1338.03027
Schobbens, P.-Y.; Raskin, J.-F.
2
1999
Axioms for real-time logics. Zbl 0928.03022
Raskin, J.-F.; Schobbens, P.-Y.; Henzinger, T. A.
10
1998
Counterfactuals and updates as inverse modalities. Zbl 0921.03035
Ryan, Mark; Schobbens, Pierre-Yves
13
1997
Belief revision and verisimilitude. Zbl 0837.03008
Ryan, Mark; Schobbens, Pierre-Yves
3
1995
Second-order proof systems for algebraic specification languages. Zbl 0941.68636
Schobbens, Pierre-Yves
1
1994
Exceptions for algebraic specifications: On the meaning of “but”. Zbl 0783.68085
Schobbens, Pierre-Yves
2
1993
all top 5

Cited by 207 Authors

8 Jamroga, Wojciech
6 van Benthem, Johan F. A. K.
5 Schobbens, Pierre-Yves
4 Liu, Fenrong
4 Pacuit, Eric
4 Raskin, Jean-François
3 Bouyer, Patricia
3 Dima, Cătălin
3 Geeraerts, Gilles
3 Guzmán, Michell
3 Hirshfeld, Yoram
3 Larsen, Kim Guldstrand
3 Markey, Nicolas
3 Perchy, Salim
3 Rabinovich, Alexander
3 Rueda, Camilo
3 Valencia, Frank D.
3 van der Hoek, Wiebe
2 Baltag, Alexandru
2 Bulling, Nils
2 Dix, Jurgen
2 Georgatos, Konstantinos
2 Girard, Patrick R.
2 Guelev, Dimitar P.
2 Herzig, Andreas
2 Knapik, Michal Jozef
2 Murano, Aniello
2 Ouaknine, Joel O.
2 Rott, Hans
2 Seligman, Jeremy M.
2 Smets, Sonja J. L.
2 Sznajder, Nathalie
2 Walther, Dirk
2 Wirsing, Martin
2 Wooldridge, Michael J.
2 Worrell, James B.
1 Ågotnes, Thomas
1 Alférez, Germán H.
1 Alférez, Mauricio
1 Armando, Alessandro
1 Asher, Nicholas M.
1 Baier, Christel
1 Balaguer, Sandie
1 Baral, Chitta R.
1 Bauer, Sebastian S.
1 Belardinelli, Francesco
1 Benamara, Farah
1 Benerecetti, Massimo
1 Bernot, Gilles
1 Bersani, Marcello M.
1 Bjäreland, Marcus
1 Bloem, Roderick
1 Bonakdarpour, Borzoo
1 Bontemps, Yves
1 Booth, Richard F.
1 Borba, Paulo
1 Bozzelli, Laura
1 Brihaye, Thomas
1 Brink, Chris
1 Britz, Katarina
1 Broersen, Jan M.
1 Busard, Simon
1 Cadilhac, Anaïs
1 Camacho, Carlos J.
1 Chang, Bor-Yuh Evan
1 Chebotarev, Anatoli N.
1 Chevalier, Fabrice
1 Cholvy, Laurence
1 Chopra, Samir
1 Cimatti, Alessandro
1 Comet, Jean-Paul
1 Condurache, Rodica
1 Da Costa, Arnaud
1 David, Alexandre
1 De Baets, Bernard
1 Demri, Stéphane P.
1 Dingel, Juergen
1 Dongol, Brijesh
1 Doyen, Laurent
1 D’Souza, Deepak
1 Eiter, Thomas
1 Fahrenberg, Uli
1 Falappa, Marcelo Alejandro
1 Fermé, Eduardo Leopoldo
1 Fernandez-Amoros, David
1 Fernández Duque, David
1 Fischmeister, Sebastian
1 French, Tim
1 Frohardt, Robert
1 García, Alejandro Javier
1 Gerla, Giangiacomo
1 Gheyi, Rohit
1 Ghose, Aditya
1 Giordano, Laura
1 Giunchiglia, Enrico
1 Gliozzi, Valentina
1 Godo, Lluís
1 Goranko, Valentin F.
1 Griggio, Alberto
1 Haar, Stefan
...and 107 more Authors

Citations by Year