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

Information flow security - models, verification and schedulers.. University of New South Wales, Sydney, Australia, (2009)base-search.net (ftunswworks:oai:unsworks.unsw.edu.au:1959.4/43410).Trip Recommendation Meets Real-World Constraints: POI Availability, Diversity, and Traveling Time Uncertainty., , und . ACM Trans. Inf. Syst., 35 (1): 5:1-5:28 (2016)TFA: an efficient and precise virtual method call resolution for Java., und . Formal Aspects Comput., 32 (4-6): 395-416 (2020)Personalized Trip Recommendation with POI Availability and Uncertain Traveling Time., , , und . CIKM, Seite 911-920. ACM, (2015)Algorithmic Verification of Noninterference Properties., und . VODCA@FOSAD, Volume 168 von Electronic Notes in Theoretical Computer Science, Seite 61-75. Elsevier, (2006)An I/O Efficient Approach for Detecting All Accepting Cycles., , , , , und . IEEE Trans. Software Eng., 41 (8): 730-744 (2015)Quantum speedups for stochastic optimization., und . CoRR, (2023)Verification of A Key Chain Based TTP Transparent CEM Protocol., , und . TTSS, Volume 274 von Electronic Notes in Theoretical Computer Science, Seite 51-65. Elsevier, (2010)Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall., , und . AAAI, Seite 765-771. AAAI Press, (2012)Multi-Objective Self-Adaptive Particle Swarm Optimization for Large-Scale Feature Selection in Classification., , , , und . Int. J. Neural Syst., 34 (3): 2450014:1-2450014:18 (März 2024)