I agree that this site is using cookies. You can find further informations
here
.
X
Login
My folder (
0
)
Home
About us
Home About us
Our history
Profile
Press & public relations
Friends
The library in figures
Exhibitions
Projects
Training, internships, careers
Films
Services & Information
Home Services & Information
Lending and interlibrary loans
Returns and renewals
Training and library tours
My Account
Library cards
New to the library?
Download Information
Opening hours
Learning spaces
PC, WLAN, copy, scan and print
Catalogs and collections
Home Catalogs and Collections
Rare books and manuscripts
Digital collections
Subject Areas
Our sites
Home Our sites
Central Library
Law Library (Juridicum)
BB Business and Economics (BB11)
BB Physics and Electrical Engineering
TB Engineering and Social Sciences
TB Economics and Nautical Sciences
TB Music
TB Art & Design
TB Bremerhaven
Contact the library
Home Contact the library
Staff Directory
Open access & publishing
Home Open access & publishing
Reference management: Citavi & RefWorks
Publishing documents
Open Access in Bremen
Show Desktop-Version
Toggle navigation
Esparza, J
20
results:
Thesis (Online) X
Search for persons
X
Sorted by: Relevance
Sorted by: Year
?
1
Model checking for flat systems and temporal logic with cou..:
Decker, Normann
, 2021
Link:
https://nbn-resolving.de..
?
2
Parameter synthesis in Markov models:
Junges, Sebastian
, 2020
Link:
https://nbn-resolving.de..
?
3
Alternative Automata-based Approaches to Probabilistic Mode..:
Müller, David
, 2019
Link:
https://nbn-resolving.de..
?
4
Adaptable Static Analysis of Executables for proving the Ab..
Javier Esparza ; Axel Simon
Mihaila, Bogdan Andrei
, 2015
Link:
http://nbn-resolving.de/..
?
5
Computational Complexity of Verifying Parameterized Systems:
Ayikudi Ramachandrakumar, Balasubramanian
, 2024
Link:
http://nbn-resolving.de/..
?
6
Inductive Statements for Regular Transition Systems:
Welzel-Mohr, Christoph
, 2024
Link:
http://nbn-resolving.de/..
?
7
Observation Petri Nets:
Weil-Kennedy, Chana Yvonne Marie
, 2023
Link:
http://nbn-resolving.de/..
?
8
Efficient Analysis of Population Protocols and Chemical Rea..:
Helfrich, Martin
, 2023
Link:
http://nbn-resolving.de/..
?
9
Living in an infectious world: host–pathogen interactions s..:
Esparza Mora, Margy Alejandra
, 2023
Link:
https://nbn-resolving.de..
?
10
Formal Verification of Algorithms for Automata and Model Ch..:
Brunner, Julian M..
, 2022
Link:
http://nbn-resolving.de/..
?
11
Constraint-based Analysis of Distributed Systems:
Meyer, Philipp Klara Johanna
, 2021
Link:
http://nbn-resolving.de/..
?
12
Population Protocols: Expressiveness, Succinctness and Auto..:
Jaax, Stefan
, 2020
Link:
http://nbn-resolving.de/..
?
13
Proving Noninterference in Multi-Agent Systems:
Müller, Alexander Christian
, 2020
Link:
http://nbn-resolving.de/..
?
14
A Unified Translation of Linear Temporal Logic to ω-Automat:
Sickert, Salomon
, 2019
Link:
http://nbn-resolving.de/..
?
15
CAVA – A Verified Model Checker:
Neumann, René
, 2017
Link:
http://nbn-resolving.de/..
1-15