×

zbMATH — the first resource for mathematics

Schneider, Thomas

Compute Distance To:
Author ID: schneider.thomas Recent zbMATH articles by "Schneider, Thomas"
Published as: Schneider, T.; Schneider, Th.; Schneider, Thomas
Homepage: www.informatik.uni-bremen.de/~ts/
External Links: MGP
Documents Indexed: 30 Publications since 1998, including 1 Book

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 149 times in 112 Documents Cited by Year
Asymptotic adaptive methods for multi-scale problems in fluid mechanics. Zbl 1015.76071
Klein, R.; Botta, N.; Schneider, T.; Munz, C. D.; Roller, S.; Meister, A.; Hoffmann, L.; Sonar, T.
55
2001
Extension of finite volume compressible flow solvers to multi-dimensional, variable density zero Mach number flows. Zbl 0968.76054
Schneider, T.; Botta, N.; Geratz, K. J.; Klein, R.
31
1999
The complexity of generalized satisfiability for linear temporal logic. Zbl 1183.03017
Bauland, Michael; Schneider, Thomas; Schnoor, Henning; Schnoor, Ilka; Vollmer, Heribert
11
2009
The complexity of satisfiability for fragments of hybrid logic. I. Zbl 1215.03034
Meier, Arne; Mundhenk, Martin; Schneider, Thomas; Thomas, Michael; Weber, Volker; Weiss, Felix
7
2010
Complexity of hybrid logics over transitive frames. Zbl 1215.03035
Mundhenk, Martin; Schneider, Thomas; Schwentick, Thomas; Weber, Volker
6
2010
The tractability of model-checking for LTL: the good, the bad, and the ugly fragments. Zbl 1347.68217
Bauland, Michael; Mundhenk, Martin; Schneider, Thomas; Schnoor, Henning; Schnoor, Ilka; Vollmer, Heribert
6
2009
The complexity of generalized satisfiability for linear temporal logic. Zbl 1183.03016
Bauland, Michael; Schneider, Thomas; Schnoor, Henning; Schnoor, Ilka; Vollmer, Heribert
6
2007
Model checking CTL is almost always inherently sequential. Zbl 1220.68068
Beyersdorff, Olaf; Meier, Arne; Mundhenk, Martin; Schneider, Thomas; Thomas, Michael; Vollmer, Heribert
5
2011
Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics. Zbl 1333.03008
Kaminski, Mark; Schneider, Thomas; Smolka, Gert
4
2011
Undecidability of multi-modal hybrid logics. Zbl 1278.03047
Mundhenk, Martin; Schneider, Thomas
4
2007
The tractability of model checking for LTL: the good, the bad, and the ugly fragments. Zbl 1351.68151
Bauland, Michael; Mundhenk, Martin; Schneider, Thomas; Schnoor, Henning; Schnoor, Ilka; Vollmer, Heribert
3
2011
Overcoming mass losses in level set-based interface tracking schemes. Zbl 1052.76559
Schneider, Th.; Klein, R.
3
1999
Generalized satisfiability for the description logic \(\mathcal{ALC}\). Zbl 1301.68222
Meier, Arne; Schneider, Thomas
2
2013
The complexity of satisfiability for fragments of hybrid logic. I. Zbl 1250.03036
Meier, Arne; Mundhenk, Martin; Schneider, Thomas; Thomas, Michael; Weber, Volker; Weiss, Felix
2
2009
Robust and efficient ray intersection of implicit surfaces. Zbl 0965.65042
Caprani, Ole; Hvidegaard, Lars; Mortensen, Mikkel; Schneider, Thomas
2
2000
The complexity of hybrid logics over equivalence relations. Zbl 1193.03054
Mundhenk, Martin; Schneider, Thomas
1
2009
The velocity field of dilute cationic surfactant solutions in a Couette-viscometer. Zbl 0973.76512
Koch, Stefan; Schneider, T.; Küter, W.
1
1998
Generalized satisfiability for the description logic \(\mathcal{ALC}\). Zbl 1301.68222
Meier, Arne; Schneider, Thomas
2
2013
Model checking CTL is almost always inherently sequential. Zbl 1220.68068
Beyersdorff, Olaf; Meier, Arne; Mundhenk, Martin; Schneider, Thomas; Thomas, Michael; Vollmer, Heribert
5
2011
Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics. Zbl 1333.03008
Kaminski, Mark; Schneider, Thomas; Smolka, Gert
4
2011
The tractability of model checking for LTL: the good, the bad, and the ugly fragments. Zbl 1351.68151
Bauland, Michael; Mundhenk, Martin; Schneider, Thomas; Schnoor, Henning; Schnoor, Ilka; Vollmer, Heribert
3
2011
The complexity of satisfiability for fragments of hybrid logic. I. Zbl 1215.03034
Meier, Arne; Mundhenk, Martin; Schneider, Thomas; Thomas, Michael; Weber, Volker; Weiss, Felix
7
2010
Complexity of hybrid logics over transitive frames. Zbl 1215.03035
Mundhenk, Martin; Schneider, Thomas; Schwentick, Thomas; Weber, Volker
6
2010
The complexity of generalized satisfiability for linear temporal logic. Zbl 1183.03017
Bauland, Michael; Schneider, Thomas; Schnoor, Henning; Schnoor, Ilka; Vollmer, Heribert
11
2009
The tractability of model-checking for LTL: the good, the bad, and the ugly fragments. Zbl 1347.68217
Bauland, Michael; Mundhenk, Martin; Schneider, Thomas; Schnoor, Henning; Schnoor, Ilka; Vollmer, Heribert
6
2009
The complexity of satisfiability for fragments of hybrid logic. I. Zbl 1250.03036
Meier, Arne; Mundhenk, Martin; Schneider, Thomas; Thomas, Michael; Weber, Volker; Weiss, Felix
2
2009
The complexity of hybrid logics over equivalence relations. Zbl 1193.03054
Mundhenk, Martin; Schneider, Thomas
1
2009
The complexity of generalized satisfiability for linear temporal logic. Zbl 1183.03016
Bauland, Michael; Schneider, Thomas; Schnoor, Henning; Schnoor, Ilka; Vollmer, Heribert
6
2007
Undecidability of multi-modal hybrid logics. Zbl 1278.03047
Mundhenk, Martin; Schneider, Thomas
4
2007
Asymptotic adaptive methods for multi-scale problems in fluid mechanics. Zbl 1015.76071
Klein, R.; Botta, N.; Schneider, T.; Munz, C. D.; Roller, S.; Meister, A.; Hoffmann, L.; Sonar, T.
55
2001
Robust and efficient ray intersection of implicit surfaces. Zbl 0965.65042
Caprani, Ole; Hvidegaard, Lars; Mortensen, Mikkel; Schneider, Thomas
2
2000
Extension of finite volume compressible flow solvers to multi-dimensional, variable density zero Mach number flows. Zbl 0968.76054
Schneider, T.; Botta, N.; Geratz, K. J.; Klein, R.
31
1999
Overcoming mass losses in level set-based interface tracking schemes. Zbl 1052.76559
Schneider, Th.; Klein, R.
3
1999
The velocity field of dilute cationic surfactant solutions in a Couette-viscometer. Zbl 0973.76512
Koch, Stefan; Schneider, T.; Küter, W.
1
1998
all top 5

Cited by 173 Authors

14 Feireisl, Eduard
9 Klein, Rupert
9 Meier, Arne
8 Schneider, Thomas
7 Mundhenk, Martin
6 Dumbser, Michael
6 Thomas, Michael M.
5 Novotný, Antonín
4 Smolka, Gert
4 Tavelli, Maurizio
4 Weber, Volker
3 Kwon, Young-Sam
3 Petzeltová, Hana
3 Smolarkiewicz, Piotr K.
3 Trivisa, Konstantina
3 Vollmer, Heribert
2 Bassi, Francesco
2 Breit, Dominic
2 Calgaro, Caterina
2 Creusé, Emmanuel
2 Dick, Erik
2 Doczkal, Christian
2 Goudon, Thierry
2 Hofmanová, Martina
2 Ju, Qiangchang
2 Kaminski, Mark
2 Lück, Martin
2 Mei, Liquan
2 Minion, Michael L.
2 Mucha, Piotr Bogusław
2 Munz, Claus-Dieter
2 Oevermann, Michael
2 Pokorný, Milan
2 Roller, Sabine
2 Schindler, Irena
2 Schnoor, Henning
2 Schnoor, Ilka
2 Schütz, Jochen
2 Szmelter, Joanna
2 Vater, Stefan
2 Vierendeels, Jan
2 Weiss, Felix
2 Xu, Xin
2 Zatorska, Ewelina
1 Alazard, Thomas
1 Anderson, Chris K.
1 Archambeau, Fréderic
1 Artale, Alessandro
1 Arun, K. R.
1 Balabel, Ashraf
1 Ballew, Joshua
1 Bänsch, Eberhard
1 Bartolo, C. De
1 Basting, Steffen
1 Bauland, Michael
1 Berthon, Christophe
1 Beyersdorff, Olaf
1 Bidoit, Nicole
1 Birken, Philipp
1 Boscheri, Walter
1 Bova, Simone
1 Bucur, Dorin
1 Busto, Saray
1 Caiden, Rachel
1 Chane-Kane, Emile
1 Chen, Kangping
1 Cialdea Mayer, Marta
1 Colazzo, Dario
1 Cordier, Floraine
1 De Bartolo, Carmine
1 de Vargas, Lourdes
1 Degond, Pierre
1 Dimarco, Giacomo
1 Ebbing, Johannes
1 Fambri, Francesco
1 Fedkiw, Ronald P.
1 Finkbeiner, Bernd
1 Fortenbach, Roland
1 Furia, Carlo Alberto
1 Gasser, Ingenuin
1 Gate, James
1 Gauthier, Stéphane
1 Ge, Jiatai
1 Geratz, K. J.
1 Gerber, Stephan
1 Giraldo, Francis X.
1 Grapsa, Theodoula N.
1 Hartmann, Rainer
1 Hartmann, Ralf
1 He, Yaling
1 Hemaspaandra, Edith
1 Hérard, Jean-Marc
1 Hietel, Dietmar
1 Huang, Jing
1 Iskandarani, Mohamed
1 Jiang, Song
1 Jin, Yan
1 Kadioglu, Samet Y.
1 Kaiser, Klaus Hermann
1 Keck, Rainer
...and 73 more Authors
all top 5

Cited in 58 Serials

19 Journal of Computational Physics
4 Computers and Fluids
4 European Series in Applied and Industrial Mathematics (ESAIM): Mathematical Modelling and Numerical Analysis
3 Archive for Rational Mechanics and Analysis
3 Applied Mathematics and Computation
3 Journal of Automated Reasoning
3 Journal of Applied Logic
2 Communications in Mathematical Physics
2 Information Processing Letters
2 Journal of Fluid Mechanics
2 Quarterly of Applied Mathematics
2 Applied Numerical Mathematics
2 Journal of Scientific Computing
2 M\(^3\)AS. Mathematical Models & Methods in Applied Sciences
2 Communications in Partial Differential Equations
2 SIAM Journal on Scientific Computing
2 ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik
2 ACM Transactions on Computational Logic
1 Acta Informatica
1 Computers & Mathematics with Applications
1 Computer Methods in Applied Mechanics and Engineering
1 International Journal for Numerical Methods in Fluids
1 Journal of Engineering Mathematics
1 Journal of Mathematical Physics
1 Mathematical Methods in the Applied Sciences
1 Theoretical and Computational Fluid Dynamics
1 BIT
1 Journal of Computer and System Sciences
1 Journal of Differential Equations
1 Numerische Mathematik
1 Studia Logica
1 Theoretical Computer Science
1 Science of Computer Programming
1 Physica D
1 Algorithmica
1 Applied Mathematics Letters
1 International Journal of Foundations of Computer Science
1 Applied Mathematical Modelling
1 Journal de Mathématiques Pures et Appliquées. Neuvième Série
1 Journal of Non-Newtonian Fluid Mechanics
1 SIAM Journal on Mathematical Analysis
1 Journal of Logic, Language and Information
1 Advances in Computational Mathematics
1 Annals of Mathematics and Artificial Intelligence
1 Discrete and Continuous Dynamical Systems
1 Science in China. Series E
1 Theory of Computing Systems
1 Revista Matemática Complutense
1 Journal of Mathematical Fluid Mechanics
1 European Journal of Mechanics. B. Fluids
1 Nonlinear Analysis. Real World Applications
1 Milan Journal of Mathematics
1 Central European Journal of Mathematics
1 Communications in Applied Mathematics and Computational Science
1 Discrete and Continuous Dynamical Systems. Series S
1 Science China. Mathematics
1 Journal of Logical and Algebraic Methods in Programming
1 SMAI Journal of Computational Mathematics

Citations by Year