BibTeX records: Mathias Grund Sørensen

• > Home > Persons > Mathias Grund Sørensen

@article{DBLP:journals/fuin/MateoSS15,
  author       = {Jos{\'{e}} Antonio Mateo and
                  Jir{\'{\i}} Srba and
                  Mathias Grund S{\o}rensen},
  title        = {Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time
                  Semantics},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {1},
  pages        = {89--121},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1246},
  doi          = {10.3233/FI-2015-1246},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/MateoSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/MateoSS14,
  author       = {Jos{\'{e}} Antonio Mateo and
                  Jir{\'{\i}} Srba and
                  Mathias Grund S{\o}rensen},
  editor       = {Gianfranco Ciardo and
                  Ekkart Kindler},
  title        = {Soundness of Timed-Arc Workflow Nets},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 35th International
                  Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8489},
  pages        = {51--70},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07734-5\_4},
  doi          = {10.1007/978-3-319-07734-5\_4},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/MateoSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/DavidJLLLST14,
  author       = {Alexandre David and
                  Peter Gj{\o}l Jensen and
                  Kim Guldstrand Larsen and
                  Axel Legay and
                  Didier Lime and
                  Mathias Grund S{\o}rensen and
                  Jakob Haahr Taankvist},
  editor       = {Franck Cassez and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {On Time with Minimal Expected Cost!},
  booktitle    = {Automated Technology for Verification and Analysis - 12th International
                  Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8837},
  pages        = {129--145},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11936-6\_10},
  doi          = {10.1007/978-3-319-11936-6\_10},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/DavidJLLLST14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/JensenLSST14,
  author       = {Peter Gj{\o}l Jensen and
                  Kim Guldstrand Larsen and
                  Jir{\'{\i}} Srba and
                  Mathias Grund S{\o}rensen and
                  Jakob Haahr Taankvist},
  editor       = {Julia M. Badger and
                  Kristin Yvonne Rozier},
  title        = {Memory Efficient Data Structures for Explicit Verification of Timed
                  Systems},
  booktitle    = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
                  TX, USA, April 29 - May 1, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8430},
  pages        = {307--312},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06200-6\_26},
  doi          = {10.1007/978-3-319-06200-6\_26},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nfm/JensenLSST14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memics/AndersenLSST12,
  author       = {Mathias Andersen and
                  Heine Gatten Larsen and
                  Jir{\'{\i}} Srba and
                  Mathias Grund S{\o}rensen and
                  Jakob Haahr Taankvist},
  editor       = {Anton{\'{\i}}n Kucera and
                  Thomas A. Henzinger and
                  Jaroslav Nesetril and
                  Tom{\'{a}}s Vojnar and
                  David Antos},
  title        = {Verification of Liveness Properties on Closed Timed-Arc Petri Nets},
  booktitle    = {Mathematical and Engineering Methods in Computer Science, 8th International
                  Doctoral Workshop, {MEMICS} 2012, Znojmo, Czech Republic, October
                  25-28, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7721},
  pages        = {69--81},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-36046-6\_8},
  doi          = {10.1007/978-3-642-36046-6\_8},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memics/AndersenLSST12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}