2017

2016

  1. Pablo Muñoz, Nils Vortmeier and Thomas Zeume.
    Dynamic Graph Queries.
    In 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016. 2016, 14:1–14:18.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/MunozVZ16,
    	author = "Pablo Mu{\~{n}}oz and Nils Vortmeier and Thomas Zeume",
    	bibsource = "dblp computer science bibliography, http://dblp.org",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/MunozVZ16",
    	booktitle = "19th International Conference on Database Theory, {ICDT} 2016, Bordeaux, France, March 15-18, 2016",
    	crossref = "DBLP:conf/icdt/2016",
    	doi = "10.4230/LIPIcs.ICDT.2016.14",
    	pages = "14:1--14:18",
    	timestamp = "Wed, 23 Mar 2016 10:12:09 +0100",
    	title = "Dynamic Graph Queries",
    	url = "http://dx.doi.org/10.4230/LIPIcs.ICDT.2016.14",
    	year = 2016,
    	bdsk-url-1 = "http://dx.doi.org/10.4230/LIPIcs.ICDT.2016.14"
    }
    

2015

  1. Thomas Schwentick, Nils Vortmeier and Thomas Zeume.
    Static Analysis for Logic-based Dynamic Programs.
    In 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany. 2015, 308–324.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/csl/SchwentickVZ15,
    	author = "Thomas Schwentick and Nils Vortmeier and Thomas Zeume",
    	title = "Static Analysis for Logic-based Dynamic Programs",
    	booktitle = "24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015, September 7-10, 2015, Berlin, Germany",
    	pages = "308--324",
    	year = 2015,
    	url = "http://dx.doi.org/10.4230/LIPIcs.CSL.2015.308",
    	doi = "10.4230/LIPIcs.CSL.2015.308",
    	timestamp = "Mon, 14 Sep 2015 16:03:03 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/csl/SchwentickVZ15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

2014

2013

2012

2011

2010

2008

2007