Author of the publication

Transforming Programs between APIs with Many-to-Many Mappings

, , , , , , and . 30th European Conference on Object-Oriented Programming (ECOOP 2016), volume 56 of Leibniz International Proceedings in Informatics (LIPIcs), page 25:1--25:26. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2016)
DOI: 10.4230/LIPIcs.ECOOP.2016.25

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Ensuring the Correctness of Regular Expressions: A Review., , , and . Int. J. Autom. Comput., 18 (4): 521-535 (2021)A Human Eye-based Text Color Scheme Generation Method for Image Synthesis., , and . EITCE, page 1569-1574. ACM, (2022)A first-order coalition logic for BDI-agents., , , , and . Frontiers Comput. Sci., 10 (2): 233-245 (2016)Verification of Multi-agent Systems Via Bounded Model Checking., , , and . Australian Conference on Artificial Intelligence, volume 4304 of Lecture Notes in Computer Science, page 69-78. Springer, (2006)Detecting Feature Interactions in Web Services with Timed Automata., , and . WGEC, page 276-279. IEEE Computer Society, (2009)Quantified Coalition Logic for BDI-Agents: Completeness and Complexity., , , and . PRICAI, volume 8862 of Lecture Notes in Computer Science, page 871-876. Springer, (2014)Observation-Based Logic of Knowledge, Belief, Desire and Intention., , , , and . KSEM, volume 4092 of Lecture Notes in Computer Science, page 366-378. Springer, (2006)Development of a Liquid-Metal-Enhanced Continuum Joint with Variable Stiffness Capability for Flexible Endoscopy., , , , and . MHS, page 1-6. IEEE, (2023)Superset: a non-uniform replica placement strategy towards perfect load balance and fine-grained power proportionality., , , , and . Clust. Comput., 18 (3): 1127-1140 (2015)An Efficient Snapshot Strategy for Dynamic Graph Storage Systems to Support Historical Queries., , , and . IEEE Access, (2020)