1
0
0
(1 - 30 von 34
)
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, in the AG ...
Transactions on Mergeable Objects in Shared-Memory by ...www.di.fct.unl.pt › events ›
www.di.fct.unl.pt
Annette Bieniusa is a lecturer and research fellow (Akademische Rätin) at the Department of Computer Science of the University of Kaiserslautern, in the group ...
TRANSACT 2013
transact2013.cse.lehigh.edu
Cristiana Amza, University of Toronto; Kunal Agrawal, Washington University; Hagit Attiya, Technion; Annette Bieniusa, Technical University of Kaiserslautern ...
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009,...
books.google.de
... Matsuzaki Kochi University of Technology, Japan External Referees Kazuyuki Asada Gilles Barthe Michele Basaldella Annette Bieniusa Organization.
Principled Software Development: Essays Dedicated to Arnd ...books.google.com.hk › books
books.google.com.hk
... Annette Bieniusa, Peter Zeller, and Shraddha Barke Abstract Research group leaders and university vice presidents are responsible for tracking progress of ...
books.google.se › booksFormal Techniques for Distributed Objects, Components, and ...
books.google.se
EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper) Mathias Weber(B), Annette Bieniusa, and Arnd Poetzsch-Heffter University of ...
books.google.no › booksFormal Techniques for Distributed Objects, Components, and ...
books.google.no
Formal Specification and Verification of CRDTs Peter Zeller, Annette Bieniusa, and Arnd Poetzsch-Heffter University of Kaiserslautern, Germany {p zeller ...
Set-theoretic Types for ErlangarXiv
arxiv.org
von A Schimpf · · Zitiert von: 2 — Annette Bieniusa -kl.de. University of Kaiserslautern-Landau. Germany. ABSTRACT. Erlang is a functional programming language with dynamic ...
Annette Bieniusa - DBLPdblp.org › Persons
dblp.org
Annette Bieniusa: Consistency, isolation, and irrevocability in software transactional memory. University of Freiburg, ...
Functional and Declarative Programming in Education (FDPE08)
www-ps.informatik.uni-kiel.de
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr (Albert-Ludwigs-University Freiburg), Martin Gasbichler (Zühlke Engineering AG) ...
Proving Isolation Properties for Software Transactional Memory |...
link.springer.com
Proving Isolation Properties for Software Transactional Memory. Authors; Authors and affiliations. Annette Bieniusa; Peter Thiemann. Annette Bieniusa. 1. Peter Thiemann University of FreiburgGermany. Conference paper. 2 Citations · 4 Readers · 467 Downloads. Part of the Lecture Notes in Computer Science book ...
Schloss Dagstuhl : Seminar Homepage
www.dagstuhl.de
· Data Consistency in Distributed Systems: Algorithms, Programs, and Databases Organizers. Annette Bieniusa (TU Kaiserslautern, DE) Alexey Gotsman (IMDEA Software – Madrid, ES) Bettina Kemme (McGill University – Montreal, CA) Marc Shapiro (University Pierre & Marie Curie – Paris, FR)
Schloss Dagstuhl : Participant List
www.dagstuhl.de
Annette Bieniusa (TU Kaiserslautern, DE) Alejandro P. Buchmann (TU Darmstadt, DE) Sebastian Burckhardt (Microsoft Corporation – Redmond, US) Bernadette Charron-Bost (Ecole Polytechnique – Palaiseau, FR) Allen Clement (MPI-SWS – Saarbrücken, DE) Mike Dodds (University of York, GB) Amr El Abbadi (University of California – Santa Barbara, US)
Annette Bieniusa - Google Scholarscholar.google.com › citations
scholar.google.com
Annette Bieniusa. University of Kaiserslautern-Landau (RPTU). Verified email at cs.uni-kl.de. Programming languagesDistributed SystemsSoftware ...
Annette Bieniusa - Google 学术搜索scholar.google.com.hk › citations
scholar.google.com.hk
Annette Bieniusa. University of Kaiserslautern-Landau (RPTU). 在 cs.uni-kl.de 的电子邮件经过验证. Programming languagesDistributed Systems ...
BOB - Scalable consistency for replicated data
bobkonf.de
Annette Bieniusa is a lecturer and researcher at the University of Kaiserslautern. She received a PhD in Computer Science from the University of Freiburg in and spent one year as postdoctoral researcher at INRIA Paris-Rocquencourt.
Lambda Days 2017www.lambdadays.org › annette-bieniusa
www.lambdadays.org
Annette Bieniusa. Creator of Antidote & CRDT Expert. Annette is a lecturer and researcher at the Technical University of Kaiserslautern. Her research ...
CRDTs. Christopher Meiklejohn Université catholique de Louvain,...
docplayer.net
CRDTs Christopher Meiklejohn Université catholique de Louvain, Belgium Annette Bieniusa University of Kaiserslautern, Germany 2 Outline What is the ...
COMP grascomp
icampus.grascomp.be
11h00-11h45: Annette Bieniusa, University of Kaiserslautern, Germany, Scalable Consistency for Replicated Data 11h45-12h30: Martin ...
Committees | PaPoC Workshop 2023papoc-workshop.github.io › committees
papoc-workshop.github.io
Annette Bieniusa, University of Kaiserslautern-Landau, Germany; Vitor Enes, Teleport; Carla Ferreira, NOVA University of Lisbon, Portugal; Gowtham Kaki ...
Collaborative Work Management with a Highly-Available Kanban Board |...
www.springerprofessional.de
Research group leaders and university vice presidents are responsible for tracking progress of many different projects at the same time. Kanban
Program committee - USENIX ATC '23atc23.usenix.hotcrp.com › users
atc23.usenix.hotcrp.com
Annette Bieniusa, University of Kaiserslautern-Landau. Anuj Kalia, Microsoft. Apoorve Mohan, IBM Research. Asim Kadav, freenome. Baptiste Lepers, The University ...
Program Committee – EuroSys'18
eurosys2018.org
... CNRS, France; Pramod Bhatotia, University of Edinburgh, UK; Annette Bieniusa, University of Kaiserslautern, Germany; Edouard Bugnion, EPFL, Switzerland ...
18. Kolloquium Programmiersprachen und Grundlagen Complangwww.complang.tuwien.ac.at › kps2015 › kps2015_participants
www.complang.tuwien.ac.at
Gerald Baumgartner, Louisiana State University, Baton Rouge. Christian Berg, Martin-Luther-Universität Halle-Wittenberg. Annette Bieniusa, Technische ...
PaPoC 2017IMDEA Software
software.imdea.org
Program Chairs. Annette Bieniusa (University of Kaiserslautern, Germany); Alexey Gotsman (IMDEA Software Institute, Spain) ...
LightKone researcher participated in the Shonan Meeting – LightKone
www.lightkone.eu
— Annette Bieniusa, our researcher from University of Kaiserslautern (TUK), participated in the Shonan Meeting entitled “Programming Language ... › lightko...
Programme Committee - CloudComcipsijoomla.ux.uis.no/cloudcom2015/index.php/committees/pc
cipsijoomla.ux.uis.no
Annette Bieniusa, University of Kaiserslautern. Thomas Bauschert, Chemnitz University of Technology. Pietro Michiardi, EURECOM. Tyng-Yeu Liang, National ...
Program committee - EuroSys 2018
eurosys18.hotcrp.com
Alexander Matveev, MIT. Andrea Arpacci-Dusseau, University of Wisconsin. Andreas Haeberlen, University of Pennsylvania. Annette Bieniusa, University of Kaiserslautern. Christof Fetzer, TU Dresden. Christoph Kirsch, University of Salzburg. Cristian Cadar, Imperial College London. Cristiano Giuffrida, VU Amsterdam.
The Future of Data Systems @ Microsoft Ignite DEV ...
dev.to
— Annette Bieniusa is a researcher and lecturer at the University of Kaiserslautern. Her areas of interest comprise distributed and concurrent ... › azure
CC 2009
cs.au.dk
Annette Bieniusa, Peter Thiemann: How to CPS Transform a Monad . Programme Committee. Silvia Breu, University of Cambridge, UK Manuel Chakravarty, University of
Alle Infos zum Namen "Annette Bieniusa"
sortiert nach Relevanz / Datum