Items where Author is "Mariegaard, Anders"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Jump to: Journal Paper | Paper in Conference Proceedings or in Workshop Proceedings
Number of items: 2.

Journal Paper

  • AllSynth: A BDD-Based Approach for Network Update Synthesis
    Larsen, Kim G. and Mariegaard, Anders and Schmid, Stefan and Srba, Jiri ISSN 0167-6423 Elsevier (2023)

    • Paper in Conference Proceedings or in Workshop Proceedings

  • AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences
    Larsen, Kim G. and Mariegaard, Anders and Schmid, Stefan and Srba, Jiri In: 16th International Symposium on Theoretical Aspects of Software Engineering (TASE) , July 2022 , Cluj-Napoca, Romania (2022)

    • This list was generated on Thu Nov 21 13:59:10 2024 CET.
    Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
    EPrints Logo
    CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.