Relativistic tests with lunar laser ranging. Zbl 1382.83021
Hofmann, F.; Müller, J. |
|
2018
|
Extended modal dependence logic \(\mathcal{EMDL}\). Zbl 1394.03047
Ebbing, Johannes; Hella, Lauri; Meier, Arne; Müller, Julian-Steffen; Virtema, Jonni; Vollmer, Heribert |
|
2013
|
Efficient anisotropic adaptive discretization of the cardiovascular system. Zbl 1125.76046
Sahni, O.; Müller, J.; Jansen, K. E.; Shephard, M. S.; Taylor, C. A. |
|
2006
|
A van Benthem theorem for modal team semantics. Zbl 1373.03024
Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert |
|
2015
|
Noise reduction in car aerodynamics using a surrogate objective function and the continuous adjoint method with wall functions. Zbl 1390.76826
Papoutsis-Kiachagias, E. M.; Magoulas, N.; Mueller, J.; Othmer, C.; Giannakoglou, K. C. |
|
2015
|
Paradigms for parameterized enumeration. Zbl 1368.68221
Creignou, Nadia; Meier, Arne; Müller, Julian-Steffen; Schmidt, Johannes; Vollmer, Heribert |
|
2017
|
Modal independence logic. Zbl 1444.03064
Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert |
|
2017
|
Modal indepence logic. Zbl 1385.03021
Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert |
|
2014
|
A fragment of dependence logic capturing polynomial time. Zbl 1338.68090
Ebbing, Johannes; Kontinen, Juha; Müller, Julian-Steffen; Vollmer, Heribert |
|
2014
|
Paradigms for parameterized enumeration. Zbl 1362.68103
Creignou, Nadia; Meier, Arne; Müller, Julian-Steffen; Schmidt, Johannes; Vollmer, Heribert |
|
2013
|
Model checking for modal dependence logic: an approach through Post’s lattice. Zbl 1394.68234
Müller, Julian-Steffen; Vollmer, Heribert |
|
2013
|
Crystallization and vitrification of electrons in a glass-forming charge liquid. Zbl 1404.82075
Sasaki, S.; Hashimoto, K.; Kobayashi, R.; Itoh, K.; Iguchi, S.; Nishio, Y.; Ikemoto, Y.; Moriwaki, T.; Yoneyama, N.; Watanabe, M.; Ueda, A.; Mori, H.; Kobayashi, K.; Kumai, R.; Murakami, Y.; Müller, J.; Sasaki, T. |
|
2017
|
Parameterized enumeration for modification problems. Zbl 1451.68136
Creignou, Nadia; Ktari, Raïda; Meier, Arne; Müller, Julian-Steffen; Olive, Frédéric; Vollmer, Heribert |
|
2015
|
Complexity of model checking for logics over Kripke models. Zbl 1394.68233
Meier, Arne; Müller, Julian-Steffen; Mundhenk, Martin; Vollmer, Heribert |
|
2012
|
Positional dominance: concepts and algorithms. Zbl 1487.05192
Brandes, Ulrik; Heine, Moritz; Müller, Julian; Ortmann, Mark |
|
2017
|
The fractal dimension of oil-water interfaces in channel flows. Zbl 0825.76874
Sæther, G.; Bendiksen, K.; Muller, J.; Frøland, E. |
|
1993
|
Spaceability of subsets of the disc algebra. Zbl 1515.30010
Gerlach-Mena, P. J.; Müller, J. |
|
2023
|
Spaceability of subsets of the disc algebra. Zbl 1515.30010
Gerlach-Mena, P. J.; Müller, J. |
|
2023
|
Relativistic tests with lunar laser ranging. Zbl 1382.83021
Hofmann, F.; Müller, J. |
|
2018
|
Paradigms for parameterized enumeration. Zbl 1368.68221
Creignou, Nadia; Meier, Arne; Müller, Julian-Steffen; Schmidt, Johannes; Vollmer, Heribert |
|
2017
|
Modal independence logic. Zbl 1444.03064
Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert |
|
2017
|
Crystallization and vitrification of electrons in a glass-forming charge liquid. Zbl 1404.82075
Sasaki, S.; Hashimoto, K.; Kobayashi, R.; Itoh, K.; Iguchi, S.; Nishio, Y.; Ikemoto, Y.; Moriwaki, T.; Yoneyama, N.; Watanabe, M.; Ueda, A.; Mori, H.; Kobayashi, K.; Kumai, R.; Murakami, Y.; Müller, J.; Sasaki, T. |
|
2017
|
Positional dominance: concepts and algorithms. Zbl 1487.05192
Brandes, Ulrik; Heine, Moritz; Müller, Julian; Ortmann, Mark |
|
2017
|
A van Benthem theorem for modal team semantics. Zbl 1373.03024
Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert |
|
2015
|
Noise reduction in car aerodynamics using a surrogate objective function and the continuous adjoint method with wall functions. Zbl 1390.76826
Papoutsis-Kiachagias, E. M.; Magoulas, N.; Mueller, J.; Othmer, C.; Giannakoglou, K. C. |
|
2015
|
Parameterized enumeration for modification problems. Zbl 1451.68136
Creignou, Nadia; Ktari, Raïda; Meier, Arne; Müller, Julian-Steffen; Olive, Frédéric; Vollmer, Heribert |
|
2015
|
Modal indepence logic. Zbl 1385.03021
Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert |
|
2014
|
A fragment of dependence logic capturing polynomial time. Zbl 1338.68090
Ebbing, Johannes; Kontinen, Juha; Müller, Julian-Steffen; Vollmer, Heribert |
|
2014
|
Extended modal dependence logic \(\mathcal{EMDL}\). Zbl 1394.03047
Ebbing, Johannes; Hella, Lauri; Meier, Arne; Müller, Julian-Steffen; Virtema, Jonni; Vollmer, Heribert |
|
2013
|
Paradigms for parameterized enumeration. Zbl 1362.68103
Creignou, Nadia; Meier, Arne; Müller, Julian-Steffen; Schmidt, Johannes; Vollmer, Heribert |
|
2013
|
Model checking for modal dependence logic: an approach through Post’s lattice. Zbl 1394.68234
Müller, Julian-Steffen; Vollmer, Heribert |
|
2013
|
Complexity of model checking for logics over Kripke models. Zbl 1394.68233
Meier, Arne; Müller, Julian-Steffen; Mundhenk, Martin; Vollmer, Heribert |
|
2012
|
Efficient anisotropic adaptive discretization of the cardiovascular system. Zbl 1125.76046
Sahni, O.; Müller, J.; Jansen, K. E.; Shephard, M. S.; Taylor, C. A. |
|
2006
|
The fractal dimension of oil-water interfaces in channel flows. Zbl 0825.76874
Sæther, G.; Bendiksen, K.; Muller, J.; Frøland, E. |
|
1993
|