( en | de | ru )

 

Disambiguierung von "Pistoia, Marco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Path- and index-sensitive string analysis based on monadic second-order logic.

, , und . ISSTA, Seite 166-176. ACM, (2011)

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.

Adriano Pistoia

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

 

Weitere Publikationen von Autoren mit dem selben Namen

UI X-Ray: Interactive Mobile UI Testing Based on Computer Vision., , , , , und . IUI, Seite 245-255. ACM, (2017)Parallelization of Classical Numerical optimization in Quantum Variational Algorithms., , , , und . ICST, Seite 309-320. IEEE, (2020)Exploiting In-Constraint Energy in Constrained Variational Quantum Optimization., , , und . CoRR, (2022)On the Exponential Sample Complexity of the Quantum State Sign Estimation Problem., und . CoRR, (2021)More Is Less: Learning Efficient Video Representations by Big-Little Network and Depthwise Temporal Aggregation., , , , und . NeurIPS, Seite 2261-2270. (2019)Dynamic detection of inter-application communication vulnerabilities in Android., , und . ISSTA, Seite 118-128. ACM, (2015)Programming languages and program analysis for security: a three-year retrospective., und . ACM SIGPLAN Notices, 43 (12): 32-39 (2008)Static Specification Mining Using Automata-Based Abstractions., , , und . IEEE Trans. Software Eng., 34 (5): 651-666 (2008)A framework for automatic anomaly detection in mobile applications., , , und . MOBILESoft, Seite 297-298. ACM, (2016)Improving design validation of mobile application user interface implementation., , , und . MOBILESoft, Seite 277-278. ACM, (2016)