Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient network service level agreement monitoring for cloud computing systems., , , , und . ISCC, Seite 1-6. IEEE Computer Society, (2014)Improving Quality in Agile Development Processes., , und . ICSOFT, Seite 411-416. SciTePress, (2013)Simultaneously Improving Quality and Time-to-Market in Agile Development., , und . ICSOFT (Selected Papers), Volume 457 von Communications in Computer and Information Science, Seite 84-98. Springer, (2013)Adaptive Sabotage-Tolerant Scheduling for Peer-to-Peer Grids., , , und . LADC, Seite 25-32. IEEE Computer Society, (2009)From the dark net to the cloudy data - Cloud network governance guidelines., , , und . SCCC, Seite 1-8. IEEE, (2015)Cost-based Virtual Machine Scheduling for Data-as-a-Service., , , , und . J. Univers. Comput. Sci., 29 (12): 1461-1481 (Dezember 2023)A formalisation of nominal α-equivalence with A, C, and AC function symbols., , , , und . Theor. Comput. Sci., (2019)The Computational Relevance of Formal Logic Through Formal Proofs., , , , und . FMTea, Volume 11758 von Lecture Notes in Computer Science, Seite 81-96. Springer, (2019)Checking Overlaps of Nominal Rewriting Rules., , , und . LSFA, Volume 323 von Electronic Notes in Theoretical Computer Science, Seite 39-56. Elsevier, (2015)Completeness in PVS of a Nominal Unification Algorithm., , und . LSFA, Volume 323 von Electronic Notes in Theoretical Computer Science, Seite 57-74. Elsevier, (2015)