BibTeX records: Alexander Wenner

download as .bib file

@inproceedings{DBLP:conf/lopstr/MantelMPW15,
  author       = {Heiko Mantel and
                  Markus M{\"{u}}ller{-}Olm and
                  Matthias Perner and
                  Alexander Wenner},
  title        = {Using Dynamic Pushdown Networks to Automate a Modular Information-Flow
                  Analysis},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 25th International
                  Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
                  Selected Papers},
  pages        = {201--217},
  year         = {2015},
  crossref     = {DBLP:conf/lopstr/2015},
  url          = {https://doi.org/10.1007/978-3-319-27436-2\_12},
  doi          = {10.1007/978-3-319-27436-2\_12},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/MantelMPW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/LammichMSW13,
  author       = {Peter Lammich and
                  Markus M{\"{u}}ller{-}Olm and
                  Helmut Seidl and
                  Alexander Wenner},
  title        = {Contextual Locking for Dynamic Pushdown Networks},
  booktitle    = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
                  WA, USA, June 20-22, 2013. Proceedings},
  pages        = {477--498},
  year         = {2013},
  crossref     = {DBLP:conf/sas/2013},
  url          = {https://doi.org/10.1007/978-3-642-38856-9\_25},
  doi          = {10.1007/978-3-642-38856-9\_25},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/LammichMSW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/GawlitzaLMSW11,
  author       = {Thomas Martin Gawlitza and
                  Peter Lammich and
                  Markus M{\"{u}}ller{-}Olm and
                  Helmut Seidl and
                  Alexander Wenner},
  title        = {Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs
                  with Dynamic Process Creation},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  pages        = {199--213},
  year         = {2011},
  crossref     = {DBLP:conf/vmcai/2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_15},
  doi          = {10.1007/978-3-642-18275-4\_15},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/GawlitzaLMSW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/Wenner10,
  author       = {Alexander Wenner},
  title        = {Weighted Dynamic Pushdown Networks},
  booktitle    = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  pages        = {590--609},
  year         = {2010},
  crossref     = {DBLP:conf/esop/2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6\_31},
  doi          = {10.1007/978-3-642-11957-6\_31},
  timestamp    = {Mon, 14 Feb 2022 09:20:30 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/Wenner10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LammichMW09,
  author       = {Peter Lammich and
                  Markus M{\"{u}}ller{-}Olm and
                  Alexander Wenner},
  title        = {Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints},
  booktitle    = {Computer Aided Verification, 21st International Conference, {CAV}
                  2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  pages        = {525--539},
  year         = {2009},
  crossref     = {DBLP:conf/cav/2009},
  url          = {https://doi.org/10.1007/978-3-642-02658-4\_39},
  doi          = {10.1007/978-3-642-02658-4\_39},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LammichMW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memics/Wenner09,
  author       = {Alexander Wenner},
  title        = {Weighted Dynamic Pushdown Networks},
  booktitle    = {Annual Doctoral Workshop on Mathematical and Engineering Methods in
                  Computer Science, {MEMICS} 2009, November 13-15, 2009, Prestige Hotel,
                  Znojmo, Czech Republic},
  year         = {2009},
  crossref     = {DBLP:conf/memics/2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2009/2344},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memics/Wenner09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lopstr/2015,
  editor       = {Moreno Falaschi},
  title        = {Logic-Based Program Synthesis and Transformation - 25th International
                  Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9527},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-27436-2},
  doi          = {10.1007/978-3-319-27436-2},
  isbn         = {978-3-319-27435-5},
  timestamp    = {Fri, 20 Sep 2024 09:40:13 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sas/2013,
  editor       = {Francesco Logozzo and
                  Manuel F{\"{a}}hndrich},
  title        = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
                  WA, USA, June 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7935},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38856-9},
  doi          = {10.1007/978-3-642-38856-9},
  isbn         = {978-3-642-38855-2},
  timestamp    = {Fri, 20 Sep 2024 09:40:13 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/vmcai/2011,
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4},
  doi          = {10.1007/978-3-642-18275-4},
  isbn         = {978-3-642-18274-7},
  timestamp    = {Fri, 20 Sep 2024 09:40:13 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/esop/2010,
  editor       = {Andrew D. Gordon},
  title        = {Programming Languages and Systems, 19th European Symposium on Programming,
                  {ESOP} 2010, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6012},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11957-6},
  doi          = {10.1007/978-3-642-11957-6},
  isbn         = {978-3-642-11956-9},
  timestamp    = {Fri, 20 Sep 2024 09:40:13 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cav/2009,
  editor       = {Ahmed Bouajjani and
                  Oded Maler},
  title        = {Computer Aided Verification, 21st International Conference, {CAV}
                  2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5643},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02658-4},
  doi          = {10.1007/978-3-642-02658-4},
  isbn         = {978-3-642-02657-7},
  timestamp    = {Fri, 20 Sep 2024 09:40:13 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/memics/2009,
  editor       = {Petr Hlinen{\'{y}} and
                  V{\'{a}}clav Maty{\'{a}}s and
                  Tom{\'{a}}s Vojnar},
  title        = {Annual Doctoral Workshop on Mathematical and Engineering Methods in
                  Computer Science, {MEMICS} 2009, November 13-15, 2009, Prestige Hotel,
                  Znojmo, Czech Republic},
  series       = {OASIcs},
  volume       = {13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/portals/09006/},
  timestamp    = {Fri, 20 Sep 2024 09:40:13 +0200},
  biburl       = {https://dblp.org/rec/conf/memics/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.