Author of the publication

Static Typing of Complex Presence Constraints in Interfaces (Artifact).

, , and . Dagstuhl Artifacts Ser., 4 (3): 03:1-03:2 (2018)

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

Reasoning with Design Knowledge for Interactively Supporting Framework Reuse, , , and . Proceedings of the Conference on Soft Computing Applied to Software Engineering (SCASE'01), (2001)A Survey on Reactive Programming, , , , and . ACM Computing Surveys, 45 (4): 52 (August 2013)Ambient Contracts: Verifying and Enforcing Ambient Object Compositions à la Carte, , , , and . Personal and Ubiquitous Computing, 15 (4): 341-351 (January 2011)Reactive queries in mobile ad hoc networks., , and . MPAC, page 13-18. ACM, (2008)I now pronounce you reactive and consistent: handling distributed and replicated state in reactive programming., , , and . REBLS@SPLASH, page 1-8. ACM, (2016)Towards context-aware propagators: language constructs for context-aware adaptation dependencies., , and . COP@ECOOP, page 8:1-8:4. ACM, (2009)Distributed Object-Oriented Programming with RFID Technology., , and . DAIS, volume 6115 of Lecture Notes in Computer Science, page 56-69. (2010)Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks., , , and . TOOLS (48), volume 6141 of Lecture Notes in Computer Science, page 41-60. Springer, (2010)SelfSync: A Dynamic Round-Trip Engineering Environment., , and . MoDELS, volume 3713 of Lecture Notes in Computer Science, page 633-647. Springer, (2005)The Message-Oriented Mobility Model., , , , , and . J. Object Technol., 6 (9): 363-382 (2007)