×
Compute Distance To:
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 288 times in 153 Documents Cited by Year
Relating CASL with other specification languages: the institution level. Zbl 1061.68106
Mossakowski, Till
18
2002
Project abstract: logic atlas and integrator (LATIN). Zbl 1278.68285
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian
14
2011
What is a logic translation? Zbl 1255.03023
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej
14
2009
Development graphs – proof management for structured specifications. Zbl 1088.68114
Mossakowski, Till; Autexier, Serge; Hutter, Dieter
11
2006
Comorphism-based Grothendieck logics. Zbl 1014.68098
Mossakowski, Till
11
2002
What is a logic? Zbl 1080.03028
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
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
7
2012
The distributed ontology, modeling and specification language – DOL. Zbl 1409.68284
Mossakowski, Till; Codescu, Mihai; Neuhaus, Fabian; Kutz, Oliver
7
2015
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
Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. Zbl 1255.68153
Kutz, Oliver; Mossakowski, Till; Lücke, Dominik
7
2010
Structured CSP – a process algebra as an institution. Zbl 1196.68159
Mossakowski, Till; Roggenbach, Markus
6
2007
HasCasl: towards integrated specification and development of functional programs. Zbl 1275.68054
Schröder, Lutz; Mossakowski, Till
5
2002
Qualitative reasoning about relative direction of oriented points. Zbl 1267.68229
Mossakowski, Till; Moratz, Reinhard
5
2012
Algebraic-coalgebraic specification in CoCASL. Zbl 1088.68115
Mossakowski, Till; Schröder, Lutz; Roggenbach, Markus; Reichel, Horst
5
2006
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
Integrating HOL-CASL into the development graph manager MAYA. Zbl 1057.68678
Autexier, Serge; Mossakowski, Till
5
2002
HasCasl: integrated higher-order specification and program development. Zbl 1172.68040
Schröder, Lutz; Mossakowski, Till
5
2009
Combining and representing logical systems. Zbl 0881.03044
Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław
5
1997
Amalgamation in the semantics of CASL. Zbl 1070.68094
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr
5
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
Algebraic-coalgebraic specification in CoCasl. Zbl 1278.68209
Mossakowski, Till; Reichel, Horst; Roggenbach, Markus; Schröder, Lutz
4
2003
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
4
2013
Semantics of the distributed ontology language: institutes and institutions. Zbl 1394.68379
Mossakowski, Till; Kutz, Oliver; Lange, Christoph
4
2013
From total equational to partial first-order logic. Zbl 0949.03028
Cerioli, Maura; Mossakowski, Till; Reichel, Horst
4
1999
Heterogeneous logical environments for distributed specifications. Zbl 1253.68231
Mossakowski, Till; Tarlecki, Andrzej
4
2009
Colimits of order-sorted specifications. Zbl 0902.18002
Mossakowski, Till
4
1998
Combining and representing logical systems using model-theoretic parchments. Zbl 0907.03030
Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław
4
1998
Permissive subsorted partial logic in CASL. Zbl 0886.03022
Cerioli, Maura; Haxthausen, Anne; Krieg-Brückner, Bernd; Mossakowski, Till
4
1997
CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365
Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej
4
2003
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
High-level nets with nets and rules as tokens. Zbl 1128.68063
Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till
4
2005
What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
4
2007
Extending development graphs with hiding. Zbl 0977.68657
Mossakowski, Till; Autexier, Serge; Hutter, Dieter
4
2001
A coalgebraic approach to the semantics of the ambient calculus. Zbl 1154.68088
Hausmann, Daniel; Mossakowski, Till; Schröder, Lutz
3
2006
What Is a derived signature morphism? Zbl 1472.68097
Mossakowski, Till; Krumnack, Ulf; Maibaum, Tom
3
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
3
2013
Specifying real numbers in CASL. Zbl 0966.68137
Roggenbach, Markus; Schröder, Lutz; Mossakowski, Till
3
2000
Equivalence and difference between institutions: simulating Horn clause logic with based algebras. Zbl 0849.68080
Kreowski, Hans-Jörg; Mossakowski, Till
3
1995
Heterogeneous development graphs and heterogeneous borrowing. Zbl 1077.68609
Mossakowski, Till
3
2002
Different types of arrow between logical frameworks. Zbl 1046.68509
Mossakowski, Till
3
1996
Generic exception handling and the Java monad. Zbl 1108.68411
Schröder, Lutz; Mossakowski, Till
3
2004
Semantics of architectural specifications in CASL. Zbl 0977.68744
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr
3
2001
Subsorted partial higher-order logic as an extension of CASL. Zbl 0966.68138
Mossakowski, Till; Haxthausen, Anne; Krieg-Brückner, Bernd
2
2000
Monad-independent Hoare logic in HasCasl. Zbl 1032.03029
Schröder, Lutz; Mossakowski, Till
2
2003
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
Amalgamation in CASL via enriched signatures. Zbl 0986.68015
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej
2
2001
A proof theoretic interpretation of model theoretic hiding. Zbl 1278.68202
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian
1
2012
Relations between spatial calculi about directions and orientations. Zbl 1343.68227
Mossakowski, Till; Moratz, Reinhard
1
2015
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
Algebra \(\cup\) Topology. Zbl 0748.18002
Herrlich, Horst; Mossakowski, T.; Strecker, George E.
1
1991
A generic complete dynamic logic for reasoning about purity and effects. Zbl 1209.68084
Mossakowski, Till; Schröder, Lutz; Goncharov, Sergey
1
2010
Towards an institutional framework for heterogeneous formal development in UML – a position paper. Zbl 1453.68107
Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus
1
2015
A relatively complete calculus for structured heterogeneous specifications. Zbl 1405.68193
Mossakowski, Till; Tarlecki, Andrzej
1
2014
A condensed semantics for qualitative spatial reasoning about oriented straight line segments. Zbl 1252.68278
Moratz, Reinhard; Lücke, Dominik; Mossakowski, Till
1
2011
Compiling logics. Zbl 1394.68071
Codescu, Mihai; Horozal, Fulya; Jakubauskas, Aivaras; Mossakowski, Till; Rabe, Florian
1
2013
Checking amalgamability conditions for CASL architectural specifications. Zbl 0999.68506
Klin, Bartek; Hoffman, Piotr; Tarlecki, Andrzej; Schöder, Lutz; Mossakowski, Till
1
2001
Multi-view consistency in UML: a survey. Zbl 1383.68024
Knapp, Alexander; Mossakowski, Till
1
2018
The distributed ontology, model and specification language – DOL. Zbl 07152399
Mossakowski, Till
1
2017
Canonical selection of colimits. Zbl 07152409
Mossakowski, Till; Rabe, Florian; Codescu, Mihai
1
2017
Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Zbl 1123.68007
1
2007
Parametrized exceptions. Zbl 1151.68379
Walter, Dennis; Schröder, Lutz; Mossakowski, Till
1
2005
UML interactions meet state machines – an institutional approach. Zbl 1433.68097
Knapp, Alexander; Mossakowski, Till
1
2017
Multi-view consistency in UML: a survey. Zbl 1383.68024
Knapp, Alexander; Mossakowski, Till
1
2018
The distributed ontology, model and specification language – DOL. Zbl 07152399
Mossakowski, Till
1
2017
Canonical selection of colimits. Zbl 07152409
Mossakowski, Till; Rabe, Florian; Codescu, Mihai
1
2017
UML interactions meet state machines – an institutional approach. Zbl 1433.68097
Knapp, Alexander; Mossakowski, Till
1
2017
The distributed ontology, modeling and specification language – DOL. Zbl 1409.68284
Mossakowski, Till; Codescu, Mihai; Neuhaus, Fabian; Kutz, Oliver
7
2015
What Is a derived signature morphism? Zbl 1472.68097
Mossakowski, Till; Krumnack, Ulf; Maibaum, Tom
3
2015
Relations between spatial calculi about directions and orientations. Zbl 1343.68227
Mossakowski, Till; Moratz, Reinhard
1
2015
Towards an institutional framework for heterogeneous formal development in UML – a position paper. Zbl 1453.68107
Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus
1
2015
A relatively complete calculus for structured heterogeneous specifications. Zbl 1405.68193
Mossakowski, Till; Tarlecki, Andrzej
1
2014
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
4
2013
Semantics of the distributed ontology language: institutes and institutions. Zbl 1394.68379
Mossakowski, Till; Kutz, Oliver; Lange, Christoph
4
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
3
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
7
2012
Qualitative reasoning about relative direction of oriented points. Zbl 1267.68229
Mossakowski, Till; Moratz, Reinhard
5
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
14
2011
Integrating Maude into Hets. Zbl 1308.68075
Codescu, Mihai; Mossakowski, Till; Riesco, Adrián; Maeder, Christian
1
2011
A condensed semantics for qualitative spatial reasoning about oriented straight line segments. Zbl 1252.68278
Moratz, Reinhard; Lücke, Dominik; Mossakowski, Till
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
7
2010
A generic complete dynamic logic for reasoning about purity and effects. Zbl 1209.68084
Mossakowski, Till; Schröder, Lutz; Goncharov, Sergey
1
2010
What is a logic translation? Zbl 1255.03023
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej
14
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
Heterogeneous logical environments for distributed specifications. Zbl 1253.68231
Mossakowski, Till; Tarlecki, Andrzej
4
2009
Structured CSP – a process algebra as an institution. Zbl 1196.68159
Mossakowski, Till; Roggenbach, Markus
6
2007
What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
4
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
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
High-level nets with nets and rules as tokens. Zbl 1128.68063
Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till
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
Algebraic-coalgebraic specification in CoCasl. Zbl 1278.68209
Mossakowski, Till; Reichel, Horst; Roggenbach, Markus; Schröder, Lutz
4
2003
CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365
Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej
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
18
2002
Comorphism-based Grothendieck logics. Zbl 1014.68098
Mossakowski, Till
11
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
4
1999
Colimits of order-sorted specifications. Zbl 0902.18002
Mossakowski, Till
4
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
3
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 184 Authors

22 Mossakowski, Till
16 Diaconescu, Răzvan
14 Rabe, Florian
13 Schröder, Lutz
12 Kohlhase, Michael
9 Roggenbach, Markus
9 Tarlecki, Andrzej
7 Madeira, Alexandre
7 Martins, Manuel António
6 Barbosa, Luís Soares
6 Codescu, Mihai
6 Sannella, Donald T.
5 Autexier, Serge
5 Hennicker, Rolf
5 Horozal, Fulya
5 Roşu, Grigore
4 Goncharov, Sergeĭ Savost’yanovich
4 Hutter, Dieter
4 Knapp, Alexander
4 Kutz, Oliver
3 Aiguier, Marc
3 Bidoit, Michel
3 Gaĭnă, Daniel
3 Iancu, Mihnea
3 Krieg-Brückner, Bernd
3 Lucanu, Dorel
3 Meseguer Guaita, José
2 Bloch, Isabelle
2 Botoeva, Elena
2 Confalonieri, Roberto
2 Kerber, Manfred
2 Lange, Christoph
2 Lutz, Carsten
2 Maibaum, Thomas Stephen Edward
2 Martins Moreira, Anamaria
2 Ojeda-Aciego, Manuel
2 O’Reilly, Liam
2 Petria, Marius
2 Riesco, Adrián
2 Rowat, Colin
2 Ryzhikov, Vladislav
2 Wolter, Frank
2 Zakharyaschev, Michael Viktorovich
1 Abramsky, Samson
1 Aguirre, Nazareno M.
1 Ait-Ameur, Yamine
1 Astesiano, Egidio
1 Atif, Jamal
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 Bonchi, Filippo
1 Boronat, Artur
1 Brenton, Christopher
1 Burrieza, Alfredo
1 Cabrera, Inma P.
1 Camilli, Matteo
1 Caminati, Marco Bright
1 Capra, Lorenzo
1 Caselles Costa, Vicent
1 Castro, Pablo F.
1 Chentsov, Alexey A.
1 Cordero, Pablo
1 Corradini, Andrea
1 Déharbe, David
1 Dietrich, Dominik
1 Duval, Dominique
1 Dworzański, Leonid W.
1 Dzierzon, Christian
1 Eppe, Manfred
1 Faber, Wolfgang
1 Falomir, Zoe
1 Faria, José M.
1 Futatsugi, Kokichi
1 Gadducci, Fabio
1 Gadea, Alejandro
1 Gauthier, Thibault
1 Geron, Bram
1 Ghomsi Nokam, Sidoine
1 Grigoraş, Gheorghe
1 Gunther, Emmanuel
1 Gutiérrez, Gloria
1 Hausmann, Daniel
1 Haveraaen, Magne
1 Haxthausen, Anne Elisabeth
1 Heras, Jónathan
1 Hoffman, Piotr
1 Hudelot, Céline
1 Hughes, Jesse
1 Ibañez, Yazmin Angelica
1 Isobe, Yoshinao
1 Izmirlioglu, Yusuf
1 James, Phillip
1 Jeřábek, Emil
1 Jucovschi, Constantin
...and 84 more Authors

Citations by Year