Julian-Steffen Müller - Author Profile

Edit Profile

Müller, Julian-Steffen

Author ID:	muller.julian-steffen
Published as:	Müller, Julian-Steffen; Müller, Julian

Documents Indexed:	30 Publications since 1982, including 2 Additional arXiv Preprints
Co-Authors:	16 Co-Authors with 12 Joint Publications
	299 Co-Co-Authors

all top 5

Co-Authors

3	single-authored
10	Vollmer, Heribert
5	Meier, Arne
4	Kontinen, Juha
3	Creignou, Nadia
3	Schnoor, Henning
2	Bendiksen, Kjell H.
2	Ebbing, Johannes
2	Frøland, E.
2	Gajović, Stevan
2	Gerlach-Mena, Pablo José
2	Sæther, G.
2	Schmidt, Johannes
1	Arul, Vishal
1	Brandes, Ulrik
1	Giannakoglou, Kyriakos C.
1	Heine, Moritz
1	Hella, Lauri T.
1	Ikemoto, Yusuke
1	Jansen, Kenneth E.
1	Kosub, Sven
1	Ktari, Raida
1	Kumai, R.
1	Leonhardt, Marius
1	Lüdtke, Martin
1	Magoulas, N.
1	Mattes, B.
1	Moriwaki, T.
1	Mundhenk, Martin
1	Olive, Frédéric
1	Ortmann, Mark
1	Othmer, Carsten
1	Papoutsis-Kiachagias, Evangelos M.
1	Reitsma, Berno
1	Sahni, Onkar
1	Shephard, Mark S.
1	Taylor, Charles A.
1	Virtema, Jonni
1	Yoneyama, N.

all top 5

Serials

1	Classical and Quantum Gravity
1	Computers and Fluids
1	Computer Methods in Applied Mechanics and Engineering
1	International Journal of Multiphase Flow
1	Information Processing Letters
1	Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM)
1	Soviet Automatic Control
1	Journal of Logic and Computation
1	IMRN. International Mathematics Research Notices
1	Expositiones Mathematicae
1	Trudy MEhI
1	St. Petersburg Mathematical Journal
1	Theory of Computing Systems
1	Bulletin of the European Association for Theoretical Computer Science EATCS
1	Computational Methods and Function Theory
1	Mediterranean Journal of Mathematics
1	Logical Methods in Computer Science
1	Science
1	Research in Number Theory

all top 5

Fields

8	Computer science (68-XX)
7	Mathematical logic and foundations (03-XX)
5	Fluid mechanics (76-XX)
2	Number theory (11-XX)
2	Algebraic geometry (14-XX)
2	Measure and integration (28-XX)
2	Functions of a complex variable (30-XX)
2	Differential geometry (53-XX)
2	Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1	Combinatorics (05-XX)
1	Ordinary differential equations (34-XX)
1	Partial differential equations (35-XX)
1	Operator theory (47-XX)
1	Statistics (62-XX)
1	Mechanics of deformable solids (74-XX)
1	Statistical mechanics, structure of matter (82-XX)
1	Relativity and gravitational theory (83-XX)
1	Astronomy and astrophysics (85-XX)
1	Biology and other natural sciences (92-XX)
1	Systems theory; control (93-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

17 Publications have been cited 73 times in 47 Documents	Cited by ▼	Year ▼
Relativistic tests with lunar laser ranging. Zbl 1382.83021 Hofmann, F.; Müller, J.	24	2018
Extended modal dependence logic \(\mathcal{EMDL}\). Zbl 1394.03047 Ebbing, Johannes; Hella, Lauri; Meier, Arne; Müller, Julian-Steffen; Virtema, Jonni; Vollmer, Heribert	20	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.	20	2006
A van Benthem theorem for modal team semantics. Zbl 1373.03024 Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert	18	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.	9	2015
Paradigms for parameterized enumeration. Zbl 1368.68221 Creignou, Nadia; Meier, Arne; Müller, Julian-Steffen; Schmidt, Johannes; Vollmer, Heribert	8	2017
Modal independence logic. Zbl 1444.03064 Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert	7	2017
Modal indepence logic. Zbl 1385.03021 Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert	6	2014
A fragment of dependence logic capturing polynomial time. Zbl 1338.68090 Ebbing, Johannes; Kontinen, Juha; Müller, Julian-Steffen; Vollmer, Heribert	5	2014
Paradigms for parameterized enumeration. Zbl 1362.68103 Creignou, Nadia; Meier, Arne; Müller, Julian-Steffen; Schmidt, Johannes; Vollmer, Heribert	3	2013
Model checking for modal dependence logic: an approach through Post’s lattice. Zbl 1394.68234 Müller, Julian-Steffen; Vollmer, Heribert	3	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.	1	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	1	2015
Complexity of model checking for logics over Kripke models. Zbl 1394.68233 Meier, Arne; Müller, Julian-Steffen; Mundhenk, Martin; Vollmer, Heribert	1	2012
Positional dominance: concepts and algorithms. Zbl 1487.05192 Brandes, Ulrik; Heine, Moritz; Müller, Julian; Ortmann, Mark	1	2017
The fractal dimension of oil-water interfaces in channel flows. Zbl 0825.76874 Sæther, G.; Bendiksen, K.; Muller, J.; Frøland, E.	1	1993
Spaceability of subsets of the disc algebra. Zbl 1515.30010 Gerlach-Mena, P. J.; Müller, J.	1	2023
Spaceability of subsets of the disc algebra. Zbl 1515.30010 Gerlach-Mena, P. J.; Müller, J.	1	2023
Relativistic tests with lunar laser ranging. Zbl 1382.83021 Hofmann, F.; Müller, J.	24	2018
Paradigms for parameterized enumeration. Zbl 1368.68221 Creignou, Nadia; Meier, Arne; Müller, Julian-Steffen; Schmidt, Johannes; Vollmer, Heribert	8	2017
Modal independence logic. Zbl 1444.03064 Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert	7	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.	1	2017
Positional dominance: concepts and algorithms. Zbl 1487.05192 Brandes, Ulrik; Heine, Moritz; Müller, Julian; Ortmann, Mark	1	2017
A van Benthem theorem for modal team semantics. Zbl 1373.03024 Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert	18	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.	9	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	1	2015
Modal indepence logic. Zbl 1385.03021 Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert	6	2014
A fragment of dependence logic capturing polynomial time. Zbl 1338.68090 Ebbing, Johannes; Kontinen, Juha; Müller, Julian-Steffen; Vollmer, Heribert	5	2014
Extended modal dependence logic \(\mathcal{EMDL}\). Zbl 1394.03047 Ebbing, Johannes; Hella, Lauri; Meier, Arne; Müller, Julian-Steffen; Virtema, Jonni; Vollmer, Heribert	20	2013
Paradigms for parameterized enumeration. Zbl 1362.68103 Creignou, Nadia; Meier, Arne; Müller, Julian-Steffen; Schmidt, Johannes; Vollmer, Heribert	3	2013
Model checking for modal dependence logic: an approach through Post’s lattice. Zbl 1394.68234 Müller, Julian-Steffen; Vollmer, Heribert	3	2013
Complexity of model checking for logics over Kripke models. Zbl 1394.68233 Meier, Arne; Müller, Julian-Steffen; Mundhenk, Martin; Vollmer, Heribert	1	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.	20	2006
The fractal dimension of oil-water interfaces in channel flows. Zbl 0825.76874 Sæther, G.; Bendiksen, K.; Muller, J.; Frøland, E.	1	1993

all cited Publications top 5 cited Publications

all top 5

Cited by 56 Authors

8	Meier, Arne
8	Virtema, Jonni
7	Yang, Fan
5	Lück, Martin
4	Fichte, Johannes Klaus
4	Hannula, Miika
4	Kontinen, Juha
4	Väänänen, Jouko Antero
4	Vollmer, Heribert
3	Ciardelli, Ivano A.
3	Durand, Arnaud
3	Hella, Lauri T.
3	Mahmood, Yasir
3	Sano, Katsuhiko
2	Creignou, Nadia
2	Iemhoff, Rosalie
2	Müller, Julian-Steffen
2	Schindler, Irena
2	Schmidt, Johannes
2	Schröder, Lutz
2	Wild, Paul
1	Bentert, Matthias
1	Bezhanishvili, Nick
1	Brandes, Ulrik
1	Capelli, Florent
1	de Rugy-Altherre, Nicolas
1	Demri, Stéphane P.
1	Deters, Morgan
1	Ebbing, Johannes
1	Fluschnik, Till
1	Galliani, Pietro
1	Golovach, Petr A.
1	Goranko, Valentin F.
1	Hecher, Markus
1	Humberstone, Lloyd
1	Komusiewicz, Christian
1	König, Barbara
1	Kratsch, Dieter
1	Krebs, Andreas
1	Kronegger, Martin
1	Ktari, Raida
1	Kuusisto, Antti
1	Lê Văn Băng
1	Lohmann, Peter
1	Meeks, Kitty
1	Mundhenk, Martin
1	Nichterlein, André
1	Niedermeier, Rolf
1	Olive, Frédéric
1	Otto, Martin
1	Pattinson, Dirk
1	Schindler, Irina
1	Strozecki, Yann
1	Stumpf, Johanna Beate
1	Vilander, Miikka S.
1	Woltran, Stefan

all top 5

Cited in 17 Serials

5	Annals of Pure and Applied Logic
3	Journal of Computer and System Sciences
3	Information and Computation
3	Annals of Mathematics and Artificial Intelligence
3	ACM Transactions on Computational Logic
2	Logical Methods in Computer Science
1	Acta Informatica
1	Discrete Applied Mathematics
1	The Journal of Symbolic Logic
1	Notre Dame Journal of Formal Logic
1	Theoretical Computer Science
1	Algorithmica
1	Archive for Mathematical Logic
1	Journal of Applied Non-Classical Logics
1	Theory of Computing Systems
1	Logic and Logical Philosophy
1	The Review of Symbolic Logic

Cited in 3 Fields

37	Mathematical logic and foundations (03-XX)
27	Computer science (68-XX)
3	Combinatorics (05-XX)

Müller, Julian-Steffen

Co-Authors

Serials

Fields

Publications by Year

Citations contained in zbMATH Open

Cited by 56 Authors

Cited in 17 Serials

Cited in 3 Fields

Citations by Year