E-LIB Suche - Ergebnisse für: Deifel, Hans-Peter

1

Distributed Coalgebraic Partition Refinement:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Birkmann, Fabian ; Deifel, Hans-Peter ; Milius, Stefan - p. 159-177 , 2022

Link: https://doi.org/10.1007/..

2

From generic partition refinement to weighted tree automata..:

Wißmann, Thorsten ; Deifel, Hans-Peter ; Milius, Stefan.
Formal Aspects of Computing. 33 (2021) 4-5 - p. 695-727 , 2021

Link: https://doi.org/10.1007/..

3

Unifying Metadata-Based Storage Reconstruction and Carving ..:

Schneider, Janine ; Deifel, Hans-Peter ; Milius, Stefan.
Forensic Science International: Digital Investigation. 33 (2020) - p. 301006 , 2020

Link: https://doi.org/10.1016/..

4

Generic Partition Refinement and Weighted Tree Automata:

, In: Lecture Notes in Computer Science; Formal Methods – The Next 30 Years,

Deifel, Hans-Peter ; Milius, Stefan ; Schröder, Lutz. - p. 280-297 , 2019

Link: https://doi.org/10.1007/..

5

Permutation Games for the Weakly Aconjunctive $$\mu $$ μ -C..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Hausmann, Daniel ; Schröder, Lutz ; Deifel, Hans-Peter - p. 361-378 , 2018

Link: https://doi.org/10.1007/..

6

Automatic verification of application-tailored OSEK kernels:

, In: 2017 Formal Methods in Computer Aided Design (FMCAD),

Deifel, Hans-Peter ; Gottlinger, Merlin ; Milius, Stefan... - p. 196-203 , 2017

Link: https://doi.org/10.23919..

7

Distributed Coalgebraic Partition Refinement:

Birkmann, Fabian ; Deifel, Hans-Peter ; Milius, Stefan
http://arxiv.org/abs/2204.06248. , 2022

Link: http://arxiv.org/abs/220..

8

Software and Benchmarks for Distributed Coalgebraic Partiti..:

Birkmann, Fabian ; Deifel, Hans-Peter ; Milius, Stefan
doi:10.5281/zenodo.5907083. , 2022

Link: https://zenodo.org/recor..

9

Coalgebra Encoding for Efficient Minimization:

Deifel, Hans-Peter ; Milius, Stefan ; Wißmann, Thorsten
http://arxiv.org/abs/2102.12842. , 2021

Link: http://arxiv.org/abs/210..

10

Coalgebra Encoding for Efficient Minimization:

Deifel, Hans-Peter ; Milius, Stefan
doi:10.4230/LIPIcs.FSCD.2021.28. , 2021

Link: https://doi.org/10.4230/..

11

From Generic Partition Refinement to Weighted Tree Automata..:

Wißmann, Thorsten ; Deifel, Hans-Peter ; Milius, Stefan.
http://arxiv.org/abs/2004.01250. , 2020

Link: http://arxiv.org/abs/200..

12

Generic Partition Refinement and Weighted Tree Automata:

Deifel, Hans-Peter ; Milius, Stefan ; Schröder, Lutz.
http://arxiv.org/abs/1811.08850. , 2018

Link: http://arxiv.org/abs/181..

13

Permutation Games for the Weakly Aconjunctive $\mu$-Calculu:

Hausmann, Daniel ; Schröder, Lutz ; Deifel, Hans-Peter
http://arxiv.org/abs/1710.08996. , 2017

Link: http://arxiv.org/abs/171..

14

Automatic Verification of Application-Tailored OSEK Kernels:

Deifel, Hans-Peter ; Dietrich, Christian ; Göttlinger, Merlin...
http://dx.doi.org/10.15488/1761. , 2017

Link: http://www.repo.uni-hann..

15

30 Jahre Offener Unterricht. Eine Gruppe von Lehrkräften bl..:

Batsching, Hans ; Deifel, Heinz ; Seichter, Barbara.
Pädagogik (Weinheim). 61 (2009) 4 - p. 28-31 , 2009

Copies: Zentrale;