×
Compute Distance To:
Author ID: silva.alexandra Recent zbMATH articles by "Silva, Alexandra"
Published as: Silva, Alexandra; Silva, A.
Homepage: https://alexandrasilva.org/#/main.html
External Links: MGP · Wikidata · GND · IdRef
all top 5

Co-Authors

3 single-authored
18 Rutten, Jan J. M. M.
17 Bonsangue, Marcello Maria
16 Bonchi, Filippo
15 Kozen, Dexter C.
8 Jacobs, Bart
8 Kappé, Tobias
8 Zanasi, Fabio
7 van Heerdt, Gerco
6 Milius, Stefan
6 Sammartino, Matteo
6 Sokolova, Ana
5 Brunet, Paul
4 Caltais, Georgiana
4 Mamouras, Konstantinos
4 Rot, Jurriaan
3 Barthe, Gilles
3 Dahlqvist, Fredrik
3 Foster, Nate
3 Hansen, Helle Hvid
3 Jeannin, Jean-Baptiste
3 Luttik, Bas
2 Albert, Elvira
2 Barbosa, Luís Soares
2 Bliudze, Simon
2 Bruni, Roberto
2 De Queiroz, Ruy José Guerra Barretto
2 Endrullis, Jörg
2 Gómez-Zamalloa, Miguel
2 Goncharov, Sergeĭ Savost’yanovich
2 Hendriks, Dimitri
2 Hsu, Justin
2 Katoen, Joost-Pieter
2 König, Barbara
2 Leino, K. Rustan M.
2 Moerman, Joshua
2 Niqui, Milad
2 Parlant, Louis
2 Polonsky, Andrew
2 Pous, Damien
2 Rubio, Albert
2 Staton, Sam
2 Wagemaker, Jana
1 Adámek, Jiří
1 Aguirre, Alejandro
1 Araújo, Júlio César Silva
1 Arbab, Farhad
1 Belluscio, M.
1 Ben Mokhtar, Sonia
1 Beohar, Harsh
1 Bickford, Mark
1 Boreale, Michele
1 Bouajjani, Ahmed
1 Carbone, Marco
1 Cezar, Alexandre
1 Clarke, Dave
1 Constable, Robert Lee
1 Cunha, Alcino
1 Danos, Vincent
1 dos Santos, Vinícius Fernandes
1 Fosco, Cesar Daniel
1 Gadducci, Fabio
1 Garcia-Violini, Demián
1 Garnier, Ilias
1 Goriac, Eugen-Ioan
1 Grohmann, Davide
1 Gu, Tao
1 Hülsbusch, Mathias
1 Isabel, Miguel
1 Kennedy, Juliette Cara
1 Klin, Bartek
1 Krause, Christian
1 Krebbers, Robbert
1 Kumar, Praveen
1 Kupke, Clemens
1 Küpper, Sebastian
1 Lanese, Ivan
1 Lima, Carlos Vinícius G. C.
1 Lucanu, Dorel
1 Milano, Matthew
1 Moon, Young-Joo
1 Oliveira, José Nuno
1 Ouaknine, Joel O.
1 Panangaden, Prakash
1 Petrisan, Daniela Luan
1 Piriz, J.
1 Reitblatt, Mark
1 Sadrzadeh, Mehrnoosh
1 Sánchez Peña, Ricardo S.
1 Smolka, Steffen Juilf
1 Sutton, Peter R.
1 Szynwelski, Michał
1 Thompson, Laure
1 Troina, Angelo
1 Umbach, Carla
1 Wassermann, Renata
1 Westerbaan, Bram
1 Wißmann, Thorsten

Publications by Year

Citations contained in zbMATH Open

59 Publications have been cited 321 times in 170 Documents Cited by Year
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
A coalgebraic perspective on linear weighted automata. Zbl 1279.68235
Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra
18
2012
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
Generalizing the powerset construction, coalgebraically. Zbl 1245.68141
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.
16
2010
Nominal Kleene coalgebra. Zbl 1440.68174
Kozen, Dexter; Mamouras, Konstantinos; Petrişan, Daniela; Silva, Alexandra
15
2015
A coalgebraic perspective on minimization and determinization. Zbl 1352.68171
Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra
13
2012
Trace semantics via determinization. Zbl 1327.68158
Jacobs, Bart; Silva, Alexandra; Sokolova, Ana
12
2015
Probabilistic NetKAT. Zbl 1335.68027
Foster, Nate; Kozen, Dexter; Mamouras, Konstantinos; Reitblatt, Mark; Silva, Alexandra
9
2016
Trace semantics via determinization. Zbl 1328.68122
Jacobs, Bart; Silva, Alexandra; Sokolova, Ana
9
2012
Learning nominal automata. Zbl 1380.68243
Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra; Klin, Bartek; Szynwelski, Michał
8
2017
A coalgebraic decision procedure for NetKAT. Zbl 1346.68132
Foster, Nate; Kozen, Dexter; Milano, Matthew; Silva, Alexandra; Thompson, Laure
8
2015
Language constructs for non-well-founded computation. Zbl 1381.68034
Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
8
2013
Quantitative Kleene coalgebras. Zbl 1227.68075
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
8
2011
A Kleene theorem for polynomial coalgebras. Zbl 1234.68272
Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
8
2009
A coinductive framework for infinitary rewriting and equational reasoning. Zbl 1366.68114
Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra
8
2015
Non-deterministic Kleene coalgebras. Zbl 1208.68141
Silva, Alexandra; Bonsangue, Marcello; Rutten, Jan
7
2010
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
Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Zbl 1330.68194
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio
6
2015
Sound and complete axiomatization of trace semantics for probabilistic systems. Zbl 1342.68243
Silva, Alexandra; Sokolova, Ana
6
2011
Enhanced coalgebraic bisimulation. Zbl 1380.68300
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra
6
2015
Practical coinduction. Zbl 1376.68095
Kozen, Dexter; Silva, Alexandra
6
2015
CoCaml: functional programming with regular coinductive types. Zbl 1374.68098
Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
5
2017
A coalgebraic view of \(\varepsilon \)-transitions. Zbl 1395.68193
Silva, Alexandra; Westerbaan, Bram
5
2013
Behavioural differential equations and coinduction for binary trees. Zbl 1213.68393
Silva, Alexandra; Rutten, Jan
5
2007
Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129
Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
4
2009
Completeness and incompleteness in nominal Kleene algebra. Zbl 1471.68117
Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra
4
2015
Concurrent Kleene algebra: free model and completeness. Zbl 1422.68035
Kappé, Tobias; Brunet, Paul; Silva, Alexandra; Zanasi, Fabio
4
2018
Cantor meets Scott: semantic foundations for probabilistic networks. Zbl 1380.68132
Smolka, Steffen; Kumar, Praveen; Foster, Nate; Kozen, Dexter; Silva, Alexandra
3
2017
Coinductive foundations of infinitary rewriting and infinitary equational logic. Zbl 1459.68089
Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra
3
2018
Final semantics for decorated traces. Zbl 1342.68224
Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra
3
2012
Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra
3
2014
Left-handed completeness. Zbl 1364.68268
Kozen, Dexter; Silva, Alexandra
3
2012
A model of context-dependent component connectors. Zbl 1243.68147
Bonsangue, Marcello; Clarke, Dave; Silva, Alexandra
3
2012
Calculating invariants as coreflexive bisimulations. Zbl 1170.68426
Barbosa, Luís S.; Oliveira, José N.; Silva, Alexandra
3
2008
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
The power of convex algebras. Zbl 1442.68085
Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana
2
2017
Learning weighted automata over principal ideal domains. Zbl 1461.68093
van Heerdt, Gerco; Kupke, Clemens; Rot, Jurriaan; Silva, Alexandra
2
2020
Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180
Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra
2
2013
A compositional model to reason about end-to-end QoS in stochastic Reo connectors. Zbl 1412.68065
Moon, Young-Joo; Silva, Alexandra; Krause, Christian; Arbab, Farhad
1
2014
Layer by layer – combining monads. Zbl 06983506
Dahlqvist, Fredrik; Parlant, Louis; Silva, Alexandra
1
2018
Convex language semantics for nondeterministic probabilistic automata. Zbl 06983522
van Heerdt, Gerco; Hsu, Justin; Ouaknine, Joël; Silva, Alexandra
1
2018
A coalgebraic view on decorated traces. Zbl 1364.68276
Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A.
1
2016
A coinductive calculus of binary trees. Zbl 1200.68082
Silva, Alexandra; Rutten, Jan
1
2010
CALF: categorical automata learning framework. Zbl 1440.68146
van Heerdt, Gerco; Sammartino, Matteo; Silva, Alexandra
1
2017
Brzozowski goes concurrent – a Kleene theorem for pomset languages. Zbl 1442.68145
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio
1
2017
SDN-actors: modeling and verification of SDN programs. Zbl 1460.68052
Albert, Elvira; Gómez-Zamalloa, Miguel; Rubio, Albert; Sammartino, Matteo; Silva, Alexandra
1
2018
Moessner’s theorem: an exercise in coinductive reasoning in Coq. Zbl 1475.68456
Krebbers, Robbert; Parlant, Louis; Silva, Alexandra
1
2016
Equivalence checking for weak bi-Kleene algebra. Zbl 07407791
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio
1
2021
Learning pomset automata. Zbl 07410441
van Heerdt, Gerco; Kappé, Tobias; Rot, Jurriaan; Silva, Alexandra
1
2021
On the proper orientation number of chordal graphs. Zbl 07401226
Araujo, J.; Cezar, A.; Lima, C. V. G. C.; dos Santos, V. F.; Silva, A.
1
2021
Concurrent Kleene algebra with observations: from hypotheses to completeness. Zbl 07250948
Kappé, Tobias; Brunet, Paul; Silva, Alexandra; Wagemaker, Jana; Zanasi, Fabio
1
2020
Left-handed completeness. Zbl 1436.68202
Kozen, Dexter; Silva, Alexandra
1
2020
How to kill epsilons with a dagger. A coalgebraic take on systems with algebraic label structure. Zbl 1331.68148
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio
1
2014
On series-parallel pomset languages: rationality, context-freeness and automata. Zbl 1417.68134
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio
1
2019
A (co)algebraic theory of succinct automata. Zbl 1423.68300
van Heerdt, Gerco; Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra
1
2019
Completeness and incompleteness in nominal Kleene algebra. Zbl 1372.68064
Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra
1
2017
Well-founded coalgebras, revisited. Zbl 1376.68094
Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
1
2015
Equivalence checking for weak bi-Kleene algebra. Zbl 07407791
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio
1
2021
Learning pomset automata. Zbl 07410441
van Heerdt, Gerco; Kappé, Tobias; Rot, Jurriaan; Silva, Alexandra
1
2021
On the proper orientation number of chordal graphs. Zbl 07401226
Araujo, J.; Cezar, A.; Lima, C. V. G. C.; dos Santos, V. F.; Silva, A.
1
2021
Learning weighted automata over principal ideal domains. Zbl 1461.68093
van Heerdt, Gerco; Kupke, Clemens; Rot, Jurriaan; Silva, Alexandra
2
2020
Concurrent Kleene algebra with observations: from hypotheses to completeness. Zbl 07250948
Kappé, Tobias; Brunet, Paul; Silva, Alexandra; Wagemaker, Jana; Zanasi, Fabio
1
2020
Left-handed completeness. Zbl 1436.68202
Kozen, Dexter; Silva, Alexandra
1
2020
On series-parallel pomset languages: rationality, context-freeness and automata. Zbl 1417.68134
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio
1
2019
A (co)algebraic theory of succinct automata. Zbl 1423.68300
van Heerdt, Gerco; Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra
1
2019
Concurrent Kleene algebra: free model and completeness. Zbl 1422.68035
Kappé, Tobias; Brunet, Paul; Silva, Alexandra; Zanasi, Fabio
4
2018
Coinductive foundations of infinitary rewriting and infinitary equational logic. Zbl 1459.68089
Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra
3
2018
Layer by layer – combining monads. Zbl 06983506
Dahlqvist, Fredrik; Parlant, Louis; Silva, Alexandra
1
2018
Convex language semantics for nondeterministic probabilistic automata. Zbl 06983522
van Heerdt, Gerco; Hsu, Justin; Ouaknine, Joël; Silva, Alexandra
1
2018
SDN-actors: modeling and verification of SDN programs. Zbl 1460.68052
Albert, Elvira; Gómez-Zamalloa, Miguel; Rubio, Albert; Sammartino, Matteo; Silva, Alexandra
1
2018
Learning nominal automata. Zbl 1380.68243
Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra; Klin, Bartek; Szynwelski, Michał
8
2017
CoCaml: functional programming with regular coinductive types. Zbl 1374.68098
Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
5
2017
Cantor meets Scott: semantic foundations for probabilistic networks. Zbl 1380.68132
Smolka, Steffen; Kumar, Praveen; Foster, Nate; Kozen, Dexter; Silva, Alexandra
3
2017
The power of convex algebras. Zbl 1442.68085
Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana
2
2017
CALF: categorical automata learning framework. Zbl 1440.68146
van Heerdt, Gerco; Sammartino, Matteo; Silva, Alexandra
1
2017
Brzozowski goes concurrent – a Kleene theorem for pomset languages. Zbl 1442.68145
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio
1
2017
Completeness and incompleteness in nominal Kleene algebra. Zbl 1372.68064
Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra
1
2017
Probabilistic NetKAT. Zbl 1335.68027
Foster, Nate; Kozen, Dexter; Mamouras, Konstantinos; Reitblatt, Mark; Silva, Alexandra
9
2016
A coalgebraic view on decorated traces. Zbl 1364.68276
Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A.
1
2016
Moessner’s theorem: an exercise in coinductive reasoning in Coq. Zbl 1475.68456
Krebbers, Robbert; Parlant, Louis; Silva, Alexandra
1
2016
Nominal Kleene coalgebra. Zbl 1440.68174
Kozen, Dexter; Mamouras, Konstantinos; Petrişan, Daniela; Silva, Alexandra
15
2015
Trace semantics via determinization. Zbl 1327.68158
Jacobs, Bart; Silva, Alexandra; Sokolova, Ana
12
2015
A coalgebraic decision procedure for NetKAT. Zbl 1346.68132
Foster, Nate; Kozen, Dexter; Milano, Matthew; Silva, Alexandra; Thompson, Laure
8
2015
A coinductive framework for infinitary rewriting and equational reasoning. Zbl 1366.68114
Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra
8
2015
Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Zbl 1330.68194
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio
6
2015
Enhanced coalgebraic bisimulation. Zbl 1380.68300
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra
6
2015
Practical coinduction. Zbl 1376.68095
Kozen, Dexter; Silva, Alexandra
6
2015
Completeness and incompleteness in nominal Kleene algebra. Zbl 1471.68117
Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra
4
2015
Well-founded coalgebras, revisited. Zbl 1376.68094
Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
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
Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra
3
2014
A compositional model to reason about end-to-end QoS in stochastic Reo connectors. Zbl 1412.68065
Moon, Young-Joo; Silva, Alexandra; Krause, Christian; Arbab, Farhad
1
2014
How to kill epsilons with a dagger. A coalgebraic take on systems with algebraic label structure. Zbl 1331.68148
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio
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
Language constructs for non-well-founded computation. Zbl 1381.68034
Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
8
2013
A coalgebraic view of \(\varepsilon \)-transitions. Zbl 1395.68193
Silva, Alexandra; Westerbaan, Bram
5
2013
Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180
Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra
2
2013
A coalgebraic perspective on linear weighted automata. Zbl 1279.68235
Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra
18
2012
A coalgebraic perspective on minimization and determinization. Zbl 1352.68171
Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra
13
2012
Trace semantics via determinization. Zbl 1328.68122
Jacobs, Bart; Silva, Alexandra; Sokolova, Ana
9
2012
Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185
Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra
7
2012
Final semantics for decorated traces. Zbl 1342.68224
Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra
3
2012
Left-handed completeness. Zbl 1364.68268
Kozen, Dexter; 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
Sound and complete axiomatization of trace semantics for probabilistic systems. Zbl 1342.68243
Silva, Alexandra; Sokolova, Ana
6
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
A coinductive calculus of binary trees. Zbl 1200.68082
Silva, Alexandra; Rutten, Jan
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
Calculating invariants as coreflexive bisimulations. Zbl 1170.68426
Barbosa, Luís S.; Oliveira, José N.; Silva, Alexandra
3
2008
Behavioural differential equations and coinduction for binary trees. Zbl 1213.68393
Silva, Alexandra; Rutten, Jan
5
2007
all top 5

Cited by 228 Authors

33 Silva, Alexandra
17 Rutten, Jan J. M. M.
15 Bonchi, Filippo
14 Bonsangue, Marcello Maria
13 Milius, Stefan
10 Kozen, Dexter C.
10 Rot, Jurriaan
7 Hansen, Helle Hvid
7 Kupke, Clemens
7 Sokolova, Ana
7 Wißmann, Thorsten
6 Zanasi, Fabio
5 Hasuo, Ichiro
5 Petrisan, Daniela Luan
5 Pous, Damien
5 Sammartino, Matteo
4 Adámek, Jiří
4 Boreale, Michele
4 Brengos, Tomasz
4 Caltais, Georgiana
4 Jacobs, Bart
4 König, Barbara
4 Mamouras, Konstantinos
4 Myers, Robert S. R.
4 Oliveira, José Nuno
4 Panangaden, Prakash
4 Pattinson, Dirk
4 Schröder, Lutz
4 Urbat, Henning
3 Ballester-Bolinches, Adolfo
3 Cosme-Llópez, Enric
3 Dagnino, Francesco
3 Endrullis, Jörg
3 Küpper, Sebastian
3 Lucanu, Dorel
3 Peressotti, Marco
3 Polonsky, Andrew
3 van Heerdt, Gerco
3 Winter, Joost
2 Albert, Elvira
2 Bacci, Giorgio
2 Bacci, Giovanni
2 Balle, Borja
2 Barbosa, Luís Soares
2 Basold, Henning
2 Brunet, Paul
2 Capretta, Venanzio
2 Cho, Kenta
2 Colcombet, Thomas
2 Czajka, Łukasz
2 de Vrijer, Roel
2 Gómez-Zamalloa, Miguel
2 Hendriks, Dimitri
2 Kappé, Tobias
2 Kataoka, Toshiki
2 Klin, Bartek
2 Klop, Jan Willem
2 Larsen, Kim Guldstrand
2 Lombardi, Carlos
2 Madeira, Alexandre
2 Manzonetto, Giulio
2 Mardare, Radu
2 Martins, Manuel António
2 Miculan, Marino
2 Moerman, Joshua
2 Neves, Renato
2 Piedeleu, Robin
2 Ríos, Alejandro
2 Rubio, Albert
2 Salamanca, Julian
2 Sobociński, Paweł
2 Sprunger, David
2 Urabe, Natsuki
2 Woracek, Harald
1 Abuhlail, Jawad Y.
1 Aceto, Luca
1 Achilleos, Antonis
1 Affeldt, Reynald
1 Agarwal, Yuvraj
1 Al-Sulaiman, Nabeela
1 Alpernas, Kalev
1 Anastasiadi, Elli
1 Ancona, Davide
1 Arbab, Farhad
1 Azevedo de Amorim, Arthur
1 Barbanera, Franco
1 Beohar, Harsh
1 Bernardo, Marco
1 Bickford, Mark
1 Blanchette, Jasmin Christian
1 Bolognesi, Tommaso
1 Bouzy, Aymeric
1 Bowler, Nathan
1 Brázdil, Tomáš
1 Breuvart, Flavien
1 Bruni, Roberto
1 Carle, Georg
1 Castiglioni, Valentina
1 Chatterjee, Krishnendu
1 Chen, Yu-Fang
...and 128 more Authors

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.