Edelkamp, Stefan

Hivatkozott rá

	Összes	2018 óta
Hivatkozások	7122	2063
h-index	42	23
i10-index	134	53

440

220

110

330

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202345 74 85 174 184 245 301 283 335 388 277 338 410 312 347 395 410 368 426 324 315 348 345 299

Nyilvános hozzáférés

Összes megtekintése

55 cikk

9 cikk

elérhető

nem érhető el

Finanszírozási megbízások alapján

Társszerzők

Shahid JabbarVideaHealth.ioE-mail megerősítve itt: acm.org
Alberto Lluch LafuenteTechnical University of DenmarkE-mail megerősítve itt: dtu.dk
Damian SulewskiE-mail megerősítve itt: tzi.de
Stefan LeueProfessor of Computer Science, University of Konstanz, GermanyE-mail megerősítve itt: uni-konstanz.de
Dragan Bosnackiassistant professor, Eindhoven University of TechnologyE-mail megerősítve itt: tue.nl
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)E-mail megerősítve itt: cs.uni-saarland.de
Stefan SchroedlAtomwise, IncE-mail megerősítve itt: atomwise.com
Anton WijsAssociate Professor on Parallel Software Development at Eindhoven University of TechnologyE-mail megerősítve itt: tue.nl
Jyrki KatajainenAcademic worker at the Institute of DalalogyE-mail megerősítve itt: di.ku.dk
Otthein HerzogProfessor of Artificial Intelligence, Tongji University, Shanghai, and University of Bremen, GermanyE-mail megerősítve itt: tzi.org
Álvaro TorralbaAalborg UniversityE-mail megerősítve itt: cs.aau.dk
Amr ElmasryProfessor, Egypt University of Informatics and Alexandria UniversityE-mail megerősítve itt: eui.edu.eg
Erion PlakuAssociate Professor, Department of Computer Science, George Mason UniversityE-mail megerősítve itt: gmu.edu
Malte HelmertProfessor of Computer Science, University of BaselE-mail megerősítve itt: unibas.ch
Ionut MoraruPost Doctoral Research Associate in Explainable AIE-mail megerősítve itt: lincoln.ac.uk
Tristan CazenaveProfessor Université Paris-Dauphine PSL CNRSE-mail megerősítve itt: lamsade.dauphine.fr
Richard E. KorfProfessor of Computer Science, University of California, Los AngelesE-mail megerősítve itt: cs.ucla.edu
Armin WeißUniversität Stuttgart, FMIE-mail megerősítve itt: fmi.uni-stuttgart.de
Sylvie ThiebauxThe Australian National UniversityE-mail megerősítve itt: anu.edu.au
Santiago FrancoLecturer, Royal Holloway University of London (RHUL)E-mail megerősítve itt: rhul.ac.uk

Követés

Edelkamp, Stefan

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

E-mail megerősítve itt: fel.cvut.cz - Kezdőlap

Action Planning Heuristic Search Algorithm Engineering Model Checking IT-Security


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
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	196	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	72	2006
Automated creation of pattern database search heuristics S Edelkamp International Workshop on Model Checking and Artificial Intelligence, 35-50, 2006	68	2006

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

Követés

Hivatkozott rá

Társszerzők