Citation of paper, A logic for reasoning about time and reliability

Authors Citing This Paper

AuthorCiting PapersAuthor's PapersAuthor's CitationsAuthor's IF
Joost-Pieter Katoen302845,3632.2
Gethin J Norman241014,8693.8
David Parker221144,8704.2
Boudewijn R Haverkort141191,8531
Lars Grunske9942,0022.3
Antonín Kučera9938840.8
Mieke Massink9911,1961.6
Michele Loreti8901,0641.7
Michael Fisher82062,9971.9
Nir Piterman7922,0842.2
Marta Kwiatkowska71415,5004.1
Sascha Klüppelholz6494381.4
Genaina Nunes Rodrigues6322380.9
Vander Alves6365441.4
Erika Abraham6891,2321.7
Matthias Güdemann6232360.9
Alice Miller6373261.1
Ralf Wimmer5504731.1
John C Mccabe-Dansted516640.4
Yu Lu5302993.2
Clare Dixon5929501.7
Annabelle K Mciver5729721.2
Joachim Klein4375001.9
Alexandros Evangelidis44271.6
Raffaela Mirandola4677910.4
Valentina Castiglioni415370.8
Mark Reynolds4917851.5
Simone Tini4593130.7
Ruggero Lanotte4493231
Paulo Mateus4856841.2
Javier Esparza41663,5671.4
Marielle Stoelinga4611,1402.6
José Ignacio Requeno Jarabo4550.5
Catuscia Palamidessi31693,0471.3
Gerardo I Simari3843970.7
Osman Hasan32081,4141.1
Lei Song38380.5
30
Vahid Hashemi315801.4
Pedro R D'argenio3608821.5
András Horváth3709221
David N Jansen3234852.2
Stylianos Basagiannis3362531
Radu Calinescu3551,0832.8
Guoxin Su3171371.7
Tim French3362080.8
Enrico Tronci3795591.1
Hichem Debbi36100.6
Flemming Nielson35221.4
Heinz W Schmidt3252820.8

Journals Citing This Paper

JournalCiting PapersJournal's IFJournal's Star
Lecture Notes in Computer Science2900.9★★
Electronic Notes in Theoretical Computer Science270.7
Theoretical Computer Science221.1★★
Electronic Proceedings in Theoretical Computer Science, EPTCS15★★
International Journal on Software Tools for Technology Transfer141.3★★
IEEE Transactions on Software Engineering133.5★★
Formal Methods in System Design111.4★★
Information and Computation110.8★★
Science of Computer Programming81.1★★
ACM Transactions on Computational Logic70.9★★
Formal Aspects of Computing71.2★★
The Journal of Logic and Algebraic Programming6
Performance Evaluation61.2★★
Journal of Computer and System Sciences61★★
Performance Evaluation Review50.4
Transactions on Embedded Computing Systems51.8★★
Acta Informatica50.9★★
Logical Methods in Computer Science4
Information and Software Technology43.4★★
Information Processing Letters40.8★★
Communications in Computer and Information Science40.3★★
Monographs in Theoretical Computer Science34
Software and Systems Modeling31.9★★
Logic Journal of the IGPL31★★
ACM Computing Surveys313.4★★
Artificial Intelligence33.6★★
Journal of Systems and Software33.3★★
Future Generation Computer Systems37.5★★
Advances in Information Security20.7★★
ACM Transactions on Software Engineering and Methodology23.3★★
Journal of Computer Security20.8★★
ACM Transactions on Modeling and Computer Simulation20.6★★
IEEE Transactions on Human-Machine Systems24.1★★
Frontiers of Computer Science22.2
Profiles in Operations Research21
Mathematical Structures in Computer Science20.5★★
European Journal of Control22.5★★
Journal of Logic and Computation20.4★★
Lecture Notes in Business Information Processing20.6★★
Fundamenta Informaticae21★★
Journal of Computer Science and Technology21.7★★
Journal of the ACM22★★
IEICE Transactions on Information and Systems20.6★★
IEEE Transactions on Very Large Scale Integration (VLSI) Systems22.6★★
Reliability Engineering and System Safety26.3★★
Modern Physics Letters B21.6★★
Advances in Intelligent Systems and Computing20.4★★
Journal of Software Engineering1
Advances in Computer and Electrical Engineering Book Series10.3
Advances in Information Security, Privacy, and Ethics Book Series10.3