×

Bonsangue, Marcello Maria

Compute Distance To:
Author ID: bonsangue.marcello-maria Recent zbMATH articles by "Bonsangue, Marcello Maria"
Published as: Bonsangue, Marcello M.; Bonsangue, Marcello; Bonsangue, M. M.; Bonsangue, M.; Bonsangue, Marcello Maria

Publications by Year

Citations contained in zbMATH Open

59 Publications have been cited 339 times in 219 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.
59
1998
Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186
Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra
22
2013
Generalizing determinization from automata to coalgebras. Zbl 1262.18002
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
21
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
18
2014
A coalgebraic perspective on linear weighted automata. Zbl 1279.68235
Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra
17
2012
Generalizing the powerset construction, coalgebraically. Zbl 1245.68141
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.
16
2010
Coalgebraic bisimulation-up-to. Zbl 1303.68088
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan
14
2013
Duality for logics of transition systems. Zbl 1119.03021
Bonsangue, Marcello M.; Kurz, Alexander
12
2005
Presenting functors by operations and equations. Zbl 1180.68182
Bonsangue, Marcello M.; Kurz, Alexander
9
2006
A Kleene theorem for polynomial coalgebras. Zbl 1234.68272
Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
8
2009
Quantitative Kleene coalgebras. Zbl 1227.68075
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
8
2011
Non-deterministic Kleene coalgebras. Zbl 1208.68141
Silva, Alexandra; Bonsangue, Marcello; Rutten, Jan
7
2010
Coalgebraic characterizations of context-free languages. Zbl 1274.68215
Winter, Joost; Rutten, Jan J. M.; Bonsangue, Marcello M.
7
2013
Presenting distributive laws. Zbl 1394.68238
Bonsangue, Marcello M.; Hansen, Helle Hvid; Kurz, Alexander; Rot, Jurriaan
7
2013
Coalgebraic representations of distributive lattices with operators. Zbl 1108.06005
Bonsangue, M. M.; Kurz, A.; Rewitzky, I. M.
7
2007
Coalgebraic logic and synthesis of Mealy machines. Zbl 1137.68034
Bonsangue, M. M.; Rutten, Jan; Silva, Alexandra
7
2008
Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185
Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra
7
2012
Enhanced coalgebraic bisimulation. Zbl 1380.68300
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra
6
2015
The weakest precondition calculus: Recursion and duality. Zbl 0816.68081
Bonsangue, Marcello M.; Kok, Joost N.
5
1994
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
Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129
Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
4
2009
Context-free languages, coalgebraically. Zbl 1344.68152
Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan
4
2011
Toward an infinitary logic of domains: Abramsky logic for transition systems. Zbl 1004.03030
Bonsangue, Marcello M.; Kok, Joost N.
4
1999
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
Coinductive proof techniques for language equivalence. Zbl 1333.68173
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan
3
2013
Topological dualities in semantics. Zbl 0904.68130
Bonsangue, Marcello
3
1998
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
(Co)algebraic characterizations of signal flow graphs. Zbl 1407.68183
Basold, Henning; Bonsangue, Marcello; Hansen, Helle Hvid; Rutten, Jan
3
2014
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
Structural congruence for bialgebraic semantics. Zbl 1353.68173
Rot, Jurriaan; Bonsangue, Marcello
2
2016
Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5–8, 2002. Revised lectures. Zbl 1028.00026
2
2003
Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7–10, 2006. Revised lectures. Zbl 1143.68011
2
2007
Presenting distributive laws. Zbl 1448.68324
Bonsangue, Marcello M.; Hansen, Helle Hvid; Kurz, Alexander; Rot, Jurriaan
2
2015
Relating multifunctions and predicate transformers through closure operators. Zbl 0942.68617
Bonsangue, Marcello M.; Kok, Joost N.
2
1994
Proving language inclusion and equivalence by coinduction. Zbl 1333.68174
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan
2
2016
Rational operational models. Zbl 1334.68137
Milius, Stefan; Bonsangue, Marcello M.; Myers, Robert S. R.; Rot, Jurriaan
2
2013
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. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4–6, 2009. Revised selected papers. Zbl 1203.68021
1
2010
Formal methods for components and objects. Third international symposium, FMCO 2004, Leiden, The Netherlands, November 2–5, 2004. Revised lectures. Zbl 1084.68008
1
2005
Developing object-based distributed systems. Zbl 0928.68047
Bonsangue, Marcello M.; Kok, Joost N.; Sere, Kaisa
1
1999
Automata based model checking for Reo connectors. Zbl 1274.68177
Bonsangue, Marcello M.; Izadi, Mohammad
1
2010
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. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24–26, 2007. Revised lectures. Zbl 1155.68012
1
2008
Recasting constraint automata into Büchi automata. Zbl 1161.68538
Izadi, Mohammad; Bonsangue, Marcello M.
1
2008
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
1
2014
Equations and coequations for weighted automata. Zbl 1465.68186
Salamanca, Julian; Bonsangue, Marcello; Rutten, Jan
1
2015
Duality of equations and coequations via contravariant adjunctions. Zbl 1475.18005
Salamanca, Julian; Bonsangue, Marcello; Rot, Jurriaan
1
2016
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
Infinitary domain logic for finitary transition systems. Zbl 0885.03030
Bonsangue, Marcello M.; Kok, Joost N.
1
1997
Topological dualities in semantics. Zbl 0964.68084
Bonsangue, Marcello Maria
1
1996
Comparing coordination models and architectures using embeddings. Zbl 1032.68091
Bonsangue, Marcello M.; Kok, Joost N.; Zavattaro, Gianluigi
1
2003
Combining bialgebraic semantics and equations. Zbl 1407.68274
Rot, Jurriaan; Bonsangue, Marcello
1
2014
Formal methods for components and objects. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4–7, 2003. Revised lectures. Zbl 1060.68006
1
2004
Formal methods for components and objects. 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1–4, 2005. Revised lectures. Zbl 1114.68010
1
2006
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
2
2016
Proving language inclusion and equivalence by coinduction. Zbl 1333.68174
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan
2
2016
Duality of equations and coequations via contravariant adjunctions. Zbl 1475.18005
Salamanca, Julian; Bonsangue, Marcello; Rot, Jurriaan
1
2016
A coalgebraic view on decorated traces. Zbl 1364.68276
Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A.
1
2016
Enhanced coalgebraic bisimulation. Zbl 1380.68300
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra
6
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
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
Equations and coequations for weighted automata. Zbl 1465.68186
Salamanca, Julian; Bonsangue, Marcello; Rutten, Jan
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
18
2014
(Co)algebraic characterizations of signal flow graphs. Zbl 1407.68183
Basold, Henning; Bonsangue, Marcello; Hansen, Helle Hvid; Rutten, Jan
3
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
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
22
2013
Generalizing determinization from automata to coalgebras. Zbl 1262.18002
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
21
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.
7
2013
Presenting distributive laws. Zbl 1394.68238
Bonsangue, Marcello M.; Hansen, Helle Hvid; Kurz, Alexander; Rot, Jurriaan
7
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
17
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
8
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.
16
2010
Non-deterministic Kleene coalgebras. Zbl 1208.68141
Silva, Alexandra; Bonsangue, Marcello; Rutten, Jan
7
2010
Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4–6, 2009. Revised selected papers. Zbl 1203.68021
1
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
8
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
Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24–26, 2007. Revised lectures. Zbl 1155.68012
1
2008
Recasting constraint automata into Büchi automata. Zbl 1161.68538
Izadi, Mohammad; Bonsangue, Marcello M.
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
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
1
2006
Duality for logics of transition systems. Zbl 1119.03021
Bonsangue, Marcello M.; Kurz, Alexander
12
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
Formal methods for components and objects. Third international symposium, FMCO 2004, Leiden, The Netherlands, November 2–5, 2004. Revised lectures. Zbl 1084.68008
1
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. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4–7, 2003. Revised lectures. Zbl 1060.68006
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
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.
4
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.
59
1998
Topological dualities in semantics. Zbl 0904.68130
Bonsangue, Marcello
3
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
Topological dualities in semantics. Zbl 0964.68084
Bonsangue, Marcello Maria
1
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.
5
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 232 Authors

22 Bonsangue, Marcello Maria
21 Silva, Alexandra
19 Rutten, Jan J. M. M.
17 Bonchi, Filippo
12 Rot, Jurriaan
11 Hofmann, Dirk
11 Milius, Stefan
11 Zhang, Dexue
7 Hansen, Helle Hvid
7 Sokolova, Ana
7 Zanasi, Fabio
6 Kurz, Alexander
6 Petrisan, Daniela Luan
6 Wißmann, Thorsten
5 Jacobs, Bart
5 Klin, Bartek
5 Kok, Joost N.
5 Kupke, Clemens
5 Lai, Hongliang
5 Panangaden, Prakash
5 Pattinson, Dirk
5 Pous, Damien
5 Sangiorgi, Davide
5 Waszkiewicz, Paweł
4 Adámek, Jiří
4 Goubault-Larrecq, Jean
4 König, Barbara
4 Nora, Pedro
4 Sobociński, Paweł
3 Ballester-Bolinches, Adolfo
3 Bice, Tristan Matthew
3 Boreale, Michele
3 Caltais, Georgiana
3 Cosme-Llópez, Enric
3 Fan, Lei
3 Hasuo, Ichiro
3 Künzi, Hans-Peter A.
3 Küpper, Sebastian
3 Larsen, Kim Guldstrand
3 Li, Wei
3 Mardare, Radu
3 Myers, Robert S. R.
3 Neves, Renato
3 Oliveira, José Nuno
3 Pin, Jean-Eric
3 Schellekens, Michel P.
3 Schröder, Lutz
3 Urbat, Henning
3 Winter, Joost
2 Anh, Lam Quoc
2 Bacci, Giorgio
2 Bacci, Giovanni
2 Balle, Borja
2 Basold, Henning
2 Brengos, Tomasz
2 Brunet, Paul
2 Clementino, Maria Manuel
2 Colcombet, Thomas
2 de Vink, Erik P.
2 Durier, Adrien
2 Heckmann, Reinhold
2 Hirschkoff, Daniel
2 Ho, Weng Kin
2 Kappé, Tobias
2 Kostanek, Mateusz
2 Kozen, Dexter C.
2 Krause, Christian
2 Lata, A. N.
2 Leal, Raul Andres
2 Li, Qingguo
2 Lucanu, Dorel
2 Luttik, Bas
2 Ng, Kok Min
2 Peressotti, Marco
2 Piedeleu, Robin
2 Salamanca, Julian
2 Sprunger, David
2 Steffen, Martin
2 Wang, Longchun
2 Woracek, Harald
2 Zhang, Gao
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 Ambler, Simon J.
1 Andrikopoulos, Athanasios
1 Antoniuk, Sylwia
1 Arbab, Farhad
1 Baier, Christel
1 Barbosa, Luís Soares
1 Bauer, Sebastian S.
1 Beohar, Harsh
1 Bernardo, Marco
1 Bílková, Marta
1 Boukala, Malika
1 Chen, Liang-Ting
...and 132 more Authors
all top 5

Cited in 43 Serials

28 Theoretical Computer Science
15 Logical Methods in Computer Science
13 Information and Computation
12 Topology and its Applications
10 MSCS. Mathematical Structures in Computer Science
10 Journal of Logical and Algebraic Methods in Programming
6 Fuzzy Sets and Systems
6 Formal Aspects of Computing
5 Journal of Pure and Applied Algebra
5 Applied Categorical Structures
4 Acta Informatica
3 Algebra Universalis
3 Science of Computer Programming
3 Annals of Pure and Applied Logic
3 Theory and Applications of Categories
2 Journal of Computer and System Sciences
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 Information Processing Letters
1 Advances in Mathematics
1 Geometriae Dedicata
1 International Journal of Mathematics and Mathematical Sciences
1 Numerical Functional Analysis and Optimization
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