Person:476191

Available identifiers

zbMath Open french.timMaRDI QIDQ476191

List of research outcomes

Publication	Date of Publication	Type
Aleatoric propositions: reasoning about coins	2024-02-28	Paper
The Expressivity of Quantified Group Announcements	2024-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q5079791	2022-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q5028475	2022-02-09	Paper
Positive announcements	2021-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4995368	2021-06-24	Paper
A modal aleatoric calculus for probabilistic reasoning	2020-01-14	Paper
Sublogics of a branching time logic of robustness	2019-05-02	Paper
Expressiveness and succinctness of a logic of robustness	2018-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q4636294	2018-04-23	Paper
Finding minimum and maximum termination time of timed automata models with cyclic behaviour	2017-02-06	Paper
A complete axiomatization of a temporal logic with obligation and robustness	2017-01-31	Paper
Refinement Quantified Logics of Knowledge	2016-10-07	Paper
The undecidability of quantified announcements	2016-09-07	Paper
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour	2016-01-06	Paper
Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices	2015-08-06	Paper
Synthesis for continuous time	2015-07-24	Paper
Semantics for knowledge and change of awareness	2015-02-27	Paper
Indiscrete Models: Model Building and Model Checking over Linear Time	2015-01-06	Paper
Refinement modal logic	2014-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q5419881	2014-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q5419886	2014-06-11	Paper
Verifying Temporal Properties in Real Models	2014-01-17	Paper
Model Checking General Linear Temporal Logic	2013-10-04	Paper
On the succinctness of some modal logics	2013-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q2904048	2012-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q3086938	2011-03-30	Paper
Becoming Aware of Propositional Variables	2010-12-17	Paper
Axioms for Obligation and Robustness with Temporal Logic	2010-09-29	Paper
μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★	2009-11-30	Paper
Simulation and Information: Quantifying over Epistemic Events	2009-11-12	Paper
AI 2003: Advances in Artificial Intelligence	2009-08-07	Paper
Idempotent Transductions for Modal Logics	2008-09-16	Paper
A Temporal Logic of Robustness	2008-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q3509051	2008-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q5436689	2008-01-17	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q5483001	2006-08-15	Paper
https://portal.mardi4nfdi.de/entity/Q5465439	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4475142	2004-08-09	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: Tim French