BibTeX records: Shahid Jabbar

download as .bib file

@incollection{DBLP:reference/ai/EdelkampJ09,
  author    = {Stefan Edelkamp and
               Shahid Jabbar},
  title     = {Disk-Based Search},
  booktitle = {Encyclopedia of Artificial Intelligence {(3} Volumes)},
  pages     = {501--506},
  year      = {2009},
  crossref  = {DBLP:reference/ai/2009},
  url       = {http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=10293},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/reference/ai/EdelkampJ09},
  bibsource = {dblp computer science bibliography, http://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 = {Wed, 04 May 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/phd/de/Jabbar2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/EdelkampJS08,
  author    = {Stefan Edelkamp and
               Shahid Jabbar and
               Damian Sulewski},
  title     = {Distributed Verification of Multi-threaded {C++} Programs},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {198},
  number    = {1},
  pages     = {33--46},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2007.10.019},
  doi       = {10.1016/j.entcs.2007.10.019},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/EdelkampJS08},
  bibsource = {dblp computer science bibliography, http://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   = {{KI}},
  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 = {Wed, 29 Jul 2009 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ki/EdelkampJMRS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mochart/EdelkampJK08,
  author    = {Stefan Edelkamp and
               Shahid Jabbar and
               Peter Kissmann},
  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},
  pages     = {49--64},
  year      = {2008},
  crossref  = {DBLP:conf/mochart/2008},
  url       = {https://doi.org/10.1007/978-3-642-00431-5_4},
  doi       = {10.1007/978-3-642-00431-5_4},
  timestamp = {Wed, 17 May 2017 14:25:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mochart/EdelkampJK08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ki/Jabbar07,
  author    = {Shahid Jabbar},
  title     = {External Directed Search},
  journal   = {{KI}},
  volume    = {21},
  number    = {1},
  pages     = {37--38},
  year      = {2007},
  url       = {http://www.kuenstliche-intelligenz.de/index.php?id=7754&tx_ki_pi1[showUid]=1252&cHash=fb0582c30d},
  timestamp = {Wed, 29 Jul 2009 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ki/Jabbar07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aips/EdelkampJB07,
  author    = {Stefan Edelkamp and
               Shahid Jabbar and
               Blai Bonet},
  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},
  year      = {2007},
  crossref  = {DBLP:conf/aips/2007},
  url       = {http://www.aaai.org/Library/ICAPS/2007/icaps07-017.php},
  timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aips/EdelkampJB07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/EdelkampJ06,
  author    = {Stefan Edelkamp and
               Shahid Jabbar},
  title     = {Action Planning for Directed Model Checking of Petri Nets},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {149},
  number    = {2},
  pages     = {3--18},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2005.07.023},
  doi       = {10.1016/j.entcs.2005.07.023},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/EdelkampJ06},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2006},
  crossref  = {DBLP:conf/aaai/2006},
  url       = {http://www.aaai.org/Library/AAAI/2006/aaai06-130.php},
  timestamp = {Mon, 19 Mar 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/EdelkampJ06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/gg/EdelkampJL06,
  author    = {Stefan Edelkamp and
               Shahid Jabbar and
               Alberto Lluch{-}Lafuente},
  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},
  pages     = {414--429},
  year      = {2006},
  crossref  = {DBLP:conf/gg/2006},
  url       = {https://doi.org/10.1007/11841883_29},
  doi       = {10.1007/11841883_29},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/gg/EdelkampJL06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mochart/EdelkampJ06,
  author    = {Stefan Edelkamp and
               Shahid Jabbar},
  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},
  pages     = {67--83},
  year      = {2006},
  crossref  = {DBLP:conf/mochart/2006},
  url       = {https://doi.org/10.1007/978-3-540-74128-2_5},
  doi       = {10.1007/978-3-540-74128-2_5},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mochart/EdelkampJ06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spin/EdelkampJ06,
  author    = {Stefan Edelkamp and
               Shahid Jabbar},
  title     = {Large-Scale Directed Model Checking {LTL}},
  booktitle = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
               Austria, March 30 - April 1, 2006, Proceedings},
  pages     = {1--18},
  year      = {2006},
  crossref  = {DBLP:conf/spin/2006},
  url       = {https://doi.org/10.1007/11691617_1},
  doi       = {10.1007/11691617_1},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spin/EdelkampJ06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/JabbarE06,
  author    = {Shahid Jabbar and
               Stefan Edelkamp},
  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},
  pages     = {237--251},
  year      = {2006},
  crossref  = {DBLP:conf/vmcai/2006},
  url       = {https://doi.org/10.1007/11609773_16},
  doi       = {10.1007/11609773_16},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vmcai/JabbarE06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tits/EdelkampJW05,
  author    = {Stefan Edelkamp and
               Shahid Jabbar and
               Thomas Willhalm},
  title     = {Geometric travel planning},
  journal   = {{IEEE} Trans. Intelligent Transportation Systems},
  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 = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tits/EdelkampJW05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EdelkampJL05,
  author    = {Stefan Edelkamp and
               Shahid Jabbar and
               Alberto Lluch{-}Lafuente},
  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},
  year      = {2005},
  crossref  = {DBLP:conf/aaai/2005},
  url       = {http://www.aaai.org/Library/AAAI/2005/aaai05-216.php},
  timestamp = {Mon, 10 Dec 2012 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/EdelkampJL05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/JabbarE05,
  author    = {Shahid Jabbar and
               Stefan Edelkamp},
  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},
  pages     = {313--329},
  year      = {2005},
  crossref  = {DBLP:conf/vmcai/2005},
  url       = {https://doi.org/10.1007/978-3-540-30579-8_21},
  doi       = {10.1007/978-3-540-30579-8_21},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vmcai/JabbarE05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampJS04,
  author    = {Stefan Edelkamp and
               Shahid Jabbar and
               Stefan Schr{\"{o}}dl},
  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},
  pages     = {226--240},
  year      = {2004},
  crossref  = {DBLP:conf/ki/2004},
  url       = {https://doi.org/10.1007/978-3-540-30221-6_18},
  doi       = {10.1007/978-3-540-30221-6_18},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ki/EdelkampJS04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/puk/EdelkampJW03,
  author    = {Stefan Edelkamp and
               Shahid Jabbar and
               Thomas Willhalm},
  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},
  crossref  = {DBLP:conf/puk/2003},
  url       = {http://www.puk-workshop.de/puk2003/paper/edelkamp_puk2003.pdf},
  timestamp = {Thu, 18 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/puk/EdelkampJW03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:reference/ai/2009,
  editor    = {Juan R. Rabu{\~{n}}al and
               Julian Dorado and
               Alejandro Pazos},
  title     = {Encyclopedia of Artificial Intelligence {(3} Volumes)},
  publisher = {{IGI} Global},
  year      = {2009},
  url       = {https://doi.org/10.4018/978-1-59904-849-9},
  doi       = {10.4018/978-1-59904-849-9},
  isbn      = {9781599048499},
  timestamp = {Tue, 16 May 2017 14:02:19 +0200},
  biburl    = {http://dblp.org/rec/bib/reference/ai/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mochart/2008,
  editor    = {Doron A. Peled and
               Michael Wooldridge},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00431-5},
  doi       = {10.1007/978-3-642-00431-5},
  isbn      = {978-3-642-00430-8},
  timestamp = {Wed, 17 May 2017 14:25:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mochart/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aips/2007,
  editor    = {Mark S. Boddy and
               Maria Fox and
               Sylvie Thi{\'{e}}baux},
  title     = {Proceedings of the Seventeenth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2007, Providence, Rhode Island, USA,
               September 22-26, 2007},
  publisher = {{AAAI}},
  year      = {2007},
  isbn      = {978-1-57735-344-7},
  timestamp = {Fri, 15 Aug 2008 12:09:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aips/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/2006,
  title     = {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}},
  publisher = {{AAAI} Press},
  year      = {2006},
  timestamp = {Thu, 13 Jul 2006 12:28:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/gg/2006,
  editor    = {Andrea Corradini and
               Hartmut Ehrig and
               Ugo Montanari and
               Leila Ribeiro and
               Grzegorz Rozenberg},
  title     = {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},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11841883},
  doi       = {10.1007/11841883},
  isbn      = {3-540-38870-2},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/gg/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mochart/2006,
  editor    = {Stefan Edelkamp and
               Alessio Lomuscio},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74128-2},
  doi       = {10.1007/978-3-540-74128-2},
  isbn      = {978-3-540-74127-5},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mochart/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/spin/2006,
  editor    = {Antti Valmari},
  title     = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
               Austria, March 30 - April 1, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3925},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11691617},
  doi       = {10.1007/11691617},
  isbn      = {3-540-33102-6},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spin/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2006,
  editor    = {E. Allen Emerson and
               Kedar S. Namjoshi},
  title     = {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},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11609773},
  doi       = {10.1007/11609773},
  isbn      = {3-540-31139-4},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vmcai/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/2005,
  editor    = {Manuela M. Veloso and
               Subbarao Kambhampati},
  title     = {Proceedings, The Twentieth National Conference on Artificial Intelligence
               and the Seventeenth Innovative Applications of Artificial Intelligence
               Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {2005},
  isbn      = {1-57735-236-X},
  timestamp = {Mon, 26 Feb 2007 09:10:53 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2005,
  editor    = {Radhia Cousot},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b105073},
  doi       = {10.1007/b105073},
  isbn      = {3-540-24297-X},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vmcai/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ki/2004,
  editor    = {Susanne Biundo and
               Thom W. Fr{\"{u}}hwirth and
               G{\"{u}}nther Palm},
  title     = {{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},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100351},
  doi       = {10.1007/b100351},
  isbn      = {3-540-23166-8},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ki/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/puk/2003,
  editor    = {Lothar Hotz and
               Thorsten Krebs},
  title     = {Proceedings Workshop Planen und Konfigurieren (PuK-2003), Jahrestagung
               K{\"{u}}nstliche Intelligenz 2003 {(KI-2003)} Hamburg, 15.-18.
               September 2003},
  year      = {2003},
  timestamp = {Mon, 06 Sep 2004 13:16:35 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/puk/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier