Citation of paper, Propositional dynamic logic of regular programs

Authors Citing This Paper

AuthorCiting PapersAuthor's PapersAuthor's CitationsAuthor's IF
Mario Benevides1030920.3
Philippe Balbiani91047890.5
Stephane Demri8881,0211
Maurizio Lenzerini71074,7532.6
Carsten Lutz7521,0071.4
Diego Calvanese61584,4352.5
Bruno Lopes515430.4
Patrick Blackburn5245291.2
Sascha Klüppelholz4494381.4
Михаил Рыбаков416681.3
Dmitry Shkatov4271281.1
Ullrich Hustadt4515730.9
Arne Meier3432000.7
Renate A Schmidt3725690.6
Ian R Horrocks31837,8083.2
Igor Sedlár320470.8
Fabio Massacci32092,9851.3
Thomas Studer3463201
Aniello Murano21006721
Robert Trypuz223660.4
Maarten Marx2891,2991.2
Lidia Tendera2191500.6
Yanjing Wang2433211.6
Heribert Vollmer21009540.7
Lauri T Hella2464140.6
Martin Zimmermann2381390.8
Frank Neven2971,7881.2
Antonín Kučera2938840.8
Dana Fisman2364321.3
Mark Reynolds2917851.5
Bruce M Kapron2333121
Jonni Virtema2231301.1
Antonis Achilleos2251341.6
Tinko Tinchev2216081
Srđan Krstić2202173.4
Dmitriy Traytel2373632.6
Nikolay Shilov221350.3
Kaile Su21036310.8
Peter Faymonville2122093.8
Piotr Kulicki2291190.9
10
Joachim Klein1375001.9
Leendert van der Torre11772,1180.9
Jaco C Van De Pol1778561.6
Uli Sattler13625.2
Anuj Dawar1737580.7
Cesar Sanchez1586332.4
Minghui13544.5
Guillermo Navarro-Arribas1584521.2
Gallardo, María-del-Mar1241380.5

Journals Citing This Paper

JournalCiting PapersJournal's IFJournal's Star
Lecture Notes in Computer Science2270.9★★
Theoretical Computer Science321.1★★
Journal of Logic and Computation260.4★★
Information and Computation150.8★★
Journal of Computer and System Sciences151★★
Journal of Applied Non-Classical Logics140.5★★
Electronic Notes in Theoretical Computer Science130.7
ACM Transactions on Computational Logic110.9★★
Electronic Proceedings in Theoretical Computer Science, EPTCS10★★
Studia Logica100.7★★
Journal of Applied Logic9★★
Journal of Automated Reasoning81★★
Annals of Pure and Applied Logic80.7★★
Information and Control7
Studies in Logic and Practical Reasoning6
Journal of Logical and Algebraic Methods in Programming61★★
Logic Journal of the IGPL61★★
Science of Computer Programming61.1★★
Artificial Intelligence63.6★★
Journal of Symbolic Logic60.4★★
Journal of Logic, Language and Information50.7★★
Annals of Mathematics and Artificial Intelligence50.8★★
Journal of the ACM52★★
SynthÈse50.8★★
The Journal of Logic and Algebraic Programming4
Formal Methods in System Design41.4★★
Fundamenta Informaticae41★★
Software Engineering Notes: an Informal Newsletter of the Special Interest Committee on Software Engineering / ACM40.4
SIAM Journal on Computing41.1★★
Applied Logic Series3
Handbook of the History of Logic3
Studies in Logic and the Foundations of Mathematics3
Journal of Philosophical Logic30.7★★
International Journal of Foundations of Computer Science30.6★★
IEEE Transactions on Software Engineering33.5★★
Information Processing Letters30.8★★
Zeitschrift Für Mathematische Logik Und Grundlagen Der Mathematik2
Logical Methods in Computer Science2
Theory and Practice of Logic Programming20.8★★
Autonomous Agents and Multi-Agent Systems22★★
Mathematical Systems Theory2
International Journal on Software Tools for Technology Transfer21.3★★
ACM SIGACT News20.3
Formal Aspects of Computing21.2★★
Acta Informatica20.9★★
Data and Knowledge Engineering21.5★★
North-Holland Mathematics Studies2
Lithuanian Mathematical Journal20.5★★
Concurrency Computation Practice and Experience21.4★★
Soft Computing23.5★★