×

zbMATH — the first resource for mathematics

Schröder, Lutz

Compute Distance To:
Author ID: schroder.lutz Recent zbMATH articles by "Schröder, Lutz"
Published as: Schröder, Lutz; Schöder, Lutz
Homepage: https://www8.cs.fau.de/schroeder
External Links: MGP · dblp
Documents Indexed: 108 Publications since 1999, including 2 Books
Reviewing Activity: 14 Reviews

Publications by Year

Citations contained in zbMATH Open

75 Publications have been cited 284 times in 152 Documents Cited by Year
Expressivity of coalgebraic modal logic: the limits and beyond. Zbl 1132.03008
Schröder, Lutz
19
2008
PSPACE bounds for rank-1 modal logics. Zbl 1351.03015
Schröder, Lutz; Pattinson, Dirk
16
2009
Expressivity of coalgebraic modal logic: The limits and beyond. Zbl 1119.03015
Schröder, Lutz
14
2005
Globalization of confluent partial actions on topological and metric spaces. Zbl 1079.54016
Megrelishvili, Michael; Schröder, Lutz
14
2004
A finite model construction for coalgebraic modal logic. Zbl 1127.03014
Schröder, Lutz
9
2007
Modular algorithms for heterogeneous modal logics. Zbl 1126.03028
Schröder, Lutz; Pattinson, Dirk
7
2007
Monad-independent dynamic logic in HasCasl. Zbl 1064.03022
Schröder, Lutz; Mossakowski, Till
7
2004
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra. Zbl 1260.03061
Schröder, Lutz; Pattinson, Dirk
6
2011
Optimal tableaux for conditional logics with cautious monotonicity. Zbl 1211.68413
Schröder, Lutz; Pattinson, Dirk; Hausmann, Daniel
6
2010
Rank-1 modal logics are coalgebraic. Zbl 1266.03032
Schröder, Lutz; Pattinson, Dirk
6
2010
Coalgebraic hybrid logic. Zbl 1234.03020
Myers, Rob; Pattinson, Dirk; Schröder, Lutz
6
2009
Beyond rank 1: Algebraic semantics and finite models for coalgebraic logics. Zbl 1139.03012
Pattinson, Dirk; Schröder, Lutz
6
2008
A finite model construction for coalgebraic modal logic. Zbl 1180.03036
Schröder, Lutz
6
2006
HasCasl: towards integrated specification and development of functional programs. Zbl 1275.68054
Schröder, Lutz; Mossakowski, Till
6
2002
A coinductive calculus for asynchronous side-effecting processes. Zbl 1358.68212
Goncharov, Sergey; Schröder, Lutz
5
2013
Generic modal cut elimination applied to conditional logics. Zbl 1232.03049
Pattinson, Dirk; Schröder, Lutz
5
2011
HasCasl: integrated higher-order specification and program development. Zbl 1172.68040
Schröder, Lutz; Mossakowski, Till
5
2009
Rank-1 modal logics are coalgebraic. Zbl 1186.03049
Schröder, Lutz; Pattinson, Dirk
5
2007
Algebraic-coalgebraic specification in CoCASL. Zbl 1088.68115
Mossakowski, Till; Schröder, Lutz; Roggenbach, Markus; Reichel, Horst
5
2006
Iterative circular coinduction for CoCasl in Isabelle/HOL. Zbl 1119.68370
Hausmann, Daniel; Mossakowski, Till; Schröder, Lutz
5
2005
Amalgamation in the semantics of CASL. Zbl 1070.68094
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr
5
2005
Classifying categories for partial equational logic. Zbl 1270.03147
Schröder, Lutz
5
2003
Algebraic-coalgebraic specification in CoCasl. Zbl 1278.68209
Mossakowski, Till; Reichel, Horst; Roggenbach, Markus; Schröder, Lutz
5
2003
Generic trace semantics and graded monads. Zbl 1366.68211
Milius, Stefan; Pattinson, Dirk; Schröder, Lutz
4
2015
Unguarded recursion on coinductive resumptions. Zbl 1351.68074
Goncharov, Sergey; Rauch, Christoph; Schröder, Lutz
4
2015
Cut elimination in coalgebraic logics. Zbl 1255.03052
Pattinson, Dirk; Schröder, Lutz
4
2010
Kleene monads: handling iteration in a framework of generic effects. Zbl 1239.68024
Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till
4
2009
Generic modal cut elimination applied to conditional logics. Zbl 1260.03104
Pattinson, Dirk; Schröder, Lutz
4
2009
Type class polymorphism in an institutional framework. Zbl 1118.68562
Schröder, Lutz; Mossakowski, Till; Lüth, Christoph
4
2005
Free adjunction of morphisms. Zbl 0977.18001
Schröder, Lutz; Herrlich, Horst
4
2000
Global caching for coalgebraic description logics. Zbl 1291.03017
Goré, Rajeev; Kupke, Clemens; Pattinson, Dirk; Schröder, Lutz
3
2010
Flat coalgebraic fixed point logics. Zbl 1287.03076
Schröder, Lutz; Venema, Yde
3
2010
Strong completeness of coalgebraic modal logics. Zbl 1236.03060
Schröder, Lutz; Pattinson, Dirk
3
2009
Admissibility of cut in coalgebraic logics. Zbl 1279.03087
Pattinson, Dirk; Schröder, Lutz
3
2008
A coalgebraic approach to the semantics of the ambient calculus. Zbl 1154.68088
Hausmann, Daniel; Mossakowski, Till; Schröder, Lutz
3
2006
CCC – the Casl consistency checker. Zbl 1118.68558
Lüth, Christoph; Roggenbach, Markus; Schröder, Lutz
3
2005
Generic exception handling and the Java monad. Zbl 1108.68411
Schröder, Lutz; Mossakowski, Till
3
2004
The logic of the partial \(\lambda\)-calculus with equality. Zbl 1095.03010
Schröder, Lutz
3
2004
Monad-independent Hoare logic in HasCasl. Zbl 1032.03029
Schröder, Lutz; Mossakowski, Till
3
2003
Semantics of architectural specifications in CASL. Zbl 0977.68744
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr
3
2001
Specifying real numbers in CASL. Zbl 0966.68137
Roggenbach, Markus; Schröder, Lutz; Mossakowski, Till
3
2000
Model theory and proof theory of coalgebraic predicate logic. Zbl 06864545
Litak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko; Schröder, Lutz
2
2018
Unifying guarded and unguarded iteration. Zbl 06721009
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Piróg, Maciej
2
2017
A van Benthem/Rosen theorem for coalgebraic predicate logic. Zbl 1388.03069
Schröder, Lutz; Pattinson, Dirk; Litak, Tadeusz
2
2017
Probabilistic description logics for subjective uncertainty. Zbl 1401.68305
Gutiérrez-Basulto, Victor; Jung, Jean Christoph; Lutz, Carsten; Schröder, Lutz
2
2017
Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets. Zbl 1375.18029
Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten
2
2016
Reasoning with global assumptions in arithmetic modal logics. Zbl 1436.03136
Kupke, Clemens; Pattinson, Dirk; Schröder, Lutz
2
2015
A relatively complete generic Hoare logic for order-enriched effects. Zbl 1366.68023
Goncharov, Sergey; Schröder, Lutz
2
2013
Simulations and bisimulations for coalgebraic modal logics. Zbl 1394.68250
Gorín, Daniel; Schröder, Lutz
2
2013
Coalgebraic predicate logic. Zbl 1433.03163
Litak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko; Schröder, Lutz
2
2012
A coinductive calculus for asynchronous side-effecting processes. Zbl 1342.68231
Goncharov, Sergey; Schröder, Lutz
2
2011
A generic complete dynamic logic for reasoning about purity and effects. Zbl 1209.68084
Mossakowski, Till; Schröder, Lutz; Goncharov, Sergey
2
2010
Coalgebraic correspondence theory. Zbl 1284.03211
Schröder, Lutz; Pattinson, Dirk
2
2010
Completeness of global evaluation logic. Zbl 1132.68328
Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till
2
2006
Universal aspects of probabilistic automata. Zbl 1009.68069
Schröder, Lutz; Mateus, Paulo
2
2002
Amalgamation in CASL via enriched signatures. Zbl 0986.68015
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej
2
2001
Free factorizations. Zbl 1005.18002
Schröder, Lutz; Herrlich, Horst
2
2001
Efficient and modular coalgebraic partition refinement. Zbl 1442.68113
Wißmann, Thorsten; Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz
1
2020
Unguarded recursion on coinductive resumptions. Zbl 06932686
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Jakob, Julian
1
2018
Guarded traced categories. Zbl 06904543
Goncharov, Sergey; Schröder, Lutz
1
2018
Nominal automata with name binding. Zbl 06720987
Schröder, Lutz; Kozen, Dexter; Milius, Stefan; Wißmann, Thorsten
1
2017
Simplified coalgebraic trace equivalence. Zbl 1453.68112
Kurz, Alexander; Milius, Stefan; Pattinson, Dirk; Schröder, Lutz
1
2015
Coalgebraic methods in computer science. 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31–April 1, 2012. Revised selected papers. Zbl 1246.68051
Pattinson, Dirk (ed.); Schröder, Lutz (ed.)
1
2012
A counterexample to tensorability of effects. Zbl 1287.18006
Goncharov, Sergey; Schröder, Lutz
1
2011
Named models in coalgebraic hybrid logic. Zbl 1230.68191
Schröder, Lutz; Pattinson, Dirk
1
2010
Bootstrapping types and cotypes in HasCasl. Zbl 1214.68233
Schröder, Lutz
1
2007
The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus. Zbl 1088.68116
Schröder, Lutz
1
2006
Parametrized exceptions. Zbl 1151.68379
Walter, Dennis; Schröder, Lutz; Mossakowski, Till
1
2005
CoCasl at work – modelling process algebra. Zbl 1270.68195
Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz
1
2003
Monad-independent dynamic logic in HasCasl. Zbl 1278.68061
Schröder, Lutz; Mossakowski, Till
1
2003
Henkin models of the partial \(\lambda\)-calculus. Zbl 1116.03307
Schröder, Lutz
1
2003
Towards trustworthy specifications. I: Consistency checks. Zbl 1043.68074
Roggenbach, Markus; Schröder, Lutz
1
2001
Checking amalgamability conditions for CASL architectural specifications. Zbl 0999.68506
Klin, Bartek; Hoffman, Piotr; Tarlecki, Andrzej; Schöder, Lutz; Mossakowski, Till
1
2001
Isomorphisms and splitting of idempotents in semicategories. Zbl 0955.18002
Schröder, Lutz
1
2000
Composition graphs and free extensions of categories. Zbl 0945.18001
Schröder, Lutz
1
1999
Efficient and modular coalgebraic partition refinement. Zbl 1442.68113
Wißmann, Thorsten; Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz
1
2020
Model theory and proof theory of coalgebraic predicate logic. Zbl 06864545
Litak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko; Schröder, Lutz
2
2018
Unguarded recursion on coinductive resumptions. Zbl 06932686
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Jakob, Julian
1
2018
Guarded traced categories. Zbl 06904543
Goncharov, Sergey; Schröder, Lutz
1
2018
Unifying guarded and unguarded iteration. Zbl 06721009
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Piróg, Maciej
2
2017
A van Benthem/Rosen theorem for coalgebraic predicate logic. Zbl 1388.03069
Schröder, Lutz; Pattinson, Dirk; Litak, Tadeusz
2
2017
Probabilistic description logics for subjective uncertainty. Zbl 1401.68305
Gutiérrez-Basulto, Victor; Jung, Jean Christoph; Lutz, Carsten; Schröder, Lutz
2
2017
Nominal automata with name binding. Zbl 06720987
Schröder, Lutz; Kozen, Dexter; Milius, Stefan; Wißmann, Thorsten
1
2017
Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets. Zbl 1375.18029
Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten
2
2016
Generic trace semantics and graded monads. Zbl 1366.68211
Milius, Stefan; Pattinson, Dirk; Schröder, Lutz
4
2015
Unguarded recursion on coinductive resumptions. Zbl 1351.68074
Goncharov, Sergey; Rauch, Christoph; Schröder, Lutz
4
2015
Reasoning with global assumptions in arithmetic modal logics. Zbl 1436.03136
Kupke, Clemens; Pattinson, Dirk; Schröder, Lutz
2
2015
Simplified coalgebraic trace equivalence. Zbl 1453.68112
Kurz, Alexander; Milius, Stefan; Pattinson, Dirk; Schröder, Lutz
1
2015
A coinductive calculus for asynchronous side-effecting processes. Zbl 1358.68212
Goncharov, Sergey; Schröder, Lutz
5
2013
A relatively complete generic Hoare logic for order-enriched effects. Zbl 1366.68023
Goncharov, Sergey; Schröder, Lutz
2
2013
Simulations and bisimulations for coalgebraic modal logics. Zbl 1394.68250
Gorín, Daniel; Schröder, Lutz
2
2013
Coalgebraic predicate logic. Zbl 1433.03163
Litak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko; Schröder, Lutz
2
2012
Coalgebraic methods in computer science. 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31–April 1, 2012. Revised selected papers. Zbl 1246.68051
Pattinson, Dirk (ed.); Schröder, Lutz (ed.)
1
2012
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra. Zbl 1260.03061
Schröder, Lutz; Pattinson, Dirk
6
2011
Generic modal cut elimination applied to conditional logics. Zbl 1232.03049
Pattinson, Dirk; Schröder, Lutz
5
2011
A coinductive calculus for asynchronous side-effecting processes. Zbl 1342.68231
Goncharov, Sergey; Schröder, Lutz
2
2011
A counterexample to tensorability of effects. Zbl 1287.18006
Goncharov, Sergey; Schröder, Lutz
1
2011
Optimal tableaux for conditional logics with cautious monotonicity. Zbl 1211.68413
Schröder, Lutz; Pattinson, Dirk; Hausmann, Daniel
6
2010
Rank-1 modal logics are coalgebraic. Zbl 1266.03032
Schröder, Lutz; Pattinson, Dirk
6
2010
Cut elimination in coalgebraic logics. Zbl 1255.03052
Pattinson, Dirk; Schröder, Lutz
4
2010
Global caching for coalgebraic description logics. Zbl 1291.03017
Goré, Rajeev; Kupke, Clemens; Pattinson, Dirk; Schröder, Lutz
3
2010
Flat coalgebraic fixed point logics. Zbl 1287.03076
Schröder, Lutz; Venema, Yde
3
2010
A generic complete dynamic logic for reasoning about purity and effects. Zbl 1209.68084
Mossakowski, Till; Schröder, Lutz; Goncharov, Sergey
2
2010
Coalgebraic correspondence theory. Zbl 1284.03211
Schröder, Lutz; Pattinson, Dirk
2
2010
Named models in coalgebraic hybrid logic. Zbl 1230.68191
Schröder, Lutz; Pattinson, Dirk
1
2010
PSPACE bounds for rank-1 modal logics. Zbl 1351.03015
Schröder, Lutz; Pattinson, Dirk
16
2009
Coalgebraic hybrid logic. Zbl 1234.03020
Myers, Rob; Pattinson, Dirk; Schröder, Lutz
6
2009
HasCasl: integrated higher-order specification and program development. Zbl 1172.68040
Schröder, Lutz; Mossakowski, Till
5
2009
Kleene monads: handling iteration in a framework of generic effects. Zbl 1239.68024
Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till
4
2009
Generic modal cut elimination applied to conditional logics. Zbl 1260.03104
Pattinson, Dirk; Schröder, Lutz
4
2009
Strong completeness of coalgebraic modal logics. Zbl 1236.03060
Schröder, Lutz; Pattinson, Dirk
3
2009
Expressivity of coalgebraic modal logic: the limits and beyond. Zbl 1132.03008
Schröder, Lutz
19
2008
Beyond rank 1: Algebraic semantics and finite models for coalgebraic logics. Zbl 1139.03012
Pattinson, Dirk; Schröder, Lutz
6
2008
Admissibility of cut in coalgebraic logics. Zbl 1279.03087
Pattinson, Dirk; Schröder, Lutz
3
2008
A finite model construction for coalgebraic modal logic. Zbl 1127.03014
Schröder, Lutz
9
2007
Modular algorithms for heterogeneous modal logics. Zbl 1126.03028
Schröder, Lutz; Pattinson, Dirk
7
2007
Rank-1 modal logics are coalgebraic. Zbl 1186.03049
Schröder, Lutz; Pattinson, Dirk
5
2007
Bootstrapping types and cotypes in HasCasl. Zbl 1214.68233
Schröder, Lutz
1
2007
A finite model construction for coalgebraic modal logic. Zbl 1180.03036
Schröder, Lutz
6
2006
Algebraic-coalgebraic specification in CoCASL. Zbl 1088.68115
Mossakowski, Till; Schröder, Lutz; Roggenbach, Markus; Reichel, Horst
5
2006
A coalgebraic approach to the semantics of the ambient calculus. Zbl 1154.68088
Hausmann, Daniel; Mossakowski, Till; Schröder, Lutz
3
2006
Completeness of global evaluation logic. Zbl 1132.68328
Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till
2
2006
The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus. Zbl 1088.68116
Schröder, Lutz
1
2006
Expressivity of coalgebraic modal logic: The limits and beyond. Zbl 1119.03015
Schröder, Lutz
14
2005
Iterative circular coinduction for CoCasl in Isabelle/HOL. Zbl 1119.68370
Hausmann, Daniel; Mossakowski, Till; Schröder, Lutz
5
2005
Amalgamation in the semantics of CASL. Zbl 1070.68094
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr
5
2005
Type class polymorphism in an institutional framework. Zbl 1118.68562
Schröder, Lutz; Mossakowski, Till; Lüth, Christoph
4
2005
CCC – the Casl consistency checker. Zbl 1118.68558
Lüth, Christoph; Roggenbach, Markus; Schröder, Lutz
3
2005
Parametrized exceptions. Zbl 1151.68379
Walter, Dennis; Schröder, Lutz; Mossakowski, Till
1
2005
Globalization of confluent partial actions on topological and metric spaces. Zbl 1079.54016
Megrelishvili, Michael; Schröder, Lutz
14
2004
Monad-independent dynamic logic in HasCasl. Zbl 1064.03022
Schröder, Lutz; Mossakowski, Till
7
2004
Generic exception handling and the Java monad. Zbl 1108.68411
Schröder, Lutz; Mossakowski, Till
3
2004
The logic of the partial \(\lambda\)-calculus with equality. Zbl 1095.03010
Schröder, Lutz
3
2004
Classifying categories for partial equational logic. Zbl 1270.03147
Schröder, Lutz
5
2003
Algebraic-coalgebraic specification in CoCasl. Zbl 1278.68209
Mossakowski, Till; Reichel, Horst; Roggenbach, Markus; Schröder, Lutz
5
2003
Monad-independent Hoare logic in HasCasl. Zbl 1032.03029
Schröder, Lutz; Mossakowski, Till
3
2003
CoCasl at work – modelling process algebra. Zbl 1270.68195
Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz
1
2003
Monad-independent dynamic logic in HasCasl. Zbl 1278.68061
Schröder, Lutz; Mossakowski, Till
1
2003
Henkin models of the partial \(\lambda\)-calculus. Zbl 1116.03307
Schröder, Lutz
1
2003
HasCasl: towards integrated specification and development of functional programs. Zbl 1275.68054
Schröder, Lutz; Mossakowski, Till
6
2002
Universal aspects of probabilistic automata. Zbl 1009.68069
Schröder, Lutz; Mateus, Paulo
2
2002
Semantics of architectural specifications in CASL. Zbl 0977.68744
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr
3
2001
Amalgamation in CASL via enriched signatures. Zbl 0986.68015
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej
2
2001
Free factorizations. Zbl 1005.18002
Schröder, Lutz; Herrlich, Horst
2
2001
Towards trustworthy specifications. I: Consistency checks. Zbl 1043.68074
Roggenbach, Markus; Schröder, Lutz
1
2001
Checking amalgamability conditions for CASL architectural specifications. Zbl 0999.68506
Klin, Bartek; Hoffman, Piotr; Tarlecki, Andrzej; Schöder, Lutz; Mossakowski, Till
1
2001
Free adjunction of morphisms. Zbl 0977.18001
Schröder, Lutz; Herrlich, Horst
4
2000
Specifying real numbers in CASL. Zbl 0966.68137
Roggenbach, Markus; Schröder, Lutz; Mossakowski, Till
3
2000
Isomorphisms and splitting of idempotents in semicategories. Zbl 0955.18002
Schröder, Lutz
1
2000
Composition graphs and free extensions of categories. Zbl 0945.18001
Schröder, Lutz
1
1999
all top 5

Cited by 197 Authors

25 Schröder, Lutz
10 Mossakowski, Till
9 Goncharov, Sergeĭ Savost’yanovich
9 Pattinson, Dirk
5 Doberkat, Ernst-Erich
5 Klin, Bartek
5 Milius, Stefan
5 Rauch, Christoph
5 Venema, Yde
4 Dokuchaev, Mikhailo
4 Kupke, Clemens
4 Kurz, Alexander
4 Leal, Raul Andres
4 Lellmann, Björn
4 Roşu, Grigore
4 Tarlecki, Andrzej
3 Bidoit, Michel
3 Bílková, Marta
3 Diaconescu, Răzvan
3 Lucanu, Dorel
3 Olivetti, Nicola
3 Piróg, Maciej
3 Roggenbach, Markus
3 Sannella, Donald T.
3 Schubert, Christoph
3 Wißmann, Thorsten
2 Bonchi, Filippo
2 Cîrstea, Corina
2 Codescu, Mihai
2 Dorsch, Ulrich
2 Enqvist, Sebastian
2 Gibbons, Jeremy
2 Gumm, Heinz-Peter
2 Hennicker, Rolf
2 Hofstra, Pieter J. W.
2 Katsumata, Shin-ya
2 Mamouras, Konstantinos
2 Marti, Johannes
2 Martins Moreira, Anamaria
2 Mateus, Paulo C.
2 Myers, Robert S. R.
2 Nystedt, Patrik
2 Palmigiano, Alessandra
2 Peñaloza, Rafael
2 Petrisan, Daniela Luan
2 Pinedo, Hector
2 Pozzato, Gian Luca
2 Rot, Jurriaan
2 Seifan, Fatemeh
2 Silva, Alexandra
2 Simón, Juan Jacobo
1 Abadie, Fernando
1 Abramsky, Samson
1 Aceto, Luca
1 Aiguier, Marc
1 Alenda, Régis
1 Alves, Marcelo Muniz Silva
1 Areces, Carlos
1 Astesiano, Egidio
1 Autexier, Serge
1 Barbosa, Luís S.
1 Bárcenas, Everardo
1 Batista, Eliezer
1 Bednarczyk, Bartosz
1 Benevides, Mario R. F.
1 Benítez-Guerrero, Edgard
1 Benzmüller, Christoph Ewald
1 Bezhanishvili, Nick
1 Bogatyĭ, Semeon Antonovich
1 Bonsangue, Marcello Maria
1 Cabrera, Inma P.
1 Calin, Georgel
1 Carreiro, Facundo
1 Chang, Liang
1 Chen, Liang-Ting
1 Choi, Keunbae
1 Clouston, Ranald A.
1 Cockett, J. Robin B.
1 Cockett, Robin
1 Conradie, Willem J.
1 Cordero, Pablo
1 Dahlqvist, Fredrik
1 de Silva, Nadish
1 Déharbe, David
1 Demri, Stéphane P.
1 Dostál, Matěj
1 Dubut, Jérémy
1 Ecke, Andreas
1 Exel, Ruy
1 Fernández Cestau, Jaime Martín
1 Figueira, Santiago
1 Fujii, Soichiro
1 Gabbay, Dov M.
1 Garner, Richard
1 Gehrke, Mai
1 Genovese, Valerio
1 Geron, Bram
1 Girlando, Marianna
1 Goré, Rajeev Prabhakar
1 Gould, Victoria A. R.
...and 97 more Authors

Citations by Year