1
0
0
News
Awards | NETYS 2021
netys.net
Paper ID 14, Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae and Annette Bieniusa. On the Impossibility of Confidentiality, Integrity and ... › history › netys2021 › awards
Lecturers
www.it.uu.se
Dr. Annette Bieniusa is a lecturer and research fellow (Akademische Rätin) at the Department of Computer Science of the University of Kaiserslautern, ... › research › upmarc › events › Lec...
DBLife: Annette Bieniusa News Archive
dblife.cs.wisc.edu
Return to Annette Bieniusa's Superhomepage. No news available. DBlife. Developed by the Database Group at the University of Wisconsin and Yahoo!
Unique persons
Network Profiles
LinkedIn: Annette Bieniusa - Researcher and …
View Annette Bieniusa’s profile on LinkedIn, the world's largest professional community. Annette has 1 job listed on their profile. See the complete profile on ...
LinkedIn: Annette Bieniusa - Technische Universität Kaiserslautern
› annette-bien...
LinkedIn: Annette Bieniusa | LinkedIn
View Annette Bieniusa's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Annette Bieniusa discover ...
bieniusa (Annette Bieniusa) / Followers · GitHub
github.com
Researcher and lecturer at the Software Group at TU Kaiserslautern - bieniusa
Interests
PC Members — ICDCS 2014
adapt01.ls.fi.upm.es
Annette Bieniusa, Universitaet Kaiserslautern, Germany. Kévin Huguenin, EPFL, Switzerland. Priya Narasimhan, Carnegie Mellon. Alexander ...
Business Profiles
Annette BIENIUSA | Dr. rer. nat | Software Technology Group
www.researchgate.net
› profile › Annette_Bieniusa
Private Homepages
Dr. Annette Bieniusa - AG Softech - TU Kaiserslautern
softech.informatik.uni-kl.de
› homepage › staff
Dr. Annette Bieniusa - AG Softech
softech.informatik.uni-kl.de
Research. I am always looking for enthusiastic and motivated students to work with. Contact me via email or stop by my office to talk about possible topics for ...
Compiler and Language-Processing Tools - AG Softech
softech.cs.uni-kl.de
Annette Bieniusa will give the lecture. The exercises will be supervised by Houssam Abdoullah and Peter Zeller. Moodle. All material for the course can be found in ...
Deepthi Akkoorath - AG Softech
softech.cs.uni-kl.de
I am a PhD student in the Software Technology Group supervised by Dr. rer. nat. Annette Bieniusa and Prof. Dr. Arnd Poetzsch-Heffter. Personal homepage: dd.thekkedam.org
Employees
Dept. of Computer Sci.: Professors
www.cs.uni-kl.de
Annette Bieniusa: Software Technology Group; Dr. Gabriele Bleser: ... former professors/lecturers of the department Superordinated page: Organisation.
Programmiersprachen, Personal
proglang.informatik.uni-freiburg.de
... -freiburg.de · Dr. Annette Bieniusa · -kl.de · Konrad Anton · -freiburg.de.
Education
ICFP Erlang Call for papers
erlef.org
March 21, by Annette Bieniusa, Stavros Aronis. Posted in Education, Training, & Adoption. Tags education papers icfp. The Erlang Workshop aims to bring ... › blog › education › icfp-erlang
Projects
Distributed STM - uni-freiburg.de
proglang.informatik.uni-freiburg.de
Annette Bieniusa, Thomas Fuhrmann. Distributed Transactional Memory. To appear soon as a Technical Report. Contact. For further information, bug reports, etc. ...
Twilight STM - Programmiersprachen
proglang.informatik.uni-freiburg.de
Annette Bieniusa, Arie Middelkoop and Peter Thiemann. Actions in the Twilight: Concurrent irrevocable transactions and Inconsistency repair. Technical Report 257, Insitut
Books & Literature
Formal Techniques for Distributed Objects, Components, and ...
books.google.com
EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper) Mathias Weber(B), Annette Bieniusa, and Arnd Poetzsch-Heffter University of ...
Principled Software Development: Essays Dedicated to Arnd ...
books.google.com
Annette Bieniusa, Peter Zeller, and Shraddha Barke Abstract Research group leaders and university vice presidents are responsible for tracking progress of ...
Annette Bieniusa - A Web Based Annotated Bibliography - Kritiko - lip6
publications.lip6.fr
An Optimized Conflict-free Replicated Set, Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas and Sergio ...
PeopleExplorer: An Integrated Interactive Exploratory People Search...
crystal.exp.sis.pitt.edu
1 : Annette Bieniusa, Arie Middelkoop, Peter Thiemann Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency ...
Related Documents
Just-Right Consistency: reconciling availability and safety - arXiv
arxiv.org
by M Shapiro · · Cited by 15 — Authors:Marc Shapiro (1), Annette Bieniusa, Nuno Preguiça (2), Valter Balegas (2), Christopher Meiklejohn (3) ((1) DELYS, (2) NOVA-LINCS, ... › cs
Semantics of Eventually Consistent Replicated Sets - CiteSeerX
citeseerx.ist.psu.edu
by A Bieniusa · Cited by 34 — by Annette Bieniusa , Nuno Preguiça , Marc Shapiro , Carlos Baquero , Valter Balegas , Sérgio Duarte. Citations: self ... › viewdoc › summary
Scientific Publications
Search results for "Annette Bieniusa" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 11 publication records. Showing 11 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1: Marek Zawirski, Annette
Publications
- CORE
core.ac.uk
Abstract. Effect traces provide a simple methodology of reasoning about program semantics while abstracting away from low-level details. They describe the …
Brief Announcement: Semantics of Eventually Consistent Replicated...
link.springer.com
This paper studies the semantics of sets under eventual consistency. The set is a pervasive data type, used either directly or as a component of more complex...
An optimized conflict-free replicated set : Annette Bieniusa : Free...
archive.org
Eventual consistency of replicated data supports concurrent updates, reduces latency and improves fault tolerance, but forgoes strong consistency....
Formal Specification and Verification of CRDTs | SpringerLink
link.springer.com
Peter Zeller · -kl.de (17); Annette Bieniusa · -kl.de (17); Arnd Poetzsch-Heffter · -kl.de (17). Author Affiliations.
Reports & Statements
Google Groups: Fwd: [asr-forum] offre de postdoc: Principled approaches to eventual ...
: Shapiro/ o Annette Bieniusa:
Google Groups: [Haskell-cafe] Concurrency best practices?
: Annette Bieniusa ... fa haskell Hi Wren, I am
Google Groups: [Haskell-cafe] Concurrency best practices?
: Annette Bieniusa ... haskell-cafe. Haskell-Cafe
Annette Bieniusa Lambda Days Interview
ericnormand.me
We interviewed Annette Bieniusa about her upcoming Lambda Days talk.
Miscellaneous
Annette Bieniusa | LinkedIn
www.linkedin.com
View Annette Bieniusa's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Annette Bieniusa discover ...
A Temporal Logic for Weakly Consistent Systems (Short Paper)
hal.inrae.fr
Dec 7, — Mathias Weber 1Annette Bieniusa 1 Arnd Poetzsch-Heffter 1. Details. 1 University of Kaiserslautern [Kaiserslautern]. › IFIP-LNCS › hal
Community - Conflict-free Replicated Data Types
crdt.tech
This site is maintained by Martin Kleppmann, Annette Bieniusa, and Marc Shapiro. If you find any problems or want to add something, please open an issue or ... › community
Competitive Programming - Sebastian Wild
www.wild-inter.net
TU Kaiserslautern did not have a strong tradition of actively recruiting student teams to for such contests, and Annette Bieniusa and I set out to change ... › teaching › competitive-pro...
Data Consistency in Distributed Systems: Algorithms DROPS
drops.dagstuhl.de
by A Bieniusa · — ... Gotsman, Alexey ; Kemme, Bettina ; Shapiro, Marc Weitere Beteiligte (Hrsg. etc.): Annette Bieniusa and Alexey Gotsman and Bettina Kemme and Marc Shapiro ... › opus › volltexte
Ensuring referential integrity under causal consistency
unpaywall.org
by M Shapiro · · Cited by 2 — QuickCheck has not found any errors in the model. ACM Reference Format: Marc Shapiro, Annette Bieniusa, Peter Zeller, and Gustavo Petri › ...
Formal Specification and Verification of CRDTs - Hal-Um
hal.umontpellier.fr
Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter. Formal Specification and Verification of CRDTs. 34th Formal Techniques for Networked and Distributed ... › hal
Introduction to TLA+ - BOB Konf
bobkonf.de
Annette Bieniusa. @anne_biene. Annette is a lecturer and senior researcher at the TU Kaiserslautern. Her research interests are the semantics of concurrent ... › bieniusa
Making operation-based CRDTs operation-based
www.connectedpapers.com
5 days ago — An optimized conflict-free replicated set. Annette Bieniusa, M. Zawirski, N. Preguiça, M. Shapiro, C. Baquero, Valter Balegas, S. Duarte. › main
Related search requests for Annette Bieniusa
Martin Gasbichler Markus Degen Peter Zeller | Thomas Fuhrmann Carlos Baquero Nuno Preguiça | Kim Martin Stefan Wehr Peter Thiemann |
People Forename "Annette" (19598) Name "Bieniusa" (1) |
sorted by relevance / date