Modelle und Theorie Verteilter Systeme
- Flipped Classroom für Automatentheorie - Lerneinheiten für die Sekundarstufe II
Wolf, Alexander
- Proving Safety Properties for Session Types with Optional Blocks
Grillere, Matthieu
- On the Utility and Usability of DCR Graphic to Model Dynamic Processes in a Clinical Case Study
Gräfje, Malte
- On the Utility and Usability of Event Structures to Model Dynamic Processes in a Clinical Case Study
Trénous, Jonas
- Local States for Distributed Process Calculi
Rohde, Nadine
- State-Based Representations of Distributed Consensus Algorithms
Kuhnert, Dennis
- Integration of Environmental Issues within Computer Science Studies
Papillon, Anne-Lise
- Effizienzsteigerung der Controller Synthese für deterministisch-kontextfreie Spezifikationen in LibFAUDES
Barakat, Ramon
- Encoding Limited CSP into Extended CCS
Hatzel, Meike
- Automatic Generation of Refinement Mappings
Brodmann, Paul
- Formalisierung der Verifikation eines Konsens-Algorithmus mit Isabelle
Rickmann, Christina
- Ein didaktischer Pfad durch den Dschungel der Algebraischen Strukturen
Wilhelm, Arno
- Formal Modelling of Revision Control Systems
Picker, Marten
- Formal Description and Analysis of Distributed Online Collaboration Platforms
Yonova, Tsvetelina
- Erweiterbares Analysewerkzeug für Automatenmodelle
Kuhnert, Joachim
- Developing the Concept of an Information Management System for Afghan Universities
Zaini, Ghulam Rasoul
- On Appreciating User's Privacy in Commonly Used Recommender System Methods
Zaheer, Gazelle
- Data-driven Quality Assurance for Afghan Universities: Current Situation, Challenges and Ideas for Automation
Sahim, Sayed Ahmad
- Sentiment Analysis and Opinion Mining - On the Identification of User Generated Text on Digital Media Sites
Sajid, Hekmatullah
- Search Engine Optimization to Enhance User Interaction Using Machine Learning Techniques
Sadaat, Najib Ullah
- Privacy and Security on Social Networks - Raising Risk Awareness Among Young Academics in Afghanistan
Qarghaiwal, Muhammad Haroon
- Modernizing the Public Administration in Afghanistan with IT Services
Mohsin, Mohabbat Khan
- Adding Transparency to Afghanistan's Cash-Based Economy Using a Digital Currency
Jamiulahmadi, Ahmad Jawid
- Emerging Trends and Technologies in Open Education and the Impact on Afghanistan
Abidi, Tayeba
- A Comparative Study of Face Recognition Methods
Akhlaqi, Aqa Mustafa
- A Demand-Oriented Concept of Open Data for Afghanistan: Opportunities and Challenges
Ayobi, Rohullah
- Machine Learning Techniques in Intrusion Detection Systems and Integration in Afghan IT Security Strategy Planning
Aziz, Azizullah
- A Unified Application-driven Study on Recent Artificial Intelligence Research
Ibrahimy, Haytullah
- Entwicklung eines Plug-Ins zur Darstellung von produktbeschreibenden Objekten und ihren Relationen aus einem PDM-System im Kontext von Entwicklungsländern am Beispiel Iran
Ghasemi, Saeed
- A Blockchain-based Trustless Setup Phase for zkSNARKs
Härtlein, Steffen
- GSOS+ -Rules are Natural Transformations - A Mechanised Proof
Seidler, Henning
- On Bisimulations for Asynchronous Psi-Calculi
Stüber, Anke
- Asynchronous Session Types for Consensus Algorithms
Adameit, Manuel
- A collaborative Web-Platform to share ideas and initiate projects for development of Nepal
Sthapit, Christina
- Topological Self-Stabilization with Name-Passing Process Calculi
Rickmann, Christina
- Formal Analysis of Collaboration via Convergent Replicated Data Structures
Jungnickel, Tim
- Distributability of Asynchronous Process Calculi
Brodmann, Paul
- Formale Modelle für Soziale Netzwerke
Wilhelm-Weidner, Arno
- On Expressiveness of Matching Process Calculi
Yonova-Karbe, Tsvetelina
- Collaboration via Convergent Replicated Data Structures
Herb, Tobias
- Controller Synthesis for discrete event Systems in the Setting of a regular plant and a determi-nistic context-free specification in libFaudes
Jacobi, Stefan