BibTeX records: Christoph Minnameier

download as .bib file

@phdthesis{DBLP:phd/de/Minnameier2010,
  author       = {Christoph Friedrich Minnameier},
  title        = {Interaction in concurrent systems},
  school       = {University of Mannheim},
  year         = {2010},
  url          = {http://madoc.bib.uni-mannheim.de/madoc/volltexte/2010/2913/},
  urn          = {urn:nbn:de:bsz:180-madoc-29133},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Minnameier2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/algorithmica/HertrampfM10,
  author       = {Ulrich Hertrampf and
                  Christoph Minnameier},
  title        = {Resource Bounded Frequency Computations with Three Errors},
  journal      = {Algorithmica},
  volume       = {56},
  number       = {3},
  pages        = {342--363},
  year         = {2010},
  url          = {https://doi.org/10.1007/s00453-009-9330-3},
  doi          = {10.1007/S00453-009-9330-3},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/algorithmica/HertrampfM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rp/Majster-CederbaumM09,
  author       = {Mila E. Majster{-}Cederbaum and
                  Christoph Minnameier},
  editor       = {Olivier Bournez and
                  Igor Potapov},
  title        = {Cross-Checking - Enhanced Over-Approximation of the Reachable Global
                  State Space of Component-Based Systems},
  booktitle    = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
                  France, September 23-25, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5797},
  pages        = {189--202},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04420-5\_18},
  doi          = {10.1007/978-3-642-04420-5\_18},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/Majster-CederbaumM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cocoon/HertrampfM08,
  author       = {Ulrich Hertrampf and
                  Christoph Minnameier},
  editor       = {Xiaodong Hu and
                  Jie Wang},
  title        = {Resource Bounded Frequency Computations with Three Errors},
  booktitle    = {Computing and Combinatorics, 14th Annual International Conference,
                  {COCOON} 2008, Dalian, China, June 27-29, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5092},
  pages        = {72--81},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69733-6\_8},
  doi          = {10.1007/978-3-540-69733-6\_8},
  timestamp    = {Tue, 10 Dec 2019 14:59:33 +0100},
  biburl       = {https://dblp.org/rec/conf/cocoon/HertrampfM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Majster-CederbaumM08,
  author       = {Mila E. Majster{-}Cederbaum and
                  Christoph Minnameier},
  editor       = {John S. Fitzgerald and
                  Anne E. Haxthausen and
                  H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
  title        = {Everything Is PSPACE-Complete in Interaction Systems},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
                  Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5160},
  pages        = {216--227},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85762-4\_15},
  doi          = {10.1007/978-3-540-85762-4\_15},
  timestamp    = {Fri, 28 Feb 2020 14:02:33 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/Majster-CederbaumM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofsem/Majster-CederbaumM08,
  author       = {Mila E. Majster{-}Cederbaum and
                  Christoph Minnameier},
  editor       = {Viliam Geffert and
                  Juhani Karhum{\"{a}}ki and
                  Alberto Bertoni and
                  Bart Preneel and
                  Pavol N{\'{a}}vrat and
                  M{\'{a}}ria Bielikov{\'{a}}},
  title        = {Deriving Complexity Results for Interaction Systems from 1-Safe Petri
                  Nets},
  booktitle    = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
                  on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
                  Smokovec, Slovakia, January 19-25, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4910},
  pages        = {352--363},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77566-9\_30},
  doi          = {10.1007/978-3-540-77566-9\_30},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/sofsem/Majster-CederbaumM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/Minnameier07,
  author       = {Christoph Minnameier},
  title        = {Local and global deadlock-detection in component-based systems are
                  NP-hard},
  journal      = {Inf. Process. Lett.},
  volume       = {103},
  number       = {3},
  pages        = {105--111},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.ipl.2007.02.016},
  doi          = {10.1016/J.IPL.2007.02.016},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/Minnameier07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofsem/Majster-CederbaumMM07,
  author       = {Mila E. Majster{-}Cederbaum and
                  Moritz Martens and
                  Christoph Minnameier},
  editor       = {Jan van Leeuwen and
                  Giuseppe F. Italiano and
                  Wiebe van der Hoek and
                  Christoph Meinel and
                  Harald Sack and
                  Frantisek Pl{\'{a}}sil},
  title        = {A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom
                  of Component-Based Systems},
  booktitle    = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference
                  on Current Trends in Theory and Practice of Computer Science, Harrachov,
                  Czech Republic, January 20-26, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4362},
  pages        = {888--899},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-69507-3\_77},
  doi          = {10.1007/978-3-540-69507-3\_77},
  timestamp    = {Fri, 21 Oct 2022 16:47:28 +0200},
  biburl       = {https://dblp.org/rec/conf/sofsem/Majster-CederbaumMM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Majster-CederbaumMM08,
  author       = {Mila E. Majster{-}Cederbaum and
                  Moritz Martens and
                  Christoph Minnameier},
  editor       = {Markus Lumpe and
                  Eric Madelaine},
  title        = {Liveness in Interaction Systems},
  booktitle    = {Proceedings of the 4th International Workshop on Formal Aspects of
                  Component Software, {FACS} 2007, Sophia-Antipolis, France, September
                  19-21, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {215},
  pages        = {57--74},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.06.021},
  doi          = {10.1016/J.ENTCS.2008.06.021},
  timestamp    = {Mon, 20 Feb 2023 08:38:04 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Majster-CederbaumMM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/Majster-CederbaumM06,
  author       = {Mila E. Majster{-}Cederbaum and
                  Christoph Minnameier},
  editor       = {Kamel Barkaoui and
                  Ana Cavalcanti and
                  Antonio Cerone},
  title        = {Termination and Divergence Are Undecidable Under a Maximum Progress
                  Multi-step Semantics for LinCa},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International
                  Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4281},
  pages        = {65--79},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11921240\_5},
  doi          = {10.1007/11921240\_5},
  timestamp    = {Mon, 21 Feb 2022 14:40:49 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/Majster-CederbaumM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.