Edit Profile (opens in new tab) Sifakis, Joseph Compute Distance To: Compute Author ID: sifakis.joseph Published as: Sifakis, Joseph; Sifakis, J. Homepage: http://www-verimag.imag.fr/~sifakis/ External Links: MGP · Wikidata · dblp · GND · IdRef · theses.fr Awards: Turing Award (2007) Documents Indexed: 67 Publications since 1972 3 Contributions as Editor · 2 Further Contributions Biographic References: 1 Publication Co-Authors: 50 Co-Authors with 58 Joint Publications 1,330 Co-Co-Authors all top 5 Co-Authors 12 single-authored 12 Graf, Susanne 10 Bliudze, Simon 8 Gößler, Gregor 7 Bozga, Marius 6 Bensalem, Saddek 5 Yovine, Sergio 4 Bornot, Sébastien 4 Nicollin, Xavier 3 Baranov, Eduard 3 Iosif, Radu 3 Peled, Doron A. 3 Pnueli, Amir 3 Pulou, Jacques 3 Queille, J. P. 2 Altisen, Karine 2 Basu, Ananda 2 Berthelot, Gérard 2 Bouajjani, Ahmed 2 Combaz, Jacques 2 Fernandez, Jean-Claude 2 Henzinger, Thomas A. 2 Jaber, Mohamad Y. 2 Majster-Cederbaum, Mila E. 2 Martens, Moritz 2 Mavridou, Anastasia 2 Memmi, Gerard 1 Abdellatif, Tesnim 1 Alur, Rajeev 1 André, Charles 1 Attie, Paul C. 1 Best, Eike 1 Bonakdarpour, Borzoo 1 Brams, G. W. 1 Brauer, Wilfried 1 Calude, Cristian S. 1 Closse, Etienne 1 Courcoubetis, Costas A. 1 Edelmann, Romain 1 Esparza, Javier 1 Genrich, Hartmann J. 1 Girault, Claude 1 Jantzen, Matthias 1 Kesten, Yonit 1 Kotek, Tomer 1 Lautenbach, Kurt 1 Loiseaux, Claire 1 Maler, Oded 1 Nguyen, Thanh-Hung 1 Noe, J. 1 Ober, Ileana 1 Ober, Iulian 1 Oberquelle, Horst 1 Olivero, Alfredo 1 Payan, Charles 1 Petri, Carl Adam 1 Poize, Michel 1 Quilbeuf, Jean 1 Rault, J.-C. 1 Roncairol, G. 1 Roucairol, Gerard P. 1 Sangiovanni-Vincentelli, Alberto L. 1 Stankiewicz-Wiechno, Ewa 1 Strus, Loïc 1 Thiagarajan, Pazhamaneri Subramaniam 1 Valk, Rüdiger 1 Veith, Helmut 1 Venter, Patrick 1 Vidal-Naquet, Guy 1 Wang, Qiang 1 Welzel, Christoph 1 Zuse, Konrad all top 5 Serials 4 Information and Computation 3 Acta Informatica 3 Information and Control 3 Theoretical Computer Science 3 Formal Methods in System Design 3 Lecture Notes in Computer Science 3 Journal of Logical and Algebraic Methods in Programming 2 Real-Time Systems 1 Acta Cybernetica 1 IEEE Transactions on Computers 1 RAIRO, Automatique, Systems Analysis and Control 1 Science of Computer Programming 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Distributed Computing 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences, Série A 1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Jaune all top 5 Fields 70 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 3 Systems theory; control (93-XX) 2 General and overarching topics; collections (00-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 57 Publications have been cited 747 times in 571 Documents Cited by ▼ Year ▼ Symbolic model checking for real-time systems. Zbl 0806.68080Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio 123 1994 Specification and verification of concurrent systems in CESAR. Zbl 0482.68028Queille, J. P.; Sifakis, J. 88 1982 On the synthesis of discrete controllers for timed systems. Zbl 1379.68227Maler, Oded; Pnueli, Amir; Sifakis, Joseph 71 1995 The algebra of timed processes, ATP: Theory and application. Zbl 0811.68093Nicollin, Xavier; Sifakis, Joseph 50 1994 Property preserving abstractions for the verification of concurrent systems. Zbl 0829.68053Loiseaux, C.; Graf, S.; Sifakis, J.; Bouajjani, A.; Bensalem, S. 42 1995 Fairness and related properties in transition systems - a temporal logic to deal with fairness. Zbl 0489.68024Queille, J. P.; Sifakis, J. 28 1983 The algorithmic analysis of hybrid systems. Zbl 0823.68067Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S. 23 1994 Safety for branching time semantics. Zbl 0769.68089Bouajjani, A.; Fernandez, J. C.; Graf, S.; Rodriguez, C.; Sifakis, J. 19 1991 From ATP to timed graphs and hybrid systems. Zbl 0790.68067Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio 18 1993 Composition for component-based modeling. Zbl 1075.68016Gössler, Gregor; Sifakis, Joseph 17 2005 The algebra of connectors – structuring interaction in BIP. Zbl 1390.68031Bliudze, Simon; Sifakis, Joseph 16 2008 A logic for the description of non-deterministic programs and their properties. Zbl 0591.68017Graf, S.; Sifakis, J. 16 1986 Scheduler modeling based on the controller synthesis paradigm. Zbl 1018.68006Altisen, K.; Gössler, G.; Sifakis, J. 15 2002 Réseaux de Petri: théorie et pratique. Tome 1: Théorie et analyse. Preface de J.-C. Rault. Zbl 0501.68027Brams, G. W. 15 1983 Compositional specification of timed systems. Zbl 1379.68240Sifakis, Joseph; Yovine, Sergio 15 1996 Decidable integration graphs. Zbl 1045.68566Kesten, Y.; Pnueli, A.; Sifakis, J.; Yovine, S. 14 1999 The IF toolset. Zbl 1105.68352Bozga, Marius; Graf, Susanne; Ober, Ileana; Ober, Iulian; Sifakis, Joseph 14 2004 A modal characterization of observational congruence on finite terms of CCS. Zbl 0591.68031Graf, S.; Sifakis, J. 13 1986 A notion of glue expressiveness for component-based systems. Zbl 1160.68458Bliudze, Simon; Sifakis, Joseph 13 2008 A framework for automated distributed implementation of component-based models. Zbl 1256.68016Bonakdarpour, Borzoo; Bozga, Marius; Jaber, Mohamad; Quilbeuf, Jean; Sifakis, Joseph 12 2012 Causal semantics for the algebra of connectors. Zbl 1207.68203Bliudze, Simon; Sifakis, Joseph 11 2010 Use of Petri nets for performance evaluation. Zbl 0401.68039Sifakis, J. 10 1979 Specification and verification of concurrent systems in CESAR. Zbl 1142.68440Queille, J. P.; Sifakis, J. 9 2008 An approach to modelling and verification of component based systems. Zbl 1131.68474Gössler, Gregor; Graf, Susanne; Majster-Cederbaum, Mila; Martens, M.; Sifakis, Joseph 8 2007 A modal characterization of observational congruence on finite terms of CCS. Zbl 0551.68034Graf, S.; Sifakis, J. 7 1984 Special issue on Hybrid systems. Zbl 0879.00023 6 1995 Compositional verification for component-based systems and application. Zbl 1183.68364Bensalem, Saddek; Bozga, Marius; Sifakis, Joseph; Nguyen, Thanh-Hung 6 2008 Structural properties of Petri nets. Zbl 0381.68056Sifakis, Joseph 5 1978 Synchronized Petri nets: A model for the description of non-autonomous systems. Zbl 0387.68046Moalla, M.; Pulou, J.; Sifakis, J. 5 1978 Structural invariants for the verification of systems with parameterized architectures. Zbl 1507.68179Bozga, Marius; Esparza, Javier; Iosif, Radu; Sifakis, Joseph; Welzel, Christoph 5 2020 Parameterized systems in BIP: design and model checking. Zbl 1392.68254Konnov, Igor; Kotek, Tomer; Wang, Qiang; Veith, Helmut; Bliudze, Simon; Sifakis, Joseph 5 2016 A general framework for architecture composability. Zbl 1342.68029Attie, Paul; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph 5 2016 Deadlocks and livelocks in transition systems. Zbl 0454.68050Sifakis, Joseph 4 1980 Configuration logics: modeling architecture styles. Zbl 1353.68055Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph 4 2017 Ensuring properties of interaction systems. Zbl 1149.68352Gössler, Gregor; Graf, Susanne; Majster-Cederbaum, Mila; Martens, Moritz; Sifakis, Joseph 4 2007 Priority scheduling of distributed systems based on model checking. Zbl 1242.68033Basu, Ananda; Bensalem, Saddek; Peled, Doron; Sifakis, Joseph 4 2009 Component-based construction of deadlock-free systems (extended abstract). Zbl 1205.68245Gössler, Gregor; Sifakis, Joseph 4 2003 A logic for the specification and proof of regular controllable processes of CCS. Zbl 0599.68025Graf, Susanne; Sifakis, Joseph 4 1986 Priority systems. Zbl 1104.68412Gössler, Gregor; Sifakis, Joseph 3 2004 An algebraic framework for urgency. Zbl 1007.68119Bornot, Sébastien; Sifakis, Joseph 3 2000 TAXYS: A tool for the development and verification of real-time embedded systems. Zbl 0991.68644Closse, Etienne; Poize, Michel; Pulou, Jacques; Sifakis, Joseph; Venter, Patrick 3 2001 Property preserving homomorphisms of transition systems. Zbl 0546.68019Sifakis, Joseph 3 1984 Checking deadlock-freedom of parametric component-based systems. Zbl 1455.68102Bozga, Marius; Iosif, Radu; Sifakis, Joseph 3 2021 Architecture diagrams: a graphical language for architecture style specification. Zbl 1433.68100Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph 3 2016 A unified approach for studying the properties of transition systems. Zbl 0478.68056Sifakis, Joseph 2 1982 A methodology for the construction of scheduled systems. Zbl 0986.90501Altisen, K.; Gößler, G.; Sifakis, J. 2 2000 Symbolic quality control for multimedia applications. Zbl 1167.68329Combaz, Jacques; Fernandez, Jean-Claude; Sifakis, Joseph; Strus, Loïc 2 2008 From synchronization tree logic to acceptance model logic. Zbl 0572.68020Graf, S.; Sifakis, J. 2 1985 Modeling real-time systems – challenges and work directions. Zbl 1050.68511Sifakis, Joseph 1 2001 A theory agenda for component-based design. Zbl 1454.68019Sifakis, Joseph; Bensalem, Saddek; Bliudze, Simon; Bozga, Marius 1 2015 The compositional specification of timed sytems – a turorial. Zbl 1046.68609Sifakis, Joseph 1 1999 Réseaux de Petri synchronises. Zbl 0384.68063Moalla, M.; Pulou, J.; Sifakis, J. 1 1978 Rigorous implementation of real-time systems – from theory to application. Zbl 1272.68097Abdellatif, Tesnim; Combaz, Jacques; Sifakis, Joseph 1 2013 Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Ed. by Wilfried Brauer. Zbl 0434.68040 1 1980 On the composition of hybrid systems. Zbl 0957.68047Bornot, Sébastien; Sifakis, Joseph 1 2000 Causal semantics for the algebra of connectors (extended abstract). Zbl 1209.68123Bliudze, Simon; Sifakis, Joseph 1 2008 Knowledge based scheduling of distributed systems. Zbl 1288.68178Bensalem, Saddek; Peled, Doron; Sifakis, Joseph 1 2010 Checking deadlock-freedom of parametric component-based systems. Zbl 1455.68102Bozga, Marius; Iosif, Radu; Sifakis, Joseph 3 2021 Structural invariants for the verification of systems with parameterized architectures. Zbl 1507.68179Bozga, Marius; Esparza, Javier; Iosif, Radu; Sifakis, Joseph; Welzel, Christoph 5 2020 Configuration logics: modeling architecture styles. Zbl 1353.68055Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph 4 2017 Parameterized systems in BIP: design and model checking. Zbl 1392.68254Konnov, Igor; Kotek, Tomer; Wang, Qiang; Veith, Helmut; Bliudze, Simon; Sifakis, Joseph 5 2016 A general framework for architecture composability. Zbl 1342.68029Attie, Paul; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph 5 2016 Architecture diagrams: a graphical language for architecture style specification. Zbl 1433.68100Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph 3 2016 A theory agenda for component-based design. Zbl 1454.68019Sifakis, Joseph; Bensalem, Saddek; Bliudze, Simon; Bozga, Marius 1 2015 Rigorous implementation of real-time systems – from theory to application. Zbl 1272.68097Abdellatif, Tesnim; Combaz, Jacques; Sifakis, Joseph 1 2013 A framework for automated distributed implementation of component-based models. Zbl 1256.68016Bonakdarpour, Borzoo; Bozga, Marius; Jaber, Mohamad; Quilbeuf, Jean; Sifakis, Joseph 12 2012 Causal semantics for the algebra of connectors. Zbl 1207.68203Bliudze, Simon; Sifakis, Joseph 11 2010 Knowledge based scheduling of distributed systems. Zbl 1288.68178Bensalem, Saddek; Peled, Doron; Sifakis, Joseph 1 2010 Priority scheduling of distributed systems based on model checking. Zbl 1242.68033Basu, Ananda; Bensalem, Saddek; Peled, Doron; Sifakis, Joseph 4 2009 The algebra of connectors – structuring interaction in BIP. Zbl 1390.68031Bliudze, Simon; Sifakis, Joseph 16 2008 A notion of glue expressiveness for component-based systems. Zbl 1160.68458Bliudze, Simon; Sifakis, Joseph 13 2008 Specification and verification of concurrent systems in CESAR. Zbl 1142.68440Queille, J. P.; Sifakis, J. 9 2008 Compositional verification for component-based systems and application. Zbl 1183.68364Bensalem, Saddek; Bozga, Marius; Sifakis, Joseph; Nguyen, Thanh-Hung 6 2008 Symbolic quality control for multimedia applications. Zbl 1167.68329Combaz, Jacques; Fernandez, Jean-Claude; Sifakis, Joseph; Strus, Loïc 2 2008 Causal semantics for the algebra of connectors (extended abstract). Zbl 1209.68123Bliudze, Simon; Sifakis, Joseph 1 2008 An approach to modelling and verification of component based systems. Zbl 1131.68474Gössler, Gregor; Graf, Susanne; Majster-Cederbaum, Mila; Martens, M.; Sifakis, Joseph 8 2007 Ensuring properties of interaction systems. Zbl 1149.68352Gössler, Gregor; Graf, Susanne; Majster-Cederbaum, Mila; Martens, Moritz; Sifakis, Joseph 4 2007 Composition for component-based modeling. Zbl 1075.68016Gössler, Gregor; Sifakis, Joseph 17 2005 The IF toolset. Zbl 1105.68352Bozga, Marius; Graf, Susanne; Ober, Ileana; Ober, Iulian; Sifakis, Joseph 14 2004 Priority systems. Zbl 1104.68412Gössler, Gregor; Sifakis, Joseph 3 2004 Component-based construction of deadlock-free systems (extended abstract). Zbl 1205.68245Gössler, Gregor; Sifakis, Joseph 4 2003 Scheduler modeling based on the controller synthesis paradigm. Zbl 1018.68006Altisen, K.; Gössler, G.; Sifakis, J. 15 2002 TAXYS: A tool for the development and verification of real-time embedded systems. Zbl 0991.68644Closse, Etienne; Poize, Michel; Pulou, Jacques; Sifakis, Joseph; Venter, Patrick 3 2001 Modeling real-time systems – challenges and work directions. Zbl 1050.68511Sifakis, Joseph 1 2001 An algebraic framework for urgency. Zbl 1007.68119Bornot, Sébastien; Sifakis, Joseph 3 2000 A methodology for the construction of scheduled systems. Zbl 0986.90501Altisen, K.; Gößler, G.; Sifakis, J. 2 2000 On the composition of hybrid systems. Zbl 0957.68047Bornot, Sébastien; Sifakis, Joseph 1 2000 Decidable integration graphs. Zbl 1045.68566Kesten, Y.; Pnueli, A.; Sifakis, J.; Yovine, S. 14 1999 The compositional specification of timed sytems – a turorial. Zbl 1046.68609Sifakis, Joseph 1 1999 Compositional specification of timed systems. Zbl 1379.68240Sifakis, Joseph; Yovine, Sergio 15 1996 On the synthesis of discrete controllers for timed systems. Zbl 1379.68227Maler, Oded; Pnueli, Amir; Sifakis, Joseph 71 1995 Property preserving abstractions for the verification of concurrent systems. Zbl 0829.68053Loiseaux, C.; Graf, S.; Sifakis, J.; Bouajjani, A.; Bensalem, S. 42 1995 Special issue on Hybrid systems. Zbl 0879.00023 6 1995 Symbolic model checking for real-time systems. Zbl 0806.68080Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio 123 1994 The algebra of timed processes, ATP: Theory and application. Zbl 0811.68093Nicollin, Xavier; Sifakis, Joseph 50 1994 The algorithmic analysis of hybrid systems. Zbl 0823.68067Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S. 23 1994 From ATP to timed graphs and hybrid systems. Zbl 0790.68067Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio 18 1993 Safety for branching time semantics. Zbl 0769.68089Bouajjani, A.; Fernandez, J. C.; Graf, S.; Rodriguez, C.; Sifakis, J. 19 1991 A logic for the description of non-deterministic programs and their properties. Zbl 0591.68017Graf, S.; Sifakis, J. 16 1986 A modal characterization of observational congruence on finite terms of CCS. Zbl 0591.68031Graf, S.; Sifakis, J. 13 1986 A logic for the specification and proof of regular controllable processes of CCS. Zbl 0599.68025Graf, Susanne; Sifakis, Joseph 4 1986 From synchronization tree logic to acceptance model logic. Zbl 0572.68020Graf, S.; Sifakis, J. 2 1985 A modal characterization of observational congruence on finite terms of CCS. Zbl 0551.68034Graf, S.; Sifakis, J. 7 1984 Property preserving homomorphisms of transition systems. Zbl 0546.68019Sifakis, Joseph 3 1984 Fairness and related properties in transition systems - a temporal logic to deal with fairness. Zbl 0489.68024Queille, J. P.; Sifakis, J. 28 1983 Réseaux de Petri: théorie et pratique. Tome 1: Théorie et analyse. Preface de J.-C. Rault. Zbl 0501.68027Brams, G. W. 15 1983 Specification and verification of concurrent systems in CESAR. Zbl 0482.68028Queille, J. P.; Sifakis, J. 88 1982 A unified approach for studying the properties of transition systems. Zbl 0478.68056Sifakis, Joseph 2 1982 Deadlocks and livelocks in transition systems. Zbl 0454.68050Sifakis, Joseph 4 1980 Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Ed. by Wilfried Brauer. Zbl 0434.68040 1 1980 Use of Petri nets for performance evaluation. Zbl 0401.68039Sifakis, J. 10 1979 Structural properties of Petri nets. Zbl 0381.68056Sifakis, Joseph 5 1978 Synchronized Petri nets: A model for the description of non-autonomous systems. Zbl 0387.68046Moalla, M.; Pulou, J.; Sifakis, J. 5 1978 Réseaux de Petri synchronises. Zbl 0384.68063Moalla, M.; Pulou, J.; Sifakis, J. 1 1978 all cited Publications top 5 cited Publications all top 5 Cited by 895 Authors 20 Larsen, Kim Guldstrand 18 Sifakis, Joseph 11 Henzinger, Thomas A. 10 Aceto, Luca 10 Vardi, Moshe Ya’akov 9 Bliudze, Simon 9 Bozga, Marius 9 Graf, Susanne 9 Legay, Axel 9 Lime, Didier 9 Markey, Nicolas 9 Pnueli, Amir 8 Baeten, Jos C. M. 8 Bensalem, Saddek 8 Bouyer, Patricia 8 Kupferman, Orna 8 Murano, Aniello 8 Roux, Olivier H. 7 Bergstra, Jan A. 7 Brihaye, Thomas 7 Duan, Zhenhua 7 Grumberg, Orna 7 Ingólfsdóttir, Anna 7 Lang, Frédéric 7 Laroussinie, François 7 Meseguer Guaita, José 7 Norman, Gethin 7 Reniers, Michel Adriaan 7 Tripakis, Stavros 7 Zhang, Nan 6 Corradini, Flavio 6 Fahrenberg, Uli 6 Kwiatkowska, Marta Z. 6 Maler, Oded 6 Raskin, Jean-François 6 Sproston, Jeremy 5 Alur, Rajeev 5 Chatterjee, Krishnendu 5 Clarke, Edmund Melson jun. 5 Dang, Zhe 5 Haddad, Serge 5 Ibarra, Oscar H. 5 Jaber, Mohamad Y. 5 Kesten, Yonit 5 Lüttgen, Gerald 5 Majster-Cederbaum, Mila E. 5 Majumdar, Rupak 5 Middelburg, Cornelis A. 5 Olveczky, Peter Csaba 5 Tian, Cong 5 Wąsowski, Andrzej 4 Attie, Paul C. 4 Baranov, Eduard 4 Bérard, Béatrice 4 Bonakdarpour, Borzoo 4 Cassez, Franck 4 David, Alexandre 4 Doyen, Laurent 4 Falcone, Yliès 4 Fokkink, Willem Jan 4 Gomez, Rodolfo 4 Iosif, Radu 4 Jobstmann, Barbara 4 Kopke, Peter W. 4 Kulkarni, Sandeep S. 4 Lanotte, Ruggero 4 Lee, Insup 4 Maggiolo-Schettini, Andrea 4 Mogavero, Fabio 4 Park, Seong-Jin 4 Santone, Antonella 4 Tesei, Luca 4 Ulidowski, Irek 4 Vaandrager, Frits W. 4 Yi, Wang 4 Yovine, Sergio 4 Zamani, Majid 4 Zhan, Naijun 3 Abate, Alessandro 3 Abujarad, Fuad 3 Alla, Hassane 3 Apt, Krzysztof Rafal 3 Asarin, Eugene 3 Barbuti, Roberto 3 Bouajjani, Ahmed 3 Bruni, Roberto 3 Bruyère, Véronique 3 Cho, Kwang-Hyun 3 Chockler, Hana 3 Cimatti, Alessandro 3 D’Argenio, Pedro Rubén 3 Dekhtyar, Michael I. 3 Dikovsky, Alexander Yakovlevich 3 Dong, JinSong 3 Esparza, Javier 3 Geeraerts, Gilles 3 Gorogiannis, Nikos 3 Halbwachs, Nicolas 3 Howell, Rodney R. 3 Jonsson, Bengt ...and 795 more Authors all top 5 Cited in 71 Serials 101 Theoretical Computer Science 46 Information and Computation 38 Formal Methods in System Design 25 Formal Aspects of Computing 21 Acta Informatica 21 The Journal of Logic and Algebraic Programming 15 Discrete Event Dynamic Systems 12 Information Processing Letters 12 Real-Time Systems 12 Journal of Logical and Algebraic Methods in Programming 10 Automatica 6 Journal of Computer and System Sciences 6 Science of Computer Programming 5 MSCS. Mathematical Structures in Computer Science 4 Artificial Intelligence 4 International Journal of Control 4 Journal of Computer Science and Technology 4 Journal of Automated Reasoning 4 International Journal of Foundations of Computer Science 4 Distributed Computing 4 European Journal of Control 4 Logical Methods in Computer Science 3 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 3 Annals of Pure and Applied Logic 3 Mathematical and Computer Modelling 3 International Journal of Robust and Nonlinear Control 3 Nonlinear Analysis. Hybrid Systems 2 Mathematics and Computers in Simulation 2 Programming and Computer Software 2 Journal of Logic, Language and Information 2 Annals of Mathematics and Artificial Intelligence 2 Higher-Order and Symbolic Computation 2 Journal of Applied Mathematics 2 ACM Transactions on Computational Logic 2 Mathematics in Computer Science 2 Computer Science Review 1 ACM Computing Surveys 1 International Journal of General Systems 1 International Journal of Theoretical Physics 1 Journal of the Franklin Institute 1 Applied Mathematics and Computation 1 Information Sciences 1 RAIRO, Informatique Théorique 1 Systems & Control Letters 1 Operations Research Letters 1 Journal of Symbolic Computation 1 Journal of Complexity 1 MCSS. Mathematics of Control, Signals, and Systems 1 Machine Learning 1 International Journal of Algebra and Computation 1 International Journal of Computer Mathematics 1 RAIRO. Informatique Théorique et Applications 1 Cybernetics and Systems Analysis 1 Computational & Mathematical Organization Theory 1 Mathematical Problems in Engineering 1 Theory of Computing Systems 1 Soft Computing 1 Journal of Scheduling 1 Journal of the ACM 1 RAIRO. Theoretical Informatics and Applications 1 Fundamenta Informaticae 1 Computer Languages, Systems & Structures 1 Journal of Intelligent and Fuzzy Systems 1 Journal of Applied Logic 1 Science in China. Series F 1 Foundations and Trends in Theoretical Computer Science 1 Science China. Information Sciences 1 RAIRO. Theoretical Informatics and Applications 1 Frontiers of Computer Science in China 1 Frontiers of Computer Science 1 International Journal of Systems Science. Principles and Applications of Systems and Integration all top 5 Cited in 20 Fields 524 Computer science (68-XX) 106 Mathematical logic and foundations (03-XX) 65 Systems theory; control (93-XX) 27 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 Operations research, mathematical programming (90-XX) 6 Biology and other natural sciences (92-XX) 6 Information and communication theory, circuits (94-XX) 5 Combinatorics (05-XX) 4 Calculus of variations and optimal control; optimization (49-XX) 4 Probability theory and stochastic processes (60-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) 1 Quantum theory (81-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.