×
Author ID: mossakowski.till Recent zbMATH articles by "Mossakowski, Till"
Published as: Mossakowski, Till; Mossakowski, T.
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

71 Publications have been cited 329 times in 178 Documents Cited by Year
Relating CASL with other specification languages: the institution level. Zbl 1061.68106
Mossakowski, Till
19
2002
Project abstract: logic atlas and integrator (LATIN). Zbl 1278.68285
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian
18
2011
What is a logic translation? Zbl 1255.03023
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej
15
2009
Comorphism-based Grothendieck logics. Zbl 1014.68098
Mossakowski, Till
12
2002
What is a logic? Zbl 1080.03028
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
11
2005
Development graphs – proof management for structured specifications. Zbl 1088.68114
Mossakowski, Till; Autexier, Serge; Hutter, Dieter
11
2006
High-level nets with nets and rules as tokens. Zbl 1128.68063
Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till
9
2005
Towards logical frameworks in the heterogeneous tool set Hets. Zbl 1278.68286
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina
8
2012
The distributed ontology, modeling and specification language – DOL. Zbl 1409.68284
Mossakowski, Till; Codescu, Mihai; Neuhaus, Fabian; Kutz, Oliver
8
2015
Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. Zbl 1255.68153
Kutz, Oliver; Mossakowski, Till; Lücke, Dominik
8
2010
Structured CSP – a process algebra as an institution. Zbl 1196.68159
Mossakowski, Till; Roggenbach, Markus
7
2007
Foundations of heterogeneous specification. Zbl 1278.68208
Mossakowski, Till
7
2003
Monad-independent dynamic logic in HasCasl. Zbl 1064.03022
Schröder, Lutz; Mossakowski, Till
7
2004
HasCasl: integrated higher-order specification and program development. Zbl 1172.68040
Schröder, Lutz; Mossakowski, Till
7
2009
Qualitative reasoning about relative direction of oriented points. Zbl 1267.68229
Mossakowski, Till; Moratz, Reinhard
6
2012
CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365
Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej
6
2003
Semantics of the distributed ontology language: institutes and institutions. Zbl 1394.68379
Mossakowski, Till; Kutz, Oliver; Lange, Christoph
6
2013
HasCasl: towards integrated specification and development of functional programs. Zbl 1275.68054
Schröder, Lutz; Mossakowski, Till
5
2002
From total equational to partial first-order logic. Zbl 0949.03028
Cerioli, Maura; Mossakowski, Till; Reichel, Horst
5
1999
Colimits of order-sorted specifications. Zbl 0902.18002
Mossakowski, Till
5
1998
Specifications in an arbitrary instituion with symbols. Zbl 0966.68136
Mossakowski, Till
5
2000
CASL: From semantics to tools. Zbl 0971.68589
Mossakowski, Till
5
2000
Heterogeneous logical environments for distributed specifications. Zbl 1253.68231
Mossakowski, Till; Tarlecki, Andrzej
5
2009
Integrating HOL-CASL into the development graph manager MAYA. Zbl 1057.68678
Autexier, Serge; Mossakowski, Till
5
2002
Algebraic-coalgebraic specification in CoCASL. Zbl 1088.68115
Mossakowski, Till; Schröder, Lutz; Roggenbach, Markus; Reichel, Horst
5
2006
Amalgamation in the semantics of CASL. Zbl 1070.68094
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr
5
2005
Combining and representing logical systems. Zbl 0881.03044
Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław
5
1997
What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
5
2007
A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577
Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang
5
2013
Combining and representing logical systems using model-theoretic parchments. Zbl 0907.03030
Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław
4
1998
Iterative circular coinduction for CoCasl in Isabelle/HOL. Zbl 1119.68370
Hausmann, Daniel; Mossakowski, Till; Schröder, Lutz
4
2005
Permissive subsorted partial logic in CASL. Zbl 0886.03022
Cerioli, Maura; Haxthausen, Anne; Krieg-Brückner, Bernd; Mossakowski, Till
4
1997
Algebraic-coalgebraic specification in CoCasl. Zbl 1278.68209
Mossakowski, Till; Reichel, Horst; Roggenbach, Markus; Schröder, Lutz
4
2003
Extending development graphs with hiding. Zbl 0977.68657
Mossakowski, Till; Autexier, Serge; Hutter, Dieter
4
2001
Different types of arrow between logical frameworks. Zbl 1046.68509
Mossakowski, Till
4
1996
A simple refinement language for Casl. Zbl 1118.68560
Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej
4
2005
Type class polymorphism in an institutional framework. Zbl 1118.68562
Schröder, Lutz; Mossakowski, Till; Lüth, Christoph
4
2005
Kleene monads: handling iteration in a framework of generic effects. Zbl 1239.68024
Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till
4
2009
Compositional modelling and reasoning in an institution for processes and data. Zbl 1312.68146
O’Reilly, Liam; Mossakowski, Till; Roggenbach, Markus
4
2012
What Is a derived signature morphism? Zbl 1472.68097
Mossakowski, Till; Krumnack, Ulf; Maibaum, Tom
4
2015
Designing domain specific languages – a craftsman’s approach for the railway domain using Casl. Zbl 1394.68239
James, Phillip; Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus
4
2013
Equivalence and difference between institutions: simulating Horn clause logic with based algebras. Zbl 0849.68080
Kreowski, Hans-Jörg; Mossakowski, Till
3
1995
Generic exception handling and the Java monad. Zbl 1108.68411
Schröder, Lutz; Mossakowski, Till
3
2004
Multi-view consistency in UML: a survey. Zbl 1383.68024
Knapp, Alexander; Mossakowski, Till
3
2018
Specifying real numbers in CASL. Zbl 0966.68137
Roggenbach, Markus; Schröder, Lutz; Mossakowski, Till
3
2000
Semantics of architectural specifications in CASL. Zbl 0977.68744
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr
3
2001
Heterogeneous development graphs and heterogeneous borrowing. Zbl 1077.68609
Mossakowski, Till
3
2002
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
Institutional 2-cells and Grothendieck institutions. Zbl 1132.68488
Mossakowski, Till
2
2006
Reasoning support for CASL with automated theorem proving systems. Zbl 1196.68147
Lüttich, Klaus; Mossakowski, Till
2
2007
A generic complete dynamic logic for reasoning about purity and effects. Zbl 1209.68084
Mossakowski, Till; Schröder, Lutz; Goncharov, Sergey
2
2010
Subsorted partial higher-order logic as an extension of CASL. Zbl 0966.68138
Mossakowski, Till; Haxthausen, Anne; Krieg-Brückner, Bernd
2
2000
Amalgamation in CASL via enriched signatures. Zbl 0986.68015
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej
2
2001
A condensed semantics for qualitative spatial reasoning about oriented straight line segments. Zbl 1252.68278
Moratz, Reinhard; Lücke, Dominik; Mossakowski, Till
2
2011
Relations between spatial calculi about directions and orientations. Zbl 1343.68227
Mossakowski, Till; Moratz, Reinhard
2
2015
Monad-independent Hoare logic in HasCasl. Zbl 1032.03029
Schröder, Lutz; Mossakowski, Till
2
2003
Towards an institutional framework for heterogeneous formal development in UML – a position paper. Zbl 1453.68107
Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus
2
2015
UML interactions meet state machines – an institutional approach. Zbl 1433.68097
Knapp, Alexander; Mossakowski, Till
2
2017
A relatively complete calculus for structured heterogeneous specifications. Zbl 1405.68193
Mossakowski, Till; Tarlecki, Andrzej
2
2014
Integrating Maude into Hets. Zbl 1308.68075
Codescu, Mihai; Mossakowski, Till; Riesco, Adrián; Maeder, Christian
1
2011
Algebraic higher-order nets: graphs and Petri nets as tokens. Zbl 1278.68215
Hoffmann, Kathrin; Mossakowski, Till
1
2003
Monad-independent dynamic logic in HasCasl. Zbl 1278.68061
Schröder, Lutz; Mossakowski, Till
1
2003
Parametrized exceptions. Zbl 1151.68379
Walter, Dennis; Schröder, Lutz; Mossakowski, Till
1
2005
Algebra \(\cup\) Topology. Zbl 0748.18002
Herrlich, Horst; Mossakowski, T.; Strecker, George E.
1
1991
Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Zbl 1123.68007
1
2007
A proof theoretic interpretation of model theoretic hiding. Zbl 1278.68202
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian
1
2012
The institution-theoretic scope of logic theorems. Zbl 1338.03073
Diaconescu, Răzvan; Mossakowski, Till; Tarlecki, Andrzej
1
2014
Checking amalgamability conditions for CASL architectural specifications. Zbl 0999.68506
Klin, Bartek; Hoffman, Piotr; Tarlecki, Andrzej; Schöder, Lutz; Mossakowski, Till
1
2001
Canonical selection of colimits. Zbl 1496.68203
Mossakowski, Till; Rabe, Florian; Codescu, Mihai
1
2017
Compiling logics. Zbl 1394.68071
Codescu, Mihai; Horozal, Fulya; Jakubauskas, Aivaras; Mossakowski, Till; Rabe, Florian
1
2013
Multi-view consistency in UML: a survey. Zbl 1383.68024
Knapp, Alexander; Mossakowski, Till
3
2018
UML interactions meet state machines – an institutional approach. Zbl 1433.68097
Knapp, Alexander; Mossakowski, Till
2
2017
Canonical selection of colimits. Zbl 1496.68203
Mossakowski, Till; Rabe, Florian; Codescu, Mihai
1
2017
The distributed ontology, modeling and specification language – DOL. Zbl 1409.68284
Mossakowski, Till; Codescu, Mihai; Neuhaus, Fabian; Kutz, Oliver
8
2015
What Is a derived signature morphism? Zbl 1472.68097
Mossakowski, Till; Krumnack, Ulf; Maibaum, Tom
4
2015
Relations between spatial calculi about directions and orientations. Zbl 1343.68227
Mossakowski, Till; Moratz, Reinhard
2
2015
Towards an institutional framework for heterogeneous formal development in UML – a position paper. Zbl 1453.68107
Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus
2
2015
A relatively complete calculus for structured heterogeneous specifications. Zbl 1405.68193
Mossakowski, Till; Tarlecki, Andrzej
2
2014
The institution-theoretic scope of logic theorems. Zbl 1338.03073
Diaconescu, Răzvan; Mossakowski, Till; Tarlecki, Andrzej
1
2014
Semantics of the distributed ontology language: institutes and institutions. Zbl 1394.68379
Mossakowski, Till; Kutz, Oliver; Lange, Christoph
6
2013
A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577
Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang
5
2013
Designing domain specific languages – a craftsman’s approach for the railway domain using Casl. Zbl 1394.68239
James, Phillip; Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus
4
2013
Compiling logics. Zbl 1394.68071
Codescu, Mihai; Horozal, Fulya; Jakubauskas, Aivaras; Mossakowski, Till; Rabe, Florian
1
2013
Towards logical frameworks in the heterogeneous tool set Hets. Zbl 1278.68286
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina
8
2012
Qualitative reasoning about relative direction of oriented points. Zbl 1267.68229
Mossakowski, Till; Moratz, Reinhard
6
2012
Compositional modelling and reasoning in an institution for processes and data. Zbl 1312.68146
O’Reilly, Liam; Mossakowski, Till; Roggenbach, Markus
4
2012
A proof theoretic interpretation of model theoretic hiding. Zbl 1278.68202
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian
1
2012
Project abstract: logic atlas and integrator (LATIN). Zbl 1278.68285
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian
18
2011
A condensed semantics for qualitative spatial reasoning about oriented straight line segments. Zbl 1252.68278
Moratz, Reinhard; Lücke, Dominik; Mossakowski, Till
2
2011
Integrating Maude into Hets. Zbl 1308.68075
Codescu, Mihai; Mossakowski, Till; Riesco, Adrián; Maeder, Christian
1
2011
Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. Zbl 1255.68153
Kutz, Oliver; Mossakowski, Till; Lücke, Dominik
8
2010
A generic complete dynamic logic for reasoning about purity and effects. Zbl 1209.68084
Mossakowski, Till; Schröder, Lutz; Goncharov, Sergey
2
2010
What is a logic translation? Zbl 1255.03023
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej
15
2009
HasCasl: integrated higher-order specification and program development. Zbl 1172.68040
Schröder, Lutz; Mossakowski, Till
7
2009
Heterogeneous logical environments for distributed specifications. Zbl 1253.68231
Mossakowski, Till; Tarlecki, Andrzej
5
2009
Kleene monads: handling iteration in a framework of generic effects. Zbl 1239.68024
Goncharov, Sergey; Schröder, Lutz; Mossakowski, Till
4
2009
Structured CSP – a process algebra as an institution. Zbl 1196.68159
Mossakowski, Till; Roggenbach, Markus
7
2007
What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
5
2007
Reasoning support for CASL with automated theorem proving systems. Zbl 1196.68147
Lüttich, Klaus; Mossakowski, Till
2
2007
Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Zbl 1123.68007
1
2007
Development graphs – proof management for structured specifications. Zbl 1088.68114
Mossakowski, Till; Autexier, Serge; Hutter, Dieter
11
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
Institutional 2-cells and Grothendieck institutions. Zbl 1132.68488
Mossakowski, Till
2
2006
What is a logic? Zbl 1080.03028
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
11
2005
High-level nets with nets and rules as tokens. Zbl 1128.68063
Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till
9
2005
Amalgamation in the semantics of CASL. Zbl 1070.68094
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr
5
2005
Iterative circular coinduction for CoCasl in Isabelle/HOL. Zbl 1119.68370
Hausmann, Daniel; Mossakowski, Till; Schröder, Lutz
4
2005
A simple refinement language for Casl. Zbl 1118.68560
Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej
4
2005
Type class polymorphism in an institutional framework. Zbl 1118.68562
Schröder, Lutz; Mossakowski, Till; Lüth, Christoph
4
2005
Parametrized exceptions. Zbl 1151.68379
Walter, Dennis; Schröder, Lutz; Mossakowski, Till
1
2005
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
Foundations of heterogeneous specification. Zbl 1278.68208
Mossakowski, Till
7
2003
CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365
Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej
6
2003
Algebraic-coalgebraic specification in CoCasl. Zbl 1278.68209
Mossakowski, Till; Reichel, Horst; Roggenbach, Markus; Schröder, Lutz
4
2003
Monad-independent Hoare logic in HasCasl. Zbl 1032.03029
Schröder, Lutz; Mossakowski, Till
2
2003
Algebraic higher-order nets: graphs and Petri nets as tokens. Zbl 1278.68215
Hoffmann, Kathrin; Mossakowski, Till
1
2003
Monad-independent dynamic logic in HasCasl. Zbl 1278.68061
Schröder, Lutz; Mossakowski, Till
1
2003
Relating CASL with other specification languages: the institution level. Zbl 1061.68106
Mossakowski, Till
19
2002
Comorphism-based Grothendieck logics. Zbl 1014.68098
Mossakowski, Till
12
2002
HasCasl: towards integrated specification and development of functional programs. Zbl 1275.68054
Schröder, Lutz; Mossakowski, Till
5
2002
Integrating HOL-CASL into the development graph manager MAYA. Zbl 1057.68678
Autexier, Serge; Mossakowski, Till
5
2002
Heterogeneous development graphs and heterogeneous borrowing. Zbl 1077.68609
Mossakowski, Till
3
2002
Extending development graphs with hiding. Zbl 0977.68657
Mossakowski, Till; Autexier, Serge; Hutter, Dieter
4
2001
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
Checking amalgamability conditions for CASL architectural specifications. Zbl 0999.68506
Klin, Bartek; Hoffman, Piotr; Tarlecki, Andrzej; Schöder, Lutz; Mossakowski, Till
1
2001
Specifications in an arbitrary instituion with symbols. Zbl 0966.68136
Mossakowski, Till
5
2000
CASL: From semantics to tools. Zbl 0971.68589
Mossakowski, Till
5
2000
Specifying real numbers in CASL. Zbl 0966.68137
Roggenbach, Markus; Schröder, Lutz; Mossakowski, Till
3
2000
Subsorted partial higher-order logic as an extension of CASL. Zbl 0966.68138
Mossakowski, Till; Haxthausen, Anne; Krieg-Brückner, Bernd
2
2000
From total equational to partial first-order logic. Zbl 0949.03028
Cerioli, Maura; Mossakowski, Till; Reichel, Horst
5
1999
Colimits of order-sorted specifications. Zbl 0902.18002
Mossakowski, Till
5
1998
Combining and representing logical systems using model-theoretic parchments. Zbl 0907.03030
Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław
4
1998
Combining and representing logical systems. Zbl 0881.03044
Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław
5
1997
Permissive subsorted partial logic in CASL. Zbl 0886.03022
Cerioli, Maura; Haxthausen, Anne; Krieg-Brückner, Bernd; Mossakowski, Till
4
1997
Different types of arrow between logical frameworks. Zbl 1046.68509
Mossakowski, Till
4
1996
Equivalence and difference between institutions: simulating Horn clause logic with based algebras. Zbl 0849.68080
Kreowski, Hans-Jörg; Mossakowski, Till
3
1995
Algebra \(\cup\) Topology. Zbl 0748.18002
Herrlich, Horst; Mossakowski, T.; Strecker, George E.
1
1991
all top 5

Cited by 211 Authors

25 Mossakowski, Till
18 Diaconescu, Răzvan
17 Rabe, Florian
13 Kohlhase, Michael
13 Schröder, Lutz
9 Roggenbach, Markus
9 Tarlecki, Andrzej
8 Codescu, Mihai
7 Madeira, Alexandre
7 Martins, Manuel António
6 Barbosa, Luís Soares
6 Kutz, Oliver
6 Roşu, Grigore
6 Sannella, Donald T.
5 Autexier, Serge
5 Hennicker, Rolf
5 Horozal, Fulya
4 Goncharov, Sergeĭ Savost’yanovich
4 Hutter, Dieter
4 Knapp, Alexander
3 Aiguier, Marc
3 Bidoit, Michel
3 Capra, Lorenzo
3 Confalonieri, Roberto
3 Gaĭnă, Daniel
3 Iancu, Mihnea
3 Köhler-Bußmeier, Michael
3 König, Harald
3 Krieg-Brückner, Bernd
3 Lucanu, Dorel
3 Meseguer Guaita, José
2 Bloch, Isabelle
2 Botoeva, Elena
2 Eppe, Manfred
2 Kerber, Manfred
2 Lamo, Yngve
2 Lange, Christoph
2 Lomazova, Irina A.
2 Lutz, Carsten
2 Maclean, Ewen
2 Maibaum, Thomas Stephen Edward
2 Martins Moreira, Anamaria
2 Moratz, Reinhard
2 Müller, Dennis
2 Ojeda-Aciego, Manuel
2 O’Reilly, Liam
2 Peleska, Jan
2 Petria, Marius
2 Plaza, Enric
2 Popescu, Andrei
2 Prange, Ulrike
2 Riesco, Adrián
2 Rowat, Colin
2 Rutle, Adrian
2 Ryzhikov, Vladislav
2 Schorlemmer, Marco
2 Stünkel, Patrick
2 Ţuţu, Ionuţ
2 Wolter, Frank
2 Zakharyaschev, Michael Viktorovich
1 Abou-Saleh, Faris
1 Abramsky, Samson
1 Aguirre, Nazareno M.
1 Ait-Ameur, Yamine
1 Astesiano, Egidio
1 Atif, Jamal
1 Aucher, Guillaume
1 Babenyshev, Sergey
1 Batsakis, Sotiris
1 Baumeister, Hubert
1 Bensalem, Saddek
1 Benzmüller, Christoph Ewald
1 Bergstra, Jan A.
1 Bettaz, Mohamed
1 Beyersdorff, Olaf
1 Bishara, Anriette Michel Fouad
1 Bonchi, Filippo
1 Boronat, Artur
1 Brenton, Christopher
1 Burrieza, Alfredo
1 Cabrera, Inma P.
1 Calegari, Daniel
1 Camilli, Matteo
1 Caminati, Marco Bright
1 Caselles Costa, Vicent
1 Castro, Pablo F.
1 Cheney, James
1 Chentsov, Alekseĭ Aleksandrovich
1 Chiriţă, Claudia Elena
1 Cordero, Pablo
1 Corradini, Andrea
1 Déharbe, David
1 Dietrich, Dominik
1 Diskin, Zinovy
1 Duval, Dominique
1 Dworzański, Leonid W.
1 Dzierzon, Christian
1 Ehrig, Hartmut
1 Faber, Wolfgang
1 Falomir, Zoe
...and 111 more Authors

Citations by Year