Gert Smolka

Geciteerd door

	Alles	Sinds 2020
Citaties	7699	733
h-index	40	11
i10-index	88	13

360

180

270

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202570 104 114 145 209 226 330 293 293 284 324 280 290 231 215 193 192 263 251 356 227 278 234 181 143 158 142 131 120 134 145 180 162 152 181 102 120 16

Openbare toegang

Alles bekijken

4 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Mark KaminskiDepartmental Lecturer, University of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
Peter Van RoyProfessor of Computing Science and Engineering, ICTEAM, EPL, Université catholique de LouvainGeverifieerd e-mailadres voor uclouvain.be
Christian SchulteProfessor of Computer Science, KTH Royal Institute of TechnologyGeverifieerd e-mailadres voor kth.se
Werner NuttProfessor of Computer Science, Free University of Bozen-BolzanoGeverifieerd e-mailadres voor unibz.it
Seif HaridiProfessor of Computer Systems, KTH, RISEGeverifieerd e-mailadres voor ri.se
Manfred Schmidt-SchaußProfessor für Informatik, Goethe-University FrankfurtGeverifieerd e-mailadres voor ki.informatik.uni-frankfurt.de
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityGeverifieerd e-mailadres voor informatik.uni-freiburg.de
Joachim NiehrenINRIA LilleGeverifieerd e-mailadres voor inria.fr
Martin HenzNational University of SingaporeGeverifieerd e-mailadres voor comp.nus.edu.sg
Bernhard NebelProfessor für Informatik, Universität FreiburgGeverifieerd e-mailadres voor uni-freiburg.de
Hassan Aït-KaciHAK Language TechnologiesGeverifieerd e-mailadres voor acm.org
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignGeverifieerd e-mailadres voor illinois.edu
Guido TackAssociate Professor, Monash UniversityGeverifieerd e-mailadres voor monash.edu
Rolf BackofenProfessor für Bioinformatik, Universität FreiburgGeverifieerd e-mailadres voor informatik.uni-freiburg.de
Sigurd SchneiderSaarland UniversityGeverifieerd e-mailadres voor cs.uni-saarland.de
Franz BaaderProfessor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/LeipzigGeverifieerd e-mailadres voor tu-dresden.de
Hans-Jürgen BürckertDFKI GmbHGeverifieerd e-mailadres voor dfki.de
Moritz HardtMax Planck Institute for Intelligent SystemsGeverifieerd e-mailadres voor is.mpg.de
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyGeverifieerd e-mailadres voor uni-bremen.de

Volgen

Gert Smolka

Professor of Computer Science, Saarland University, Saarland Informatics Campus

Geverifieerd e-mailadres voor ps.uni-saarland.de - Homepage

Computational Logic Programming Languages


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Attributive concept descriptions with complements M Schmidt-Schauß, G Smolka Artificial intelligence 48 (1), 1-26, 1991	1684	1991
The Oz programming model G Smolka Computer Science Today: Recent Trends and Developments, 324-343, 2005	770*	2005
Feature-constraint logics for unification grammars G Smolka The Journal of Logic Programming 12 (1-2), 51-87, 1992	279	1992
A feature logic with subsorts G Smolka IBM Deutschland, WT LILOG, 1988	252	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	195	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	181	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	129	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
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	98	2015
The definition of kernel Oz G Smolka French School on Theoretical Computer Science, 251-292, 1994	93	1994

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs