Edelkamp, Stefan

Посилання

	Усі	З 2020
Цитування	7609	1823
h-індекс	44	20
i10-індекс	140	52

460

230

115

345

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202543 81 86 171 183 244 316 287 333 392 278 334 419 307 341 386 421 367 364 334 329 343 353 445 333 20

Доступні для всіх

Переглянути всі

55 статей

12 статей

доступні

недоступні

За умовами фінансування

Співавтори

Shahid JabbarVideaHealth.ioПідтверджена електронна адреса в acm.org
Alberto Lluch LafuenteTechnical University of DenmarkПідтверджена електронна адреса в dtu.dk
Damian SulewskiПідтверджена електронна адреса в tzi.de
Stefan LeueProfessor of Computer Science, University of Konstanz, GermanyПідтверджена електронна адреса в uni-konstanz.de
Dragan Bosnackiassistant professor, Eindhoven University of TechnologyПідтверджена електронна адреса в tue.nl
Stefan SchroedlAtomwise, IncПідтверджена електронна адреса в atomwise.com
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Підтверджена електронна адреса в cs.uni-saarland.de
Anton WijsAssociate Professor on Parallel Software Development at Eindhoven University of TechnologyПідтверджена електронна адреса в tue.nl
Jyrki KatajainenAcademic worker at the Institute of DalalogyПідтверджена електронна адреса в di.ku.dk
Otthein HerzogProfessor of Artificial Intelligence, Tongji University, Shanghai, and University of Bremen, GermanyПідтверджена електронна адреса в tzi.org
Álvaro TorralbaAalborg UniversityПідтверджена електронна адреса в cs.aau.dk
Amr ElmasryProfessor, Egypt University of Informatics and Alexandria UniversityПідтверджена електронна адреса в eui.edu.eg
Erion PlakuProgram Director, National Science Foundation (NSF)Підтверджена електронна адреса в nsf.gov
Ionut MoraruPost Doctoral Research Associate in Intelligent Robotics and AIПідтверджена електронна адреса в lincoln.ac.uk
Malte HelmertProfessor of Computer Science, University of BaselПідтверджена електронна адреса в unibas.ch
Tristan CazenaveProfessor Université Paris Dauphine - PSL CNRSПідтверджена електронна адреса в lamsade.dauphine.fr
Armin WeißUniversität Stuttgart, FMIПідтверджена електронна адреса в fmi.uni-stuttgart.de
Santiago FrancoLecturer, Royal Holloway University of London (RHUL)Підтверджена електронна адреса в rhul.ac.uk
Sylvie ThiebauxThe Australian National University & LAAS-CNRS, University of ToulouseПідтверджена електронна адреса в anu.edu.au
Richard E. KorfProfessor of Computer Science, University of California, Los AngelesПідтверджена електронна адреса в cs.ucla.edu

Підписатись

Edelkamp, Stefan

Department of Theor. Computer Science at Charles University and at FEL/CVUT in Prague

Підтверджена електронна адреса в fel.cvut.cz - Домашня сторінка

Automated Planning Heuristic Search Algorithm Engineering Model Checking IT-Security


Назва Сортувати за цитуваннями Сортувати за роком Сортувати за назвою	Посилання Посилання	Рік
Partial symbolic pattern databases for optimal sequential planning S Edelkamp, P Kissmann Annual Conference on Artificial Intelligence, 193-200, 2008	459	2008
Heuristic search: theory and applications S Edelkamp, S Schrödl Elsevier, 2011	383	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	368	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	287	2003
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	263	2004
Directed explicit model checking with HSF-SPIN S Edelkamp, AL Lafuente, S Leue International SPIN Workshop on Model Checking of Software, 57-79, 2001	259	2001
Time complexity of iterative-deepening-A∗ RE Korf, M Reid, S Edelkamp Artificial Intelligence 129 (1-2), 199-218, 2001	215	2001
The deterministic part of IPC-4: An overview J Hoffmann, S Edelkamp Journal of Artificial Intelligence Research 24, 519-579, 2005	200	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	168	2005
MIPS: The model-checking integrated planning system S Edelkamp, M Helmert AI magazine 22 (3), 57-57, 2001	154	2001
OBDDs in heuristic search S Edelkamp, F Reffel KI-98: Advances in Artificial Intelligence: 22nd Annual German Conference on …, 1998	153	1998
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	139	2000
Symbolic Pattern Databases in Heuristic Search Planning. S Edelkamp AIPS, 274-283, 2002	136	2002
Taming numbers and durations in the model checking integrated planning system S Edelkamp Journal of Artificial Intelligence Research 20, 195-238, 2003	111	2003
Partial order reduction in directed model checking A Lluch-Lafuente, S Edelkamp, S Leue Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002	93	2002
SymBA: A symbolic bidirectional A planner A Torralba, V Alcázar, D Borrajo, P Kissmann, S Edelkamp International Planning Competition, 105-108, 2014	89	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	89	2006
On the Compilation of Plan Constraints and Preferences. S Edelkamp ICAPS, 374-377, 2006	80	2006
Efficient symbolic search for cost-optimal planning Á Torralba, V Alcázar, P Kissmann, S Edelkamp Artificial Intelligence 242, 52-79, 2017	76	2017
Large-scale optimal PDDL3 planning with MIPS-XXL S Edelkamp, S Jabbar, M Nazih 5th International Planning Competition Booklet (IPC-2006), 28-30, 2006	75	2006

У даний момент система не може виконати операцію. Спробуйте пізніше.

Статті 1–20

Кількість бібліографічних посилань на рік

Повторювані посилання

Об’єднані посилання

Додати співавторівСпівавтори

Підписатись

Посилання

Співавтори