( en | de | ru )

 

Disambiguation of "Bieniusa, Annette"

Author of the publication

copydeleteadd this publication to your clipboard
Teaching practical realistic verification of distributed algorithms in Erlang with TLA+.

, , and . Erlang Workshop, page 14-23. ACM, (2020)

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.

Annette Bieniusa

Annette Merkel

Modellgestützte Untersuchung konkurrierender Zugriffe bei leitungsvermittelnden Kommunikationssystemen. Uni Erlangen-Nürnberg, (2009)

Annette Förschler

Untersuchung zum Einfluss von Hirntumoren auf die BOLD-basierte funktionelle Magnetresonanztomographie mittels einer neuen quantitativen Auswertungsmethode. TU München, (2009)

Annette Lingenauber

Annette Langen

 

Other publications of authors with the same name

On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems., , , and . NETYS, volume 12754 of Lecture Notes in Computer Science, page 3-18. Springer, (2021)Advanced Domain-Driven Design for Consistency in Distributed Data-Intensive Systems., , and . PaPoC@EuroSys, page 9:1-9:12. ACM, (2021)LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact)., , , , and . Dagstuhl Artifacts Ser., 9 (2): 11:1-11:2 (2023)Bidirectional typing for Erlang., and . Erlang Workshop, page 54-63. ACM, (2021)Legion: Enriching Internet Services with Peer-to-Peer Interactions, , , , , and . Proceedings of the 26th International Conference on World Wide Web, page 283--292. Republic and Canton of Geneva, Switzerland, International World Wide Web Conferences Steering Committee, (2017)LoRe: A Programming Model for Verifiably Safe Local-First Software., , , , and . CoRR, (2023)Multi-view data types for scalable concurrency in the multi-core era., , , and . PMLDC@ECOOP, page 3:1. ACM, (2017)Combining state- and event-based semantics to verify highly available applications., , and . Sci. Comput. Program., (2021)LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract)., , , , and . ECOOP, volume 263 of LIPIcs, page 12:1-12:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Combining State- and Event-Based Semantics to Verify Highly Available Programs., , and . FACS, volume 12018 of Lecture Notes in Computer Science, page 213-232. Springer, (2019)