Citation of paper, A theory of timed automata

Authors Citing This Paper

AuthorCiting PapersAuthor's PapersAuthor's CitationsAuthor's IF
Eugene A Asarin34551,4911.6
Étienne André33845771.2
Paul Pettersson31773,1492
Nicolas Markey31879601.2
Stavros Tripakis261212,2931.6
Franck Cassez24619371.3
Didier Lime23638971.2
Ruggero Lanotte20493231
Joost-Pieter Katoen192845,3632.2
James Worrell171021,3361.1
Maria De Las Mercedes Garcia Merayo15906340.8
Jun Sun152112,1261.7
Manuel Nunez151411,0040.7
Gethin J Norman151014,8693.8
Arnd Hartmanns14516572.7
Pierluigi San Pietro14594230.7
Giovanni Acampora131201,7501.5
Thierry Jeron13611,0161.2
Marc Geilen131181,1960.9
Hacene Fouchal12763580.5
Joel Ouaknine11861,4481.4
Olaf Stursberg111421,5770.8
Eun-Young Kang11221571
Stephane Demri11881,0211
Nathalie Bertrand10434931
Gregorio Diaz10543630.7
Robert M Hierons101632,5251.3
Bernhard K Aichernig10918031.5
George J Pappas1040015,1173.6
Pierre-Yves Schobbens10982,3251.9
Pedro R D'argenio9608821.5
Ashutosh Trivedi9342211.2
Maria Domenica Di Benedetto9819081.4
Laure Petrucci8486261.1
Shang-Wei Lin8544521.9
Davide Basile8433072.3
Sławomir Lasota8482590.7
Jaco C Van De Pol7778561.6
Marcin Jurdzinski7328301.8
Shengchao Qin71008830.9
Marco MuÑiz7171121
Peter Gjøl Jensen7211892.4
Lars Grunske7942,0022.3
Zdenek Hanzalek7917591.1
Nikil Dutt73333,9181.4
Maxim L Gromov711310.2
Boudewijn R Haverkort71191,8531
Abhishek Dubey71131,0901.4
Jameleddine Hassine7381780.6
Gabor Karsai71693,4261.6

Journals Citing This Paper

JournalCiting PapersJournal's IFJournal's Star
Lecture Notes in Computer Science13980.9★★
Theoretical Computer Science1071.1★★
Electronic Notes in Theoretical Computer Science970.7
IFAC Postprint Volumes IPPV / International Federation of Automatic Control72
Electronic Proceedings in Theoretical Computer Science, EPTCS63★★
International Journal on Software Tools for Technology Transfer551.3★★
Information and Computation390.8★★
Formal Aspects of Computing351.2★★
Formal Methods in System Design341.4★★
Communications in Computer and Information Science330.3★★
Science of Computer Programming271.1★★
IEEE Transactions on Software Engineering263.5★★
IEEE Transactions on Automatic Control265.9★★
IFAC-PapersOnLine220.7★★
Advances in Intelligent Systems and Computing210.4★★
IFIP Advances in Information and Communication Technology200.5★★
Acta Informatica190.9★★
Real-Time Systems181.3★★
Proceedings of the IEEE1714.3★★
Discrete Event Dynamic Systems: Theory and Applications171★★
Transactions on Embedded Computing Systems171.8★★
Journal of Systems and Software173.3★★
The Journal of Logic and Algebraic Programming16
Software and Systems Modeling151.9★★
Fundamenta Informaticae151★★
Information Processing Letters150.8★★
Journal of Logical and Algebraic Methods in Programming131★★
Lecture Notes in Electrical Engineering130.2
International Journal of Foundations of Computer Science120.6★★
Studies in Computational Intelligence110.8★★
Innovations in Systems and Software Engineering101.1★★
ACM Transactions on Computational Logic100.9★★
Lecture Notes in Business Information Processing100.6★★
Information and Software Technology93.4★★
Automatisierungstechnik90.8
Software Testing Verification and Reliability80.9★★
Simulation81.2★★
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems82.5★★
International Journal of Control81.5★★
IEEE Transactions on Automation Science and Engineering74.9★★
Automatica75.7★★
IEEE Access73.5★★
Applied Mechanics and Materials60.3
Embedded Systems6
Logical Methods in Computer Science6
International Journal of Critical Computer-Based Systems60.4
ACM SIGBED Review61.3
ACM Transactions on Software Engineering and Methodology63.3★★
Programming and Computer Software60.8★★
Journal of Logic and Computation60.4★★