×

zbMATH — the first resource for mathematics

Roşu, Grigore

Compute Distance To:
Author ID: rosu.grigore Recent zbMATH articles by "Roşu, Grigore"
Published as: Roşu, Grigore; Rosu, Grigore; Roşu, G.
External Links: MGP
Documents Indexed: 96 Publications since 1997, including 3 Books

Publications by Year

Citations contained in zbMATH Open

79 Publications have been cited 484 times in 266 Documents Cited by Year
Institution morphisms. Zbl 1001.68019
Goguen, Joseph; Roşu, Grigore
45
2002
The rewriting logic semantics project. Zbl 1111.68068
Meseguer, José; Roşu, Grigore
25
2007
Rewriting logic semantics: from language specifications to formal analysis tools. Zbl 1126.68464
Meseguer, José; Roşu, Grigore
20
2004
An overview of the K semantic framework. Zbl 1214.68188
Roşu, Grigore; Şerbănuţă, Traian Florin
20
2010
Formal analysis of Java programs in JavaFAN. Zbl 1103.68611
Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore
16
2004
Circular coinduction: a proof theoretical foundation. Zbl 1239.68067
Roşu, Grigore; Lucanu, Dorel
15
2009
Hiding more of hidden algebra. Zbl 0953.68094
Goguen, Joseph; Roşu, Grigore
15
1999
Composing hidden information modules over inclusive institutions. Zbl 1278.68203
Goguen, Joseph; Rosu, Grigore
14
2004
Synthesizing monitors for safety properties. Zbl 1043.68534
Havelund, Klaus; Rosu, Grigore
13
2002
CIRC: a behavioral verification tool based on circular coinduction. Zbl 1239.68066
Lucanu, Dorel; Goriac, Eugen-Ioan; Caltais, Georgiana; Roşu, Grigore
12
2009
Formal JVM code analysis in JavaFAN. Zbl 1108.68382
Farzan, Azadeh; Meseguer, José; Roşu, Grigore
10
2004
One-path reachability logic. Zbl 1366.68182
Roşu, Grigore; Ştefánescu, Andrei; Ciobâca, Ştefan; Moore, Brandon M.
10
2013
Weak inclusion systems. Zbl 0886.18001
Căzănescu, Virgil Emil; Roşu, Grigore
10
1997
Matching logic: an alternative to Hoare/Floyd logic. Zbl 1308.68045
Roşu, Grigore; Ellison, Chucky; Schulte, Wolfram
10
2011
A rewriting logic approach to operational semantics. Zbl 1165.68041
Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José
10
2009
Computationally equivalent elimination of conditions. Zbl 1151.68438
Şerbănuţă, Traian Florin; Roşu, Grigore
9
2006
All-path reachability logic. Zbl 1416.68052
Ştefănescu, Andrei; Ciobâcă, Ştefan; Mereuta, Radu; Moore, Brandon M.; Şerbănută, Traian Florin; Roşu, Grigore
9
2014
Combining test case generation and runtime verification. Zbl 1080.68062
Artho, Cyrille; Barringer, Howard; Goldberg, Allen; Havelund, Klaus; Khurshid, Sarfraz; Lowry, Mike; Pasareanu, Corina; Roşu, Grigore; Sen, Koushik; Visser, Willem; Washington, Rich
8
2005
An overview of the runtime verification tool Java PathExplorer. Zbl 1073.68549
Havelund, Klaus; Roşu, Grigore
8
2004
CIRC: a circular coinductive prover. Zbl 1214.68336
Lucanu, Dorel; Roşu, Grigore
8
2007
Behavioral and coinductive rewriting. Zbl 0962.68078
Goguen, Joseph; Lin, Kai; Rosu, Grigore
7
2000
Hidden congruent deduction. Zbl 0964.68083
Roşu, Grigore; Goguen, Joseph
7
2000
Towards a unified theory of operational and axiomatic semantics. Zbl 1367.68075
Roşu, Grigore; Ştefănescu, Andrei
7
2012
Testing extended regular language membership incrementally by rewriting. Zbl 1038.68562
Roşu, Grigore; Viswanathan, Mahesh
6
2003
Semantics and algorithms for parametric monitoring. Zbl 1237.68065
Roşu, Grigore; Chen, Feng
6
2012
A rewrite framework for language definitions and for generation of efficient interpreters. Zbl 1279.68116
Hills, Mark; Şerbănuţă, Traian; Roşu, Grigore
6
2007
Equational axiomatizability for coalgebra. Zbl 0973.68176
Roşu, G.
6
2001
Axiomatizability in inclusive equational logics. Zbl 1019.03050
Roşu, Grigore
6
2002
The rewriting logic semantics project: a progress report. Zbl 1342.68198
Meseguer, José; Roşu, Grigore
6
2011
Conditional circular coinductive rewriting with case analysis. Zbl 1278.68121
Goguen, Joseph A.; Lin, Kai; Roşu, Grigore
6
2003
Generating optimal linear temporal logic monitors by coinduction. Zbl 1215.68134
Sen, Koushik; Roşu, Grigore; Agha, Gul
6
2003
From conditional to unconditional rewriting. Zbl 1118.68514
Roşu, Grigore
5
2005
Java-MOP: A monitoring oriented programming environment for Java. Zbl 1087.68550
Chen, Feng; Roşu, Grigore
5
2005
Efficient monitoring of \(\omega\)-languages. Zbl 1081.68050
d’Amorim, Marcelo; Roşu, Grigore
5
2005
Behavioral abstraction is hiding information. Zbl 1105.68076
Roşu, Grigore
5
2004
From hoare logic to matching logic reachability. Zbl 1372.68066
Roşu, Grigore; Ştefănescu, Andrei
5
2012
Defining and executing P systems with structured data in K. Zbl 1196.68084
Şerbănuţă, Traian; Ştefănescu, Gheorghe; Roşu, Grigore
5
2009
Equality of streams is a \({\Pi}^0_2\)-complete problem. Zbl 1321.68288
Roşu, Grigore
5
2006
Matching logic – extended abstract (invited talk). Zbl 1366.68027
Rosu, Grigore
4
2015
Rule-based analysis of dimensional safety. Zbl 1038.68548
Chen, Feng; Roşu, Grigore; Venkatesan, Ram Prasad
4
2003
The rewriting logic semantics project: a progress report. Zbl 1435.68188
Meseguer, José; Roşu, Grigore
4
2013
K-Java: a complete semantics of Java. Zbl 1346.68046
Bogdanas, Denis; Roşu, Grigore
4
2015
Language definitions as rewrite theories. Zbl 1356.68125
Rusu, Vlad; Lucanu, Dorel; Şerbănuţă, Traian-Florin; Arusoaie, Andrei; Ştefănescu, Andrei; Roşu, Grigore
4
2016
On equational Craig interpolation. Zbl 0962.03026
Rosu, Grigore; Goguen, Joseph
4
2000
Incompleteness of behavioral logics. Zbl 0959.03506
Buss, Samuel; Roşu, Grigore
4
2000
Parametric and sliced causality. Zbl 1135.68468
Chen, Feng; Roşu, Grigore
4
2007
Parametric trace slicing and monitoring. Zbl 1234.68073
Chen, Feng; Roşu, Grigore
4
2009
Certifying optimality of state estimation programs. Zbl 1278.68193
Roşu, Grigore; Venkatesan, Ram Prasad; Whittle, Jon; Leuştean, Laurenţiu
4
2003
A rewriting logic approach to type inference. Zbl 1253.68211
Ellison, Chucky; Şerbănuţă, Traian Florin; Roşu, Grigore
4
2009
Weak inclusion systems. II. Zbl 0961.18002
Cazanescu, Virgil Emil; Rosu, Grigore
3
2000
Complete categorical equational deduction. Zbl 0999.03060
Roşu, Grigore
3
2001
Experiments with test case generation and runtime analysis. Zbl 1021.68503
Artho, Cyrille; Drusinksy, Doron; Goldberg, Allen; Havelund, Klaus; Lowry, Mike; Pasareanu, Corina; Rosu, Grigore; Visser, Willem
3
2003
K-Maude: a rewriting based tool for semantics of programming languages. Zbl 1306.68088
Şerbănuţă, Traian Florin; Roşu, Grigore
3
2010
Language definitions as rewrite theories. Zbl 1356.68115
Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad; Şerbănuţă, Traian-Florin; Ştefănescu, Andrei; Roşu, Grigore
3
2014
Matching logic. Zbl 1448.03019
Roşu, Grigore
2
2017
A theoretical foundation for programming languages aggregation. Zbl 06545647
Ciobâcă, Ştefan; Lucanu, Dorel; Rusu, Vlad; Roşu, Grigore
2
2015
Interpreting abstract interpretations in membership equational logic. Zbl 1268.68066
Fischer, Bernd; Roşu, Grigore
2
2001
The rewriting logic semantics project. Zbl 1273.68211
Meseguer, José; Roşu, Grigore
2
2006
Allen linear (interval) temporal logic – translation to LTL and monitor synthesis. Zbl 1188.68159
Roşu, Grigore; Bensalem, Saddek
2
2006
A language-independent proof system for full program equivalence. Zbl 1355.68051
Ciobâcă, Ştefan; Lucanu, Dorel; Rusu, Vlad; Roşu, Grigore
2
2016
A Birkhoff-like axiomatizability result for hidden algebra and coalgebra. Zbl 0917.68144
Rosu, Grigore
2
1998
A semantic approach to interpolation. Zbl 1159.03023
Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore
2
2009
From rewriting logic, to programming language semantics, to program verification. Zbl 1321.68337
Roşu, Grigore
2
2015
Finite-trace linear temporal logic: coinductive completeness. Zbl 1394.68237
Roşu, Grigore
1
2018
Behavioral extensions of institutions. Zbl 1151.68493
Popescu, Andrei; Roşu, Grigore
1
2005
A total approach to partial algebraic specification. Zbl 1057.68064
Meseguer, José; Rosu, Grigore
1
2002
On the complexity of stream equality. Zbl 1297.68050
Endrullis, Jörg; Hendriks, Dimitri; Bakhshi, Rena; Roşu, Grigore
1
2014
A rewriting logic semantics approach to modular program analysis. Zbl 1236.68177
Hills, Mark; Rosu, Grigore
1
2010
Complete categorical deduction for satisfaction as injectivity. Zbl 1132.03356
Roşu, Grigore
1
2006
An effective algorithm for the membership problem for extended regular expressions. Zbl 1195.68059
Roşu, Grigore
1
2007
Online efficient predictive safety analysis of multithreaded programs. Zbl 1126.68357
Sen, Koushik; Roşu, Grigore; Agha, Gul
1
2004
Program verification by coinduction. Zbl 1418.68060
Moore, Brandon; Peña, Lucas; Rosu, Grigore
1
2018
All-path reachability logic. Zbl 1421.68015
Ştefănescu, Andrei; Ciobâcă, Stefan; Mereuta, Radu; Moore, Brandon; Roşu, Grigore; Şerbănuṭă, Traian Florin
1
2019
Term-generic logic. Zbl 1310.03044
Popescu, Andrei; Roşu, Grigore
1
2015
A truly concurrent semantics for the \(\mathbb{K}\) framework based on graph transformations. Zbl 1367.68179
Şerbănuţă, Traian Florin; Roşu, Grigore
1
2012
A semantic approach to interpolation. Zbl 1159.03314
Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore
1
2006
Parametric and termination-sensitive control dependence. Zbl 1225.68070
Chen, Feng; Roşu, Grigore
1
2006
Term-generic logic. Zbl 1253.03061
Popescu, Andrei; Roşu, Grigore
1
2009
Inductive behavioral proofs by unhiding. Zbl 1270.68196
Roşu, Grigore
1
2003
All-path reachability logic. Zbl 1421.68015
Ştefănescu, Andrei; Ciobâcă, Stefan; Mereuta, Radu; Moore, Brandon; Roşu, Grigore; Şerbănuṭă, Traian Florin
1
2019
Finite-trace linear temporal logic: coinductive completeness. Zbl 1394.68237
Roşu, Grigore
1
2018
Program verification by coinduction. Zbl 1418.68060
Moore, Brandon; Peña, Lucas; Rosu, Grigore
1
2018
Matching logic. Zbl 1448.03019
Roşu, Grigore
2
2017
Language definitions as rewrite theories. Zbl 1356.68125
Rusu, Vlad; Lucanu, Dorel; Şerbănuţă, Traian-Florin; Arusoaie, Andrei; Ştefănescu, Andrei; Roşu, Grigore
4
2016
A language-independent proof system for full program equivalence. Zbl 1355.68051
Ciobâcă, Ştefan; Lucanu, Dorel; Rusu, Vlad; Roşu, Grigore
2
2016
Matching logic – extended abstract (invited talk). Zbl 1366.68027
Rosu, Grigore
4
2015
K-Java: a complete semantics of Java. Zbl 1346.68046
Bogdanas, Denis; Roşu, Grigore
4
2015
A theoretical foundation for programming languages aggregation. Zbl 06545647
Ciobâcă, Ştefan; Lucanu, Dorel; Rusu, Vlad; Roşu, Grigore
2
2015
From rewriting logic, to programming language semantics, to program verification. Zbl 1321.68337
Roşu, Grigore
2
2015
Term-generic logic. Zbl 1310.03044
Popescu, Andrei; Roşu, Grigore
1
2015
All-path reachability logic. Zbl 1416.68052
Ştefănescu, Andrei; Ciobâcă, Ştefan; Mereuta, Radu; Moore, Brandon M.; Şerbănută, Traian Florin; Roşu, Grigore
9
2014
Language definitions as rewrite theories. Zbl 1356.68115
Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad; Şerbănuţă, Traian-Florin; Ştefănescu, Andrei; Roşu, Grigore
3
2014
On the complexity of stream equality. Zbl 1297.68050
Endrullis, Jörg; Hendriks, Dimitri; Bakhshi, Rena; Roşu, Grigore
1
2014
One-path reachability logic. Zbl 1366.68182
Roşu, Grigore; Ştefánescu, Andrei; Ciobâca, Ştefan; Moore, Brandon M.
10
2013
The rewriting logic semantics project: a progress report. Zbl 1435.68188
Meseguer, José; Roşu, Grigore
4
2013
Towards a unified theory of operational and axiomatic semantics. Zbl 1367.68075
Roşu, Grigore; Ştefănescu, Andrei
7
2012
Semantics and algorithms for parametric monitoring. Zbl 1237.68065
Roşu, Grigore; Chen, Feng
6
2012
From hoare logic to matching logic reachability. Zbl 1372.68066
Roşu, Grigore; Ştefănescu, Andrei
5
2012
A truly concurrent semantics for the \(\mathbb{K}\) framework based on graph transformations. Zbl 1367.68179
Şerbănuţă, Traian Florin; Roşu, Grigore
1
2012
Matching logic: an alternative to Hoare/Floyd logic. Zbl 1308.68045
Roşu, Grigore; Ellison, Chucky; Schulte, Wolfram
10
2011
The rewriting logic semantics project: a progress report. Zbl 1342.68198
Meseguer, José; Roşu, Grigore
6
2011
An overview of the K semantic framework. Zbl 1214.68188
Roşu, Grigore; Şerbănuţă, Traian Florin
20
2010
K-Maude: a rewriting based tool for semantics of programming languages. Zbl 1306.68088
Şerbănuţă, Traian Florin; Roşu, Grigore
3
2010
A rewriting logic semantics approach to modular program analysis. Zbl 1236.68177
Hills, Mark; Rosu, Grigore
1
2010
Circular coinduction: a proof theoretical foundation. Zbl 1239.68067
Roşu, Grigore; Lucanu, Dorel
15
2009
CIRC: a behavioral verification tool based on circular coinduction. Zbl 1239.68066
Lucanu, Dorel; Goriac, Eugen-Ioan; Caltais, Georgiana; Roşu, Grigore
12
2009
A rewriting logic approach to operational semantics. Zbl 1165.68041
Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José
10
2009
Defining and executing P systems with structured data in K. Zbl 1196.68084
Şerbănuţă, Traian; Ştefănescu, Gheorghe; Roşu, Grigore
5
2009
Parametric trace slicing and monitoring. Zbl 1234.68073
Chen, Feng; Roşu, Grigore
4
2009
A rewriting logic approach to type inference. Zbl 1253.68211
Ellison, Chucky; Şerbănuţă, Traian Florin; Roşu, Grigore
4
2009
A semantic approach to interpolation. Zbl 1159.03023
Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore
2
2009
Term-generic logic. Zbl 1253.03061
Popescu, Andrei; Roşu, Grigore
1
2009
The rewriting logic semantics project. Zbl 1111.68068
Meseguer, José; Roşu, Grigore
25
2007
CIRC: a circular coinductive prover. Zbl 1214.68336
Lucanu, Dorel; Roşu, Grigore
8
2007
A rewrite framework for language definitions and for generation of efficient interpreters. Zbl 1279.68116
Hills, Mark; Şerbănuţă, Traian; Roşu, Grigore
6
2007
Parametric and sliced causality. Zbl 1135.68468
Chen, Feng; Roşu, Grigore
4
2007
An effective algorithm for the membership problem for extended regular expressions. Zbl 1195.68059
Roşu, Grigore
1
2007
Computationally equivalent elimination of conditions. Zbl 1151.68438
Şerbănuţă, Traian Florin; Roşu, Grigore
9
2006
Equality of streams is a \({\Pi}^0_2\)-complete problem. Zbl 1321.68288
Roşu, Grigore
5
2006
The rewriting logic semantics project. Zbl 1273.68211
Meseguer, José; Roşu, Grigore
2
2006
Allen linear (interval) temporal logic – translation to LTL and monitor synthesis. Zbl 1188.68159
Roşu, Grigore; Bensalem, Saddek
2
2006
Complete categorical deduction for satisfaction as injectivity. Zbl 1132.03356
Roşu, Grigore
1
2006
A semantic approach to interpolation. Zbl 1159.03314
Popescu, Andrei; Şerbănuţă, Traian Florin; Roşu, Grigore
1
2006
Parametric and termination-sensitive control dependence. Zbl 1225.68070
Chen, Feng; Roşu, Grigore
1
2006
Combining test case generation and runtime verification. Zbl 1080.68062
Artho, Cyrille; Barringer, Howard; Goldberg, Allen; Havelund, Klaus; Khurshid, Sarfraz; Lowry, Mike; Pasareanu, Corina; Roşu, Grigore; Sen, Koushik; Visser, Willem; Washington, Rich
8
2005
From conditional to unconditional rewriting. Zbl 1118.68514
Roşu, Grigore
5
2005
Java-MOP: A monitoring oriented programming environment for Java. Zbl 1087.68550
Chen, Feng; Roşu, Grigore
5
2005
Efficient monitoring of \(\omega\)-languages. Zbl 1081.68050
d’Amorim, Marcelo; Roşu, Grigore
5
2005
Behavioral extensions of institutions. Zbl 1151.68493
Popescu, Andrei; Roşu, Grigore
1
2005
Rewriting logic semantics: from language specifications to formal analysis tools. Zbl 1126.68464
Meseguer, José; Roşu, Grigore
20
2004
Formal analysis of Java programs in JavaFAN. Zbl 1103.68611
Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore
16
2004
Composing hidden information modules over inclusive institutions. Zbl 1278.68203
Goguen, Joseph; Rosu, Grigore
14
2004
Formal JVM code analysis in JavaFAN. Zbl 1108.68382
Farzan, Azadeh; Meseguer, José; Roşu, Grigore
10
2004
An overview of the runtime verification tool Java PathExplorer. Zbl 1073.68549
Havelund, Klaus; Roşu, Grigore
8
2004
Behavioral abstraction is hiding information. Zbl 1105.68076
Roşu, Grigore
5
2004
Online efficient predictive safety analysis of multithreaded programs. Zbl 1126.68357
Sen, Koushik; Roşu, Grigore; Agha, Gul
1
2004
Testing extended regular language membership incrementally by rewriting. Zbl 1038.68562
Roşu, Grigore; Viswanathan, Mahesh
6
2003
Conditional circular coinductive rewriting with case analysis. Zbl 1278.68121
Goguen, Joseph A.; Lin, Kai; Roşu, Grigore
6
2003
Generating optimal linear temporal logic monitors by coinduction. Zbl 1215.68134
Sen, Koushik; Roşu, Grigore; Agha, Gul
6
2003
Rule-based analysis of dimensional safety. Zbl 1038.68548
Chen, Feng; Roşu, Grigore; Venkatesan, Ram Prasad
4
2003
Certifying optimality of state estimation programs. Zbl 1278.68193
Roşu, Grigore; Venkatesan, Ram Prasad; Whittle, Jon; Leuştean, Laurenţiu
4
2003
Experiments with test case generation and runtime analysis. Zbl 1021.68503
Artho, Cyrille; Drusinksy, Doron; Goldberg, Allen; Havelund, Klaus; Lowry, Mike; Pasareanu, Corina; Rosu, Grigore; Visser, Willem
3
2003
Inductive behavioral proofs by unhiding. Zbl 1270.68196
Roşu, Grigore
1
2003
Institution morphisms. Zbl 1001.68019
Goguen, Joseph; Roşu, Grigore
45
2002
Synthesizing monitors for safety properties. Zbl 1043.68534
Havelund, Klaus; Rosu, Grigore
13
2002
Axiomatizability in inclusive equational logics. Zbl 1019.03050
Roşu, Grigore
6
2002
A total approach to partial algebraic specification. Zbl 1057.68064
Meseguer, José; Rosu, Grigore
1
2002
Equational axiomatizability for coalgebra. Zbl 0973.68176
Roşu, G.
6
2001
Complete categorical equational deduction. Zbl 0999.03060
Roşu, Grigore
3
2001
Interpreting abstract interpretations in membership equational logic. Zbl 1268.68066
Fischer, Bernd; Roşu, Grigore
2
2001
Behavioral and coinductive rewriting. Zbl 0962.68078
Goguen, Joseph; Lin, Kai; Rosu, Grigore
7
2000
Hidden congruent deduction. Zbl 0964.68083
Roşu, Grigore; Goguen, Joseph
7
2000
On equational Craig interpolation. Zbl 0962.03026
Rosu, Grigore; Goguen, Joseph
4
2000
Incompleteness of behavioral logics. Zbl 0959.03506
Buss, Samuel; Roşu, Grigore
4
2000
Weak inclusion systems. II. Zbl 0961.18002
Cazanescu, Virgil Emil; Rosu, Grigore
3
2000
Hiding more of hidden algebra. Zbl 0953.68094
Goguen, Joseph; Roşu, Grigore
15
1999
A Birkhoff-like axiomatizability result for hidden algebra and coalgebra. Zbl 0917.68144
Rosu, Grigore
2
1998
Weak inclusion systems. Zbl 0886.18001
Căzănescu, Virgil Emil; Roşu, Grigore
10
1997
all top 5

Cited by 364 Authors

25 Roşu, Grigore
21 Meseguer Guaita, José
18 Diaconescu, Răzvan
15 Lucanu, Dorel
13 Mossakowski, Till
12 Şerbănuţă, Traian Florin
9 Rusu, Vlad
8 Rutten, Jan J. M. M.
6 Alpuente, María
6 Arusoaie, Andrei
6 Basin, David A.
6 Francalanza, Adrian
6 Tarlecki, Andrzej
5 Bonsangue, Marcello Maria
5 Caltais, Georgiana
5 Hennicker, Rolf
5 Madeira, Alexandre
5 Martins, Manuel António
5 Traytel, Dmitry
4 Caleiro, Carlos
4 Escobar, Santiago
4 Falcone, Yliès
4 Futatsugi, Kokichi
4 Gaĭnă, Daniel
4 Gonçalves, Ricardo
4 Lucas, Salvador
4 Nishida, Naoki
4 Ogata, Kazuhiro
4 Popescu, Andrei
4 Rabe, Florian
4 Sannella, Donald T.
4 Silva, Alexandra
4 Ţuţu, Ionuţ
3 Aceto, Luca
3 Andrei, Oana
3 Ballis, Demis
3 Codescu, Mihai
3 Gmeiner, Karl
3 Goriac, Eugen-Ioan
3 Gupta, Aarti
3 Horozal, Fulya
3 Hughes, Jesse
3 Ingólfsdóttir, Anna
3 Knapp, Alexander
3 Krstić, Srđan
3 Kupke, Clemens
3 Kurz, Alexander
3 Lochbihler, Andreas
3 Martí-Oliet, Narciso
3 Mosses, Peter D.
3 Owe, Olaf
3 Riesco, Adrián
3 Roggenbach, Markus
3 Schröder, Lutz
3 Thiemann, Peter J.
3 Voutsadakis, George
2 Adámek, Jiří
2 Autexier, Serge
2 Bae, Kyungmin
2 Bauer, Andreas
2 Bhatt, Bhargav Nagaraja
2 Bidoit, Michel
2 Bonchi, Filippo
2 Boronat, Artur
2 Capretta, Venanzio
2 Ciobâcă, Ştefan
2 Ciobanu, Gabriel
2 Cîrstea, Corina
2 Colombo, Christian
2 Domínguez, César
2 Ellison, Chucky
2 Endrullis, Jörg
2 Finkbeiner, Bernd
2 Frechina, Francisco
2 Grigoraş, Gheorghe
2 Grigore, Radu
2 Havelund, Klaus
2 Haveraaen, Magne
2 Hills, Mark
2 Hutter, Dieter
2 Johnsen, Einar Broch
2 Katelman, Michael
2 Kiefer, Stefan
2 Klaedtke, Felix
2 Kuliamin, Victor V.
2 Malcolm, Grant
2 Muñoz, César A.
2 Nowak, David E.
2 Olveczky, Peter Csaba
2 Pace, Gordon J.
2 Rocha, Camilo
2 Rot, Jurriaan
2 Sakai, Masahiko
2 Sánchez, César
2 Sapiña, Julia
2 Sousa, Lurdes
2 Ştefănescu, Andrei
2 Ştefănescu, Gheorghe
2 Talcott, Carolyn L.
2 Tiu, Alwen Fernanto
...and 264 more Authors

Citations by Year