Edelkamp, Stefan

引用先

	すべて	2020 年以来
引用	7573	1811
h 指標	44	20
i10 指標	140	51

460

230

115

345

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202543 75 82 172 182 244 302 286 347 386 283 334 409 314 336 394 422 363 362 332 329 342 344 444 338 14

オープンアクセス

すべて表示

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	456	2008
Heuristic search: theory and applications S Edelkamp, S Schrödl Elsevier, 2011	379	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	370	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	285	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	258	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	255	2004
Time complexity of iterative-deepening-A∗ RE Korf, M Reid, S Edelkamp Artificial Intelligence 129 (1-2), 199-218, 2001	213	2001
The deterministic part of IPC-4: An overview J Hoffmann, S Edelkamp Journal of Artificial Intelligence Research 24, 519-579, 2005	203	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	167	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	152	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	140	2000
Symbolic Pattern Databases in Heuristic Search Planning. S Edelkamp AIPS, 274-283, 2002	138	2002
Taming numbers and durations in the model checking integrated planning system S Edelkamp Journal of Artificial Intelligence Research 20, 195-238, 2003	113	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	92	2002
SymBA: A symbolic bidirectional A planner A Torralba, V Alcázar, D Borrajo, P Kissmann, S Edelkamp International Planning Competition, 105-108, 2014	90	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	88	2006
On the Compilation of Plan Constraints and Preferences. S Edelkamp ICAPS, 374-377, 2006	78	2006
Large-scale optimal PDDL3 planning with MIPS-XXL S Edelkamp, S Jabbar, M Nazih 5th International Planning Competition Booklet (IPC-2006), 28-30, 2006	77	2006
Efficient symbolic search for cost-optimal planning Á Torralba, V Alcázar, P Kissmann, S Edelkamp Artificial Intelligence 242, 52-79, 2017	74	2017

現在システムで処理を実行できません。しばらくしてからもう一度お試しください。

論文 1–20

年間引用数

重複した引用

結合された引用

共著者を追加共著者

フォロー

引用先

共著者