×
Edit Profile (opens in new tab)

Melis, Erica

Co-Author Distance
Author ID: melis.erica Recent zbMATH articles by "Melis, Erica"
Published as: Melis, Erica; Melis, E.
Homepage: http://www-ags.dfki.uni-sb.de/~melis
External Links: MGP
Documents Indexed: 27 Publications since 1972
Reviewing Activity: 96 Reviews
Co-Authors: 32 Co-Authors with 25 Joint Publications
372 Co-Co-Authors
all top 5

Co-Authors

2 single-authored
8 Meier, Andreas
7 Siekmann, Jörg H.
5 Ullrich, Carsten A.
4 Libbrecht, Paul
3 Sorge, Volker
3 Zimmer, Jürgen
2 Benzmüller, Christoph Ewald
2 Büdenbender, Jochen
2 Cheikhrouhou, Lassaad
2 Fiedler, Armin
2 Goguadze, Georgi
2 Kerber, Manfred
2 Kohlhase, Michael
2 Pollet, Martin
2 Whittle, Jon
1 Brezhnev, Vladimir
1 Cairns, Paul
1 Fehrer, Detlef
1 Franke, Andreas
1 Frischauf, Adrian
1 Goguadze, George
1 Hauschild, Kurt
1 Horacek, Helmut
1 Huang, Xiaorong
1 Konrad, Karsten
1 Manzoor, Shahid
1 Melis, Ch.
1 Moschner, Markus
1 Müller, Tobias M.
1 Normann, Immanuel
1 Schaarschmidt, Wolf
1 Wirth, Claus-Peter

Serials

3 Journal of Automated Reasoning
2 Artificial Intelligence
1 Wissenschaftliche Zeitschrift der Humboldt-Universität zu Berlin. Mathematisch-Naturwissenschaftliche Reihe
1 Annals of Mathematics and Artificial Intelligence

Fields

26 Computer science (68-XX)
6 Mathematics education (97-XX)
5 Mathematical logic and foundations (03-XX)
1 General and overarching topics; collections (00-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

17 Publications have been cited 66 times in 44 Documents Cited by ▼ Year ▼
\(\Omega\)mega: towards a mathematical assistant. Zbl 1430.68393
Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef; Fiedler, Armin; Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Konrad, Karsten; Meier, Andreas; Melis, Erica; Schaarschmidt, Wolf; Siekmann, Jörg; Sorge, Volker
10
1997
Proof planning with multiple strategies. Zbl 0983.68531
Melis, Erica; Meier, Andreas
8
2000
Proof development with \(\Omega\)MEGA. Zbl 1072.68591
Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen
7
2002
Knowledge-based proof planning. Zbl 0939.68822
Melis, E.; Siekmann, J.
7
1999
Analogy in inductive theorem proving. Zbl 0929.03019
Melis, Erica; Whittle, Jon
5
1999
Methods to access and retrieve mathematical content in ActiveMath. Zbl 1283.68319
Libbrecht, Paul; Melis, Erica
5
2006
Authoring presentation for OpenMath. Zbl 1151.68669
Manzoor, Shahid; Libbrecht, Paul; Ullrich, Carsten; Melis, Erica
4
2006
ActiveMath: an intelligent tutoring system for mathematics. Zbl 1058.97500
Melis, Erica; Siekmann, Jörg
4
2004
Knowledge representation and management in ACTIVEMATH. Zbl 1025.68083
Melis, Erica; Büdenbender, Jochen; Goguadze, George; Libbrecht, Paul; Ullrich, Carsten
3
2003
Proof planning with multiple strategies. Zbl 1182.68259
Melis, Erica; Meier, Andreas; Siekmann, Jörg
2
2008
System description: Multi. A multi-strategy proof planner. Zbl 1135.68557
Meier, Andreas; Melis, Erica
2
2005
Employing external reasoners in proof planning. Zbl 0958.68152
Melis, Erica; Sorge, Volker
2
1999
The Heine-Borel challenge problem. In honor of Woody Bledsoe. Zbl 0893.68136
Melis, Erica
2
1998
Constraint solving for proof planning. Zbl 1071.68093
Zimmer, Jürgen; Melis, Erica
2
2004
Integrating constraint solving into proof planning. Zbl 0962.68151
Melis, Erica; Zimmer, Jürgen; Müller, Tobias
1
2000
Impasse-driven reasoning in proof planning. Zbl 1151.68636
Meier, Andreas; Melis, Erica
1
2006
Internal analogy in theorem proving. Zbl 1412.68245
Melis, Erica; Whittle, Jon
1
1996
Proof planning with multiple strategies. Zbl 1182.68259
Melis, Erica; Meier, Andreas; Siekmann, Jörg
2
2008
Methods to access and retrieve mathematical content in ActiveMath. Zbl 1283.68319
Libbrecht, Paul; Melis, Erica
5
2006
Authoring presentation for OpenMath. Zbl 1151.68669
Manzoor, Shahid; Libbrecht, Paul; Ullrich, Carsten; Melis, Erica
4
2006
Impasse-driven reasoning in proof planning. Zbl 1151.68636
Meier, Andreas; Melis, Erica
1
2006
System description: Multi. A multi-strategy proof planner. Zbl 1135.68557
Meier, Andreas; Melis, Erica
2
2005
ActiveMath: an intelligent tutoring system for mathematics. Zbl 1058.97500
Melis, Erica; Siekmann, Jörg
4
2004
Constraint solving for proof planning. Zbl 1071.68093
Zimmer, Jürgen; Melis, Erica
2
2004
Knowledge representation and management in ACTIVEMATH. Zbl 1025.68083
Melis, Erica; Büdenbender, Jochen; Goguadze, George; Libbrecht, Paul; Ullrich, Carsten
3
2003
Proof development with \(\Omega\)MEGA. Zbl 1072.68591
Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen
7
2002
Proof planning with multiple strategies. Zbl 0983.68531
Melis, Erica; Meier, Andreas
8
2000
Integrating constraint solving into proof planning. Zbl 0962.68151
Melis, Erica; Zimmer, Jürgen; Müller, Tobias
1
2000
Knowledge-based proof planning. Zbl 0939.68822
Melis, E.; Siekmann, J.
7
1999
Analogy in inductive theorem proving. Zbl 0929.03019
Melis, Erica; Whittle, Jon
5
1999
Employing external reasoners in proof planning. Zbl 0958.68152
Melis, Erica; Sorge, Volker
2
1999
The Heine-Borel challenge problem. In honor of Woody Bledsoe. Zbl 0893.68136
Melis, Erica
2
1998
\(\Omega\)mega: towards a mathematical assistant. Zbl 1430.68393
Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef; Fiedler, Armin; Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Konrad, Karsten; Meier, Andreas; Melis, Erica; Schaarschmidt, Wolf; Siekmann, Jörg; Sorge, Volker
10
1997
Internal analogy in theorem proving. Zbl 1412.68245
Melis, Erica; Whittle, Jon
1
1996
all cited Publications top 5 cited Publications
all top 5

Cited by 86 Authors

3 Kaliszyk, Cezary
3 Melis, Erica
3 Siekmann, Jörg H.
2 Benzmüller, Christoph Ewald
2 Boy de la Tour, Thierry
2 Chen, Xiaoyu
2 Guidi, Ferruccio
2 Horn, Peter D.
2 Jebelean, Tudor
2 Kolbe, Thomas H.
2 Konovalov, Olexandr
2 Linton, Stephen A.
2 Meier, Andreas
2 Peltier, Nicolas
2 Roozemond, Dan
2 Sacerdoti Coen, Claudio
2 Urban, Josef
2 Youssef, Abdou S.
1 Andrews, Peter B.
1 Autexier, Serge
1 Bandyopadhyay, Sivaji
1 Barsotti, Damián
1 Bradley, Elizabeth
1 Brauburger, Jürgen
1 Brown, Chad Edward
1 Buchberger, Bruno
1 Calude, Cristian S.
1 Carette, Jacques
1 Cohen, Arjeh Marcel
1 Crǎciun, Adrian
1 Csiszárik, Adrián
1 Cuypers, Hans
1 Dadure, Pankaj
1 de Nivelle, Hans
1 Delahaye, David
1 Dixon, Lucas
1 Farmer, William M.
1 Fehrer, Detlef
1 Fleuriot, Jacques D.
1 Franke, Andreas
1 Freundt, Sebastian
1 Gast, Holger
1 Gauthier, Thibault
1 Heeren, Bastiaan
1 Hogan, Apollo
1 Horacek, Helmut
1 Jeuring, Johan
1 Kambhampati, Subbarao
1 Kohlhase, Michael
1 Komendantsky, Vladimir
1 Konev, Boris
1 Kovács, Laura Ildikó
1 Kumar, Ramana
1 Kutsia, Temur
1 Lyaletski, Alexander V.
1 Mayero, Micaela
1 Michalewski, Henryk
1 Müller, Christine
1 Nakagawa, Koji
1 Nieto, Leonor Prensa
1 Norrish, Michael
1 Pakray, Partha
1 Paskevich, Andrei
1 Piroi, Florina
1 Pollet, Martin
1 Popov, Nikolaj
1 Rabe, Florian
1 Robu, Judit
1 Rosenkranz, Markus
1 Shuai, Haotian
1 Sorge, Volker
1 Stolle, Reinhard
1 Sutcliffe, Geoff
1 Tiu, Alwen Fernanto
1 Verchinine, Konstantin
1 Verrijzer, R.
1 Walther, Christoph
1 Wang, Dongming
1 Windsteiger, Wolfgang
1 Wirth, Claus-Peter
1 Yang, Jing
1 Zhang, Qun
1 Zhuo, Hankz Hankui
1 Zimmer, Jürgen
1 Zinn, Claus
1 Zombori, Zsolt
all top 5

Cited in 11 Serials

6 Journal of Applied Logic
4 Artificial Intelligence
4 Journal of Symbolic Computation
4 Journal of Automated Reasoning
2 Mathematics in Computer Science
1 Information Sciences
1 Information and Computation
1 Formal Aspects of Computing
1 Journal of Mathematical Sciences (New York)
1 The Journal of Logic and Algebraic Programming
1 Journal of Systems Science and Complexity
all top 5

Cited in 6 Fields

42 Computer science (68-XX)
10 Mathematical logic and foundations (03-XX)
2 Mathematics education (97-XX)
1 Commutative algebra (13-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year