Citation of paper, Parallel program schemata

Authors Citing This Paper

AuthorCiting PapersAuthor's PapersAuthor's CitationsAuthor's IF
David Doty8578692
Sylvain Schmitz6373451.2
Daniel Kroening41984,1232.1
Alessandro Giua42294,6332.1
Stephane Demri4881,0211
Javier Esparza41663,5671.4
Thierry Jeron3611,0161.2
Robert Brijder3572770.5
Gabriel Ciobanu32061,0460.5
Erik Winfree310815,96311.1
Kamila Barylska39320.7
Didier Lime3638971.2
Manuel Silva3991,2861
Gabriel Juhás3322130.3
Henri Hansen2221630.8
Ekkart Kindler213
Laure Petrucci2486261.1
Mirko Viroli21992,8391.9
Florent Avellaneda212330.7
Andrei Klimov29360.2
Stéphane Lafortune21984,4032.2
Łukasz Mikulski239970.6
Chen Ho-Lin2214342
Jun Li2234564.6
Pietro Sala2623170.7
Umberto Nanni2508841.1
Christoforos N Hadjicostis21883,5041.8
Milan Ceska2454721.9
Jehoshua Bruck21937,6742.6
Jordi Cortadella21381,5830.8
Roberto Gorrieri2202040.9
Barbara Re2452761.2
Joanna Jędrzejowicz1401410.6
Matthew Hague1251941.1
Mattia Monga1565450.8
Marieke Huisman11078231.1
10
Sara Migliorini1331820.9
Marcin Jurdzinski1328301.8
Michel Barbeau1703540.5
Tomas Veloz1423681.9
Matteo Camilli1311501.3
Alain1691,4681.3
Rik Eshuis1689901.2
Taishin Nishida1590.1
Xiang Yin1668453.1
Philipp J Meyer112872.2
Lesław Gniewek16530.7
Alex Yakovlev11648280.7
Xiao-guang Han1141442.9

Journals Citing This Paper

JournalCiting PapersJournal's IFJournal's Star
Lecture Notes in Computer Science1860.9★★
Theoretical Computer Science401.1★★
Journal of Computer and System Sciences221★★
IEEE Transactions on Computers132.5★★
Fundamenta Informaticae101★★
Natural Computing91.3★★
Acta Informatica90.9★★
Information and Computation90.8★★
SIAM Journal on Computing91.1★★
Electronic Notes in Theoretical Computer Science90.7
Information Processing Letters90.8★★
ACM SIGPLAN Notices80.2
IEEE Transactions on Automatic Control75.9★★
IEEE Transactions on Systems, Man, and Cybernetics: Systems67.3★★
ACM Transactions on Programming Languages and Systems51.6★★
Journal of the ACM52★★
IFAC Postprint Volumes IPPV / International Federation of Automatic Control5
Information Sciences47.7★★
Cybernetics and Systems Analysis4
Discrete Event Dynamic Systems: Theory and Applications41★★
Formal Methods in System Design41.4★★
Distributed Computing41.2★★
IEEE Transactions on Software Engineering43.5★★
Proceedings of the IEEE314.3★★
International Journal on Software Tools for Technology Transfer31.3★★
Mathematical Structures in Computer Science30.5★★
Lecture Notes in Control and Information Sciences30.5★★
Operating Systems Review (ACM)30.8★★
Calcolo31.5★★
IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans3
Information and Control3
ACM Computing Surveys313.4★★
IEEE Transactions on Systems, Man, and Cybernetics3
Science of Computer Programming31.1★★
CAD Computer Aided Design32.9★★
American Mathematical Monthly30.3★★
International Journal of Computer & Information Sciences2
RAIRO - Theoretical Informatics and Applications2
Springer Series in Synergetics20.4
RAIRO - Theoretical Informatics and Applications20.5★★
Annual Reviews in Control210.3★★
Studies in Fuzziness and Soft Computing20.7★★
Computer Architecture News2
Annals of Pure and Applied Logic20.7★★
Science China Information Sciences23.4★★
Computers and Electrical Engineering24.3★★
Journal of Symbolic Logic20.4★★
International Journal of Production Research27.8★★
IFAC-PapersOnLine20.7★★
Discrete Mathematics20.7★★