Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jonathan Ezekiel" ( http://dblp.L3S.de/Authors/Jonathan_Ezekiel )

  Author page on DBLP  Author page in RDF  Community of Jonathan Ezekiel in ASPL-2

Publication years (Num. hits)
2006-2011 (8)
Publication types (Num. hits)
article(2) inproceedings(6)
Venues (Conferences, Journals, ...)
AAMAS(1) CAV(1) Electr. Notes Theor. Comput. S...(1) FMICS/PDMC(1) ICFEM(1) IJCAI(1) J. Log. Comput.(1) SEFM(1)
Authors
Jonathan Ezekiel(8) Alessio Lomuscio(4) Gerald Lüttgen(4) Radu Siminiceanu(2) Gianfranco Ciardo(1) Levente Molnar(1) Sandor M. Veres(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu To Parallelize or to Optimize? Search on Bibsonomy J. Log. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor M. Veres Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Jonathan Ezekiel, Alessio Lomuscio A Methodology for Automatic Diagnosability Analysis. Search on Bibsonomy ICFEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jonathan Ezekiel, Alessio Lomuscio An Automated Approach to Verifying Diagnosability in Multi-agent Systems. Search on Bibsonomy SEFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jonathan Ezekiel, Alessio Lomuscio Combining fault injection and model checking to verify fault tolerance in multi-agent systems. Search on Bibsonomy AAMAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fault tolerance, model checking, fault injection, epistemic logic
1Jonathan Ezekiel, Gerald Lüttgen Measuring and Evaluating Parallel State-Space Exploration Algorithms. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo Parallelising Symbolic State-Space Generators. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu Can Saturation Be Parallelised? Search on Bibsonomy FMICS/PDMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.