Author of the publication

On Type Checking Delta-Oriented Product Lines.

, and . IFM, volume 9681 of Lecture Notes in Computer Science, page 47-62. Springer, (2016)

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

FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts., , , and . ICSOFT (1), page 218-225. INSTICC Press, (2009)Certifying delta-oriented programs., , and . Softw. Syst. Model., 18 (5): 2875-2906 (2019)A Calculus for Boxes and Traits in a Java-Like Setting., , , , and . COORDINATION, volume 6116 of Lecture Notes in Computer Science, page 46-60. Springer, (2010)Conjunctive Types and Useless-code Elimination.. ICALP Satellite Workshops, page 271-286. Carleton Scientific, Waterloo, Ontario, Canada, (2000)Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations., , , , and . CS2Bio, volume 293 of Electronic Notes in Theoretical Computer Science, page 83-96. Elsevier, (2012)Actor-Based Designs for Distributed Self-organisation Programming., , , and . Active Object Languages: Current Research Trends, volume 14360 of Lecture Notes in Computer Science, Springer, (2024)Engineering collective intelligence at the edge with aggregate processes., , , , and . Eng. Appl. Artif. Intell., (2021)Functional Programming for Distributed Systems with XC., , , , and . ECOOP, volume 222 of LIPIcs, page 20:1-20:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)On State Classes and Their Dynamic Semantics., , , and . ICSOFT (Selected Papers), volume 10 of Communications in Computer and Information Science, page 84-96. Springer, (2006)Variability modules., , , , and . J. Syst. Softw., (2023)