PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Bouajjani, Ahmed"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Checking Causal Consistency of Distributed Databases.

, , , , und . NETYS, Volume 11704 von Lecture Notes in Computer Science, Seite 35-51. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mohamed Osama Helal Ahmed University of Stuttgart

Ahmed Elkelesh University of Stuttgart

Dr. Marwan Abdou Ahmed University of Stuttgart

CW thin-disk laser emitting kW-class beams with radial polarization, , , , , , und . 2017 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC), IEEE, (2017)

Ahmed Yassine Karoui University of Stuttgart

Ahmed El Hadi University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

A logig for the description of behaviours and properties of concurrent systems., , und . REX Workshop, Volume 354 von Lecture Notes in Computer Science, Seite 398-410. Springer, (1988)Checking and Enforcing Robustness against TSO., , und . ESOP, Volume 7792 von Lecture Notes in Computer Science, Seite 533-553. Springer, (2013)What's Decidable about Weak Memory Models?, , , und . ESOP, Volume 7211 von Lecture Notes in Computer Science, Seite 26-46. Springer, (2012)Automatic Verification of Recursive Procedures with One Integer Parameter., , und . MFCS, Volume 2136 von Lecture Notes in Computer Science, Seite 198-211. Springer, (2001)Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata., , , , und . CIAA, Volume 5148 von Lecture Notes in Computer Science, Seite 57-67. Springer, (2008)Analyzing Fair Parametric Extended Automata., , , und . SAS, Volume 2126 von Lecture Notes in Computer Science, Seite 335-355. Springer, (2001)Model Checking Lossy Vector Addition Systems., und . STACS, Volume 1563 von Lecture Notes in Computer Science, Seite 323-333. Springer, (1999)On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems., und . RP, Volume 5797 von Lecture Notes in Computer Science, Seite 1-2. Springer, (2009)Robustness Against Transactional Causal Consistency., , und . CONCUR, Volume 140 von LIPIcs, Seite 30:1-30:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)On the Reachability Analysis of Acyclic Networks of Pushdown Systems., , und . CONCUR, Volume 5201 von Lecture Notes in Computer Science, Seite 356-371. Springer, (2008)