Items where Author is "van Duijn, Ingo"

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

Paper in Conference Proceedings or in Workshop Proceedings

  • Faster Pushdown Reachability Analysis with Applications in Network Verification
    Jensen, Peter Gjøl and Schmid, Stefan and Schou, Morten Konggaard and Srba, Jiri and Vanerio, Juan and van Duijn, Ingo In: 19th International Symposium on Automated Technology for Verification and Analysis (ATVA) , October 2021 , Gold Coast, Australia (2021)

  • Self-Adjusting Linear Networks
    Avin, Chen and van Duijn, Ingo and Schmid, Stefan In: 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) , Oct 22 - Oct 25 , Pisa, Italy (2019)

  • Self-Adjusting Line Networks
    van Duijn, Ingo and Schmid, Stefan and Avin, Chen In: 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO) , July 2019 , L'Aquila, Italy (2019)

    • This list was generated on Thu Nov 21 13:26:49 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.