E-LIB Suche - Ergebnisse für: Muller, Julian-Steffen

1

C-PO: A Context-Based Application-Placement Optimization fo..:

, In: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE),

Kain, Tobias ; Tompits, Hans ; Horeis, Timo Frederik... - p. 1288-1293 , 2021

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

2

A Reliability Engineering Based Approach to Model Complex a..:

, In: 2020 International Conference on Connected and Autonomous Driving (MetroCAD),

Horeis, Timo Frederik ; Kain, Tobias ; Muller, Julian-Steffen... - p. 76-84 , 2020

Link: https://doi.org/10.1109/..

3

Parameterised Enumeration for Modification Problems:

Creignou, Nadia ; Ktari, Raïda ; Meier, Arne...
Algorithms. 12 (2019) 9 - p. 189 , 2019

Link: https://doi.org/10.3390/..

4

Modal independence logic:

Kontinen, Juha ; Müller, Julian-Steffen ; Schnoor, Henning.
Journal of Logic and Computation. , 2016

Link: https://doi.org/10.1093/..

5

Paradigms for Parameterized Enumeration:

Creignou, Nadia ; Meier, Arne ; Müller, Julian-Steffen..
Theory of Computing Systems. 60 (2016) 4 - p. 737-758 , 2016

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

6

Parameterised Enumeration for Modification Problems:

Creignou, Nadia ; Ktari, Raïda ; Meier, Arne...
info:eu-repo/semantics/altIdentifier/doi/10.3390/a12090189. , 2019

Link: https://hal.science/hal-..

7

Parameterised Enumeration for Modification Problems:

Creignou, Nadia ; Ktari, Raïda ; Müller, Julian-Steffen..
DOI:https://doi.org/10.3390/a12090189. , 2019

Link: https://www.repo.uni-han..

8

Parameterised Enumeration for Modification Problems:

Creignou, Nadia ; Ktari, Raïda ; Meier, Arne...
info:eu-repo/semantics/altIdentifier/doi/10.3390/a12090189. , 2019

Link: https://hal.science/hal-..

9

Parameterised Enumeration for Modification Problems:

Creignou, Nadia ; Ktari, Raïda ; Meier, Arne...
info:eu-repo/semantics/altIdentifier/doi/10.3390/a12090189. , 2019

Link: https://hal.archives-ouv..

10

Modal Independence Logic:

Kontinen, Juha ; Müller, Julian-Steffen ; Schnoor, Henning.
Advances in Modal Logic. , 2017

Link: http://hdl.handle.net/10..

11

Modal Independence Logic:

Kontinen, Juha ; Müller, Julian-Steffen ; Schnoor, Henning.
10.1093/logcom/exw019. , 2017

Link: http://hdl.handle.net/10..

12

A van Benthem theorem for modal team semantics:

Kontinen, Juha ; Müller, Julian-Steffen ; Schnoor, Henning.
DOI:https://doi.org/10.4230/LIPIcs.CSL.2015.277. , 2015

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

13

A Van Benthem Theorem for Modal Team Semantics:

Kontinen, Juha ; Müller, Julian-Steffen ; Schnoor, Henning.
Is Part Of LIPIcs, Volume 41, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). , 2015

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

14

Modal Independence Logic:

Kontinen, Juha ; Müller, Julian-Steffen ; Schnoor, Henning.
http://arxiv.org/abs/1404.0144. , 2014

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

15

A Van Benthem Theorem for Modal Team Semantics:

Kontinen, Juha ; Müller, Julian-Steffen ; Schnoor, Henning.
http://arxiv.org/abs/1410.6648. , 2014

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