Philippe Balbiani

Publications

1.8K

Citations

H-Index

1988

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Université Toulouse III - Paul Sabatier

Institut de Recherche en Informatique de Toulouse

Université Toulouse - Jean Jaurès

Université Toulouse-I-Capitole

Philippe Balbiani is an author at Centre National de la Recherche Scientifique specializing in engineering, automated reasoning, and computer science.

ORCID

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceSemanticsFormal VerificationInformation ManagementLanguageLinguisticsVerification

Publications per year

1988–2019

Publications

Organization based access control

Anas Abou El Kalam, Rania El Baida, Philippe Balbiani et al. · 2004 · 551 citations · Full text

Engineering, Information Security, Health Care Domain +16

‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’

Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch et al. · The Review of Symbolic Logic · 2008 · 135 citations · Full text

Engineering, Classical Logic, Epistemic Logic +18

Group announcement logic

Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch et al. · Journal of Applied Logic · 2009 · 99 citations

Group Announcement Logic, Group Communication, Automated Reasoning +4

A New Tractable Subclass of the Rectangle Algebra

Philippe Balbiani, Jean-François Condotta, Luís Fariñas del Cerro · 1999 · 97 citations · Full text

Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL

Philippe Balbiani, Andreas Herzig, Nicolas Troquard · 2013 · 64 citations · Full text

Applied Logic, Computational Logic, Engineering +11

Rows per page

1–5 of 38