×

zbMATH — the first resource for mathematics

Cardelli, Luca

Compute Distance To:
Author ID: cardelli.luca Recent zbMATH articles by "Cardelli, Luca"
Published as: Cardelli, Luca; Cardelli, L.
Documents Indexed: 90 Publications since 1980, including 5 Books

Publications by Year

Citations contained in zbMATH Open

72 Publications have been cited 1,113 times in 719 Documents Cited by Year
Mobile ambients. Zbl 0954.68108
Cardelli, L.; Gordon, A. D.
168
2000
BioAmbients: an abstraction for biological compartments. Zbl 1069.68569
Regev, Aviv; Panina, Ekaterina M.; Silverman, William; Cardelli, Luca; Shapiro, Ehud
98
2004
Explicit substitutions. Zbl 0941.68542
Abadi, Martin; Cardelli, Luca; Curien, P.-L.; Lévy, J.-J.
88
1991
Brane calculi. Interactions of biological membranes. Zbl 1088.68657
Cardelli, Luca
86
2005
A theory of objects. Zbl 0876.68014
Abadi, Martín; Cardelli, Luca
63
1996
Anytime, anywhere: modal logics for mobile ambients. Zbl 1323.68405
Cardelli, Luca; Gordon, Andrew D.
53
2000
A semantics of multiple inheritance. Zbl 0651.68017
Cardelli, Luca
37
1988
A spatial logic for concurrency. I. Zbl 1068.03022
Caires, Luís; Cardelli, Luca
35
2003
On process rate semantics. Zbl 1133.68054
Cardelli, Luca
34
2008
An extension of system \(F\) with subtyping. Zbl 0805.03008
Cardelli, Luca; Martini, Simone; Mitchell, John C.; Scedrov, Andre
23
1994
Equational properties of mobile ambients. Zbl 1085.68099
Gordon, Andrew D.; Cardelli, Luca
20
2003
A compositional approach to the stochastic dynamics of gene networks. Zbl 1179.92021
Blossey, Ralf; Cardelli, Luca; Phillips, Andrew
17
2006
Ambient groups and mobility types. Zbl 0998.68536
Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D.
15
2000
Mobile ambients. Reprint of the 2001 hardback ed. Zbl 1253.68238
Cardelli, Luca; Gordon, Andrew D.
15
2010
A semantic basis for Quest. Zbl 0941.68528
Cardelli, Luca; Longo, Giuseppe
14
1991
Operations on records. Zbl 0727.68020
Cardelli, Luca; Mitchell, John C.
14
1991
An universality result for a (mem)brane calculus based on mate/drip operations. Zbl 1088.68055
Cardelli, Luca; Păun, Gheorghe
13
2006
A query language based on the ambient logic. Zbl 0977.68028
Cardelli, Luca; Ghelli, Giorgio
13
2001
A spatial logic for concurrency. I. Zbl 1087.03507
Caires, Luís; Cardelli, Luca
12
2001
Greedy regular expression matching. Zbl 1099.68769
Frisch, Alain; Cardelli, Luca
12
2004
Strand algebras for DNA computing. Zbl 1221.68164
Cardelli, Luca
11
2011
Dynamic typing in polymorphic languages. Zbl 0819.68142
Abadi, Martin; Cardelli, Luca; Pierce, B.; Rémy, D.
11
1995
Logical properties of name restriction. Zbl 0981.68036
Cardelli, Luca; Gordon, Andrew D.
11
2001
A spatial logic for concurrency. II. Zbl 1012.68122
Caires, Luís; Cardelli, Luca
11
2002
Abstract machines of systems biology. Zbl 1151.92307
Cardelli, Luca
11
2005
Types for the ambient calculus. Zbl 1093.68060
Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D.
11
2002
On the computational power of biochemistry. Zbl 1171.92318
Cardelli, Luca; Zavattaro, Gianluigi
11
2008
Two-domain DNA strand displacement. Zbl 1271.68105
Cardelli, Luca
11
2013
Forward and backward bisimulations for chemical reaction networks. Zbl 1374.68204
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
11
2015
Termination problems in chemical kinetics. Zbl 1160.68478
Zavattaro, Gianluigi; Cardelli, Luca
10
2008
Deciding validity in a spatial logic for trees. Zbl 1083.68021
Calcagno, Cristiano; Cardelli, Luca; Gordon, Andrew D.
9
2005
Formal parametric polymorphism. Zbl 0801.68015
Abadi, Martin; Cardelli, Luca; Curien, P.-L.
9
1993
A spatial logic for querying graphs. Zbl 1057.68606
Cardelli, Luca; Gardner, Philippa; Ghelli, Giorgio
9
2002
A semantics of multiple inheritance. Zbl 0543.68011
Cardelli, Luca
9
1984
Strand algebras for DNA computing. Zbl 1273.68113
Cardelli, Luca
8
2009
Secrecy and group creation. Zbl 0999.68148
Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D.
8
2000
Manipulating trees with hidden labels. Zbl 1029.68092
Cardelli, Luca; Gardner, Philippa; Ghelli, Giorgio
8
2003
Processes in space. Zbl 1286.68345
Cardelli, Luca; Gardner, Philippa
7
2010
Comparing object encodings. Zbl 1045.68528
Bruce, Kim B.; Cardelli, Luca; Pierce, Benjamin C.
7
1999
TQL: a query language for semistructured data based on the ambient logic. Zbl 1085.68035
Cardelli, Luca; Ghelli, Giorgio
7
2004
A spatial logic for concurrency. II. Zbl 1050.68104
Caires, Luís; Cardelli, Luca
7
2004
Symbolic computation of differential equivalences. Zbl 1347.68258
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
7
2016
Bitonal membrane systems: interactions of biological membranes. Zbl 1151.68013
Cardelli, Luca
6
2008
A theory of primitive objects – untyped and first-order systems. Zbl 0942.03523
Abadi, Martin; Cardelli, Luca
6
1994
Continuous Markovian logics – axiomatization and quantified metatheory. Zbl 1261.03088
Mardare, Radu; Cardelli, Luca; Larsen, Kim G.
5
2012
Extensible records in a pure calculus of subtyping. Zbl 0837.68059
Cardelli, Luca
4
1994
Modern concurrency abstractions for \(C^{\sharp}\). Zbl 1049.68754
Benton, Nick; Cardelli, Luca; Fournet, Cédric
4
2002
Continuous Markovian logic – from complete axiomatization to the metric space of formulas. Zbl 1247.03030
Cardelli, Luca; Larsen, Kim G.; Mardare, Radu
4
2011
Basic polymorphic typechecking. Zbl 0626.68009
Cardelli, Luca
4
1987
Comparing chemical reaction networks: a categorical and algorithmic perspective. Zbl 1392.68188
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
4
2016
Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. Zbl 1381.92110
Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
4
2016
Turing universality of the biochemical ground form. Zbl 1191.68301
Cardelli, Luca; Zavattaro, Gianluigi
3
2010
A process model of actin polymerisation. Zbl 1283.92047
Cardelli, Luca; Caron, Emmanuelle; Gardner, Philippa; Kahramanoğulları, Ozan; Phillips, Andrew
3
2009
Secrecy and group creation. Zbl 1101.68692
Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D.
3
2005
Typechecking dependent types and subtypes. Zbl 0645.68028
Cardelli, Luca
3
1988
A process model of Rho GTP-binding proteins. Zbl 1173.68040
Cardelli, Luca; Caron, Emmanuelle; Gardner, Philippa; Kahramanoğulları, Ozan; Phillips, Andrew
2
2009
The measurable space of stochastic processes. Zbl 1437.68129
Cardelli, Luca; Mardare, Radu
2
2014
Processes in space. Zbl 1251.68153
Cardelli, Luca; Gardner, Philippa
2
2012
Operations on records. Zbl 0837.68069
Cardelli, Luca; Mitchell, John C.
2
1994
A theory of primitive objects: Untyped and first-order systems. Zbl 0853.68115
Abadi, Martín; Cardelli, Luca
2
1996
Real time agents. Zbl 0493.68017
Cardelli, Luca
2
1982
A process model of rho GTP-binding proteins in the context of phagocytosis. Zbl 1279.68252
Cardelli, Luca; Gardner, Philippa; Kahramanoğulları, Ozan
2
2008
Modular Markovian logic. Zbl 1333.68200
Cardelli, Luca; Larsen, Kim G.; Mardare, Radu
2
2011
Programming discrete distributions with chemical reaction networks. Zbl 1451.68108
Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
2
2016
Mobility and security. Zbl 0995.68004
Cardelli, Luca
1
2000
Mobile Ambients. (Extended abstract). Zbl 0925.68068
Cardelli, Luca; Gordon, Andrew D.
1
1997
Stochastic pi-calculus revisited. Zbl 1405.68209
Cardelli, Luca; Mardare, Radu
1
2013
Analog processes. Zbl 0454.68038
Cardelli, Luca
1
1980
Chemical reaction network designs for asynchronous logic circuits. Zbl 1451.68109
Cardelli, Luca; Kwiatkowska, Marta; Whitby, Max
1
2016
Comparing chemical reaction networks: a categorical and algorithmic perspective. Zbl 1423.68165
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
1
2019
Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision. Zbl 1369.93728
Laurenti, Luca; Abate, Alessandro; Bortolussi, Luca; Cardelli, Luca; Ceska, Milan; Kwiatkowska, Marta
1
2017
Syntactic Markovian bisimulation for chemical reaction networks. Zbl 1431.68072
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
1
2017
Comparing chemical reaction networks: a categorical and algorithmic perspective. Zbl 1423.68165
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
1
2019
Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision. Zbl 1369.93728
Laurenti, Luca; Abate, Alessandro; Bortolussi, Luca; Cardelli, Luca; Ceska, Milan; Kwiatkowska, Marta
1
2017
Syntactic Markovian bisimulation for chemical reaction networks. Zbl 1431.68072
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
1
2017
Symbolic computation of differential equivalences. Zbl 1347.68258
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
7
2016
Comparing chemical reaction networks: a categorical and algorithmic perspective. Zbl 1392.68188
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
4
2016
Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation. Zbl 1381.92110
Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
4
2016
Programming discrete distributions with chemical reaction networks. Zbl 1451.68108
Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca
2
2016
Chemical reaction network designs for asynchronous logic circuits. Zbl 1451.68109
Cardelli, Luca; Kwiatkowska, Marta; Whitby, Max
1
2016
Forward and backward bisimulations for chemical reaction networks. Zbl 1374.68204
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
11
2015
The measurable space of stochastic processes. Zbl 1437.68129
Cardelli, Luca; Mardare, Radu
2
2014
Two-domain DNA strand displacement. Zbl 1271.68105
Cardelli, Luca
11
2013
Stochastic pi-calculus revisited. Zbl 1405.68209
Cardelli, Luca; Mardare, Radu
1
2013
Continuous Markovian logics – axiomatization and quantified metatheory. Zbl 1261.03088
Mardare, Radu; Cardelli, Luca; Larsen, Kim G.
5
2012
Processes in space. Zbl 1251.68153
Cardelli, Luca; Gardner, Philippa
2
2012
Strand algebras for DNA computing. Zbl 1221.68164
Cardelli, Luca
11
2011
Continuous Markovian logic – from complete axiomatization to the metric space of formulas. Zbl 1247.03030
Cardelli, Luca; Larsen, Kim G.; Mardare, Radu
4
2011
Modular Markovian logic. Zbl 1333.68200
Cardelli, Luca; Larsen, Kim G.; Mardare, Radu
2
2011
Mobile ambients. Reprint of the 2001 hardback ed. Zbl 1253.68238
Cardelli, Luca; Gordon, Andrew D.
15
2010
Processes in space. Zbl 1286.68345
Cardelli, Luca; Gardner, Philippa
7
2010
Turing universality of the biochemical ground form. Zbl 1191.68301
Cardelli, Luca; Zavattaro, Gianluigi
3
2010
Strand algebras for DNA computing. Zbl 1273.68113
Cardelli, Luca
8
2009
A process model of actin polymerisation. Zbl 1283.92047
Cardelli, Luca; Caron, Emmanuelle; Gardner, Philippa; Kahramanoğulları, Ozan; Phillips, Andrew
3
2009
A process model of Rho GTP-binding proteins. Zbl 1173.68040
Cardelli, Luca; Caron, Emmanuelle; Gardner, Philippa; Kahramanoğulları, Ozan; Phillips, Andrew
2
2009
On process rate semantics. Zbl 1133.68054
Cardelli, Luca
34
2008
On the computational power of biochemistry. Zbl 1171.92318
Cardelli, Luca; Zavattaro, Gianluigi
11
2008
Termination problems in chemical kinetics. Zbl 1160.68478
Zavattaro, Gianluigi; Cardelli, Luca
10
2008
Bitonal membrane systems: interactions of biological membranes. Zbl 1151.68013
Cardelli, Luca
6
2008
A process model of rho GTP-binding proteins in the context of phagocytosis. Zbl 1279.68252
Cardelli, Luca; Gardner, Philippa; Kahramanoğulları, Ozan
2
2008
A compositional approach to the stochastic dynamics of gene networks. Zbl 1179.92021
Blossey, Ralf; Cardelli, Luca; Phillips, Andrew
17
2006
An universality result for a (mem)brane calculus based on mate/drip operations. Zbl 1088.68055
Cardelli, Luca; Păun, Gheorghe
13
2006
Brane calculi. Interactions of biological membranes. Zbl 1088.68657
Cardelli, Luca
86
2005
Abstract machines of systems biology. Zbl 1151.92307
Cardelli, Luca
11
2005
Deciding validity in a spatial logic for trees. Zbl 1083.68021
Calcagno, Cristiano; Cardelli, Luca; Gordon, Andrew D.
9
2005
Secrecy and group creation. Zbl 1101.68692
Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D.
3
2005
BioAmbients: an abstraction for biological compartments. Zbl 1069.68569
Regev, Aviv; Panina, Ekaterina M.; Silverman, William; Cardelli, Luca; Shapiro, Ehud
98
2004
Greedy regular expression matching. Zbl 1099.68769
Frisch, Alain; Cardelli, Luca
12
2004
TQL: a query language for semistructured data based on the ambient logic. Zbl 1085.68035
Cardelli, Luca; Ghelli, Giorgio
7
2004
A spatial logic for concurrency. II. Zbl 1050.68104
Caires, Luís; Cardelli, Luca
7
2004
A spatial logic for concurrency. I. Zbl 1068.03022
Caires, Luís; Cardelli, Luca
35
2003
Equational properties of mobile ambients. Zbl 1085.68099
Gordon, Andrew D.; Cardelli, Luca
20
2003
Manipulating trees with hidden labels. Zbl 1029.68092
Cardelli, Luca; Gardner, Philippa; Ghelli, Giorgio
8
2003
A spatial logic for concurrency. II. Zbl 1012.68122
Caires, Luís; Cardelli, Luca
11
2002
Types for the ambient calculus. Zbl 1093.68060
Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D.
11
2002
A spatial logic for querying graphs. Zbl 1057.68606
Cardelli, Luca; Gardner, Philippa; Ghelli, Giorgio
9
2002
Modern concurrency abstractions for \(C^{\sharp}\). Zbl 1049.68754
Benton, Nick; Cardelli, Luca; Fournet, Cédric
4
2002
A query language based on the ambient logic. Zbl 0977.68028
Cardelli, Luca; Ghelli, Giorgio
13
2001
A spatial logic for concurrency. I. Zbl 1087.03507
Caires, Luís; Cardelli, Luca
12
2001
Logical properties of name restriction. Zbl 0981.68036
Cardelli, Luca; Gordon, Andrew D.
11
2001
Mobile ambients. Zbl 0954.68108
Cardelli, L.; Gordon, A. D.
168
2000
Anytime, anywhere: modal logics for mobile ambients. Zbl 1323.68405
Cardelli, Luca; Gordon, Andrew D.
53
2000
Ambient groups and mobility types. Zbl 0998.68536
Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D.
15
2000
Secrecy and group creation. Zbl 0999.68148
Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D.
8
2000
Mobility and security. Zbl 0995.68004
Cardelli, Luca
1
2000
Comparing object encodings. Zbl 1045.68528
Bruce, Kim B.; Cardelli, Luca; Pierce, Benjamin C.
7
1999
Mobile Ambients. (Extended abstract). Zbl 0925.68068
Cardelli, Luca; Gordon, Andrew D.
1
1997
A theory of objects. Zbl 0876.68014
Abadi, Martín; Cardelli, Luca
63
1996
A theory of primitive objects: Untyped and first-order systems. Zbl 0853.68115
Abadi, Martín; Cardelli, Luca
2
1996
Dynamic typing in polymorphic languages. Zbl 0819.68142
Abadi, Martin; Cardelli, Luca; Pierce, B.; Rémy, D.
11
1995
An extension of system \(F\) with subtyping. Zbl 0805.03008
Cardelli, Luca; Martini, Simone; Mitchell, John C.; Scedrov, Andre
23
1994
A theory of primitive objects – untyped and first-order systems. Zbl 0942.03523
Abadi, Martin; Cardelli, Luca
6
1994
Extensible records in a pure calculus of subtyping. Zbl 0837.68059
Cardelli, Luca
4
1994
Operations on records. Zbl 0837.68069
Cardelli, Luca; Mitchell, John C.
2
1994
Formal parametric polymorphism. Zbl 0801.68015
Abadi, Martin; Cardelli, Luca; Curien, P.-L.
9
1993
Explicit substitutions. Zbl 0941.68542
Abadi, Martin; Cardelli, Luca; Curien, P.-L.; Lévy, J.-J.
88
1991
A semantic basis for Quest. Zbl 0941.68528
Cardelli, Luca; Longo, Giuseppe
14
1991
Operations on records. Zbl 0727.68020
Cardelli, Luca; Mitchell, John C.
14
1991
A semantics of multiple inheritance. Zbl 0651.68017
Cardelli, Luca
37
1988
Typechecking dependent types and subtypes. Zbl 0645.68028
Cardelli, Luca
3
1988
Basic polymorphic typechecking. Zbl 0626.68009
Cardelli, Luca
4
1987
A semantics of multiple inheritance. Zbl 0543.68011
Cardelli, Luca
9
1984
Real time agents. Zbl 0493.68017
Cardelli, Luca
2
1982
Analog processes. Zbl 0454.68038
Cardelli, Luca
1
1980
all top 5

Cited by 920 Authors

26 Cardelli, Luca
15 Ciobanu, Gabriel
13 Milazzo, Paolo
12 Bodei, Chiara
11 Dezani-Ciancaglini, Mariangiola
11 Gardner, Philippa Anne
11 Maggiolo-Schettini, Andrea
10 Gadducci, Fabio
10 Ghelli, Giorgio
9 Brodo, Linda
9 Gorla, Daniele
9 Kamareddine, Fairouz D.
9 Levi, Francesca
9 Nielson, Flemming
9 Phillips, Andrew
8 Barbuti, Roberto
8 Bonchi, Filippo
8 Gabbay, Murdoch James
8 Hillston, Jane
8 Montanari, Ugo G.
8 Priami, Corrado
8 Riis Nielson, Hanne
7 Aman, Bogdan
7 Bruni, Roberto
7 Gordon, Andrew D.
7 Laneve, Cosimo
7 Mardare, Radu
7 Pierce, Benjamin C.
7 Pugliese, Rosario
6 Bortolussi, Luca
6 Bugliesi, Michele
6 Busi, Nadia
6 Castagna, Giuseppe
6 Cavalcanti de Moura, Flávio Leonardo
6 De Nicola, Rocco
6 Gori, Roberta
6 Merro, Massimo
6 Monreale, Giacoma Valentina
6 Pardini, Giovanni
6 Phillips, Iain W.
6 Winfree, Erik
6 Yoshida, Nobuko
6 Zavattaro, Gianluigi
5 Ayala-Rincón, Mauricio
5 Caires, Luís
5 Cavaliere, Matteo
5 Compagnoni, Adriana B.
5 Danos, Vincent
5 Delzanno, Giorgio
5 Doty, David
5 Duggan, Dominic
5 Ferrari, Gian Luigi
5 Fu, Yuxi
5 Galpin, Vashti
5 Hennessy, Matthew C. B.
5 Kesner, Delia
5 Larsen, Kim Guldstrand
5 Maffeis, Sergio
5 Meseguer Guaita, José
5 Olarte, Carlos
5 Owe, Olaf
5 Rathke, Julian
5 Steffen, Martin
5 Tribastone, Mirco
5 Troina, Angelo
5 Valencia, Frank D.
5 Venneri, Betti
5 Versari, Cristian
5 Vigliotti, Maria Grazia
4 Baldan, Paolo
4 Bettini, Lorenzo
4 Bono, Viviana
4 Boreale, Michele
4 Bracciali, Andrea
4 Brijder, Robert
4 Caravagna, Giulio
4 Chiarugi, Davide
4 Ciancia, Vincenzo
4 Ciocchetta, Federica
4 Curien, Pierre-Louis
4 Henrio, Ludovic
4 Hermith, Diana
4 Hüttel, Hans
4 John, Mathias
4 Johnsen, Einar Broch
4 Kirchner, Claude
4 Lakin, Matthew R.
4 Liquori, Luigi
4 Milner, Robin
4 O’Hearn, Peter W.
4 Pilegaard, Henrik
4 Policriti, Alberto
4 Pym, David J.
4 Rodríguez-Patón, Alfonso
4 Roşu, Grigore
4 Rueda, Camilo
4 Sangiorgi, Davide
4 Sassone, Vladimiro
4 Soloveichik, David
4 Stark, Ian
...and 820 more Authors
all top 5

Cited in 69 Serials

174 Theoretical Computer Science
78 Information and Computation
18 Journal of Functional Programming
17 MSCS. Mathematical Structures in Computer Science
17 The Journal of Logic and Algebraic Programming
17 Natural Computing
16 Formal Aspects of Computing
15 Science of Computer Programming
14 Journal of Logical and Algebraic Methods in Programming
11 Acta Informatica
11 Higher-Order and Symbolic Computation
7 Information Processing Letters
7 Journal of Computer and System Sciences
7 Journal of Automated Reasoning
6 Logical Methods in Computer Science
5 Annals of Pure and Applied Logic
5 Computer Languages, Systems & Structures
4 Automatica
4 International Journal of Foundations of Computer Science
4 Distributed Computing
4 Theory of Computing Systems
4 RAIRO. Theoretical Informatics and Applications
4 Journal of Applied Logic
3 Journal of Computer Science and Technology
3 International Journal of Computer Mathematics
3 Applicable Algebra in Engineering, Communication and Computing
3 Constraints
2 Bulletin of Mathematical Biology
2 Information Sciences
2 Journal of Symbolic Computation
2 New Generation Computing
2 Journal of Applied Non-Classical Logics
2 ACM Transactions on Modeling and Computer Simulation
2 Sibirskie Èlektronnye Matematicheskie Izvestiya
2 International Journal of Parallel, Emergent and Distributed Systems
2 New Mathematics and Natural Computation
2 Journal of Theoretical Biology
1 Artificial Intelligence
1 Discrete Applied Mathematics
1 Journal of Mathematical Biology
1 Applied Mathematics and Computation
1 Journal of Pure and Applied Algebra
1 Journal of Soviet Mathematics
1 The Journal of Symbolic Logic
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Studia Logica
1 History and Philosophy of Logic
1 Physica D
1 Order
1 International Journal of Intelligent Systems
1 International Journal of Approximate Reasoning
1 Discrete Event Dynamic Systems
1 RAIRO. Informatique Théorique et Applications
1 Indagationes Mathematicae. New Series
1 Analele Ştiinţifice ale Universităţii Al. I. Cuza din Iaşi. Serie Nouă. Matematică
1 Cybernetics and Systems Analysis
1 Formal Methods in System Design
1 The Bulletin of Symbolic Logic
1 European Journal of Control
1 Soft Computing
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 ACM Transactions on Computational Logic
1 Electronic Notes in Theoretical Computer Science
1 Computational & Mathematical Methods in Medicine
1 RAIRO. Theoretical Informatics and Applications
1 Frontiers of Computer Science
1 Philosophical Transactions A. Royal Society of London
1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences

Citations by Year