×

zbMATH — the first resource for mathematics

De Nicola, Rocco

Compute Distance To:
Author ID: de-nicola.rocco Recent zbMATH articles by "De Nicola, Rocco"
Published as: De Nicola, R.; De Nicola, Rocco; DeNicola, R.; Di Nicola, Rocco; Nicola, Rocco De; Nicola, Rocco de; de Nicola, R.; de Nicola, Rocco
External Links: MGP
Documents Indexed: 85 Publications since 1983, including 8 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

64 Publications have been cited 706 times in 514 Documents Cited by Year
Testing equivalences for processes. Zbl 0985.68518
De Nicola, R.; Hennessy, M. C. B.
223
1984
Three logics for branching bisimulation. Zbl 0886.68064
de Nicola, Rocco; Vaandrager, Frits
57
1995
Extensional equivalences for transition systems. Zbl 0636.68069
De Nicola, Rocco
42
1987
A distributed operational semantics of CCS based on condition/event systems. Zbl 0656.68061
Degano, Pierpaolo; Di Nicola, Rocco; Montanari, Ugo
31
1988
Testing equivalence for mobile processes. Zbl 0835.68073
Boreale, Michele; De Nicola, Rocco
23
1995
Proof techniques for cryptographic processes. Zbl 1017.68050
Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario
20
2002
A partial ordering semantics for CCS. Zbl 0701.68073
Degano, P.; De Nicola, R.; Montanari, U.
18
1990
Semantic subtyping for the pi-calculus. Zbl 1146.68052
Castagna, Giuseppe; de Nicola, Rocco; Varacca, Daniele
14
2008
The Klaim project: Theory and practice. Zbl 1179.68027
Bettini, Lorenzo; Bono, Viviana; De Nicola, Rocco; Ferrari, Gianluigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Betti
12
2003
Basic observables for processes. Zbl 0928.68013
Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario
12
1999
A symbolic semantics for the \(\pi\)-calculus. Zbl 0853.68126
Boreale, Michele; De Nicola, Rocco
12
1996
An action-based framework for verifying logical and behavioural properties of concurrent systems. Zbl 0789.68096
De Nicola, R.; Fantechi, A.; Gnesi, S.; Ristori, G.
12
1993
Partial ordering derivations for CCS. Zbl 0571.68016
Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo
12
1985
Testing equivalences for processes. Zbl 0515.68029
de Nicola, R.; Hennessy, M. C. B.
12
1983
Trace and testing equivalence on asynchronous processes. Zbl 1009.68079
Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario
11
2002
CCS is an (augmented) contact free C/E system. Zbl 0635.68058
Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo
11
1987
A process algebraic view of input/output automata. Zbl 0874.68209
De Nicola, Rocco; Segala, Roberto
10
1995
Universal axioms for bisimulations. Zbl 0782.68044
Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo
10
1993
On the expressive power of Klaim-based calculi. Zbl 1092.68070
de Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
9
2006
A uniform definition of stochastic process calculi. Zbl 1288.68184
Nicola, Rocco de; Latella, Diego; Loreti, Michele; Massink, Mieke
8
2013
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Zbl 1358.68210
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
8
2013
Testing equivalences for event structures. Zbl 0626.68021
Aceto, Luca; De Nicola, Rocco; Fantechi, Alessandro
8
1987
CCS without \(\tau\) ’s. Zbl 0614.68025
De Nicola, Rocco; Hennessy, Matthew
8
1987
Klava: a Java package for distributed and mobile applications. Zbl 1009.68933
Bettini, Lorenzo; De Nicola, Rocco; Pugliese, Rosario
7
2002
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Zbl 1360.68626
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
6
2014
Rate-based transition systems for stochastic process calculi. Zbl 1248.68350
De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke
6
2009
Basic observables for a calculus for global computing. Zbl 1119.68124
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
6
2007
Partial orderings descriptions and observations of nondeterministic concurrent processes. (Technical contribution). Zbl 0683.68067
Degano, P.; DeNicola, R.; Montanari, U.
6
1989
Programming and verifying component ensembles. Zbl 1416.68051
De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco
5
2014
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Zbl 1326.68197
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
5
2012
From flow logic to static type systems for coordination languages. Zbl 1192.68126
de Nicola, Rocco; Gorla, Daniele; Hansen, René Rydhof; Nielson, Flemming; Nielson, Hanne Riis; Probst, Christian W.; Pugliese, Rosario
5
2010
Models of nondeterministic regular expressions. Zbl 0958.68090
Corradini, Flavio; De Nicola, Rocco; Labella, Anna
5
1999
On the power of attribute-based communication. Zbl 1347.68022
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
4
2016
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Zbl 1331.68147
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
4
2015
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Zbl 1325.68159
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
4
2014
Basic observables for a calculus for global computing. Zbl 1085.68098
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
4
2005
Observational logics and concurrency models. Zbl 0732.03024
De Nicola, Rocco; Ferrari, Gian Luigi
4
1990
Tree-functors, determinacy and bisimulations. Zbl 1206.68214
De Nicola, Rocco; Gorla, Daniele; Labella, Anna
3
2010
MarCaSPiS: a Markovian extension of a calculus for services. Zbl 1339.68157
De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2009
Model checking mobile stochastic logic. Zbl 1159.68478
De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2007
A modal logic for mobile agents. Zbl 1367.68064
De Nicola, Rocco; Loreti, Michele
3
2004
A formal basis for reasoning on programmable QoS. Zbl 1274.68022
De Nicola, Rocco; Ferrari, Gianluigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, Emilio
3
2003
Graded modalities and resource bisimulation. Zbl 0948.03024
Corradini, Flavio; De Nicola, Rocco; Labella, Anna
3
1999
A finite axiomatization of nondeterministic regular expressions. Zbl 0945.68122
Corradini, Flavio; De Nicola, Rocco; Labella, Anna
3
1999
A calculus for collective-adaptive systems and its behavioural theory. Zbl 1430.68158
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
2
2019
CaSPiS: a calculus of sessions, pipelines and services. Zbl 1361.68161
Boreale, Michele; Bruni, Roberto; De Nicola, Rocco; Loreti, Michele
2
2015
Group-by-group probabilistic bisimilarities and their logical characterizations. Zbl 1348.68156
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
2
2014
Multiple-labelled transition systems for nominal calculi and their logics. Zbl 1141.68047
De Nicola, Rocco; Loreti, Michele
2
2008
Programming languages and systems. 16th European symposium of programming, ESOP 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Zbl 1116.68003
De Nicola, Rocco (ed.)
2
2007
Global computing in a dynamic network of tuple spaces. Zbl 1178.68160
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
2
2007
Confining data and processes in global computing applications. Zbl 1137.68333
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
2
2006
MoMo: A modal logic for reasoning about mobility. Zbl 1143.68364
De Nicola, Rocco; Loreti, Michele
2
2005
Formalizing properties of mobile agent systems. Zbl 1053.68503
Bettini, Lorenzo; De Nicola, Rocco; Loreti, Michele
2
2002
An equational axiomatization of bisimulation over regular expressions. Zbl 1012.68143
Corradini, Flavio; de Nicola, Rocco; Labella, Anna
2
2002
A modal logic for Klaim. Zbl 0983.68022
De Nicola, Rocco; Loreti, Michele
2
2000
Replicating data for better performances in X10. Zbl 06560018
Andrić, Marina; De Nicola, Rocco; Lluch Lafuente, Alberto
1
2016
Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Zbl 1137.68003
Degano, Pierpaolo (ed.); De Nicola, Rocco (ed.); Meseguer, José (ed.)
1
2008
On the expressive power of Klaim-based calculi. Zbl 1272.68298
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
1
2005
Nondeterministic regular expressions as solutions of equational systems. Zbl 1044.68087
De Nicola, Rocco; Labella, Anna
1
2003
A Java middleware for guaranteeing privacy of distributed tuple spaces. Zbl 1025.68516
Bettini, Lorenzo; De Nicola, Rocco
1
2003
Translating strong mobility into weak mobility. Zbl 1052.68816
Bettini, Lorenzo; De Nicola, Rocco
1
2001
Programming access control: The KLAIM experience. Zbl 0999.68557
De Nicola, Rocco; Ferrari, GianLuigi; Pugliese, Rosario
1
2000
Locality based semantics for process algebras. Zbl 0877.68081
Corradini, Flavio; De Nicola, Rocco
1
1997
A complete set of axioms for a theory of communicating sequential processes. Zbl 0517.68027
De Nicola, Rocco
1
1983
A calculus for collective-adaptive systems and its behavioural theory. Zbl 1430.68158
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
2
2019
On the power of attribute-based communication. Zbl 1347.68022
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
4
2016
Replicating data for better performances in X10. Zbl 06560018
Andrić, Marina; De Nicola, Rocco; Lluch Lafuente, Alberto
1
2016
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Zbl 1331.68147
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
4
2015
CaSPiS: a calculus of sessions, pipelines and services. Zbl 1361.68161
Boreale, Michele; Bruni, Roberto; De Nicola, Rocco; Loreti, Michele
2
2015
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Zbl 1360.68626
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
6
2014
Programming and verifying component ensembles. Zbl 1416.68051
De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco
5
2014
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Zbl 1325.68159
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
4
2014
Group-by-group probabilistic bisimilarities and their logical characterizations. Zbl 1348.68156
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
2
2014
A uniform definition of stochastic process calculi. Zbl 1288.68184
Nicola, Rocco de; Latella, Diego; Loreti, Michele; Massink, Mieke
8
2013
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Zbl 1358.68210
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
8
2013
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Zbl 1326.68197
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
5
2012
From flow logic to static type systems for coordination languages. Zbl 1192.68126
de Nicola, Rocco; Gorla, Daniele; Hansen, René Rydhof; Nielson, Flemming; Nielson, Hanne Riis; Probst, Christian W.; Pugliese, Rosario
5
2010
Tree-functors, determinacy and bisimulations. Zbl 1206.68214
De Nicola, Rocco; Gorla, Daniele; Labella, Anna
3
2010
Rate-based transition systems for stochastic process calculi. Zbl 1248.68350
De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke
6
2009
MarCaSPiS: a Markovian extension of a calculus for services. Zbl 1339.68157
De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2009
Semantic subtyping for the pi-calculus. Zbl 1146.68052
Castagna, Giuseppe; de Nicola, Rocco; Varacca, Daniele
14
2008
Multiple-labelled transition systems for nominal calculi and their logics. Zbl 1141.68047
De Nicola, Rocco; Loreti, Michele
2
2008
Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Zbl 1137.68003
Degano, Pierpaolo (ed.); De Nicola, Rocco (ed.); Meseguer, José (ed.)
1
2008
Basic observables for a calculus for global computing. Zbl 1119.68124
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
6
2007
Model checking mobile stochastic logic. Zbl 1159.68478
De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2007
Programming languages and systems. 16th European symposium of programming, ESOP 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Zbl 1116.68003
De Nicola, Rocco (ed.)
2
2007
Global computing in a dynamic network of tuple spaces. Zbl 1178.68160
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
2
2007
On the expressive power of Klaim-based calculi. Zbl 1092.68070
de Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
9
2006
Confining data and processes in global computing applications. Zbl 1137.68333
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
2
2006
Basic observables for a calculus for global computing. Zbl 1085.68098
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
4
2005
MoMo: A modal logic for reasoning about mobility. Zbl 1143.68364
De Nicola, Rocco; Loreti, Michele
2
2005
On the expressive power of Klaim-based calculi. Zbl 1272.68298
De Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario
1
2005
A modal logic for mobile agents. Zbl 1367.68064
De Nicola, Rocco; Loreti, Michele
3
2004
The Klaim project: Theory and practice. Zbl 1179.68027
Bettini, Lorenzo; Bono, Viviana; De Nicola, Rocco; Ferrari, Gianluigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Betti
12
2003
A formal basis for reasoning on programmable QoS. Zbl 1274.68022
De Nicola, Rocco; Ferrari, Gianluigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, Emilio
3
2003
Nondeterministic regular expressions as solutions of equational systems. Zbl 1044.68087
De Nicola, Rocco; Labella, Anna
1
2003
A Java middleware for guaranteeing privacy of distributed tuple spaces. Zbl 1025.68516
Bettini, Lorenzo; De Nicola, Rocco
1
2003
Proof techniques for cryptographic processes. Zbl 1017.68050
Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario
20
2002
Trace and testing equivalence on asynchronous processes. Zbl 1009.68079
Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario
11
2002
Klava: a Java package for distributed and mobile applications. Zbl 1009.68933
Bettini, Lorenzo; De Nicola, Rocco; Pugliese, Rosario
7
2002
Formalizing properties of mobile agent systems. Zbl 1053.68503
Bettini, Lorenzo; De Nicola, Rocco; Loreti, Michele
2
2002
An equational axiomatization of bisimulation over regular expressions. Zbl 1012.68143
Corradini, Flavio; de Nicola, Rocco; Labella, Anna
2
2002
Translating strong mobility into weak mobility. Zbl 1052.68816
Bettini, Lorenzo; De Nicola, Rocco
1
2001
A modal logic for Klaim. Zbl 0983.68022
De Nicola, Rocco; Loreti, Michele
2
2000
Programming access control: The KLAIM experience. Zbl 0999.68557
De Nicola, Rocco; Ferrari, GianLuigi; Pugliese, Rosario
1
2000
Basic observables for processes. Zbl 0928.68013
Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario
12
1999
Models of nondeterministic regular expressions. Zbl 0958.68090
Corradini, Flavio; De Nicola, Rocco; Labella, Anna
5
1999
Graded modalities and resource bisimulation. Zbl 0948.03024
Corradini, Flavio; De Nicola, Rocco; Labella, Anna
3
1999
A finite axiomatization of nondeterministic regular expressions. Zbl 0945.68122
Corradini, Flavio; De Nicola, Rocco; Labella, Anna
3
1999
Locality based semantics for process algebras. Zbl 0877.68081
Corradini, Flavio; De Nicola, Rocco
1
1997
A symbolic semantics for the \(\pi\)-calculus. Zbl 0853.68126
Boreale, Michele; De Nicola, Rocco
12
1996
Three logics for branching bisimulation. Zbl 0886.68064
de Nicola, Rocco; Vaandrager, Frits
57
1995
Testing equivalence for mobile processes. Zbl 0835.68073
Boreale, Michele; De Nicola, Rocco
23
1995
A process algebraic view of input/output automata. Zbl 0874.68209
De Nicola, Rocco; Segala, Roberto
10
1995
An action-based framework for verifying logical and behavioural properties of concurrent systems. Zbl 0789.68096
De Nicola, R.; Fantechi, A.; Gnesi, S.; Ristori, G.
12
1993
Universal axioms for bisimulations. Zbl 0782.68044
Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo
10
1993
A partial ordering semantics for CCS. Zbl 0701.68073
Degano, P.; De Nicola, R.; Montanari, U.
18
1990
Observational logics and concurrency models. Zbl 0732.03024
De Nicola, Rocco; Ferrari, Gian Luigi
4
1990
Partial orderings descriptions and observations of nondeterministic concurrent processes. (Technical contribution). Zbl 0683.68067
Degano, P.; DeNicola, R.; Montanari, U.
6
1989
A distributed operational semantics of CCS based on condition/event systems. Zbl 0656.68061
Degano, Pierpaolo; Di Nicola, Rocco; Montanari, Ugo
31
1988
Extensional equivalences for transition systems. Zbl 0636.68069
De Nicola, Rocco
42
1987
CCS is an (augmented) contact free C/E system. Zbl 0635.68058
Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo
11
1987
Testing equivalences for event structures. Zbl 0626.68021
Aceto, Luca; De Nicola, Rocco; Fantechi, Alessandro
8
1987
CCS without \(\tau\) ’s. Zbl 0614.68025
De Nicola, Rocco; Hennessy, Matthew
8
1987
Partial ordering derivations for CCS. Zbl 0571.68016
Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo
12
1985
Testing equivalences for processes. Zbl 0985.68518
De Nicola, R.; Hennessy, M. C. B.
223
1984
Testing equivalences for processes. Zbl 0515.68029
de Nicola, R.; Hennessy, M. C. B.
12
1983
A complete set of axioms for a theory of communicating sequential processes. Zbl 0517.68027
De Nicola, Rocco
1
1983
all top 5

Cited by 624 Authors

24 De Nicola, Rocco
21 Vogler, Walter
19 Montanari, Ugo G.
18 Hennessy, Matthew C. B.
13 Pugliese, Rosario
11 Bernardo, Marco
11 Gorla, Daniele
11 Loreti, Michele
10 Boreale, Michele
10 Cleaveland, Rance
10 Corradini, Flavio
10 Lüttgen, Gerald
10 van Glabbeek, Robert Jan
9 Degano, Pierpaolo
9 Gnesi, Stefania
9 Priami, Corrado
8 Aceto, Luca
8 Gorrieri, Roberto
8 Sangiorgi, Davide
7 Deng, Yuxin
7 Fu, Yuxi
7 Labella, Anna
7 Nielson, Flemming
7 Padovani, Luca
6 Abadi, Martín
6 Gadducci, Fabio
6 Latella, Diego
6 Malik, Robi
6 Massink, Mieke
6 Riis Nielson, Hanne
6 Zavattaro, Gianluigi
5 Andova, Suzana
5 Bravetti, Mario
5 Castiglioni, Valentina
5 de Frutos-Escrig, David
5 Derrick, John
5 Fantechi, Alessandro
5 Fokkink, Willem Jan
5 Gregorio-Rodríguez, Carlos
5 Ingólfsdóttir, Anna
5 Larsen, Kim Guldstrand
5 Palamidessi, Catuscia
5 ter Beek, Maurice H.
5 Tiezzi, Francesco
5 Tini, Simone
4 Boiten, Eerke A.
4 Bruni, Roberto
4 Cao, Yongzhi
4 Castellani, Ilaria
4 Fournet, Cédric
4 Groote, Jan Friso
4 Inverardi, Paola
4 Lin, Huimin
4 Majster-Cederbaum, Mila E.
4 Morgan, Carroll C.
4 Nunez, Manuel A.
4 Sannella, Donald T.
4 Smolka, Scott A.
4 Tarlecki, Andrzej
4 Ulidowski, Irek
4 Vaandrager, Frits W.
4 Valencia, Frank D.
4 Yankelevich, Daniel
3 Alrahman, Yehia Abd
3 Baier, Christel
3 Baldan, Paolo
3 Bettini, Lorenzo
3 Borgström, Johannes
3 Boudol, Gérard
3 Bozhenkova, Elena N.
3 Busi, Nadia
3 Cacciagrano, Diletta Romana
3 Chen, Taolue
3 Dezani-Ciancaglini, Mariangiola
3 Ferrari, Gian Luigi
3 Garavel, Hubert
3 Georgievska, Sonja
3 Gutierrez, Julian
3 Hermanns, Holger
3 Hüttel, Hans
3 Jonsson, Bengt
3 Kasangian, Stefano
3 Katoen, Joost-Pieter
3 Kiehn, Astrid
3 Koutny, Maciej
3 Laneve, Cosimo
3 Mazzanti, Franco
3 Nestmann, Uwe
3 Nicola, R. D.
3 Olderog, Ernst-Rüdiger
3 Pan, Haiyu
3 Peled, Doron A.
3 Phillips, Iain W.
3 Ranzato, Francesco
3 Reeves, Steve
3 Ristori, Gioia
3 Rodríguez, Ismael
3 Sammartino, Matteo
3 Sassone, Vladimiro
3 Segala, Roberto
...and 524 more Authors
all top 5

Cited in 44 Serials

145 Theoretical Computer Science
59 Information and Computation
27 Formal Aspects of Computing
26 Acta Informatica
25 The Journal of Logic and Algebraic Programming
20 Journal of Logical and Algebraic Methods in Programming
15 MSCS. Mathematical Structures in Computer Science
11 Information Processing Letters
9 Science of Computer Programming
7 Programming and Computer Software
6 Distributed Computing
6 Formal Methods in System Design
6 Logical Methods in Computer Science
5 Journal of Computer and System Sciences
5 International Journal of Foundations of Computer Science
4 Discrete Event Dynamic Systems
3 Information Sciences
3 Journal of Pure and Applied Algebra
3 Journal of Computer Science and Technology
3 International Journal of Approximate Reasoning
3 RAIRO. Informatique Théorique et Applications
2 Artificial Intelligence
2 Journal of Symbolic Computation
2 International Journal of Parallel Programming
2 Journal of Automated Reasoning
2 International Journal of Computer Mathematics
2 Journal of the Egyptian Mathematical Society
2 RAIRO. Theoretical Informatics and Applications
2 Computer Languages, Systems & Structures
2 ACM Transactions on Computational Logic
2 The Review of Symbolic Logic
1 BIT
1 Computing
1 Fuzzy Sets and Systems
1 Software. Practice & Experience
1 ACM Transactions on Modeling and Computer Simulation
1 Science in China. Series E
1 Theory of Computing Systems
1 Theory and Practice of Logic Programming
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Science in China. Series F
1 Journal of Shanghai Jiaotong University (Science)
1 Mathematics in Computer Science
1 Science China. Information Sciences

Citations by Year