Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Humml, Merlin
16  Ergebnisse:
Personensuche X
?
1

Argumentation Schemes for Blockchain Deanonymisation:

Deuber, Dominic ; Gruber, Jan ; Humml, Merlin..
FinTech.  3 (2024)  2 - p. 236-248 , 2024
Link: https://doi.org/10.3390/..
 
?
2

A Formal Treatment of Expressiveness and Relevanceof Digita..:

Gruber, Jan ; Humml, Merlin
Digital Threats: Research and Practice.  4 (2023)  3 - p. 1-16 , 2023
Link: https://doi.org/10.1145/..
 
?
3

Generic Model Checking for Modal Fixpoint Logics in COOL-MC:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Hausmann, Daniel ; Humml, Merlin ; Prucker, Simon.. - p. 171-185 , 2023
Link: https://doi.org/10.1007/..
 
?
4

COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (Syst..:

, In: Automated Deduction – CADE 29; Lecture Notes in Computer Science,
Görlitz, Oliver ; Hausmann, Daniel ; Humml, Merlin... - p. 234-247 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Generic Model Checking for Modal Fixpoint Logics in COOL-MC:

Hausmann, Daniel ; Humml, Merlin ; Prucker, Simon..
http://arxiv.org/abs/2311.01315.  , 2023
Link: http://arxiv.org/abs/231..
 
?
6

COOL 2 -- A Generic Reasoner for Modal Fixpoint Logics:

Görlitz, Oliver ; Hausmann, Daniel ; Humml, Merlin...
http://arxiv.org/abs/2305.11015.  , 2023
Link: http://arxiv.org/abs/230..
 
?
7

Argumentation Schemes for Blockchain Deanonymization:

Deuber, Dominic ; Gruber, Jan ; Humml, Merlin..
http://arxiv.org/abs/2305.16883.  , 2023
Link: http://arxiv.org/abs/230..
 
?
8

The Alternating-Time \mu-Calculus With Disjunctive Explicit..:

Humml, Merlin ; Schröder, Lutz ; Pattinson, Dirk
http://arxiv.org/abs/2305.18795.  , 2023
Link: http://arxiv.org/abs/230..
 
?
9

Common Knowledge of Abstract Groups:

Humml, Merlin ; Schröder, Lutz
http://arxiv.org/abs/2211.16284.  , 2022
Link: http://arxiv.org/abs/221..
 
?
10

Benchmarking for COOL Model Checking:

Daniel Hausmann ; Merlin Humml ; Simon Prucker..
doi:10.5281/zenodo.8332511.  , 2023
Link: https://zenodo.org/recor..
 
?
11

Benchmarking for COOL Model Checking:

Daniel Hausmann ; Merlin Humml ; Simon Prucker..
doi:10.5281/zenodo.8332511.  , 2023
Link: https://zenodo.org/recor..
 
?
12

Benchmarking for COOL Model Checking:

Daniel Hausmann ; Merlin Humml ; Simon Prucker..
doi:10.5281/zenodo.8332511.  , 2023
Link: https://zenodo.org/recor..
 
?
13

Benchmarking scripts for COOL 2.3:

Oliver Görlitz ; Daniel Hausmann ; Merlin Humml...
doi:10.5281/zenodo.7708233.  , 2023
Link: https://zenodo.org/recor..
 
?
14

Benchmarking scripts for COOL 2.4:

Oliver Görlitz ; Daniel Hausmann ; Merlin Humml...
doi:10.5281/zenodo.7708233.  , 2023
Link: https://zenodo.org/recor..
 
?
15

Benchmarking scripts for COOL 2.3:

Oliver Görlitz ; Daniel Hausmann ; Merlin Humml...
doi:10.5281/zenodo.7708233.  , 2023
Link: https://zenodo.org/recor..
 
1-15