Gert Smolka

Cited by

	All	Since 2019
Citations	7647	869
h-index	40	12
i10-index	86	19

360

180

270

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202470 105 114 145 209 226 330 293 293 276 326 280 291 232 214 194 189 265 251 354 228 278 233 182 144 158 142 130 121 134 145 180 161 151 178 102 97

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Mark KaminskiDepartmental Lecturer, University of OxfordVerified email at cs.ox.ac.uk
Peter Van RoyProfessor of Computing Science and Engineering, ICTEAM, EPL, Université catholique de LouvainVerified email at uclouvain.be
Christian SchulteProfessor of Computer Science, KTH Royal Institute of TechnologyVerified email at kth.se
Werner NuttProfessor of Computer Science, Free University of Bozen-BolzanoVerified email at unibz.it
Seif HaridiProfessor of Computer Systems, KTH, RISEVerified email at ri.se
Manfred Schmidt-SchaußProfessor für Informatik, Goethe-University FrankfurtVerified email at ki.informatik.uni-frankfurt.de
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Joachim NiehrenINRIA LilleVerified email at inria.fr
Martin HenzNational University of SingaporeVerified email at comp.nus.edu.sg
Bernhard NebelProfessor für Informatik, Universität FreiburgVerified email at uni-freiburg.de
Hassan Aït-KaciHAK Language TechnologiesVerified email at acm.org
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Guido TackAssociate Professor, Monash UniversityVerified email at monash.edu
Rolf BackofenProfessor für Bioinformatik, Universität FreiburgVerified email at informatik.uni-freiburg.de
Sigurd SchneiderSaarland UniversityVerified email at cs.uni-saarland.de
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenVerified email at tu-dresden.de
Hans-Jürgen BürckertDFKI GmbHVerified email at dfki.de
Moritz HardtMax Planck Institute for Intelligent SystemsVerified email at is.mpg.de
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de

Gert Smolka

Professor of Computer Science, Saarland University, Saarland Informatics Campus

Verified email at ps.uni-saarland.de - Homepage

Computational Logic Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Attributive concept descriptions with complements M Schmidt-Schauß, G Smolka Artificial intelligence 48 (1), 1-26, 1991	1673	1991
The Oz programming model G Smolka Computer Science Today: Recent Trends and Developments, 324-343, 2005	769*	2005
Feature-constraint logics for unification grammars G Smolka The Journal of Logic Programming 12 (1-2), 51-87, 1992	277	1992
A feature logic with subsorts G Smolka IBM Deutschland, WT LILOG, 1988	253	1988
Order-sorted equational computation G Smolka, W Nutt, JA Goguen, J Meseguer Rewriting Techniques, 297-367, 1989	241	1989
Records for logic programming G Smolka, R Treinen The Journal of Logic Programming 18 (3), 229-258, 1994	194	1994
Mobile objects in distributed oz P Van Roy, S Haridi, P Brand, G Smolka, M Mehl, R Scheidhauer ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (5), 804-851, 1997	185	1997
A feature constraint system for logic programming with entailment H Aït-Kaci, A Podelski, G Smolka Theoretical Computer Science 122 (1-2), 263-283, 1994	180	1994
Definite relations over constraint languages M Höhfeld, G Smolka IBM, 1988	150	1988
Object-oriented concurrent constraint programming in Oz G Smolka, M Henz, J Würtz Grundlagen und Anwendungen der Künstlichen Intelligenz: 17. Fachtagung für …, 1993	149	1993
Logic programming over polymorphically order-sorted types G Smolka Universität Kaiserslautern, 1989	149	1989
Basic narrowing revisited W Nutt, P Réty, G Smolka Journal of Symbolic Computation 7 (3-4), 295-317, 1989	128	1989
A concurrent lambda calculus with futures J Niehren, J Schwinghammer, G Smolka Theoretical Computer Science 364 (3), 338-356, 2006	126	2006
Representation and reasoning with attributive descriptions B Nebel, G Smolka Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG …, 2005	122	2005
Inheritance hierarchies: Semantics and unification G Smolka, H Aït-Kaci Journal of Symbolic Computation 7 (3-4), 343-370, 1989	114	1989
Finite domain constraint programming in Oz C Schulte, G Smolka, J Wurtz A tutorial. Technical report, DFKI and Saarland University, 1999	111	1999
Oz-a programming language for multi-agent systems M Henz, G Smolka, J Würtz IJCAI, 404-409, 1993	107	1993
Order-sorted unification J Meseguer, JA Goguen, G Smolka Journal of Symbolic Computation 8 (4), 383-413, 1989	106	1989
The definition of kernel Oz G Smolka French School on Theoretical Computer Science, 251-292, 1994	93	1994
Autosubst: Reasoning with de Bruijn terms and parallel substitutions S Schäfer, T Tebbi, G Smolka Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing …, 2015	90	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors