×
Author ID: sifakis.joseph Recent zbMATH articles by "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)

Publications by Year

Citations contained in zbMATH Open

61 Publications have been cited 866 times in 660 Documents Cited by Year
Symbolic model checking for real-time systems. Zbl 0806.68080
Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio
132
1994
Specification and verification of concurrent systems in CESAR. Zbl 0482.68028
Queille, J. P.; Sifakis, J.
112
1982
On the synthesis of discrete controllers for timed systems. Zbl 1379.68227
Maler, Oded; Pnueli, Amir; Sifakis, Joseph
78
1995
The algebra of timed processes, ATP: Theory and application. Zbl 0811.68093
Nicollin, Xavier; Sifakis, Joseph
52
1994
Property preserving abstractions for the verification of concurrent systems. Zbl 0829.68053
Loiseaux, C.; Graf, S.; Sifakis, J.; Bouajjani, A.; Bensalem, S.
47
1995
Fairness and related properties in transition systems - a temporal logic to deal with fairness. Zbl 0489.68024
Queille, J. P.; Sifakis, J.
29
1983
The algorithmic analysis of hybrid systems. Zbl 0823.68067
Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S.
22
1994
Composition for component-based modeling. Zbl 1075.68016
Gössler, Gregor; Sifakis, Joseph
21
2005
Safety for branching time semantics. Zbl 0769.68089
Bouajjani, A.; Fernandez, J. C.; Graf, S.; Rodriguez, C.; Sifakis, J.
20
1991
The algebra of connectors – structuring interaction in BIP. Zbl 1390.68031
Bliudze, Simon; Sifakis, Joseph
19
2008
Compositional specification of timed systems. Zbl 1379.68240
Sifakis, Joseph; Yovine, Sergio
18
1996
From ATP to timed graphs and hybrid systems. Zbl 0790.68067
Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio
18
1993
Réseaux de Petri: théorie et pratique. Tome 1: Théorie et analyse. Preface de J.-C. Rault. Zbl 0501.68027
Brams, G. W.
18
1983
A modal characterization of observational congruence on finite terms of CCS. Zbl 0591.68031
Graf, S.; Sifakis, J.
17
1986
A logic for the description of non-deterministic programs and their properties. Zbl 0591.68017
Graf, S.; Sifakis, J.
16
1986
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
16
1980
Scheduler modeling based on the controller synthesis paradigm. Zbl 1018.68006
Altisen, K.; Gössler, G.; Sifakis, J.
15
2002
Decidable integration graphs. Zbl 1045.68566
Kesten, Y.; Pnueli, A.; Sifakis, J.; Yovine, S.
15
1999
The IF toolset. Zbl 1105.68352
Bozga, Marius; Graf, Susanne; Ober, Ileana; Ober, Iulian; Sifakis, Joseph
15
2004
Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings. Zbl 0745.68017
14
1990
A notion of glue expressiveness for component-based systems. Zbl 1160.68458
Bliudze, Simon; Sifakis, Joseph
14
2008
A framework for automated distributed implementation of component-based models. Zbl 1256.68016
Bonakdarpour, Borzoo; Bozga, Marius; Jaber, Mohamad; Quilbeuf, Jean; Sifakis, Joseph
12
2012
Causal semantics for the algebra of connectors. Zbl 1207.68203
Bliudze, Simon; Sifakis, Joseph
11
2010
Use of Petri nets for performance evaluation. Zbl 0401.68039
Sifakis, J.
10
1979
Structural properties of Petri nets. Zbl 0381.68056
Sifakis, Joseph
10
1978
Specification and verification of concurrent systems in CESAR. Zbl 1142.68440
Queille, J. P.; Sifakis, J.
10
2008
A modal characterization of observational congruence on finite terms of CCS. Zbl 0551.68034
Graf, S.; Sifakis, J.
9
1984
An approach to modelling and verification of component based systems. Zbl 1131.68474
Gössler, Gregor; Graf, Susanne; Majster-Cederbaum, Mila; Martens, M.; Sifakis, Joseph
9
2007
Configuration logics: modeling architecture styles. Zbl 1353.68055
Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph
8
2017
Property preserving homomorphisms of transition systems. Zbl 0546.68019
Sifakis, Joseph
8
1984
Special issue on Hybrid systems. Zbl 0879.00023
8
1995
Structural invariants for the verification of systems with parameterized architectures. Zbl 1507.68179
Bozga, Marius; Esparza, Javier; Iosif, Radu; Sifakis, Joseph; Welzel, Christoph
8
2020
Parameterized systems in BIP: design and model checking. Zbl 1392.68254
Konnov, Igor; Kotek, Tomer; Wang, Qiang; Veith, Helmut; Bliudze, Simon; Sifakis, Joseph
6
2016
Priority systems. Zbl 1104.68412
Gössler, Gregor; Sifakis, Joseph
6
2004
Compositional verification for component-based systems and application. Zbl 1183.68364
Bensalem, Saddek; Bozga, Marius; Sifakis, Joseph; Nguyen, Thanh-Hung
6
2008
Component-based construction of deadlock-free systems (extended abstract). Zbl 1205.68245
Gössler, Gregor; Sifakis, Joseph
6
2003
A general framework for architecture composability. Zbl 1342.68029
Attie, Paul; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph
6
2016
Synchronized Petri nets: A model for the description of non-autonomous systems. Zbl 0387.68046
Moalla, M.; Pulou, J.; Sifakis, J.
5
1978
Ensuring properties of interaction systems. Zbl 1149.68352
Gössler, Gregor; Graf, Susanne; Majster-Cederbaum, Mila; Martens, Moritz; Sifakis, Joseph
5
2007
Priority scheduling of distributed systems based on model checking. Zbl 1242.68033
Basu, Ananda; Bensalem, Saddek; Peled, Doron; Sifakis, Joseph
4
2009
A logic for the specification and proof of regular controllable processes of CCS. Zbl 0599.68025
Graf, Susanne; Sifakis, Joseph
4
1986
Deadlocks and livelocks in transition systems. Zbl 0454.68050
Sifakis, Joseph
4
1980
A unified approach for studying the properties of transition systems. Zbl 0478.68056
Sifakis, Joseph
4
1982
Architecture diagrams: a graphical language for architecture style specification. Zbl 1433.68100
Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph
4
2016
Checking deadlock-freedom of parametric component-based systems. Zbl 1455.68102
Bozga, Marius; Iosif, Radu; Sifakis, Joseph
4
2021
TAXYS: A tool for the development and verification of real-time embedded systems. Zbl 0991.68644
Closse, Etienne; Poize, Michel; Pulou, Jacques; Sifakis, Joseph; Venter, Patrick
3
2001
An algebraic framework for urgency. Zbl 1007.68119
Bornot, Sébastien; Sifakis, Joseph
3
2000
A methodology for the construction of scheduled systems. Zbl 0986.90501
Altisen, K.; Gößler, G.; Sifakis, J.
3
2000
Symbolic quality control for multimedia applications. Zbl 1167.68329
Combaz, Jacques; Fernandez, Jean-Claude; Sifakis, Joseph; Strus, Loïc
2
2008
Modeling real-time systems – challenges and work directions. Zbl 1050.68511
Sifakis, Joseph
2
2001
From synchronization tree logic to acceptance model logic. Zbl 0572.68020
Graf, S.; Sifakis, J.
2
1985
Rigorous implementation of real-time systems – from theory to application. Zbl 1272.68097
Abdellatif, Tesnim; Combaz, Jacques; Sifakis, Joseph
1
2013
The compositional specification of timed sytems – a turorial. Zbl 1046.68609
Sifakis, Joseph
1
1999
A theory agenda for component-based design. Zbl 1454.68019
Sifakis, Joseph; Bensalem, Saddek; Bliudze, Simon; Bozga, Marius
1
2015
Réseaux de Petri synchronises. Zbl 0384.68063
Moalla, M.; Pulou, J.; Sifakis, J.
1
1978
On the composition of hybrid systems. Zbl 0957.68047
Bornot, Sébastien; Sifakis, Joseph
1
2000
Knowledge based scheduling of distributed systems. Zbl 1288.68178
Bensalem, Saddek; Peled, Doron; Sifakis, Joseph
1
2010
Causal semantics for the algebra of connectors (extended abstract). Zbl 1209.68123
Bliudze, Simon; Sifakis, Joseph
1
2008
Priority scheduling of distributed systems based on model checking. Zbl 1260.68030
Basu, Ananda; Bensalem, Saddek; Peled, Doron; Sifakis, Joseph
1
2011
Readiness semantics for regular processes with silent actions. Zbl 0646.68019
Graf, Susanne; Sifakis, Joseph
1
1987
Checking deadlock-freedom of parametric component-based systems. Zbl 1527.68022
Bozga, Marius; Iosif, Radu; Sifakis, Joseph
1
2019
Checking deadlock-freedom of parametric component-based systems. Zbl 1455.68102
Bozga, Marius; Iosif, Radu; Sifakis, Joseph
4
2021
Structural invariants for the verification of systems with parameterized architectures. Zbl 1507.68179
Bozga, Marius; Esparza, Javier; Iosif, Radu; Sifakis, Joseph; Welzel, Christoph
8
2020
Checking deadlock-freedom of parametric component-based systems. Zbl 1527.68022
Bozga, Marius; Iosif, Radu; Sifakis, Joseph
1
2019
Configuration logics: modeling architecture styles. Zbl 1353.68055
Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph
8
2017
Parameterized systems in BIP: design and model checking. Zbl 1392.68254
Konnov, Igor; Kotek, Tomer; Wang, Qiang; Veith, Helmut; Bliudze, Simon; Sifakis, Joseph
6
2016
A general framework for architecture composability. Zbl 1342.68029
Attie, Paul; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph
6
2016
Architecture diagrams: a graphical language for architecture style specification. Zbl 1433.68100
Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph
4
2016
A theory agenda for component-based design. Zbl 1454.68019
Sifakis, Joseph; Bensalem, Saddek; Bliudze, Simon; Bozga, Marius
1
2015
Rigorous implementation of real-time systems – from theory to application. Zbl 1272.68097
Abdellatif, Tesnim; Combaz, Jacques; Sifakis, Joseph
1
2013
A framework for automated distributed implementation of component-based models. Zbl 1256.68016
Bonakdarpour, Borzoo; Bozga, Marius; Jaber, Mohamad; Quilbeuf, Jean; Sifakis, Joseph
12
2012
Priority scheduling of distributed systems based on model checking. Zbl 1260.68030
Basu, Ananda; Bensalem, Saddek; Peled, Doron; Sifakis, Joseph
1
2011
Causal semantics for the algebra of connectors. Zbl 1207.68203
Bliudze, Simon; Sifakis, Joseph
11
2010
Knowledge based scheduling of distributed systems. Zbl 1288.68178
Bensalem, Saddek; Peled, Doron; Sifakis, Joseph
1
2010
Priority scheduling of distributed systems based on model checking. Zbl 1242.68033
Basu, Ananda; Bensalem, Saddek; Peled, Doron; Sifakis, Joseph
4
2009
The algebra of connectors – structuring interaction in BIP. Zbl 1390.68031
Bliudze, Simon; Sifakis, Joseph
19
2008
A notion of glue expressiveness for component-based systems. Zbl 1160.68458
Bliudze, Simon; Sifakis, Joseph
14
2008
Specification and verification of concurrent systems in CESAR. Zbl 1142.68440
Queille, J. P.; Sifakis, J.
10
2008
Compositional verification for component-based systems and application. Zbl 1183.68364
Bensalem, Saddek; Bozga, Marius; Sifakis, Joseph; Nguyen, Thanh-Hung
6
2008
Symbolic quality control for multimedia applications. Zbl 1167.68329
Combaz, Jacques; Fernandez, Jean-Claude; Sifakis, Joseph; Strus, Loïc
2
2008
Causal semantics for the algebra of connectors (extended abstract). Zbl 1209.68123
Bliudze, Simon; Sifakis, Joseph
1
2008
An approach to modelling and verification of component based systems. Zbl 1131.68474
Gössler, Gregor; Graf, Susanne; Majster-Cederbaum, Mila; Martens, M.; Sifakis, Joseph
9
2007
Ensuring properties of interaction systems. Zbl 1149.68352
Gössler, Gregor; Graf, Susanne; Majster-Cederbaum, Mila; Martens, Moritz; Sifakis, Joseph
5
2007
Composition for component-based modeling. Zbl 1075.68016
Gössler, Gregor; Sifakis, Joseph
21
2005
The IF toolset. Zbl 1105.68352
Bozga, Marius; Graf, Susanne; Ober, Ileana; Ober, Iulian; Sifakis, Joseph
15
2004
Priority systems. Zbl 1104.68412
Gössler, Gregor; Sifakis, Joseph
6
2004
Component-based construction of deadlock-free systems (extended abstract). Zbl 1205.68245
Gössler, Gregor; Sifakis, Joseph
6
2003
Scheduler modeling based on the controller synthesis paradigm. Zbl 1018.68006
Altisen, K.; Gössler, G.; Sifakis, J.
15
2002
TAXYS: A tool for the development and verification of real-time embedded systems. Zbl 0991.68644
Closse, Etienne; Poize, Michel; Pulou, Jacques; Sifakis, Joseph; Venter, Patrick
3
2001
Modeling real-time systems – challenges and work directions. Zbl 1050.68511
Sifakis, Joseph
2
2001
An algebraic framework for urgency. Zbl 1007.68119
Bornot, Sébastien; Sifakis, Joseph
3
2000
A methodology for the construction of scheduled systems. Zbl 0986.90501
Altisen, K.; Gößler, G.; Sifakis, J.
3
2000
On the composition of hybrid systems. Zbl 0957.68047
Bornot, Sébastien; Sifakis, Joseph
1
2000
Decidable integration graphs. Zbl 1045.68566
Kesten, Y.; Pnueli, A.; Sifakis, J.; Yovine, S.
15
1999
The compositional specification of timed sytems – a turorial. Zbl 1046.68609
Sifakis, Joseph
1
1999
Compositional specification of timed systems. Zbl 1379.68240
Sifakis, Joseph; Yovine, Sergio
18
1996
On the synthesis of discrete controllers for timed systems. Zbl 1379.68227
Maler, Oded; Pnueli, Amir; Sifakis, Joseph
78
1995
Property preserving abstractions for the verification of concurrent systems. Zbl 0829.68053
Loiseaux, C.; Graf, S.; Sifakis, J.; Bouajjani, A.; Bensalem, S.
47
1995
Special issue on Hybrid systems. Zbl 0879.00023
8
1995
Symbolic model checking for real-time systems. Zbl 0806.68080
Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio
132
1994
The algebra of timed processes, ATP: Theory and application. Zbl 0811.68093
Nicollin, Xavier; Sifakis, Joseph
52
1994
The algorithmic analysis of hybrid systems. Zbl 0823.68067
Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S.
22
1994
From ATP to timed graphs and hybrid systems. Zbl 0790.68067
Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio
18
1993
Safety for branching time semantics. Zbl 0769.68089
Bouajjani, A.; Fernandez, J. C.; Graf, S.; Rodriguez, C.; Sifakis, J.
20
1991
Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings. Zbl 0745.68017
14
1990
Readiness semantics for regular processes with silent actions. Zbl 0646.68019
Graf, Susanne; Sifakis, Joseph
1
1987
A modal characterization of observational congruence on finite terms of CCS. Zbl 0591.68031
Graf, S.; Sifakis, J.
17
1986
A logic for the description of non-deterministic programs and their properties. Zbl 0591.68017
Graf, S.; Sifakis, J.
16
1986
A logic for the specification and proof of regular controllable processes of CCS. Zbl 0599.68025
Graf, Susanne; Sifakis, Joseph
4
1986
From synchronization tree logic to acceptance model logic. Zbl 0572.68020
Graf, S.; Sifakis, J.
2
1985
A modal characterization of observational congruence on finite terms of CCS. Zbl 0551.68034
Graf, S.; Sifakis, J.
9
1984
Property preserving homomorphisms of transition systems. Zbl 0546.68019
Sifakis, Joseph
8
1984
Fairness and related properties in transition systems - a temporal logic to deal with fairness. Zbl 0489.68024
Queille, J. P.; Sifakis, J.
29
1983
Réseaux de Petri: théorie et pratique. Tome 1: Théorie et analyse. Preface de J.-C. Rault. Zbl 0501.68027
Brams, G. W.
18
1983
Specification and verification of concurrent systems in CESAR. Zbl 0482.68028
Queille, J. P.; Sifakis, J.
112
1982
A unified approach for studying the properties of transition systems. Zbl 0478.68056
Sifakis, Joseph
4
1982
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
16
1980
Deadlocks and livelocks in transition systems. Zbl 0454.68050
Sifakis, Joseph
4
1980
Use of Petri nets for performance evaluation. Zbl 0401.68039
Sifakis, J.
10
1979
Structural properties of Petri nets. Zbl 0381.68056
Sifakis, Joseph
10
1978
Synchronized Petri nets: A model for the description of non-autonomous systems. Zbl 0387.68046
Moalla, M.; Pulou, J.; Sifakis, J.
5
1978
Réseaux de Petri synchronises. Zbl 0384.68063
Moalla, M.; Pulou, J.; Sifakis, J.
1
1978
all top 5

Cited by 1,007 Authors

24 Larsen, Kim Guldstrand
21 Sifakis, Joseph
15 Vardi, Moshe Ya’akov
13 Aceto, Luca
13 Henzinger, Thomas A.
11 Legay, Axel
10 Bliudze, Simon
10 Bozga, Marius
10 Ingólfsdóttir, Anna
10 Lime, Didier
10 Lüttgen, Gerald
10 Markey, Nicolas
10 Murano, Aniello
9 Bouyer, Patricia
9 Graf, Susanne
9 Kupferman, Orna
9 Pnueli, Amir
8 Baeten, Jos C. M.
8 Bensalem, Saddek
8 Fahrenberg, Uli
8 Lang, Frédéric
8 Roux, Olivier H.
7 Bergstra, Jan A.
7 Brihaye, Thomas
7 Duan, Zhenhua
7 Grumberg, Orna
7 Laroussinie, François
7 Majster-Cederbaum, Mila E.
7 Maler, Oded
7 Meseguer Guaita, José
7 Norman, Gethin
7 Raskin, Jean-François
7 Reniers, Michel Adriaan
7 Tripakis, Stavros
7 Vogler, Walter
7 Zhang, Nan
6 Alur, Rajeev
6 Clarke, Edmund Melson jun.
6 Corradini, Flavio
6 Kwiatkowska, Marta Z.
6 Sproston, Jeremy
6 Wąsowski, Andrzej
5 Bérard, Béatrice
5 Cassez, Franck
5 Chatterjee, Krishnendu
5 Cimatti, Alessandro
5 Dang, Zhe
5 David, Alexandre
5 Haddad, Serge
5 Ibarra, Oscar H.
5 Iosif, Radu
5 Jaber, Mohamad Y.
5 Kesten, Yonit
5 Majumdar, Rupak
5 Middelburg, Cornelis A.
5 Olveczky, Peter Csaba
5 Sangiovanni-Vincentelli, Alberto L.
5 Srba, Jiří
5 Tian, Cong
5 Vaandrager, Frits W.
5 Yi, Wang
5 Yuen, Shoji
4 Abdulla, Parosh Aziz
4 Arnold, André
4 Attie, Paul C.
4 Baranov, Eduard
4 Bonakdarpour, Borzoo
4 Doyen, Laurent
4 Falcone, Yliès
4 Fokkink, Willem Jan
4 Gomez, Rodolfo
4 Howell, Rodney R.
4 Huth, Michael R. A.
4 Jobstmann, Barbara
4 Kopke, Peter W.
4 Kulkarni, Sandeep S.
4 Lanotte, Ruggero
4 Lee, Insup
4 Maggiolo-Schettini, Andrea
4 Minnameier, Christoph
4 Mogavero, Fabio
4 Ouaknine, Joel O.
4 Pappas, George J.
4 Park, Seong-Jin
4 Pettersson, Paul
4 Pistore, Marco
4 Santone, Antonella
4 Tesei, Luca
4 Traonouez, Louis-Marie
4 Ulidowski, Irek
4 Villa, Tiziano
4 Worrell, James B.
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
...and 907 more Authors
all top 5

Cited in 71 Serials

107 Theoretical Computer Science
52 Information and Computation
43 Formal Methods in System Design
27 Formal Aspects of Computing
24 Acta Informatica
21 The Journal of Logic and Algebraic Programming
17 Journal of Logical and Algebraic Methods in Programming
15 Discrete Event Dynamic Systems
13 Information Processing Letters
12 Real-Time Systems
10 Automatica
7 Logical Methods in Computer Science
6 Journal of Computer and System Sciences
6 Science of Computer Programming
6 International Journal of Foundations of Computer Science
5 Artificial Intelligence
5 MSCS. Mathematical Structures in Computer Science
4 International Journal of Control
4 Journal of Computer Science and Technology
4 Journal of Automated Reasoning
4 Distributed Computing
4 European Journal of Control
3 Information Sciences
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 Journal of Logic, Language and Information
3 Nonlinear Analysis. Hybrid Systems
2 Journal of the Franklin Institute
2 Mathematics and Computers in Simulation
2 Programming and Computer Software
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 Applied Mathematics and Computation
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

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.