Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Shahid Jabbar
@incollection{DBLP:reference/ai/EdelkampJ09,
author = {Stefan Edelkamp and
Shahid Jabbar},
editor = {Juan R. Rabu{\~{n}}al and
Juli{\'{a}}n Dorado and
Alejandro Pazos},
title = {Disk-Based Search},
booktitle = {Encyclopedia of Artificial Intelligence {(3} Volumes)},
pages = {501--506},
publisher = {{IGI} Global},
year = {2009},
url = {http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=10293},
timestamp = {Mon, 22 May 2023 11:26:05 +0200},
biburl = {https://dblp.org/rec/reference/ai/EdelkampJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Jabbar2008,
author = {Shahid Jabbar},
title = {External memory algorithms for state space exploration in model checking
and action planning},
school = {Dortmund University of Technology},
year = {2008},
url = {http://eldorado.tu-dortmund.de:8080/bitstream/2003/26196/2/Dissertation\_Jabbar.pdf},
urn = {urn:nbn:de:hbz:290-2003/26196-4},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Jabbar2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/EdelkampJMRS08,
author = {Stefan Edelkamp and
Shahid Jabbar and
Dino Midzic and
Daniel Rikowski and
Damian Sulewski},
title = {External Memory Search for Verification of Multi-threaded {C++} Programs},
journal = {K{\"{u}}nstliche Intell.},
volume = {22},
number = {2},
pages = {44--50},
year = {2008},
url = {http://www.kuenstliche-intelligenz.de/fileadmin/template/main/archiv/pdf/ki2008-02\_page44\_web\_teaser.pdf},
timestamp = {Fri, 27 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/EdelkampJMRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/EdelkampJK08,
author = {Stefan Edelkamp and
Shahid Jabbar and
Peter Kissmann},
editor = {Doron A. Peled and
Michael J. Wooldridge},
title = {Scaling Search with Pattern Databases},
booktitle = {Model Checking and Artificial Intelligence, 5th International Workshop,
MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5348},
pages = {49--64},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00431-5\_4},
doi = {10.1007/978-3-642-00431-5\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mochart/EdelkampJK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Jabbar07,
author = {Shahid Jabbar},
title = {External Directed Search},
journal = {K{\"{u}}nstliche Intell.},
volume = {21},
number = {1},
pages = {37--38},
year = {2007},
url = {http://www.kuenstliche-intelligenz.de/index.php?id=7754\&\#38;tx\_ki\_pi1\%5BshowUid\%5D=1252\&\#38;cHash=fb0582c30d},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Jabbar07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/EdelkampJB07,
author = {Stefan Edelkamp and
Shahid Jabbar and
Blai Bonet},
editor = {Mark S. Boddy and
Maria Fox and
Sylvie Thi{\'{e}}baux},
title = {External Memory Value Iteration},
booktitle = {Proceedings of the Seventeenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2007, Providence, Rhode Island, USA,
September 22-26, 2007},
pages = {128--135},
publisher = {{AAAI}},
year = {2007},
url = {http://www.aaai.org/Library/ICAPS/2007/icaps07-017.php},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/aips/EdelkampJB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/DrozdzynskiEGJL07,
author = {Maik Drozdzynski and
Stefan Edelkamp and
Andreas Gaubatz and
Shahid Jabbar and
Miguel Liebe},
title = {On Constructing a Base Map for Collaborative Map Generation and its
Application in Urban Mobility Planning},
booktitle = {{IEEE} Intelligent Transportation Systems Conference, {ITSC} 2007,
Seattle, WA, USA, 30 September-3 October 2007},
pages = {678--683},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ITSC.2007.4357785},
doi = {10.1109/ITSC.2007.4357785},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/itsc/DrozdzynskiEGJL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EdelkampJS08,
author = {Stefan Edelkamp and
Shahid Jabbar and
Damian Sulewski},
editor = {Ivana Cern{\'{a}} and
Boudewijn R. Haverkort},
title = {Distributed Verification of Multi-threaded {C++} Programs},
booktitle = {Proceedings of the 6th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {198},
number = {1},
pages = {33--46},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.10.019},
doi = {10.1016/J.ENTCS.2007.10.019},
timestamp = {Mon, 13 Feb 2023 09:23:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EdelkampJS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EdelkampJ06,
author = {Stefan Edelkamp and
Shahid Jabbar},
title = {Cost-Optimal External Planning},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {821--826},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-130.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EdelkampJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EdelkampJL06,
author = {Stefan Edelkamp and
Shahid Jabbar and
Alberto Lluch{-}Lafuente},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {Heuristic Search for the Analysis of Graph Transition Systems},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {414--429},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_29},
doi = {10.1007/11841883\_29},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/EdelkampJL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/EdelkampJ06,
author = {Stefan Edelkamp and
Shahid Jabbar},
editor = {Stefan Edelkamp and
Alessio Lomuscio},
title = {Real-Time Model Checking on Secondary Storage},
booktitle = {Model Checking and Artificial Intelligence, 4th Workshop, MoChArt
IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4428},
pages = {67--83},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74128-2\_5},
doi = {10.1007/978-3-540-74128-2\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mochart/EdelkampJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/EdelkampJ06,
author = {Stefan Edelkamp and
Shahid Jabbar},
editor = {Antti Valmari},
title = {Large-Scale Directed Model Checking {LTL}},
booktitle = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
Austria, March 30 - April 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3925},
pages = {1--18},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691617\_1},
doi = {10.1007/11691617\_1},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/EdelkampJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/JabbarE06,
author = {Shahid Jabbar and
Stefan Edelkamp},
editor = {E. Allen Emerson and
Kedar S. Namjoshi},
title = {Parallel External Directed Model Checking with Linear {I/O}},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International
Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3855},
pages = {237--251},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11609773\_16},
doi = {10.1007/11609773\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/JabbarE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/EdelkampJW05,
author = {Stefan Edelkamp and
Shahid Jabbar and
Thomas Willhalm},
title = {Geometric travel planning},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {6},
number = {1},
pages = {5--16},
year = {2005},
url = {https://doi.org/10.1109/TITS.2004.838182},
doi = {10.1109/TITS.2004.838182},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tits/EdelkampJW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EdelkampJL05,
author = {Stefan Edelkamp and
Shahid Jabbar and
Alberto Lluch{-}Lafuente},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {Cost-Algebraic Heuristic Search},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {1362--1367},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-216.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EdelkampJL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/JabbarE05,
author = {Shahid Jabbar and
Stefan Edelkamp},
editor = {Radhia Cousot},
title = {{I/O} Efficient Directed Model Checking},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {313--329},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_21},
doi = {10.1007/978-3-540-30579-8\_21},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/JabbarE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EdelkampJ06,
author = {Stefan Edelkamp and
Shahid Jabbar},
editor = {Charles Pecheur and
Brian Williams},
title = {Action Planning for Directed Model Checking of Petri Nets},
booktitle = {Proceedings of the Third Workshop on Model Checking and Artificial
Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August
27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {149},
number = {2},
pages = {3--18},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.023},
doi = {10.1016/J.ENTCS.2005.07.023},
timestamp = {Thu, 15 Dec 2022 15:43:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EdelkampJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampJS04,
author = {Stefan Edelkamp and
Shahid Jabbar and
Stefan Schr{\"{o}}dl},
editor = {Susanne Biundo and
Thom W. Fr{\"{u}}hwirth and
G{\"{u}}nther Palm},
title = {External A*},
booktitle = {{KI} 2004: Advances in Artificial Intelligence, 27th Annual German
Conference on AI, {KI} 2004, Ulm, Germany, September 20-24, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3238},
pages = {226--240},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30221-6\_18},
doi = {10.1007/978-3-540-30221-6\_18},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/EdelkampJS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/puk/EdelkampJW03,
author = {Stefan Edelkamp and
Shahid Jabbar and
Thomas Willhalm},
editor = {Lothar Hotz and
Thorsten Krebs},
title = {Accelerating Heuristic Search in Spatial Domains},
booktitle = {Proceedings Workshop Planen und Konfigurieren (PuK-2003), Jahrestagung
K{\"{u}}nstliche Intelligenz 2003 {(KI-2003)} Hamburg, 15.-18.
September 2003},
year = {2003},
url = {http://www.puk-workshop.de/puk2003/paper/edelkamp\_puk2003.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/puk/EdelkampJW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/JabbarZ01,
author = {Shahid Jabbar and
Abbas K. Zaidi},
title = {A generalized methodology and framework for the validation and verification
of multi-agent systems},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
{\&} Cybernetics: "e-Systems and e-Man for Cybernetics in Cyberspace",
Tucson, Arizona, USA, 7-10 October 2001},
pages = {835--840},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/ICSMC.2001.973019},
doi = {10.1109/ICSMC.2001.973019},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/JabbarZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
