×

zbMATH — the first resource for mathematics

Bonsangue, Marcello Maria

Compute Distance To:
Author ID: bonsangue.marcello-maria Recent zbMATH articles by "Bonsangue, Marcello Maria"
Published as: Bonsangue, M.; Bonsangue, M. M.; Bonsangue, Marcello; Bonsangue, Marcello M.; Bonsangue, Marcello Maria
Documents Indexed: 83 Publications since 1994, including 19 Books

Publications by Year

Citations contained in zbMATH

57 Publications have been cited 316 times in 193 Documents Cited by Year
Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding. Zbl 0997.54042
Bonsangue, M. M.; van Breugel, F.; Rutten, J. J. M. M.
52
1998
Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186
Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra
20
2013
Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174
Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra
16
2014
Generalizing determinization from automata to coalgebras. Zbl 1262.18002
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
16
2013
A coalgebraic perspective on linear weighted automata. Zbl 1279.68235
Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra
15
2012
Coalgebraic bisimulation-up-to. Zbl 1303.68088
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan
14
2013
Generalizing the powerset construction, coalgebraically. Zbl 1245.68141
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.
14
2010
A Kleene theorem for polynomial coalgebras. Zbl 1234.68272
Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
12
2009
Duality for logics of transition systems. Zbl 1119.03021
Bonsangue, Marcello M.; Kurz, Alexander
11
2005
Presenting functors by operations and equations. Zbl 1180.68182
Bonsangue, Marcello M.; Kurz, Alexander
9
2006
Non-deterministic Kleene coalgebras. Zbl 1208.68141
Silva, Alexandra; Bonsangue, Marcello; Rutten, Jan
8
2010
Enhanced coalgebraic bisimulation. Zbl 1380.68300
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra
7
2015
Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185
Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra
7
2012
Quantitative Kleene coalgebras. Zbl 1227.68075
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
7
2011
Coalgebraic logic and synthesis of Mealy machines. Zbl 1137.68034
Bonsangue, M. M.; Rutten, Jan; Silva, Alexandra
7
2008
Coalgebraic representations of distributive lattices with operators. Zbl 1108.06005
Bonsangue, M. M.; Kurz, A.; Rewitzky, I. M.
7
2007
Coalgebraic characterizations of context-free languages. Zbl 1274.68215
Winter, Joost; Rutten, Jan J. M.; Bonsangue, Marcello M.
6
2013
Topological dualities in semantics. Zbl 0904.68130
Bonsangue, Marcello
6
1998
Presenting distributive laws. Zbl 1394.68238
Bonsangue, Marcello M.; Hansen, Helle Hvid; Kurz, Alexander; Rot, Jurriaan
5
2013
Alexandroff and Scott topologies for generalized metric spaces. Zbl 0955.54008
Bonsangue, M. M.; van Breugel, F.; Rutten, J. J. M. M.
5
1996
Duality beyond sober spaces: Topological spaces and observation frames. Zbl 0872.06011
Bonsangue, Marcello M.; Jacobs, Bart; Kok, Joost N.
5
1995
Context-free coalgebras. Zbl 1328.68133
Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan J. M. M.
4
2015
Defining context-free power series coalgebraically. Zbl 1328.68132
Bonsangue, Marcello M.; Rutten, Jan; Winter, Joost
4
2012
Context-free languages, coalgebraically. Zbl 1344.68152
Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan
4
2011
Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129
Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
4
2009
The weakest precondition calculus: Recursion and duality. Zbl 0816.68081
Bonsangue, Marcello M.; Kok, Joost N.
4
1994
Coinductive proof techniques for language equivalence. Zbl 1333.68173
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan
3
2013
Final semantics for decorated traces. Zbl 1342.68224
Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra
3
2012
A model of context-dependent component connectors. Zbl 1243.68147
Bonsangue, Marcello; Clarke, Dave; Silva, Alexandra
3
2012
Toward an infinitary logic of domains: Abramsky logic for transition systems. Zbl 1004.03030
Bonsangue, Marcello M.; Kok, Joost N.
3
1999
Presenting distributive laws. Zbl 1448.68324
Bonsangue, Marcello M.; Hansen, Helle Hvid; Kurz, Alexander; Rot, Jurriaan
2
2015
(Co)algebraic characterizations of signal flow graphs. Zbl 1407.68183
Basold, Henning; Bonsangue, Marcello; Hansen, Helle Hvid; Rutten, Jan
2
2014
Rational operational models. Zbl 1334.68137
Milius, Stefan; Bonsangue, Marcello M.; Myers, Robert S. R.; Rot, Jurriaan
2
2013
A decision procedure for bisimilarity of generalized regular expressions. Zbl 1325.68127
Bonsangue, Marcello; Caltais, Georgiana; Goriac, Eugen-Ioan; Lucanu, Dorel; Rutten, Jan; Silva, Alexandra
2
2011
Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7–10, 2006. Revised lectures. Zbl 1143.68011
de Boer, Frank S. (ed.); Bonsangue, Marcello M. (ed.); Graf, Susanne (ed.); de Roever, Willem-Paul (ed.)
2
2007
Object connectivity and full abstraction for a concurrent calculus of classes. Zbl 1108.68538
Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Steffen, Martin
2
2005
Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5–8, 2002. Revised lectures. Zbl 1028.00026
de Boer, Frank S. (ed.); Bonsangue, Marcello M. (ed.); Graf, Susanne (ed.); de Roever, Willem-Paul (ed.)
2
2003
Relating multifunctions and predicate transformers through closure operators. Zbl 0942.68617
Bonsangue, Marcello M.; Kok, Joost N.
2
1994
A coalgebraic view on decorated traces. Zbl 1364.68276
Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A.
1
2016
Structural congruence for bialgebraic semantics. Zbl 1353.68173
Rot, Jurriaan; Bonsangue, Marcello
1
2016
Duality of equations and coequations via contravariant adjunctions. Zbl 06603966
Salamanca, Julian; Bonsangue, Marcello; Rot, Jurriaan
1
2016
Proving language inclusion and equivalence by coinduction. Zbl 1333.68174
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan
1
2016
Equations and coequations for weighted automata. Zbl 06482755
Salamanca, Julian; Bonsangue, Marcello; Rutten, Jan
1
2015
Regular varieties of automata and coequations. Zbl 1432.68270
Salamanca, J.; Ballester-Bolinches, A.; Bonsangue, M. M.; Cosme-Llópez, E.; Rutten, J. J. M. M.
1
2015
Coalgebraic methods in computer science. 12th IFIP WG 1.3 international workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014. Revised selected papers. Zbl 1318.68010
Bonsangue, M. (ed.)
1
2014
Combining bialgebraic semantics and equations. Zbl 1407.68274
Rot, Jurriaan; Bonsangue, Marcello
1
2014
Automata based model checking for Reo connectors. Zbl 1274.68177
Bonsangue, Marcello M.; Izadi, Mohammad
1
2010
Recasting constraint automata into Büchi automata. Zbl 1161.68538
Izadi, Mohammad; Bonsangue, Marcello M.
1
2008
Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24–26, 2007. Revised lectures. Zbl 1155.68012
de Boer, Frank S. (ed.); Bonsangue, Marcello M. (ed.); Graf, Susanne (ed.); de Roever, Willem-Paul (ed.)
1
2008
Formal methods for components and objects. 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1–4, 2005. Revised lectures. Zbl 1114.68010
de Boer, Frank S. (ed.); Bonsangue, Marcello M. (ed.); Graf, Susanne (ed.); de Roever, Willem-Paul (ed.)
1
2006
Observability, connectivity, and replay in a sequential calculus of classes. Zbl 1143.68359
Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Grüner, Andreas; Steffen, Martin
1
2005
Formal methods for components and objects. Third international symposium, FMCO 2004, Leiden, The Netherlands, November 2–5, 2004. Revised lectures. Zbl 1084.68008
de Boer, Frank S. (ed.); Bonsangue, Marcello M. (ed.); Graf, Susanne (ed.); de Roever, Wilhelm-Paul (ed.)
1
2005
Formal methods for components and objects. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4–7, 2003. Revised lectures. Zbl 1060.68006
de Boer, Frank S. (ed.); Bonsangue, Marcello M. (ed.); Graf, Susanne (ed.); de Roever, Willem-Paul (ed.)
1
2004
Comparing coordination models and architectures using embeddings. Zbl 1032.68091
Bonsangue, Marcello M.; Kok, Joost N.; Zavattaro, Gianluigi
1
2003
A transition system semantics for the control-driven coordination language MANIFOLD. Zbl 0954.68107
Bonsangue, M. M.; Arbab, F.; de Bakker, J. W.; Rutten, J. J. M. M.; Scutellà, A.
1
2000
Developing object-based distributed systems. Zbl 0928.68047
Bonsangue, Marcello M.; Kok, Joost N.; Sere, Kaisa
1
1999
Infinitary domain logic for finitary transition systems. Zbl 0885.03030
Bonsangue, Marcello M.; Kok, Joost N.
1
1997
A coalgebraic view on decorated traces. Zbl 1364.68276
Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A.
1
2016
Structural congruence for bialgebraic semantics. Zbl 1353.68173
Rot, Jurriaan; Bonsangue, Marcello
1
2016
Duality of equations and coequations via contravariant adjunctions. Zbl 06603966
Salamanca, Julian; Bonsangue, Marcello; Rot, Jurriaan
1
2016
Proving language inclusion and equivalence by coinduction. Zbl 1333.68174
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan
1
2016
Enhanced coalgebraic bisimulation. Zbl 1380.68300
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra
7
2015
Context-free coalgebras. Zbl 1328.68133
Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan J. M. M.
4
2015
Presenting distributive laws. Zbl 1448.68324
Bonsangue, Marcello M.; Hansen, Helle Hvid; Kurz, Alexander; Rot, Jurriaan
2
2015
Equations and coequations for weighted automata. Zbl 06482755
Salamanca, Julian; Bonsangue, Marcello; Rutten, Jan
1
2015
Regular varieties of automata and coequations. Zbl 1432.68270
Salamanca, J.; Ballester-Bolinches, A.; Bonsangue, M. M.; Cosme-Llópez, E.; Rutten, J. J. M. M.
1
2015
Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174
Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra
16
2014
(Co)algebraic characterizations of signal flow graphs. Zbl 1407.68183
Basold, Henning; Bonsangue, Marcello; Hansen, Helle Hvid; Rutten, Jan
2
2014
Coalgebraic methods in computer science. 12th IFIP WG 1.3 international workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014. Revised selected papers. Zbl 1318.68010
Bonsangue, M. (ed.)
1
2014
Combining bialgebraic semantics and equations. Zbl 1407.68274
Rot, Jurriaan; Bonsangue, Marcello
1
2014
Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186
Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra
20
2013
Generalizing determinization from automata to coalgebras. Zbl 1262.18002
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
16
2013
Coalgebraic bisimulation-up-to. Zbl 1303.68088
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan
14
2013
Coalgebraic characterizations of context-free languages. Zbl 1274.68215
Winter, Joost; Rutten, Jan J. M.; Bonsangue, Marcello M.
6
2013
Presenting distributive laws. Zbl 1394.68238
Bonsangue, Marcello M.; Hansen, Helle Hvid; Kurz, Alexander; Rot, Jurriaan
5
2013
Coinductive proof techniques for language equivalence. Zbl 1333.68173
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan
3
2013
Rational operational models. Zbl 1334.68137
Milius, Stefan; Bonsangue, Marcello M.; Myers, Robert S. R.; Rot, Jurriaan
2
2013
A coalgebraic perspective on linear weighted automata. Zbl 1279.68235
Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra
15
2012
Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185
Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra
7
2012
Defining context-free power series coalgebraically. Zbl 1328.68132
Bonsangue, Marcello M.; Rutten, Jan; Winter, Joost
4
2012
Final semantics for decorated traces. Zbl 1342.68224
Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra
3
2012
A model of context-dependent component connectors. Zbl 1243.68147
Bonsangue, Marcello; Clarke, Dave; Silva, Alexandra
3
2012
Quantitative Kleene coalgebras. Zbl 1227.68075
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
7
2011
Context-free languages, coalgebraically. Zbl 1344.68152
Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan
4
2011
A decision procedure for bisimilarity of generalized regular expressions. Zbl 1325.68127
Bonsangue, Marcello; Caltais, Georgiana; Goriac, Eugen-Ioan; Lucanu, Dorel; Rutten, Jan; Silva, Alexandra
2
2011
Generalizing the powerset construction, coalgebraically. Zbl 1245.68141
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.
14
2010
Non-deterministic Kleene coalgebras. Zbl 1208.68141
Silva, Alexandra; Bonsangue, Marcello; Rutten, Jan
8
2010
Automata based model checking for Reo connectors. Zbl 1274.68177
Bonsangue, Marcello M.; Izadi, Mohammad
1
2010
A Kleene theorem for polynomial coalgebras. Zbl 1234.68272
Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
12
2009
Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129
Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
4
2009
Coalgebraic logic and synthesis of Mealy machines. Zbl 1137.68034
Bonsangue, M. M.; Rutten, Jan; Silva, Alexandra
7
2008
Recasting constraint automata into Büchi automata. Zbl 1161.68538
Izadi, Mohammad; Bonsangue, Marcello M.
1
2008
Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24–26, 2007. Revised lectures. Zbl 1155.68012
de Boer, Frank S. (ed.); Bonsangue, Marcello M. (ed.); Graf, Susanne (ed.); de Roever, Willem-Paul (ed.)
1
2008
Coalgebraic representations of distributive lattices with operators. Zbl 1108.06005
Bonsangue, M. M.; Kurz, A.; Rewitzky, I. M.
7
2007
Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7–10, 2006. Revised lectures. Zbl 1143.68011
de Boer, Frank S. (ed.); Bonsangue, Marcello M. (ed.); Graf, Susanne (ed.); de Roever, Willem-Paul (ed.)
2
2007
Presenting functors by operations and equations. Zbl 1180.68182
Bonsangue, Marcello M.; Kurz, Alexander
9
2006
Formal methods for components and objects. 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1–4, 2005. Revised lectures. Zbl 1114.68010
de Boer, Frank S. (ed.); Bonsangue, Marcello M. (ed.); Graf, Susanne (ed.); de Roever, Willem-Paul (ed.)
1
2006
Duality for logics of transition systems. Zbl 1119.03021
Bonsangue, Marcello M.; Kurz, Alexander
11
2005
Object connectivity and full abstraction for a concurrent calculus of classes. Zbl 1108.68538
Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Steffen, Martin
2
2005
Observability, connectivity, and replay in a sequential calculus of classes. Zbl 1143.68359
Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Grüner, Andreas; Steffen, Martin
1
2005
Formal methods for components and objects. Third international symposium, FMCO 2004, Leiden, The Netherlands, November 2–5, 2004. Revised lectures. Zbl 1084.68008
de Boer, Frank S. (ed.); Bonsangue, Marcello M. (ed.); Graf, Susanne (ed.); de Roever, Wilhelm-Paul (ed.)
1
2005
Formal methods for components and objects. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4–7, 2003. Revised lectures. Zbl 1060.68006
de Boer, Frank S. (ed.); Bonsangue, Marcello M. (ed.); Graf, Susanne (ed.); de Roever, Willem-Paul (ed.)
1
2004
Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5–8, 2002. Revised lectures. Zbl 1028.00026
de Boer, Frank S. (ed.); Bonsangue, Marcello M. (ed.); Graf, Susanne (ed.); de Roever, Willem-Paul (ed.)
2
2003
Comparing coordination models and architectures using embeddings. Zbl 1032.68091
Bonsangue, Marcello M.; Kok, Joost N.; Zavattaro, Gianluigi
1
2003
A transition system semantics for the control-driven coordination language MANIFOLD. Zbl 0954.68107
Bonsangue, M. M.; Arbab, F.; de Bakker, J. W.; Rutten, J. J. M. M.; Scutellà, A.
1
2000
Toward an infinitary logic of domains: Abramsky logic for transition systems. Zbl 1004.03030
Bonsangue, Marcello M.; Kok, Joost N.
3
1999
Developing object-based distributed systems. Zbl 0928.68047
Bonsangue, Marcello M.; Kok, Joost N.; Sere, Kaisa
1
1999
Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding. Zbl 0997.54042
Bonsangue, M. M.; van Breugel, F.; Rutten, J. J. M. M.
52
1998
Topological dualities in semantics. Zbl 0904.68130
Bonsangue, Marcello
6
1998
Infinitary domain logic for finitary transition systems. Zbl 0885.03030
Bonsangue, Marcello M.; Kok, Joost N.
1
1997
Alexandroff and Scott topologies for generalized metric spaces. Zbl 0955.54008
Bonsangue, M. M.; van Breugel, F.; Rutten, J. J. M. M.
5
1996
Duality beyond sober spaces: Topological spaces and observation frames. Zbl 0872.06011
Bonsangue, Marcello M.; Jacobs, Bart; Kok, Joost N.
5
1995
The weakest precondition calculus: Recursion and duality. Zbl 0816.68081
Bonsangue, Marcello M.; Kok, Joost N.
4
1994
Relating multifunctions and predicate transformers through closure operators. Zbl 0942.68617
Bonsangue, Marcello M.; Kok, Joost N.
2
1994
all top 5

Cited by 213 Authors

21 Bonsangue, Marcello Maria
20 Silva, Alexandra
19 Rutten, Jan J. M. M.
12 Bonchi, Filippo
11 Hofmann, Dirk
11 Milius, Stefan
10 Rot, Jurriaan
10 Zhang, Dexue
7 Hansen, Helle Hvid
7 Sokolova, Ana
6 Kurz, Alexander
5 Adámek, Jiří
5 Jacobs, Bart
5 Kok, Joost N.
5 Pattinson, Dirk
5 Petrisan, Daniela Luan
5 Waszkiewicz, Paweł
5 Wißmann, Thorsten
5 Zanasi, Fabio
4 Klin, Bartek
4 Lai, Hongliang
4 Nora, Pedro
4 Pous, Damien
4 Sangiorgi, Davide
3 Ballester-Bolinches, Adolfo
3 Boreale, Michele
3 Caltais, Georgiana
3 Cosme-Llópez, Enric
3 Fan, Lei
3 Hasuo, Ichiro
3 König, Barbara
3 Künzi, Hans-Peter A.
3 Kupke, Clemens
3 Küpper, Sebastian
3 Li, Wei
3 Myers, Robert S. R.
3 Neves, Renato
3 Oliveira, José Nuno
3 Panangaden, Prakash
3 Pin, Jean-Eric
3 Schellekens, Michel P.
3 Urbat, Henning
3 Winter, Joost
2 Basold, Henning
2 Bice, Tristan Matthew
2 Brengos, Tomasz
2 Brunet, Paul
2 Clementino, Maria Manuel
2 Colcombet, Thomas
2 de Vink, Erik P.
2 Durier, Adrien
2 Goubault-Larrecq, Jean
2 Heckmann, Reinhold
2 Hirschkoff, Daniel
2 Kappé, Tobias
2 Kostanek, Mateusz
2 Kozen, Dexter C.
2 Krause, Christian
2 Larsen, Kim Guldstrand
2 Lata, A. N.
2 Leal, Raul Andres
2 Lucanu, Dorel
2 Luttik, Bas
2 Mardare, Radu
2 Peressotti, Marco
2 Schröder, Lutz
2 Sobociński, Paweł
2 Sprunger, David
2 Steffen, Martin
2 Woracek, Harald
1 Ábrahám, Erika
1 Abuhlail, Jawad Y.
1 Agyingi, Collins Amburo
1 Ahmad, Jamshaid
1 Akhvlediani, Andrei
1 Al-Sulaiman, Nabeela
1 Algom-Kfir, Yael
1 Aliakbari, Massumeh
1 Ambler, Simon J.
1 Andrikopoulos, Athanasios
1 Anh, Lam Quoc
1 Antoniuk, Sylwia
1 Arbab, Farhad
1 Arshad, Muhammad Sarmad
1 Bacci, Giorgio
1 Bacci, Giovanni
1 Baier, Christel
1 Balle, Borja
1 Barbosa, Luís Soares
1 Bauer, Sebastian S.
1 Beohar, Harsh
1 Bílková, Marta
1 Blanchette, Jasmin Christian
1 Boukala, Malika
1 Bouzy, Aymeric
1 Chen, Liang-Ting
1 Chen, Yifeng
1 Clark, David
1 Clarke, Dave
1 Dahmani, Djaouida
...and 113 more Authors
all top 5

Cited in 41 Serials

27 Theoretical Computer Science
12 Information and Computation
11 Logical Methods in Computer Science
10 Topology and its Applications
10 MSCS. Mathematical Structures in Computer Science
9 Journal of Logical and Algebraic Methods in Programming
5 Fuzzy Sets and Systems
5 Journal of Pure and Applied Algebra
5 Applied Categorical Structures
4 Formal Aspects of Computing
3 Acta Informatica
3 Algebra Universalis
3 Science of Computer Programming
3 Theory and Applications of Categories
2 Journal of Computer and System Sciences
2 Annals of Pure and Applied Logic
2 International Journal of Algebra and Computation
2 Soft Computing
2 The Journal of Logic and Algebraic Programming
2 ACM Transactions on Computational Logic
2 Chebyshevskiĭ Sbornik
1 Communications in Algebra
1 Advances in Mathematics
1 Geometriae Dedicata
1 International Journal of Mathematics and Mathematical Sciences
1 Chinese Annals of Mathematics. Series B
1 Acta Mathematica Hungarica
1 Optimization
1 Journal of Automated Reasoning
1 International Journal of Foundations of Computer Science
1 Archive for Mathematical Logic
1 Formal Methods in System Design
1 Topology Proceedings
1 Mathematical Logic Quarterly (MLQ)
1 Theory of Computing Systems
1 RAIRO. Theoretical Informatics and Applications
1 Fixed Point Theory and Applications
1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM
1 International Journal of Analysis
1 Chinese Journal of Mathematics
1 Categories and General Algebraic Structures with Applications

Citations by Year