( en | de | ru )

 

Disambiguation of "Boix, Elisa Gonzalez"

Author of the publication

copydeleteadd this publication to your clipboard
Program Testing Using High-Level Property-Driven Models.

, , , , and . SEKE, page 489-494. (2006)

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.

Stephan Elisat

Ahmad Elisa

Willy Elisat

Elisa Winterer

Untersuchungen zur Struktur und Funktion der Transportdomänen des Autodisplay-Systems. Uni Düsseldorf, (2009)

Elisa Schröder

 

Other publications of authors with the same name

Meta 2017: Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, , and . ACM, (Oct 22, 2017)Practical Online Debugging of Spark-like Applications., , and . QRS, page 620-631. IEEE, (2021)Framework-aware debugging with stack tailoring., , and . DLS, page 71-84. ACM, (2020)Developing Smart Agriculture Applications: Experiences and Lessons Learnt., , , , and . ACSE, volume 2689 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)Towards Advanced Debugging Support for Actor Languages: Studying Concurrency Bugs in Actor-based Programs, , , and . (Oct 30, 2016)Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay., , , , and . Art Sci. Eng. Program., 5 (3): 14 (2021)From causality to stability: understanding and reducing meta-data in CRDTs., and . MPLR, page 3-14. ACM, (2020)Network-aware references for pervasive social applications., , , and . PerCom Workshops, page 537-542. IEEE Computer Society, (2011)An Elixir library for programming concurrent and distributed embedded systems., , and . Programming, page 6:1. ACM, (2017)Coordinating Collaborative Interactions in Web-based Mobile Applications., , , and . ITS, page 181-190. ACM, (2015)