Philippe Balbiani - Google Scholar Citations

Cited by

	All	Since 2015
Citations	3105	1196
h-index	27	17
i10-index	61	26

260

130

195

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202012 8 25 23 34 33 39 44 81 79 103 133 159 172 190 142 191 188 177 196 242 228 223 219 88

Co-authors

Andreas HerzigCNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)Verified email at irit.fr
Hans van DitmarschCNRSVerified email at loria.fr
Tinko TinchevProfessor at Faculty of Mathematics and Informatics, Sofia UniversityVerified email at fmi.uni-sofia.bg
Dimiter VakarelovSofia University "St. Kliment Ohridski"Verified email at fmi.uni-sofia.bg
Salem benferhatFull professor, CRIL-CNRS UMR 8188, Artois University (France)Verified email at cril.fr
Frédéric CuppensPolytechnique MontréalVerified email at polymtl.ca
Yves DeswarteResearcher, LAAS-CNRSVerified email at laas.fr
Nicolas TroquardKRDB, Free University of Bozen-BolzanoVerified email at unibz.it
David Fernández-DuqueToulouse UniversityVerified email at irit.fr
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityVerified email at philosophy.su.se
Joseph Boudoupostdoc, IRIT, Toulouse UniversityVerified email at irit.fr
Emiliano LoriniCNRS Research Director (DR2), IRIT (CNRS-UT3), TMBI (Univ.Toulouse)Verified email at irit.fr
François SchwarzentruberENS RennesVerified email at ens-rennes.fr
Olivier GasquetProfesseur d'informatique, Université Paul SabatierVerified email at irit.fr
Aomar OsmaniLaboratoire LIPN-UMR CNRS 7030 Universite Paris 13 Sorbonne Paris CitéVerified email at lipn.univ-paris13.fr
Thomas ÅgotnesProfessor of Information Science, University of BergenVerified email at infomedia.uib.no
Yannick ChevalierMaître de Conférences en informatique, IRIT, Université Toulouse 3Verified email at irit.fr
Rachid EchahedResearch Fellow CNRS, GrenobleVerified email at imag.fr
khalil challitaAssociate professor, Notre Dame University - LouaizeVerified email at ndu.edu.lb
Ilya ShapirovskyIITP RASVerified email at iitp.ru

Philippe Balbiani

Institut de recherche en informatique de Toulouse

Verified email at irit.fr

Non-classical logics. Qualitative spatial and temporal reasoning. Unification problem.


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Organization based access control AAE Kalam, RE Baida, P Balbiani, S Benferhat, F Cuppens, Y Deswarte, ... Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for …, 2003	763	2003
A new tractable subclass of the rectangle algebra P Balbiani, JF Condotta, LF del Cerro IJCAI 99, 442-447, 1999	163	1999
A model for reasoning about bidimensional temporal relations P Balbiani, JF Condotta, LF Del Cerro PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING-INTERNATIONAL …, 1998	132	1998
'Knowable'as' known after an announcement'. P Balbiani, A Baltag, H Van Ditmarsch, A Herzig, T Hoshi, T De Lima Rev. Symb. Log. 1 (3), 305-334, 2008	126	2008
Group announcement logic T Ågotnes, P Balbiani, H van Ditmarsch, P Seban Journal of Applied Logic 8 (1), 62-81, 2010	96	2010
What can we achieve by arbitrary announcements? A dynamic take on Fitch's knowability P Balbiani, A Baltag, H Van Ditmarsch, A Herzig, T Hoshi, T De Lima Proceedings of the 11th conference on Theoretical aspects of rationality and …, 2007	75	2007
Dynamic logic of propositional assignments: a well-behaved variant of PDL P Balbiani, A Herzig, N Troquard 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 143-152, 2013	73	2013
Alternative axiomatics and complexity of deliberative STIT theories P Balbiani, A Herzig, N Troquard Journal of Philosophical Logic 37 (4), 387-406, 2008	72	2008
Modal logics for region-based theories of space P Balbiani, T Tinchev, D Vakarelov Fundamenta Informaticae 81 (1-3), 29-82, 2007	60	2007
Global and local graph modifiers G Aucher, P Balbiani, LF Del Cerro, A Herzig Electronic Notes in Theoretical Computer Science 231, 293-307, 2009	56	2009
Tractability results in the block algebra P Balbiani, JF Condotta, LF Del Cerro Journal of Logic and Computation 12 (5), 885-909, 2002	55	2002
Tableaux for public announcement logic P Balbiani, H Van Ditmarsch, A Herzig, T De Lima Journal of Logic and Computation 20 (1), 55-76, 2010	51	2010
Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning P Balbiani, C Jean-François International Workshop on Frontiers of Combining Systems, 162-176, 2002	49	2002
A model for reasoning about topologic relations between cyclic intervals P Balbiani, A Osmani Proceedings of the Seventh International Conference on Principles of …, 2000	44	2000
Or-BAC: un modèle de contrôle d’accès basé sur les organisations A Abou El Kalam, R El Baida, P Balbiani, S Benferhat, F Cuppens, ... Cahiers francophones de la recherche en sécurité de l› information. II, 30 43, 2003	40	2003
Iteration-free PDL with intersection: a complete axiomatization P Balbiani, D Vakarelov Fundamenta Informaticae 45 (3), 173-194, 2001	39	2001
Modal logics for incidence geometries P Balbiani, LFDEL CERRO, T Tinchev, D Vakarelov Journal of Logic and Computation 7 (1), 59-78, 1997	36	1997
A hierarchy of modal logics with relative accessibility relations P Balbiani, E Orlowska Journal of Applied Non-Classical Logics 9 (2-3), 303-328, 1999	34	1999
Composition of interactive web services based on controller synthesis P Balbiani, F Cheikh, G Feuillade 2008 IEEE Congress on Services-Part I, 521-528, 2008	33	2008
PDL with intersection of programs: a complete axiomatization P Balbiani, D Vakarelov Journal of Applied Non-Classical Logics 13 (3-4), 231-276, 2003	31	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors