Autor der Publikation

Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring.

, , , , , , und . Formal Aspects Comput., 34 (2): 1-31 (2022)

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

A 1-μm-Band Injection-Locked Semiconductor Laser with a High Side-Mode Suppression Ratio and Narrow Linewidth., , , , , , , , , und 2 andere Autor(en). Sensors, 22 (23): 9239 (2022)An Enhanced Three-Factor User Authentication Scheme Using Elliptic Curve Cryptosystem for Wireless Sensor Networks., , und . Sensors, 17 (12): 2946 (2017)Remote Sensing-Based Fractal Analysis and Scale Dependence Associated with Forest Fragmentation in an Amazon Tri-National Frontier., und . Remote Sensing, 5 (2): 454-472 (2013)Visualizing and Simulating Semantic Web Services Ontologies., , , und . ICFEM, Volume 3785 von Lecture Notes in Computer Science, Seite 435-449. Springer, (2005)COMPAss: A Space Cognitive Behavior Modeling and Performance Assessment Platform., , , , , , und . HCI (20), Volume 8529 von Lecture Notes in Computer Science, Seite 630-636. Springer, (2014)Stock Cloud Computing Platform: Architecture and Prototype Systems., , , , , , und . WAIM Workshops, Volume 7901 von Lecture Notes in Computer Science, Seite 360-370. Springer, (2013)Improving Localization Accuracy in Connected Vehicle Networks Using Rao-Blackwellized Particle Filters: Theory, Simulations, and Experiments., , , und . CoRR, (2017)Parallel Verification of Software Architecture Design., , , und . HASE, Seite 50-57. IEEE, (2019)Saliency detection based on integration of boundary and soft-segmentation., , und . ICIP, Seite 1085-1088. IEEE, (2012)Fiber-coupling Efficiency for Satellite-to-ground Laser Links with Angle-of-arrival Fluctuations., , und . ICCT, Seite 705-709. IEEE, (2019)