×

zbMATH — the first resource for mathematics

Silva, Alexandra

Compute Distance To:
Author ID: silva.alexandra Recent zbMATH articles by "Silva, Alexandra"
Published as: Silva, A.; Silva, Alexandra
Documents Indexed: 92 Publications since 1980, including 10 Books
all top 5

Co-Authors

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

Publications by Year

Citations contained in zbMATH Open

54 Publications have been cited 286 times in 156 Documents Cited by Year
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
Nominal Kleene coalgebra. Zbl 1440.68174
Kozen, Dexter; Mamouras, Konstantinos; Petrişan, Daniela; Silva, Alexandra
14
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
14
2012
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
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
Graphs of girth at least 7 have high \(b\)-chromatic number. Zbl 1315.05048
Campos, V.; Lima, C.; Silva, A.
8
2015
Trace semantics via determinization. Zbl 1327.68158
Jacobs, Bart; Silva, Alexandra; Sokolova, Ana
8
2015
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
A coalgebraic decision procedure for NetKAT. Zbl 1346.68132
Foster, Nate; Kozen, Dexter; Milano, Matthew; Silva, Alexandra; Thompson, Laure
7
2015
Trace semantics via determinization. Zbl 1328.68122
Jacobs, Bart; Silva, Alexandra; Sokolova, Ana
7
2012
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
Probabilistic NetKAT. Zbl 1335.68027
Foster, Nate; Kozen, Dexter; Mamouras, Konstantinos; Reitblatt, Mark; Silva, Alexandra
6
2016
Language constructs for non-well-founded computation. Zbl 1381.68034
Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
6
2013
Practical coinduction. Zbl 1376.68095
Kozen, Dexter; Silva, Alexandra
5
2015
Behavioural differential equations and coinduction for binary trees. Zbl 1213.68393
Silva, Alexandra; Rutten, Jan
5
2007
Completeness and incompleteness in nominal Kleene algebra. Zbl 06527600
Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra
4
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
4
2015
Sound and complete axiomatization of trace semantics for probabilistic systems. Zbl 1342.68243
Silva, Alexandra; Sokolova, Ana
4
2011
Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129
Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
4
2009
Behnke-Stein theorem on complex spaces with singularities. Zbl 0820.32007
Colţoiu, M.; Silva, A.
4
1995
CoCaml: functional programming with regular coinductive types. Zbl 1374.68098
Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
3
2017
Learning nominal automata. Zbl 1380.68243
Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra; Klin, Bartek; Szynwelski, Michał
3
2017
Dynamics of a gyrostat satellite subjected to the action of gravity moment. Equilibrium attitudes and their stability. Zbl 1327.93294
Gutnik, S. A.; Santos, L.; Sarychev, V. A.; Silva, A.
3
2015
Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra
3
2014
A coalgebraic view of \(\varepsilon \)-transitions. Zbl 1395.68193
Silva, Alexandra; Westerbaan, Bram
3
2013
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
Calculating invariants as coreflexive bisimulations. Zbl 1170.68426
Barbosa, Luís S.; Oliveira, José N.; Silva, Alexandra
3
2008
Coinductive foundations of infinitary rewriting and infinitary equational logic. Zbl 06825413
Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra
2
2018
Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180
Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra
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
Damageable contact between an elastic body and a rigid foundation. Zbl 1156.74030
Campo, M.; Fernández, J. R.; Silva, A.
2
2009
Convex language semantics for nondeterministic probabilistic automata. Zbl 06983522
van Heerdt, Gerco; Hsu, Justin; Ouaknine, Joël; Silva, Alexandra
1
2018
A coalgebraic treatment of conditional transition systems with upgrades. Zbl 06864542
Beohar, Harsh; König, Barbara; Küpper, Sebastian; Silva, Alexandra; Wißmann, Thorsten
1
2018
Cantor meets Scott: semantic foundations for probabilistic networks. Zbl 1380.68132
Smolka, Steffen; Kumar, Praveen; Foster, Nate; Kozen, Dexter; Silva, Alexandra
1
2017
On the existence of tree backbones that realize the chromatic number on a backbone coloring. Zbl 1368.05041
Araujo, J.; Cezar, A. A.; Silva, A.
1
2017
A coalgebraic view on decorated traces. Zbl 1364.68276
Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A.
1
2016
Well-founded coalgebras, revisited. Zbl 1376.68094
Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
1
2015
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
On Moessner’s theorem. Zbl 1271.13041
Kozen, Dexter; Silva, Alexandra
1
2013
Analysis and numerical simulation of viscous Burgers equation. Zbl 1254.35188
Clark, H. R.; Rincon, M. A.; Silva, A.
1
2011
A coinductive calculus of binary trees. Zbl 1200.68082
Silva, Alexandra; Rutten, Jan
1
2010
Numerical analysis of convective heat transfer in nanofluid. Zbl 1419.76023
Rouboa, A.; Silva, A.; Freire, A. J.; Borges, A.; Ribeiro, J.; Silva, P.; Alexandre, J. L.
1
2008
A simple and direct method for generating travelling wave solutions for nonlinear equations. Zbl 1153.35066
Bazeia, D.; Das, Ashok; Losano, L.; Silva, A.
1
2008
On the cohomology of an open subspace of a Stein space. Zbl 0424.32008
Raimondo, M.; Silva, A.
1
1980
Coinductive foundations of infinitary rewriting and infinitary equational logic. Zbl 06825413
Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra
2
2018
Convex language semantics for nondeterministic probabilistic automata. Zbl 06983522
van Heerdt, Gerco; Hsu, Justin; Ouaknine, Joël; Silva, Alexandra
1
2018
A coalgebraic treatment of conditional transition systems with upgrades. Zbl 06864542
Beohar, Harsh; König, Barbara; Küpper, Sebastian; Silva, Alexandra; Wißmann, Thorsten
1
2018
CoCaml: functional programming with regular coinductive types. Zbl 1374.68098
Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
3
2017
Learning nominal automata. Zbl 1380.68243
Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra; Klin, Bartek; Szynwelski, Michał
3
2017
Cantor meets Scott: semantic foundations for probabilistic networks. Zbl 1380.68132
Smolka, Steffen; Kumar, Praveen; Foster, Nate; Kozen, Dexter; Silva, Alexandra
1
2017
On the existence of tree backbones that realize the chromatic number on a backbone coloring. Zbl 1368.05041
Araujo, J.; Cezar, A. A.; Silva, A.
1
2017
Probabilistic NetKAT. Zbl 1335.68027
Foster, Nate; Kozen, Dexter; Mamouras, Konstantinos; Reitblatt, Mark; Silva, Alexandra
6
2016
A coalgebraic view on decorated traces. Zbl 1364.68276
Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A.
1
2016
Nominal Kleene coalgebra. Zbl 1440.68174
Kozen, Dexter; Mamouras, Konstantinos; Petrişan, Daniela; Silva, Alexandra
14
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
Graphs of girth at least 7 have high \(b\)-chromatic number. Zbl 1315.05048
Campos, V.; Lima, C.; Silva, A.
8
2015
Trace semantics via determinization. Zbl 1327.68158
Jacobs, Bart; Silva, Alexandra; Sokolova, Ana
8
2015
Enhanced coalgebraic bisimulation. Zbl 1380.68300
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra
7
2015
A coalgebraic decision procedure for NetKAT. Zbl 1346.68132
Foster, Nate; Kozen, Dexter; Milano, Matthew; Silva, Alexandra; Thompson, Laure
7
2015
Practical coinduction. Zbl 1376.68095
Kozen, Dexter; Silva, Alexandra
5
2015
Completeness and incompleteness in nominal Kleene algebra. Zbl 06527600
Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra
4
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
4
2015
Dynamics of a gyrostat satellite subjected to the action of gravity moment. Equilibrium attitudes and their stability. Zbl 1327.93294
Gutnik, S. A.; Santos, L.; Sarychev, V. A.; Silva, A.
3
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
16
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
20
2013
Generalizing determinization from automata to coalgebras. Zbl 1262.18002
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
16
2013
Language constructs for non-well-founded computation. Zbl 1381.68034
Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra
6
2013
A coalgebraic view of \(\varepsilon \)-transitions. Zbl 1395.68193
Silva, Alexandra; Westerbaan, Bram
3
2013
Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180
Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra
2
2013
On Moessner’s theorem. Zbl 1271.13041
Kozen, Dexter; Silva, Alexandra
1
2013
A coalgebraic perspective on linear weighted automata. Zbl 1279.68235
Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra
15
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
14
2012
Trace semantics via determinization. Zbl 1328.68122
Jacobs, Bart; Silva, Alexandra; Sokolova, Ana
7
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
7
2011
Sound and complete axiomatization of trace semantics for probabilistic systems. Zbl 1342.68243
Silva, Alexandra; Sokolova, Ana
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
Analysis and numerical simulation of viscous Burgers equation. Zbl 1254.35188
Clark, H. R.; Rincon, M. A.; Silva, A.
1
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
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
12
2009
Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129
Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
4
2009
Damageable contact between an elastic body and a rigid foundation. Zbl 1156.74030
Campo, M.; Fernández, J. R.; Silva, A.
2
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
Numerical analysis of convective heat transfer in nanofluid. Zbl 1419.76023
Rouboa, A.; Silva, A.; Freire, A. J.; Borges, A.; Ribeiro, J.; Silva, P.; Alexandre, J. L.
1
2008
A simple and direct method for generating travelling wave solutions for nonlinear equations. Zbl 1153.35066
Bazeia, D.; Das, Ashok; Losano, L.; Silva, A.
1
2008
Behavioural differential equations and coinduction for binary trees. Zbl 1213.68393
Silva, Alexandra; Rutten, Jan
5
2007
Behnke-Stein theorem on complex spaces with singularities. Zbl 0820.32007
Colţoiu, M.; Silva, A.
4
1995
On the cohomology of an open subspace of a Stein space. Zbl 0424.32008
Raimondo, M.; Silva, A.
1
1980
all top 5

Cited by 206 Authors

25 Silva, Alexandra
17 Rutten, Jan J. M. M.
15 Bonsangue, Marcello Maria
12 Milius, Stefan
11 Bonchi, Filippo
9 Kozen, Dexter C.
9 Rot, Jurriaan
7 Sokolova, Ana
6 Hansen, Helle Hvid
6 Wißmann, Thorsten
5 Adámek, Jiří
5 Hasuo, Ichiro
5 Kupke, Clemens
5 Pattinson, Dirk
4 Jacobs, Bart
4 Mamouras, Konstantinos
4 Oliveira, José Nuno
4 Petrisan, Daniela Luan
4 Pous, Damien
4 Schröder, Lutz
3 Ballester-Bolinches, Adolfo
3 Boreale, Michele
3 Caltais, Georgiana
3 Colţoiu, Mihnea
3 Cosme-Llópez, Enric
3 König, Barbara
3 Küpper, Sebastian
3 Linhares-Sales, Claudia
3 Lucanu, Dorel
3 Myers, Robert S. R.
3 Peressotti, Marco
3 Sammartino, Matteo
3 Urbat, Henning
3 Winter, Joost
2 Basold, Henning
2 Brengos, Tomasz
2 Capretta, Venanzio
2 Cho, Kenta
2 Colcombet, Thomas
2 Czajka, Łukasz
2 Dagnino, Francesco
2 De Vrijer, Roel C.
2 Endrullis, Jörg
2 Gutnik, Sergey A.
2 Kataoka, Toshiki
2 Khludnev, Aleksandr Mikhaĭlovich
2 Klop, Jan Willem
2 Lombardi, Carlos
2 Madeira, Alexandre
2 Manzonetto, Giulio
2 Martins, Manuel António
2 Miculan, Marino
2 Neves, Renato
2 Panangaden, Prakash
2 Polonsky, Andrew
2 Ríos, Alejandro
2 Sarychev, Vasily A.
2 Silva, Ana L.
2 Silva, Ana T. C.
2 Sprunger, David
2 Urabe, Natsuki
2 Woracek, Harald
2 Zanasi, Fabio
1 Abe, Makoto
1 Abuhlail, Jawad Y.
1 Al-Sulaiman, Nabeela
1 Albert, Elvira
1 Alfaro Vigo, Daniel Gregorio
1 Alpernas, Kalev
1 Ancona, Davide
1 Arbab, Farhad
1 Bacci, Giorgio
1 Bacci, Giovanni
1 Balle, Borja
1 Barbanera, Franco
1 Barbosa, L. S.
1 Barbosa, Luís Soares
1 Beohar, Harsh
1 Biswas, Anjan
1 Blanchette, Jasmin Christian
1 Bolognesi, Tommaso
1 Bouzy, Aymeric
1 Brázdil, Tomáš
1 Breuvart, Flavien
1 Brunet, Paul
1 Bruni, Roberto
1 Campos, Víctor C. S.
1 Carle, Georg
1 Castiglioni, Valentina
1 Chatterjee, Krishnendu
1 Ciancia, Vincenzo
1 Clark, David
1 Clarke, Dave
1 Clausen, Christian
1 D’Antoni, Loris
1 Danvy, Olivier
1 Dezani-Ciancaglini, Mariangiola
1 Diekmann, Cornelius
1 Dokter, Kasper
1 Doroshin, Anton V.
...and 106 more Authors

Citations by Year