Pierre-Yves Schobbens

Available identifiers

zbMath Open schobbens.pierre-yvesMaRDI QIDQ685614

List of research outcomes

Publication	Date of Publication	Type
The logic of ``initially and ``next: complete axiomatization and complexity	2016-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q2863856	2013-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2848430	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2844043	2013-08-27	Paper
Distributed Event Clock Automata	2011-07-29	Paper
Memory Event Clocks	2010-09-10	Paper
The computational complexity of scenario-based agent verification and design	2007-07-25	Paper
Generic semantics of feature diagrams	2006-12-14	Paper
Information Security	2006-10-16	Paper
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4824478	2004-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4817052	2004-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4739288	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4737004	2004-08-11	Paper
A two-level temporal logic for evolving specifications.	2003-01-21	Paper
Axioms for real-time logics	2002-03-03	Paper
Operators and Laws for Combining Preference Relations	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4496260	2000-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4942099	2000-04-02	Paper
https://portal.mardi4nfdi.de/entity/Q4939602	2000-03-20	Paper
https://portal.mardi4nfdi.de/entity/Q4251916	2000-01-12	Paper
Counterfactuals and updates as inverse modalities	1999-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q4255574	1999-08-17	Paper
Belief revision and verisimilitude	1996-01-29	Paper
Exceptions for algebraic specifications: On the meaning of ``but	1993-10-24	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pierre-Yves Schobbens