Edelkamp, Stefan

Citée par

	Toutes	Depuis 2018
Citations	7129	2070
indice h	42	23
indice i10	134	53

440

220

110

330

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202344 74 85 174 184 245 301 283 335 388 277 338 410 312 349 395 410 368 426 324 315 348 345 306

Accès public

Tout afficher

55 articles

9 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Shahid JabbarVideaHealth.ioAdresse e-mail validée de acm.org
Alberto Lluch LafuenteTechnical University of DenmarkAdresse e-mail validée de dtu.dk
Damian SulewskiAdresse e-mail validée de tzi.de
Stefan LeueProfessor of Computer Science, University of Konstanz, GermanyAdresse e-mail validée de uni-konstanz.de
Dragan Bosnackiassistant professor, Eindhoven University of TechnologyAdresse e-mail validée de tue.nl
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Adresse e-mail validée de cs.uni-saarland.de
Stefan SchroedlAtomwise, IncAdresse e-mail validée de atomwise.com
Anton WijsAssociate Professor on Parallel Software Development at Eindhoven University of TechnologyAdresse e-mail validée de tue.nl
Jyrki KatajainenAcademic worker at the Institute of DalalogyAdresse e-mail validée de di.ku.dk
Otthein HerzogProfessor of Artificial Intelligence, Tongji University, Shanghai, and University of Bremen, GermanyAdresse e-mail validée de tzi.org
Álvaro TorralbaAalborg UniversityAdresse e-mail validée de cs.aau.dk
Amr ElmasryProfessor, Egypt University of Informatics and Alexandria UniversityAdresse e-mail validée de eui.edu.eg
Erion PlakuAssociate Professor, Department of Computer Science, George Mason UniversityAdresse e-mail validée de gmu.edu
Malte HelmertProfessor of Computer Science, University of BaselAdresse e-mail validée de unibas.ch
Ionut MoraruPost Doctoral Research Associate in Explainable AIAdresse e-mail validée de lincoln.ac.uk
Tristan CazenaveProfessor Université Paris-Dauphine PSL CNRSAdresse e-mail validée de lamsade.dauphine.fr
Richard E. KorfProfessor of Computer Science, University of California, Los AngelesAdresse e-mail validée de cs.ucla.edu
Armin WeißUniversität Stuttgart, FMIAdresse e-mail validée de fmi.uni-stuttgart.de
Sylvie ThiebauxThe Australian National UniversityAdresse e-mail validée de anu.edu.au
Santiago FrancoLecturer, Royal Holloway University of London (RHUL)Adresse e-mail validée de rhul.ac.uk

Suivre

Edelkamp, Stefan

Computer Science & Artificial Intelligence Center Faculty of Electrical Engineering, CTU in Prague

Adresse e-mail validée de fel.cvut.cz - Page d'accueil

Action Planning Heuristic Search Algorithm Engineering Model Checking IT-Security


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Partial symbolic pattern databases for optimal sequential planning S Edelkamp, P Kissmann Annual Conference on Artificial Intelligence, 193-200, 2008	432	2008
Heuristic search: theory and applications S Edelkamp, S Schrödl Elsevier, 2011	349	2011
PDDL2. 2: The language for the classical part of the 4th international planning competition S Edelkamp, J Hoffmann Technical Report 195, University of Freiburg, 2004	348	2004
Route planning and map inference with global positioning traces S Edelkamp, S Schrödl Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, 128-151, 2003	273	2003
Directed explicit model checking with HSF-SPIN S Edelkamp, AL Lafuente, S Leue International SPIN Workshop on Model Checking of Software, 57-79, 2001	251	2001
Directed explicit-state model checking in the validation of communication protocols S Edelkamp, S Leue, A Lluch-Lafuente International journal on software tools for technology transfer 5, 247-267, 2004	239	2004
Time complexity of iterative-deepening-A∗ RE Korf, M Reid, S Edelkamp Artificial Intelligence 129 (1-2), 199-218, 2001	203	2001
The deterministic part of IPC-4: An overview J Hoffmann, S Edelkamp Journal of Artificial Intelligence Research 24, 519-579, 2005	197	2005
Incremental map generation with GPS traces R Bruntrup, S Edelkamp, S Jabbar, B Scholz Proceedings. 2005 IEEE Intelligent Transportation Systems, 2005., 574-579, 2005	165	2005
MIPS: The model-checking integrated planning system S Edelkamp, M Helmert AI magazine 22 (3), 57-57, 2001	155	2001
OBDDs in heuristic search S Edelkamp, F Reffel KI-98: Advances in Artificial Intelligence: 22nd Annual German Conference on …, 1998	138	1998
Symbolic Pattern Databases in Heuristic Search Planning. S Edelkamp AIPS, 274-283, 2002	136	2002
Exhibiting knowledge in planning problems to minimize state encoding length S Edelkamp, M Helmert Recent Advances in AI Planning: 5th European Conference on Planning, ECP’99 …, 2000	135	2000
Taming numbers and durations in the model checking integrated planning system S Edelkamp Journal of Artificial Intelligence Research 20, 195-238, 2003	111	2003
SymBA: A symbolic bidirectional A planner A Torralba, V Alcázar, D Borrajo, P Kissmann, S Edelkamp International Planning Competition, 105-108, 2014	85	2014
Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4 J Hoffmann, S Edelkamp, S Thiébaux, R Englert, F Liporace, S Trüg Journal of Artificial Intelligence Research 26, 453-541, 2006	85	2006
Partial order reduction in directed model checking A Lluch-Lafuente, S Edelkamp, S Leue Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002	78	2002
Large-scale optimal PDDL3 planning with MIPS-XXL S Edelkamp, S Jabbar, M Nazih 5th International Planning Competition Booklet (IPC-2006), 28-30, 2006	76	2006
On the Compilation of Plan Constraints and Preferences. S Edelkamp ICAPS, 374-377, 2006	73	2006
Automated creation of pattern database search heuristics S Edelkamp International Workshop on Model Checking and Artificial Intelligence, 35-50, 2006	68	2006

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs