Publication list for members of
E104 - Institute of Discrete Mathematics and Geometry
as authors or essentially involved persons
5238 records (1985 - 2022)
The complete list of publications of the Faculty of Mathematics and Geoinformation - Mathematics is available from the publication database beginning with the publication year 2002. The database may but need not necessarily contain publications dated earlier than 2002.
Books and Book Editorships
-
S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara (ed.):
"Algebraic and proof-theoretic aspects of non classical logics";
Springer,
Heidelberg,
2007,
ISBN: 978-3-540-75938-6.
-
S. Aleshnikov, J. Boltnev, Z. Esik, S. Ishanov, W. Kuich:
"Sovremennaya Teoriya Avtomatov";
Izd-vo BFU Im. Kanta,
Kaliningrad,
2013,
ISBN: 978-5-9971-0273-9;
262 pages.
-
H. Arabnia, M. Dehmer, F. Emmert-Streib, M. Qu Yang (ed.):
"Proceedings of the 2007 International Conference on Machine Learning; Models, Technologies & Applications";
CSREA Press,
2007,
ISBN: 1-60132-027-2.
-
T. Arens, F. Hettlich, C. Karpfinger, U. Kockelkorn, K. Lichtenegger, H. Stachel (ed.):
"Arbeitsbuch Mathematik";
Spektrum Akademischer Verlag,
Heidelberg,
2009,
ISBN: 978-3-8274-2123-4;
683 pages.
-
T. Arens, F. Hettlich, C. Karpfinger, U. Kockelkorn, K. Lichtenegger, H. Stachel:
"Arbeitsbuch Mathematik";
Spektrum Akademischer Verlag,
2012,
ISBN: 978-3-8274-2410-5;
684 pages.
-
T. Arens, F. Hettlich, C. Karpfinger, U. Kockelkorn, K. Lichtenegger, H. Stachel (ed.):
"Arbeitsbuch Mathematik";
Spektrum Akademischer Verlag,
2015,
ISBN: 978-3-642-54947-2;
441 pages.
-
T. Arens, F. Hettlich, C. Karpfinger, U. Kockelkorn, K. Lichtenegger, H. Stachel:
"Arbeitsbuch Mathematik, 4. Auflage";
Springer Spektrum,
2018,
ISBN: 978-3-662-56749-4;
445 pages.
-
T. Arens, F. Hettlich, C. Karpfinger, U. Kockelkorn, K. Lichtenegger, H. Stachel (ed.):
"Ergänzungen und Vertiefungen zu Arens et al.; Mathematik.";
Springer Spektrum,
2017,
ISBN: 978-3-662-53584-4.
-
T. Arens, F. Hettlich, C. Karpfinger, U. Kockelkorn, K. Lichtenegger, H. Stachel (ed.):
"Ergänzungen und Vertiefungen zu Mathematik";
Spektrum Akademischer Verlag,
Heidelberg,
2009,
ISBN: 978-3-8274-2124-1;
244 pages.
-
T. Arens, F. Hettlich, C. Karpfinger, U. Kockelkorn, K. Lichtenegger, H. Stachel:
"Mathematik";
Spektrum Akademischer Verlag,
Heidelberg,
2008,
ISBN: 978-3-8274-1758-9;
1500 pages.
-
T. Arens, F. Hettlich, C. Karpfinger, U. Kockelkorn, K. Lichtenegger, H. Stachel:
"Mathematik";
Spektrum Akademischer Verlag,
2011,
ISBN: 9783827423474.
-
T. Arens, F. Hettlich, C. Karpfinger, U. Kockelkorn, K. Lichtenegger, H. Stachel (ed.):
"Mathematik";
Spektrum Akademischer Verlag,
2015,
ISBN: 978-3-642-44918-5;
1630 pages.
-
T. Arens, F. Hettlich, C. Karpfinger, U. Kockelkorn, K. Lichtenegger, H. Stachel (ed.):
"Mathematik mit Arbeitsbuch";
Springer,
Heidelberg,
2013,
ISBN: 978-3-642-40472-6;
1906 pages.
-
T. Arens, F. Hettlich, C. Karpfinger, U. Kockelkorn, K. Lichtenegger, H. Stachel (ed.):
"Mathematik zum Mitnehmen";
Spektrum Akademischer Verlag,
Heidelberg,
2009,
ISBN: 978-3-8274-2494-5;
232 pages.
-
T. Arens, F. Hettlich, C. Karpfinger, U. Kockelkorn, K. Lichtenegger, H. Stachel:
"Mathematik, 4. Auflage";
Springer Spektrum,
2018,
ISBN: 978-3-662-56740-1;
1660 pages.
-
A. Asperl (ed.):
"GZ-Handbuch - Einführung in geometrisches Zeichnen mit Übungen";
R. Oldenbourg,
2005,
ISBN: 3-7029-0794-7.
-
A. Asperl, C. Feßl, W. Gems, H. Kaufmann, S. Leopoldseder, G. Maresch, D. Miestinger, T. Müller, K. Luksch, G. Redl, K. Scheiber, G. Schilling, H. Schmied, H. Slepcevic, M. Wischounig:
"GeodiKon. Die Lernmaterialien";
StudienVerlag,
Wien,
2014,
ISBN: 978-3-7065-5415-2;
72 pages.
More information
-
M. Baaz, G. Gottlob, G. Moser (ed.):
"Complexity and Logic (Theoretical Computer Science Volume 288, Number 1)";
Elsevier,
2002,
193 pages.
-
M. Baaz, A. Leitsch:
"Methods of cut-elimination";
Springer Verlag,
2011,
ISBN: 978-94-007-0319-3;
287 pages.
-
M. Baaz, J. Makowsky (ed.):
"Computer Science Logic (LNCS 2803)";
Springer,
2003,
ISBN: 3-540-40801-0.
-
M. Baaz, C. Papadimitriou, H. Putnam, D. Scott, C. Harper Jr.:
"Kurt Gödel and the foundations of mathematics: Horizon of truth";
in series "Philosophia Mathematica",
series editor: R. Thomas;
Cambridge University Press,
2011,
ISBN: 978-0-521-76144-4,
528 pages.
-
M. Baaz, A. Voronkov (ed.):
"Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 2514)";
Springer,
2002,
ISBN: 3-540-00010-0;
463 pages.
-
E. Barbin, M. Kronfellner, C. Tzanakis (ed.):
"History and Epistemology in Mathematics Education (Proceedings of the 6th European Summer University)";
Holzhausen,
Wien,
2011,
ISBN: 978-3-85493-208-6;
705 pages.
-
G. Baron, B. Schmidt:
"Österreichische Mathematik-Olympiaden 2000-2008, Aufgaben und Lösungen";
Universitätsverlag,
Eigenverlag,
2009,
ISBN: 978-3-940445-54-4.
-
R. Barr, M. Kato, H. Stachel (ed.):
"Journal for Geometry and Graphics";
Heldermann Verlag,
2006.
-
R. Barr, M. Kato, H. Stachel (ed.):
"Journal for Geometry and Graphics";
Heldermann Verlag,
2007,
ISSN: 1433-8157.
-
R. Barr, M. Kato, H. Stachel (ed.):
"Journal for Geometry and Graphics, Volume 7 (2003), Number 1";
Heldermann Verlag,
2003,
ISSN: 1433-8157.
-
C. Ceccato, P. Hesselgren, M. Pauly, H. Pottmann, J. Wallner (ed.):
"Advances in Architectural Geometry 2010";
Springer Verlag,
2010,
ISBN: 978-3-7091-0308-1.
-
I. Chajda, K. Denecke, G. Eigenthaler, M. Goldstern, W. Müller, R. Pöschel (ed.):
"Contributions to General Algebra 14";
Verlag Johannes Heyn,
Klagenfurt, Austria,
2004,
ISBN: 3-7084-0116-6;
225 pages.
-
I. Chajda, G. Dorfer, G. Eigenthaler, R. Halas, J. Kühr, W. Müller (ed.):
"Contributions to General Algebra 19";
Verlag Johannes Heyn,
Klagenfurt,
2010,
ISBN: 978-3-7084-0407-3;
210 pages.
-
I. Chajda, G. Dorfer, G. Eigenthaler, R. Halas, W. Müller, R. Pöschel (ed.):
"Contributions to General Algebra 16";
Verlag Johannes Heyn,
Klagenfurt, Austria,
2005,
ISBN: 3-7084-0163-8;
303 pages.
-
I. Chajda, G. Eigenthaler, H. Länger:
"Congruence Classes in Universal Algebra";
Heldermann Verlag,
Lemgo, Germany,
2003,
ISBN: 3-88538-226-1;
217 pages.
-
I. Chajda, H. Länger:
"Directoids. An Algebraic Approach to Ordered Sets";
Heldermann Verlag,
Lemgo,
2011,
ISBN: 978-3-88538-232-4;
176 pages.
-
P. Cintula, C. Fermüller, L. Godo, P. Hajek (ed.):
"Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives";
College Publications,
London,
2011,
ISBN: 978-1-84890-037-0.
-
J. Czermak, G. Dorfer, G. Eigenthaler, W. Müller, J. Schoißengeier (ed.):
"Contributions to General Algebra 20";
Verlag Johannes Heyn,
2012,
ISBN: 978-3-7084-0447-9.
-
M. Dehmer, M. Drmota, F. Emmert-Streib (ed.):
"Proceedings of the 2008 International Conference on Information Theory and Statistical Learning";
CSREA Press,
2008,
ISBN: 1-60132-079-5.
-
M. Dehmer, F. Emmert-Streib:
"Analysis of microarray data: A network-based approach";
Wiley-VCH,
Weinheim,
2008,
ISBN: 3-527-31822-4;
430 pages.
-
G. Dorfer, G. Eigenthaler, M. Goldstern, W. Müller, R. Winkler (ed.):
"Contributions to General Algebra 17";
Verlag Johannes Heyn,
Klagenfurt,
2006,
ISBN: 3-7084-0194-8.
-
G. Dorfer, G. Eigenthaler, H. Kautschitsch, W. More, W. Müller (ed.):
"Contributions to General Algebra 18";
Verlag Johannes Heyn,
Klagenfurt,
2008,
ISBN: 978-3-7084-0303-8.
-
D. Dorninger, G. Eigenthaler, M. Goldstern, H. Kaiser, W. More, W. Müller (ed.):
"Contributions to General Algebra 12";
Verlag Johannes Heyn,
Klagenfurt, Austria,
2000,
ISBN: 3-85366-951-4;
435 pages.
-
M. Drmota:
"Random Trees (An Interplay between Combinatorics and Probability)";
Springer,
2009,
ISBN: 978-3-211-75355-2;
454 pages.
-
M. Drmota, P. Flajolet, D. Gardy, B. Gittenberger (ed.):
"Mathematics and Computer Science III";
Birkhäuser,
2004,
ISBN: 3-7643-7128-5.
-
M. Drmota, B. Gittenberger (ed.):
"Proceedings of the 21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10)";
Discrete Mathematics and Theoretical Computer Science,
2010,
602 pages.
-
M. Drmota, B. Gittenberger, G. Karigl, A. Panholzer:
"Mathematik für Informatik";
Heldermann Verlag,
2007,
ISBN: 978-3-88538-117-4;
438 pages.
-
M. Drmota, B. Gittenberger, G. Karigl, A. Panholzer:
"Mathematik für Informatik";
Heldermann Verlag,
2010,
ISBN: 978-3-88538-117-4;
438 pages.
-
M. Drmota, B. Gittenberger, G. Karigl, A. Panholzer (ed.):
"Mathematik für Informatik. Vierte erweiterte Auflage";
Heldermann Verlag,
2014,
ISBN: 978-3-88538-117-4;
470 pages.
-
M. Drmota, G. Larcher, R. Tichy, R. Winkler (ed.):
"Proceedings of the 2004 Number Theoretic Algorithms and Related Topics Workshop";
Editors: Melvyn Nathanson, Jaroslav Nesetril, Carl Pomerance,
2005,
ISSN: 1553-1732.
-
M. Drmota, W. Szpankowski (ed.):
"Combinatorics, Probability and Computing (Vol. 13, No. 4 & 5)";
Cambridge University Press,
Cambridge, UK,
2004,
ISSN: 0963-5483.
-
M. Droste, W. Kuich, H. Vogler:
"Handbook of weighted automata";
in series "Monographs in Theoretical Computer Science",
series editor: W. Brauer, J. Hromkovic, G. Rozenberg, A. Salomaa;
Springer Verlag,
2009,
ISBN: 978-3-642-01491-8,
596 pages.
-
G. Eigenthaler, M. Goldstern (ed.):
"Research and Exposition in Mathematics";
Heldermann Verlag,
2011,
ISBN: 978-3-88538-232-4;
176 pages.
-
G. Eigenthaler, M. Goldstern, H. Kaiser, H. Kautschitsch, W. More, W. Müller, J. Schoißengeier (ed.):
"Contributions to General Algebra 15";
Verlag Johannes Heyn,
Klagenfurt, Austria,
2004,
ISBN: 3-7084-0121-2;
206 pages.
-
W. Elmenreich, H. Kaiser (ed.):
"Proceedings of the Junior Scientist Conference 2006";
TU Wien,
Wien, Österreich,
2006,
ISBN: 3-902463-05-8;
359 pages.
-
P. Erdös, P. Gruber, J. Hammer:
"Lattice Points";
Longman-London,
London,
1989,
ISBN: 0582014786;
184 pages.
-
G. Glaeser, H. Stachel, B. Odehnal (ed.):
"The Universe of Conics";
Springer Spektrum,
2016,
ISBN: 978-3-662-45449-7.
-
P. Gritzmann, R. Brandenberg:
"Das Geheimnis des kürzesten Weges";
Springer,
Berlin,
2002,
ISBN: 3-540-42028-2;
200 pages.
-
P. Gruber:
"Convex and Discrete Geometry, Grundlehren der Math.Wiss. 336";
Springer,
Berlin-Heidelberg-New York,
2007,
ISBN: 978-3-540-71132-2.
-
P. Gruber (ed.):
"Proceedings, III. International Conference on Stochastic Geometry, II. Convex Bodies and Empirical Measures, Mazara del Vallo 1999";
Circolo Matematico di Palermo,
Palermo,
2000,
208 pages.
-
P. Gruber, M.T. Calapso, G. Crupi, M.I. Stoka, G. Restuccia, F. Fava, B. Wegner (ed.):
"Opere di: Pasquale Calapso";
Rendiconti del Seminario Matematico di Messina,
Messina,
1999.
-
P. Gruber et al. (ed.):
"Proceedings, V. International Conference of Stochastic Geometry, Convex Bodies, Empirical Measures and Applications to Engineering, Medical and Earth Sciences, Mondello (Palermo) 2004";
Rendiconti Circolo Matematico di Palermo,
Palermo,
2006,
647 pages.
-
P. Gruber, R.J. Hans-Gill et al. (ed.):
"Number theory and discrete geometry";
Proceedings of the international conference in honour of Professor R.P.Bambah,
Mysore,
2008,
ISBN: 9788190254564.
-
P. Gruber, C.G. Lekkerkerker:
"Geometry of Numbers";
North-Holland,
Amsterdam,
1987,
ISBN: 0444701524;
732 pages.
-
P. Gruber, C.G. Lekkerkerker:
"Geometry of Numbers (Russische Übersetzung)";
Nauka,
Moskau,
2008,
ISBN: 978-5-02-036036-5.
-
P. Gruber, J.M. Wills (ed.):
"Handbook of Convex Geometry, Volume A";
North-Holland,
Amsterdam,
1993,
ISBN: 0444895965;
735 pages.
-
P. Gruber, J.M. Wills (ed.):
"Handbook of Convex Geometry, Volume B";
North-Holland,
Amsterdam,
1993,
ISBN: 0444895973;
703 pages.
-
H. Havlicek (ed.):
"Lineare Algebra für Technische Mathematiker";
Heldermann Verlag,
2006,
ISBN: 3-88538-116-8;
406 pages.
-
H. Havlicek:
"Lineare Algebra für Technische Mathematiker";
Heldermann Verlag,
2008,
ISBN: 978-3-88538-116-7;
424 pages.
-
H. Havlicek (ed.):
"Lineare Algebra für Technische Mathematiker";
Heldermann Verlag,
Lemgo,
2012,
ISBN: 978-3-88538-116-7;
424 pages.
-
H. Havlicek, F. Manhart, B. Odehnal (ed.):
"33. Süddeutsches Kolloquium über Differentialgeometrie";
TU WIEN,
2008,
ISBN: 978-3-902233-04-2;
100 pages.
-
H. Kaiser, R. Kirner (ed.):
"Junior Scientist Conference 2008, Proceedings";
TU Wien,
2008.
-
H. Kaiser, W. Nöbauer:
"Geschichte der Mathematik (3. Auflage)";
öbv & hpt, Oldenburg,
Wien, München,
2002,
ISBN: 3-209-02212-7;
320 pages.
-
C. Karpfinger, H. Stachel (ed.):
"Arbeitsbuch Lineare Algebra";
Springer Spektrum,
2020,
ISBN: 978-3-662-61471-6.
-
C. Karpfinger, H. Stachel (ed.):
"Lineare Algebra";
Springer Spektrum,
2020,
ISBN: 978-3-662-61339-9;
431 pages.
-
M. Kronfellner, W. Peschek, E. Schneider:
"Angewandte Mathematik für HAK 1";
öbv & hpt,
Wien, Austria,
2005,
ISBN: 3-209-04635-2;
224 pages.
-
M. Kronfellner, W. Peschek, E. Schneider:
"Angewandte Mathematik für HAK 1, Lösungen";
öbv & hpt,
wien,
2005,
ISBN: 3-209-04636-0.
-
W. Kuich, J. Boltnev:
"Wwedenije w teoriju informatiki (Einführung in die Theorie der Informatik)";
Verlag der Staatlichen Universität Königsberg,
Königsberg,
2003,
ISBN: 5-88874-437-9;
92 pages.
-
W. Kuich, G. Rahonis:
"Algebraic Foundatios in Computer Science";
in series "Lecture Notes in Computer Science 7020 (Festschrift)",
series editor: G. Goos, J. Hartmanis, J. van Leeuwen;
Springer Verlag,
2011,
ISBN: 978-3-642-24896-2,
362 pages.
-
W. Kuich, G. Rozenberg, A. Salomaa (ed.):
"Developments in Language Theory";
Springer,
2002,
ISBN: 3-540-43453-4.
-
R. Kutzelnigg:
"Random Graphs and Cuckoo Hashing";
Südwestdeutscher Verlag für Hochschulschriften,
Saarbrücken,
2009,
ISBN: 978-3-8381-0207-8;
190 pages.
-
M. Ludwig, V.D. Milman, V. Pestov, N. Tomczak-Jaegermann:
"Asymptotic Geometric Analysis";
in series "Fields Institute Communications",
series editor: C.R. Riehm, E. Bierstone, M. Grasselli, J.G. Arthur, K.R. Davidson, L. Jeffrey, B. Lee Keyfitz, T.S. Salisbury, N. Yui;
issued by: The Fields Institute for Research in Mathematical Sciences;
Springer,
New York,
2013,
ISBN: 978-1-4614-6405-1.
-
G. Nawratil (ed.):
"The control number as index for Stewart-Gough platforms";
Springer,
2006,
ISBN: 1-4020-4940-4.
-
B. Odehnal, H. Stachel, G. Glaeser (ed.):
"The Universe of Quadrics";
Springer Verlag Berlin-Heidelberg,
2020,
ISBN: 978-3-662-61053-4;
606 pages.
More information
-
G. Pillwein, A. Asperl, R. Müllner, M. Wischounig:
"Raumgeometrie, Konstruieren und Visualisieren";
öbv & hpt,
2006,
ISBN: 3-209-04745-6.
-
U. Pofahl, R. Viertl:
"Exakte Zahlen genügen nicht: Mathematik und Ungewissheit";
in series "Schriftenreihe der Technischen Universität Wien",
series editor: R. Viertl, D. Bökemann, K. Bretterbauer, U. Gamer, H. Kaiser, H. Kirchmayr, A. Leitsch, G. Magerl, H.A. Mang, M. Wehdorn, F. Wurst;
TU WIEN,
2006,
89 pages.
-
H. Pottmann, A. Asperl, M. Hofer, M. Kilian (ed.):
"Architectural Geometry";
Bentley Institute Press,
2007,
ISBN: 978-1-934493-04-5.
-
H. Pottmann, A. Asperl, M. Hofer, M. Kilian (ed.):
"Architekturgeometrie";
Springer Verlag,
Wien,
2010,
ISBN: 978-3-211-99765-9;
474 pages.
-
H. Pottmann, S. Hu (ed.):
"2004 Geometric Modeling and Processing, Theory and Applications";
IEEE Computer Society,
2004,
ISBN: 0-7695-2078-2.
-
H. Pottmann, J. Wallner (ed.):
"Computational Line Geometry";
Springer Verlag,
2010,
ISBN: 978-3-642-04017-7.
-
A. Schweizer, A. Sklar, K. Sigmund, P. Gruber, E. Hlawka, L. Reich, L. Schmetterer (ed.):
"Karl Menger, Selecta Mathematica, Volume 1";
Springer,
Wien New-York,
2002,
ISBN: 3-211-83734-5;
606 pages.
-
A. Schweizer, A. Sklar, K. Sigmund, P. Gruber, E. Hlawka, L. Reich, L. Schmetterer (ed.):
"Karl Menger, Selecta Mathematica, Volume 2";
Springer,
Wien, New York,
2003,
ISBN: 3-211-83834-1.
-
H. Stachel, M. Pfeifer, W. Rath (ed.):
"Handbuch zu CAD-3D für Windows. Basisversion 1.04 bzw. erweiterte Version 1.10";
Institut für Geometrie,
TU Wien,
2002,
ISBN: 3-902233-01-x.
-
A. Voronkov, G. Sutcliffe, M. Baaz, C. Fermüller:
"LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.";
in series "EasyChair Proceedings in Computing",
series editor: A. Voronkov, G. Sutcliffe, M. Baaz, C. Fermüller;
EasyChair,
2013,
ISSN: 2040-557x,
63 pages.
-
M. Wischounig, G. Pillwein, A. Asperl, R. Müllner (ed.):
"Raumgeometrie - Konstruieren und Visualisieren - Arbeitsbuch";
öbv & hpt,
2006,
ISBN: 3-209-04745-6.
Publications in Scientific Journals
-
J. Abardia-Evéquoz, A. Bernig, S. Dann:
"Flag area measures";
Mathematika,
65
(2019),
4;
958
- 989.
-
U. Abraham, R. Bonnet, J. Cummings, M. Dzamonja, K. Thompson:
"A scattering of orders";
Transactions of the American Mathematical Society,
364
(2012),
12;
6259
- 6278.
-
S. Abu-Saymeh, M. Hajja, H. Stachel:
"Equicevian Points and Cubics of a Triangle";
Journal for Geometry and Graphics,
18(2)
(2014),
133
- 157.
-
S. Abu-Saymeh, M. Hajja, H. Stachel:
"Equicevian Points of a Triangle";
American Mathematical Monthly,
122/10
(2015),
995
- 1000.
-
B. Adamczewski, Y. Bugeaud:
"On the complexity of algebraic numbers, II. Continued fractions";
Acta Mathematica,
195
(2005),
1
- 20.
-
B. Adamczewski, Y. Bugeaud:
"On the littlewood conjecture in simultaneous Diophantine approximation";
Journal of the London Math. Soc.,
73
(2006),
02;
355
- 366.
-
B. Adamczewski, Y. Bugeaud:
"On the Maillet-Baker continued fractions";
arXiv.org e-Print archive,
http://arxiv.org/abs/math/0511681
(2005).
-
B. Adamczewski, Y. Bugeaud:
"Palindromic continued fractions";
arXiv.org e-Print archive,
http://fr.arxiv.org/PS_cache/math/pdf/0512/0512014v1.pdf
(2005),
19 pages.
-
B. Adamczewski, Y. Bugeaud, F. Luca:
"Sur la compexité des nombres algébriques";
Comptes Rendus Académie des Sciences Paris, Série I,
339
(2004),
11
- 14.
-
B. Adamczewski, M. Drmota, C. Müllner:
"(Logarithmic) densities for automatic sequences along primes and squares";
ArXiv,
Preprint
(2020).
-
B. Adamczewski, M. Drmota, C. Müllner:
"(Logarithmic) Densities for Automatic Sequences along Primes and Squares";
Transactions of the American Mathematical Society,
1900
(2021).
-
S. Adelsberger, S. Hetzl, D. Miller:
"The Cayley-Hamilton Theorem";
Archive of Formal Proofs,
2014
(2014).
-
B. Afshari, S. Hetzl, G. Leigh:
"Herbrand's theorem as higher order recursion";
Annals of Pure and Applied Logic,
171
(2020),
6, 102792.
-
B. Afshari, S. Hetzl, G. Leigh:
"On the Herbrand content of LK";
CL&C 2016,
213
(2016),
1
- 10.
More information
-
J. Aguilera Ozuna:
"Determinate Logic and the Axiom of Choice";
Annals of Pure and Applied Logic,
171
(2020),
2.
-
J. Aguilera Ozuna:
"Determined Admissible Sets";
Proceedings of the American Mathematical Society,
148
(2020),
2217
- 2231.
-
J. Aguilera Ozuna:
"Fσ Games And Reflection In L(ℝ)";
Journal of Symbolic Logic,
Juni 2020
(2020),
23 pages.
-
J. Aguilera Ozuna:
"Long Borel Games";
Israel Journal of Mathematics,
243
(2021),
273
- 314.
-
J. Aguilera Ozuna:
"Shortening Clopen Games";
Journal of Symbolic Logic,
Januar
(2021).
-
J. Aguilera Ozuna:
"The Consistency Strength of Long Projective Determinacy";
Journal of Symbolic Logic,
Online first
(2019).
-
J. Aguilera Ozuna:
"The Order of Reflection";
Journal of Symbolic Logic,
Januar
(2021).
-
J. Aguilera Ozuna, M. Baaz:
"Unsound Inferences Make Proofs Shorter";
Journal of Symbolic Logic,
84
(2019),
1;
102
- 122.
-
J. Aguilera Ozuna, D. Blue:
"Provably Δ1 Games";
Journal of Symbolic Logic,
October
(2020).
-
J. Aguilera Ozuna, J. Bydzovsky, D. Fernández-Duque:
"A non-hyperarithmetical Gödel logic.";
Lecture Notes in Computer Science,
13137
(2021),
1
- 8.
-
J. Aguilera Ozuna, D. Fernández-Duque:
"Strong completeness of provability logic for ordinal spaces";
Journal of Symbolic Logic,
82
(2017),
2;
608
- 628.
More information
-
J. Aguilera Ozuna, D. Fernández-Duque:
"Verification Logic";
Journal of Logic and Computation,
27
(2017),
8;
2451
- 2469.
-
J. Aguilera Ozuna, R. Lubarsky:
"Feedback Hyperjump";
Journal of Logic and Computation,
31
(2021),
1;
20
- 39.
-
J. Aguilera Ozuna, S. Müller:
"Projective Games on the Reals";
Notre Dame Journal of Formal Logic,
Advance publication
(2020),
17 pages.
More information
-
J. Aguilera Ozuna, S. Müller:
"The Consistency Strength of Long Projective Determinacy";
Journal of Symbolic Logic,
85
(2020),
1;
338
- 366.
-
J. Aguilera Ozuna, S. Müller, P. Schlicht:
"Long Games and σ-Projective Sets";
Annals of Pure and Applied Logic,
102939
(2021).
-
J. Aguilera Ozuna, L. Ülkü:
"On the maximization of menu-dependent internal orders";
Social Choice and Welfare,
48
(2017),
2;
357
- 366.
-
D. Aiger, N. Mitra, D. Cohen-Or.:
"4-Points Congruent Sets for Robust Pairwise Surface";
ACM Transactions on Graphics,
27/3
(2008).
-
S. Akiyama, G. Dorfer, J. Thuswaldner, R. Winkler:
"On the fundamental group of the Sierpinski-gasket";
Topology and its Applications,
156
(2009),
9;
1655
- 1672.
-
S. Akiyama, B. Loridant:
"Boundary parametrization of planar self-affine tiles with collinear digit set";
Science in China (Ser. A),
53
(2010),
9;
2173
- 2194.
-
S. Akiyama, H. Rao, W. Steiner:
"A certain finiteness property of Pisot number systems";
Journal of Number Theory,
107
(2004),
135
- 160.
-
A. Akopyan, I. Izmestiev:
"The Regge symmetry, confocal conics and the Schläfli formula";
Bulletin of the London Mathematical Society,
51
(2019),
5;
765
- 775.
-
H. Albrecher, M. Drmota, M. Goldstern, R. Winkler:
"Robert F. Tichy: 50 years - The unreasonable effectiveness of a number theorist,";
Uniform Distribution Theory,
2
(2007),
1;
151
- 160.
-
S. Aleshnikov, J. Boltnev, Z. Esik, S. Ishanov, W. Kuich:
"Formalnije jaziki i avtomaty V: pary polukoltso-polumodul Konveya i konechnyje avtomaty (Formal languages and automata V: Conway semiring-semimodule pairs and finite automata).";
Vestnik Rossiyskogo gosudarstvennogo universiteta im. Immanuila Kanta. Ser- Fisiko-matematicheskije nauki.,
10
(2009),
6
- 41.
-
S. Aleshnikov, J. Boltnev, Z. Esik, S. Ishanov, W. Kuich:
"Formalnije jaziki i avtomaty VI: omega-algebraicheskie sistemy i transduktory (Formal languages and automata VI: ω -algebraic systems and transducers).";
Vestnik Rossiyskogo gosudarstvennogo universiteta im. Immanuila Kanta. Ser- Fisiko-matematicheskije nauki.,
10
(2010),
8
- 32.
-
S. Aleshnikov, J. Boltnev, Z. Esik, S. Ishanov, W. Kuich:
"Formalniye yazyki i avtomaty VII: formalniye ryady derevyev (Chast I). (Formal languages and automata VII: Formal tree series (Part I))";
Vestnik baltiyskogo federalnogo universiteta im. I. Kanta,
10
(2011),
5
- 32.
-
S. Aleshnikov, J. Boltnev, Z. Esik, S. Ishanov, W. Kuich:
"Formalniye yazyki i avtomaty VII: formalniye ryady derevyev (Chast II). (Formal languages and automata VII: Formal tree series (PartI I))";
Vestnik baltiyskogo federalnogo universiteta im. I. Kanta,
10
(2012),
7
- 49.
-
S. Aleshnikov, J. Boltnev, Z. Esik, S. Ishanov, W. Kuich:
"Formalnyje jaziki i automaty III. Magazinnyje automaty if formalnyje stepennyje rjady. (Formal languages and automata III: Pushdown automata and algebraic power series.)";
Vestnik Rossiyskogo gosudarstvennogo universiteta im. Immanuila Kanta. Vyp. 10: Ser. Fisiko-matematicheskije nauki.- Kaliningrad,
10
(2006),
8
- 27.
-
S. Aleshnikov, J. Boltnev, Z. Esik, S. Ishanov, W. Kuich:
"Formalnyje jaziki i automaty IV: Transduktory i abstraktnyje semejstva (Formal languages and automata IV: Transducers and abstract families).";
Westnik Kaliningradskogo Gosudarstwennogo Universiteta Ser. Informatika i telekommunikazii,
10
(2008),
6
- 23.
-
S. Aleshnikov, J. Boltnev, Z. Esik, S. Ishanov, W. Kuich, N. Malachowskij:
"Formaljnye jazyki i avtomaty II: Nepreryvnyje polukoltsa i algebraicheskie sistemy (Formal languages and automata II: Continous semirings and algebraic systems)";
Westnik Kaliningradskogo Gosudarstwennogo Universiteta Ser. Informatika i telekommunikazii,
3
(2005),
19
- 45.
-
S. Aleshnikov, J. Boltnev, Z. Esik, S. Ishanov, W. Kuich, N. Malachowskij:
"Formaljnyje jasyki i awtomaty I: Polukoljza Konweja i konetschnyje awtomaty (Formal languages and automata I: Conway semirings and finite automata)";
Westnik Kaliningradskogo Gosudarstwennogo Universiteta Ser. Informatika i telekommunikazii,
3
(2003),
7
- 38.
-
S. Alesker, A. Bernig, F. Schuster:
"Harmonic analysis of translation invariant valuations";
Geometric and Functional Analysis,
21
(2011),
751
- 773.
More information
-
P. Alexandersson, S. Pfannerer, M. Rubey, J. Uhlin:
"Skew characters and cyclic sieving";
Forum of Mathematics. Sigma,
9
(2021),
e41.
More information
-
V. Alexandrov, I. Sabitov, H. Stachel:
"Preface to "Rigidity and Related Topics in Geometry"";
European Journal of Combinatorics,
31/4
(2010),
1035
- 1036.
-
V. Alexandrov, I. Sabitov, H. Stachel:
"Rigidity and Related Topics in Geometry";
European Journal of Combinatorics,
31
(2010),
4;
1035.
-
D. Alonso-Gutiérrez, F. Besau, J. Grote, Z. Kabluchko, M. Reitzner, C. Thäle, B. Vritsiou, E. Werner:
"Asymptotic normality for random simplices and convex bodies in high dimensions";
Proceedings of the American Mathematical Society,
149
(2021),
355
- 367.
More information
-
J. Amidei, U. Andrews, D. Piangiani, L. San Mauro, A. Sorbi:
"Trial and error mathematics: Dialectical systems and completions of theories";
Journal of Logic and Computation,
58
(2019),
5-6;
543
- 563.
-
B. Amit, A. Vaxman, C. Gotsman:
"Online Reconstruction of 3D Objects from Arbitrary Cross Sections";
ACM Transactions on Graphics,
30
(2011),
5.
-
M. Amou, Y. Bugeaud:
"Sur la séparation des racines des polynômes et une question de Sprindzuk";
Ramanujan Journal,
9
(2005),
25
- 32.
-
O. Arieli, A. Avron, A. Zamansky:
"Ideal paraconsistent logics";
Studia Logica,
99
(2011),
31
- 60.
-
O. Arieli, A. Zamansky:
"A framework for reasoning under uncertainty based on non-deterministic distance semantics";
International Journal of Approximate Reasoning,
52
(2011),
2;
184
- 211.
-
O. Arieli, A. Zamansky:
"Simplified forms of computerized reasoning with distance semantics";
Journal of Applied Logic,
9
(2011),
1;
1
- 22.
-
M. Arikan, M. Schwärzler, S. Flöry, M. Wimmer, S. Maierhofer:
"O-Snap: Optimization-Based Snapping for Modeling Architecture";
ACM Transactions on Graphics,
32
(2013),
1;
1
- 15.
More information
-
A. Arnold, M. Drmota, U. Schmock, R. Viertl:
"Mathematik in Wien: Technische Universität Wien";
Internationale Mathematische Nachrichten,
216
(2011),
31
- 52.
-
F. Aschieri:
"Constructive Forcing, CPS Translations and Witness Extraction in Interactive Realizability";
Mathematical Structures In Computer Science,
online
(2015),
29.10.2015;
39 pages.
More information
-
F. Aschieri:
"Constructive forcing, CPS translations and witness extraction in Interactive realizability";
Mathematical Structures In Computer Science,
27
(2017),
6;
993
- 1031.
More information
-
F. Aschieri:
"Game semantics and the geometry of backtracking: a new complexity analysis and interaction";
Journal of Symbolic Logic,
82
(2017),
2;
672
- 708.
More information
-
F. Aschieri:
"On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett´s Logic LC";
Logical Methods in Computer Science,
12
(2016),
3;
1
- 31.
More information
-
F. Aschieri, S. Hetzl, D. Weller:
"Expansion trees with cut";
Mathematical Structures In Computer Science,
29
(2019),
8;
1009
- 1029.
-
A. Asinowski, A. Bacher, C. Banderier, B. Gittenberger:
"Analytic combinatorics of lattice paths with forbidden patterns, the vectorial kernel method, and generating functions for pushdown automata";
Algorithmica,
82
(2020),
3;
386
- 428.
-
A. Asinowski, C. Krattenthaler, T. Mansour:
"Counting triangulations of some classes of subdivided convex polygons";
arXiv.org e-Print archive,
*
(2016),
1604.02870;
26 pages.
More information
-
A. Asinowski, G. Rote:
"Point sets with many non-crossing perfect matchings";
Computational Geometry - Theory and Applications,
68
(2018),
7
- 33.
-
A. Asperl:
"How to teach CAD";
Computer-Aided Design Appl.,
2
(2005),
459
- 468.
-
A. Asperl, H. Slepcevic:
"Quo vadis DG Ein fiktives Gespräch";
IBDG,
Heft 1 Jahrgang 21
(2002),
6
- 9.
-
D. Aspero, S. Friedman:
"Definable well-orders of H(ω2) and GCH";
Journal of Symbolic Logic,
77
(2012),
4;
1101
- 1121.
-
M. Ausserhofer, S. Dann, Z. Lángi, G. Tóth:
"An algorithm to find maximum area polygons circumscribed about a convex polygon";
Discrete Applied Mathematics,
255
(2019),
98
- 108.
-
J. Avigad, S. Hetzl:
"Bondy's Theorem";
Archive of Formal Proofs,
xx
(2012),
1;
3 pages.
-
A. Avron, O. Arieli, A. Zamansky:
"Maximal and premaximal paraconsistency in the framework of three-valued semantics";
Studia Logica,
97
(2011),
1;
31
- 60.
-
A. Avron, B. Konikowska, A. Zamansky:
"Cut-free sequent calculi for C-systems with generalized finite-valued semantics";
Journal of Logic and Computation,
23
(2013),
3;
517
- 540.
-
A. Avron, A. Zamansky:
"Canonical signed calculi with multi-ary quantifiers";
Annals of Pure and Applied Logic,
163
(2011),
7;
951
- 960.
-
M. Baaz:
"Controlling witnesses";
Annals of Pure and Applied Logic,
136
(2005),
22
- 29.
-
M. Baaz:
"Foreword: Kurt Gödel Centenary Research Prize Fellowships";
Annals of Pure and Applied Logic,
157
(2009),
2-3;
63.
-
M. Baaz:
"Herbrand´s Theorem and the Skolimization of Prenex Fragments";
Fuzzy Logics and Related Structures, Linz 2005,,
26th Linz Seminar on Fuzzy Set Theory
(2005),
9.
-
M. Baaz:
"Note on a translation to characterize constructivity";
Proceedings of the Steklov Institute of Mathematics,
242
(2003),
125
- 129.
-
M. Baaz:
"Note on conditional constructivity";
Lecture Notes in Computer Science,
4460
(2007),
25
- 29.
-
M. Baaz:
"Witt´s proof of the Wedderburn theorem";
Formalized Mathematics,
12
(2004),
1;
69
- 75.
-
M. Baaz, J. Aguilera Ozuna:
"Ten problems in Gödel logic";
Soft Computing,
21
(2017),
1;
149
- 152.
More information
-
M. Baaz, J. Aguilera Ozuna:
"Unsound Inferences Make Proofs Shorter";
arXiv.org,
1608.07703
(2016).
More information
-
M. Baaz, A. Ciabattoni:
"Proof theory of witnessed Gödel logic: A negative result";
Journal of Logic and Computation,
23
(2013),
5;
1
- 14.
-
M. Baaz, A. Ciabattoni:
"Proof theory of witnesses Gödel logic: A negative result";
Journal of Logic and Computation,
26
(2016),
1;
51
- 64.
More information
-
M. Baaz, A. Ciabattoni, C. Fermüller:
"Hypersequent Calculi for Gödel Logics - a Survey";
Journal of Logic and Computation,
13
(2003),
6;
835
- 861.
More information
-
M. Baaz, A. Ciabattoni, C. Fermüller:
"Monadic fragments of Gödel logics: decidability and undecidability";
Lecture Notes in Computer Science,
4790
(2007),
77
- 91.
-
M. Baaz, A. Ciabattoni, F. Montagna:
"Analytic calculi for monoidal t-norm based logic";
Fundamenta Informaticae,
59
(2004),
4;
315
- 332.
-
M. Baaz, O. Fasching:
"Gödel logics with an operator shifting truth values";
EPIC,
http://www.easychair.org/publications/?page=1892702142
(2013),
13;
2 pages.
-
M. Baaz, O. Fasching:
"Gödel logics with monotone operators";
Fuzzy Sets and Systems,
197
(2012),
3
- 13.
-
M. Baaz, O. Fasching:
"Note on witnessed Gödel logics with Delta";
Annals of Pure and Applied Logic,
161
(2009),
121
- 127.
-
M. Baaz, P. Hajek, F. Montagna, H. Veith:
"Complexity of t-tautologies";
Annals of Pure and Applied Logic,
113
(2002),
3
- 11.
-
M. Baaz, S. Hetzl:
"On the non-confluence of cut-elimination";
Journal of Symbolic Logic,
76
(2011),
1;
313
- 340.
-
M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr:
"CERES: An analysis of Fürstenberg's proof of the infinity of primes";
Theoretical Computer Science,
403
(2008),
2-3;
160
- 175.
-
M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr:
"Proof transformation by CERES";
Lecture Notes in Computer Science,
4108
(2006),
82
- 93.
-
M. Baaz, S. Hetzl, D. Weller:
"On the complexity of proof deskolemization";
Journal of Symbolic Logic,
77
(2012),
2;
669
- 686.
-
M. Baaz, R. Iemhoff:
"Eskolemization in intuitionistic logic";
Journal of Logic and Computation,
21
(2011),
4;
625
- 638.
-
M. Baaz, R. Iemhoff:
"Gentzen calculi for the existence predicate";
Studia Logica,
82
(2006),
7
- 23.
-
M. Baaz, R. Iemhoff:
"Konstruktivismus und Intuitionismus";
Internationale Mathematische Nachrichten,
201
(2006),
13
- 23.
-
M. Baaz, R. Iemhoff:
"Skolemization in intermediate logics with the finite model property";
Logic Journal of the IGPL,
24
(2016),
3;
224
- 237.
More information
-
M. Baaz, R. Iemhoff:
"The Skolemization of existential quantifiers in intuitionistic logic";
Annals of Pure and Applied Logic,
142
(2006),
269
- 295.
-
M. Baaz, A. Leitsch:
"Cut-Elimination: Syntax and Semantics";
Studia Logica,
102
(2014),
6;
1217
- 1244.
-
M. Baaz, A. Leitsch:
"Towards a clausal analysis of cut-elimination";
Journal of Symbolic Computation,
41
(2006),
381
- 410.
More information
-
M. Baaz, A. Leitsch, A. Lolic:
"An abstract form of the first epsilon theorem";
Journal of Logic and Computation,
30
(2021),
8;
1447
- 1468.
-
M. Baaz, A. Lolic:
"First-order interpolation derived from propositional interpolation";
Theoretical Computer Science,
837
(2020),
209
- 222.
-
M. Baaz, A. Lolic:
"First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation";
Lecture Notes in Computer Science,
10483
(2017),
265
- 280.
More information
-
M. Baaz, A. Lolic:
"Towards a proof theory for Henkin quantifiers";
Journal of Logic and Computation,
31
(2021),
1;
40
- 66.
More information
-
M. Baaz, G. Metcalfe:
"Fuzzy logic corner";
Journal of Logic and Computation,
19
(2009),
2;
343.
-
M. Baaz, G. Metcalfe:
"Herbrand theorems and skolemization for prenex fuzzy logics";
Lecture Notes in Computer Science,
5028
(2008),
22
- 31.
-
M. Baaz, G. Metcalfe:
"Herbrand´s theorem, skolemization and proof systems for first-order Lukasiewicz logic";
Journal of Logic and Computation,
20
(2010),
1;
35
- 54.
-
M. Baaz, G. Metcalfe:
"Proof Theory for First Order Łukasiewicz Logic";
Lecture Notes in Computer Science,
4548
(2007),
28
- 42.
-
M. Baaz, G. Moser:
"Herbrand´s theorem term induction";
Archive for Mathematical Logic,
45
(2006),
4;
447
- 503.
-
M. Baaz, N. Preining:
"Gödel logics and the fully boxed fragment of LTL";
LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning,
46
(2017),
404
- 416.
More information
-
M. Baaz, N. Preining:
"On the Classification of First Order Gödel Logics";
Annals of Pure and Applied Logic,
170
(2018),
1;
36
- 57.
-
M. Baaz, N. Preining:
"Quantifier elimination for quantified propositional logics on Kripke frames of type omega";
Journal of Logic and Computation,
18
(2008),
4;
649
- 668.
-
M. Baaz, N. Preining, R. Zach:
"First Order Gödel logics";
Annals of Pure and Applied Logic,
147
(2007),
23
- 47.
-
M. Baaz, P. Wojtylak:
"Generalizing proofs in monadic languages";
Annals of Pure and Applied Logic,
154
(2008),
2;
71
- 138.
-
M. Baaz, R. Zach:
"Effective finite-valued approximations of general propositional logics";
Lecture Notes in Computer Science,
4800
(2008),
107
- 129.
-
N. Baldassini, H. Pottmann, J. Raynaud, A. Schiftner:
"New strategies and developments in transparent free-form design";
International Journal of Space Structures,
25
(2010),
3;
185
- 197.
-
C. Banderier, M. Drmota:
"Formulae and Asymptotics for Coefficients of Algebraic Functions";
Combinatorics, Probability and Computing,
24
(2015),
Special Issue 01;
1
- 53.
More information
-
C. Banderier, M. Kuba, A. Panholzer:
"Analysis of three graph parameters for random trees";
Random Structures and Algorithms,
35
(2009),
1;
42
- 69.
-
M. Barton, H. Pottmann, J. Wallner:
"Detection and reconstruction of freeform sweeps";
Computer Graphics Forum,
33
(2014),
2;
23
- 32.
-
M. Barton, L. Shi, M. Kilian, J. Wallner, H. Pottmann:
"Circular arc snakes und kinematic surface generation";
Computer Graphics Forum,
32
(2013),
2;
1
- 10.
-
M. Bauer, M. Grasmair, C. Kirisits:
"Optical flow on moving manifolds";
SIAM Journal on Imaging Sciences,
8
(2015),
1;
484
- 512.
More information
-
M. Bauer, P. harms:
"Metrics on spaces of surfaces where horizontality equals normality";
Differential Geometry and its Applications,
39
(2015),
166
- 183.
More information
-
M. Bauer, S. Joshi, K. Modin:
"Diffeomorphic density matching by optimal information transport";
SIAM Journal on Imaging Sciences,
8
(2015),
3;
1718
- 1751.
More information
-
M. Bauer, B. Kolev, S. C. Preston:
"Geometric investigations of a vorticity model equation";
Journal of Differential Equations,
260
(2016),
1;
478
- 516.
More information
-
T. Baumhauer, M. Goldstern, S. Shelah:
"The higher Cichon diagram";
Fundamenta Mathematicae,
252
(2021),
3;
241
- 314.
-
B. Bauwens, S. Terwijn:
"Notes on sum-tests and independence tests";
Theory of Computing Systems,
Online first
(2009),
1
- 22.
-
N. Bazhenov, E. Fokina, D. Rossegger, L. San Mauro:
"Computable Bi-Embeddable Categoricity";
Algebra and Logic,
57
(2018),
5;
392
- 396.
-
N. Bazhenov, E. Fokina, D. Rossegger, L. San Mauro:
"Degrees of bi-embeddable categoricity";
Computability,
10
(2021),
1;
1
- 16.
-
N. Bazhenov, E. Fokina, D. Rossegger, L. San Mauro:
"Degrees of Bi-Embeddable Categoricity of Equivalence Structures";
Archive for Mathematical Logic,
57
(2018),
22 pages.
-
N. Bazhenov, E. Fokina, L. San Mauro:
"Learning families of algebraic structures from informant";
Information and Computation,
275
(2020).
More information
-
N. Bazhenov, M. Mustafa, L. San Mauro, A. Sorbi:
"Degrees of bi-embeddable categoricity";
Computability,
online
(2020),
190289.
-
N. Bazhenov, M. Mustafa, L. San Mauro, A. Sorbi, M. Yamaleev:
"Classifying equivalence relations in the Ershov hierarchy";
Archive for Mathematical Logic,
59
(2020),
7-8;
835
- 864.
-
N. Bazhenov, M. Mustafa, L. San Mauro, M. Yamaleev:
"Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies";
Lobachevskii Journal of Mathematics,
41
(2020),
145
- 150.
-
N. Bazhenov, D. Rossegger, M. Zubkov:
"On Bi-Embeddable Categoricity of Algebraic Structures";
Annals of Pure and Applied Logic,
103060
(2021).
-
M. Beck, E. McCullough, K. Jochemko:
"h*-polynomials of zonotopes";
Transactions of the American Mathematical Society,
371
(2019),
3;
2021
- 2042.
-
A. Beckmann:
"A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets";
Archive for Mathematical Logic,
41
(2002),
251
- 257.
-
A. Beckmann:
"Dynamic ordinal analysis";
Archive for Mathematical Logic,
42
(2003),
303
- 334.
-
A. Beckmann:
"Height restricted constant depth LK (Report No. 34)";
Electronic Colloquium on Computational Complexity,
http://eccc.uni-trier.de/eccc/
(2003).
-
A. Beckmann:
"Notations for exponentiation";
Theoretical Computer Science (invited),
288
(2002),
3
- 19.
-
A. Beckmann:
"Preservation theorems and restricted consistency statements in bounded arithmetic";
Annals of Pure and Applied Logic,
126
(2004),
1-3;
255
- 280.
-
A. Beckmann:
"Proving consistency of equational theories in bounded arithmetic";
Journal of Symbolic Logic,
67
(2002),
1;
279
- 296.
-
A. Beckmann, M. Goldstern, N. Preining:
"Continuous Fraïssé Conjecture";
Order,
25
(2008),
4;
281
- 298.
-
A. Beckmann, C. Pollett, S. Buss:
"Ordinal notations and well-orderings in bounded arithmetic";
Annals of Pure and Applied Logic,
120
(2003),
197
- 223.
-
A. Beckmann, N. Preining:
"Linear Kripke frames and Gödel logics";
Journal of Symbolic Logic,
71
(2007),
1;
26
- 44.
-
M. Behrisch:
"Galois theory for semiclones";
Algebra Universalis,
76
(2016),
3;
385
- 413.
More information
-
M. Behrisch, M. Hermann, S. Mengel, G. Salzer:
"Minimal Distance of Propositional Models";
Theory of Computing Systems,
63
(2019),
6;
1131
- 1184.
More information
-
M. Behrisch, M. Hermann, S. Mengel, G. Salzer:
"Minimal Distance of Propositional Models - Online first";
Theory of Computing Systems,
## online first
(2018),
1
- 54.
-
M. Behrisch, K. Truss, E. Vargas-García:
"Reconstructing the topology on monoids and polymorphism clones of the rationals";
Studia Logica,
(2016),
1
- 27.
More information
-
M. Behrisch, E. Vargas-García:
"Unique Inclusions of Maximal C-Clones in Maximal Clones";
Algebra Universalis,
79
(2018),
2;
1
- 21.
-
M. Behrisch, E. Vargas-García, D. Zhuk:
"The Number of Clones Determined by Disjunctions of Unary Relations";
Theory of Computing Systems,
##
(2018),
1
- 16.
-
M. Beiglböck:
"A multidimensional central sets theorem";
Combinatorics, Probability and Computing,
15
(2006),
06;
807
- 814.
-
M. Beiglböck:
"A variant of the Hales-Jewett theorem";
Bulletin of the London Mathematical Society,
40
(2008),
2;
210
- 216.
-
M. Beiglböck:
"Strong characterizing sequences of countable groups";
Journal of Number Theory,
127
(2007),
2;
145
- 152.
-
M. Beiglböck, V. Bergelson, N. Hindman, D. Strauss:
"Multiplicative structures in additively large sets";
Journal of Combinatorial Theory Series A,
113
(2006),
7;
1219
- 1242.
-
M. Beiglböck, V. Bergelson, N. Hindman, D. Strauss:
"Some new results in multiplicative and additive Ramsey theory";
Transactions of the American Mathematical Society,
360
(2008),
2;
819
- 847.
-
M. Beiglböck, M. Goldstern, L. Heindorf, M. Pinsker:
"Clones from ideals";
International Journal of Algebra and Computation,
19
(2009),
3;
397
- 421.
-
M. Beiglböck, M. Goldstern, G. Maresch, W. Schachermayer:
"Optimal and better transport plans";
Journal of Functional Analysis,
256
(2009),
1907
- 1927.
More information
-
M. Beiglböck, W. Schachermayer:
"Duality for Borel measurable cost functions";
Transactions of the American Mathematical Society,
363
(2011),
4203
- 4224.
More information
-
M. Beiglböck, C. Steineder, R. Winkler:
"Sequences and filters of characters characterizing subgroups of compact Abelian groups";
Topology and its Applications,
153
(2006),
1682
- 1695.
-
M. Beiglböck, R. Winkler:
"Endre Szemeredi: Ein mathematisches Universum in kombinatorischem Gewande";
Internationale Mathematische Nachrichten,
221
(2012),
21
- 38.
-
E. Beltrametti, D. Dorninger, M. Maczynski:
"On a cryptographical characterization of classical and nonclassical event systems";
Reports on Mathematical Physics,
60
(2007),
1;
117
- 123.
-
A. Berg, L. Parapatits, F. Schuster, M. Weberndorfer:
"Log-concavity properties of Minkowski valuations";
Transactions of the American Mathematical Society,
370
(2018),
7;
5245
- 5277.
More information
-
A. Berg, F. Schuster:
"Lutwak-Petty projection inequalities for Minkowski valuations and their duals";
Journal of Mathematical Analysis and Applications,
490
(2020),
1.
More information
-
S. Berg, K. Jochemko, L. Silverstein:
"Ehrhart tensor polynomials";
Linear Algebra and its Applications,
539
(2018),
72
- 93.
More information
-
J. Bernat, B. Loridant, J. Thuswaldner:
"Interior components of a tile associated to a quadratic canonical number system-Part II.";
Fractals -Complex Geometry, Patterns, and Scaling in Nature and Society,
18
(2010),
3;
385
- 397.
-
F. Besau, S. Hoehner, G. Kur:
"Intrinsic and dual volume deviations of convex bodies and polytopes";
International Mathematics Research Notices,
12
(2019),
58 pages.
More information
-
F. Besau, M. Ludwig, E. Werner:
"Weighted floating bodies and polytopal approximation";
Transactions of the American Mathematical Society,
370
(2018),
7129
- 7148.
More information
-
F. Besau, D. Rosen, C. Thäle:
"Random inscribed polytopes in projective geometries";
Mathematische Annalen,
381
(2021),
1345
- 1372.
More information
-
F. Besau, C. Schütt, E. Werner:
"Flag numbers and floating bodies";
Advances in Mathematics,
338
(2018),
912
- 952.
More information
-
F. Besau, F. Schuster:
"Binary operations in spherical convex geometry";
Indiana Univ.Math.J.,
65
(2016),
4;
1263
- 1288.
More information
-
F. Besau, C. Thäle:
"Asymptotic normality for random polytopes in non-Euclidean geometries";
Transactions of the American Mathematical Society,
373
(2020),
8911
- 8941.
More information
-
F. Besau, E. Werner:
"The floating body in real space forms";
Journal of Differential Geometry,
110
(2018),
2;
187
- 220.
More information
-
F. Besau, E. Werner:
"The spherical convex floating body";
Advances in Mathematics,
301
(2016),
867
- 901.
More information
-
A. Bichara, H. Havlicek, C. Zanella:
"On linear morphisms of product spaces";
Discrete Mathematics,
267
(2003),
35
- 43.
-
M. Birsak, F. Rist, P. Wonka, P. Musialski:
"String Art: Toward Computational Fabrication of String Images";
Computer Graphics Forum,
37
(2018),
2.
More information
-
M. Birsak, P. Wonka, M. Wimmer, P. Musialski:
"Dynamic Path Exploration on Mobile Devices";
IEEE Transactions on Visualization and Computer Graphics,
PP
(2017),
99;
1
- 15.
More information
-
S. Bloom, Z. Esik, W. Kuich:
"Cycle-Free Finite Automata in Partial Iterative Semirings";
Lecture Notes in Computer Science,
5725
(2009),
1
- 12.
-
S. Bloom, Z. Esik, W. Kuich:
"Partial Conway and Iteration Semirings";
Fundamenta Informaticae,
86
(2008),
1-2;
19
- 40.
-
A. Blunck, H. Havlicek:
"Geometric structures on finite- and infinite-dimensional Grassmannians";
Beiträge zur Algebra und Geometrie,
54
(2013),
533
- 547.
-
A. Blunck, H. Havlicek:
"Geometries on sigma-Hermitian matrices";
Journal of Mathematical Sciences,
186
(2012),
715
- 719.
-
A. Blunck, H. Havlicek:
"Jordan Homomorphisms and Harmonic Mappings";
Monatshefte für Mathematik,
139
(2003),
111
- 127.
-
A. Blunck, H. Havlicek:
"On bijections that preserve complementarity of subspaces";
Discrete Mathematics,
301
(2005),
46
- 56.
-
A. Blunck, H. Havlicek:
"On distant-isomorphisms of projective lines";
Aequationes Mathematicae,
69
(2005),
146
- 163.
-
A. Blunck, H. Havlicek:
"Projective lines over Jordan systems and geometry of Hermitian matrices,";
Linear Algebra and its Applications,
433
(2010),
672
- 680.
-
A. Blunck, H. Havlicek:
"The connected components of the projective line over a ring";
Advances in Geometry,
1
(2001),
107
- 117.
-
A. Blunck, H. Havlicek, C. Zanella:
"Divisible designs from twisted dual numbers";
Designs Codes and Cryptography,
47
(2008),
11
- 20.
-
A. Blunck, H. Havlicek, C. Zanella:
"Lifting of Divisible Designs";
Designs Codes and Cryptography,
42
(2007),
1
- 14.
-
P. Bo, M. Barton, D. Plakhotnik, H. Pottmann:
"Towards efficient 5-axis flank {C}{N}{C} machining of free-form surfaces via fitting envelopes of surfaces of revolution";
Computer Aided Design,
79
(2016),
1
- 11.
More information
-
P. Bo, M. Barton, H. Pottmann:
"Automatic fitting of conical envelopes to free-form surfaces for flank CNC machining";
Computer Aided Design,
91
(2017),
84
- 94.
More information
-
P. Bo, H. Pottmann, M. Kilian, W. Wang, J. Wallner:
"Circular arc structures";
ACM Transactions on Graphics,
30
(2011),
101;
1
- 11.
-
A. Bobenko, U. Hertrich-Jeromin, I. Lukyanenko:
"Discrete constant mean curvature nets in space forms: Steiner´s formula and Christoffel duality";
Discrete & Computational Geometry,
52
(2014),
4;
612
- 629.
-
A. Bobenko, H. Pottmann, T. Rörig:
"Multi-nets: Classification of discrete and smooth surfaces with characteristic properties on arbitrary parameter rectangles";
ArXiv,
-
(2018),
1802.05063.
More information
-
A. Bobenko, H. Pottmann, J. Wallner:
"A curvature theory for discrete surfaces based on mesh parallelity";
Mathematische Annalen,
348
(2010),
1
- 24.
-
O. Bodini, D. Gardy, B. Gittenberger, A. Jacquot:
"Enumeration of generalized BCI lambda-terms.";
Electronic Journal of Combinatorics,
20
(2013),
4;
23 pages.
-
O. Bodini, A. Genitrini, B. Gittenberger, S. Wagner:
"On the number of increasing trees with label repetitions";
Discrete Mathematics,
343
(2020),
8;
12 pages.
-
O. Bodini, B. Gittenberger, Z. Golebiewski:
"Enumerating Lambda Terms by Weighted Length of their De Bruijn Representation";
Discrete Applied Mathematics,
239
(2018),
45
- 61.
-
K. J. Böröczky, M. Ludwig:
"Minkowski valuations on lattice polytopes";
Journal of the European Mathematical Society,
21
(2019),
1;
163
- 197.
-
G. Bonnet, G. Chasapis, J. Grote, D. Temesvari, N. Turchi:
"Threshold phenomena for high-dimensional random polytopes";
Communications in Contemporary Mathematics,
21
(2019),
5.
More information
-
V. Branding:
"Dirac-harmonic maps with torsion";
Communications in Contemporary Mathematics,
1550064
(2015),
1
- 19.
-
V. Branding:
"Energy estimates for the supersymmetric nonlinear sigma model and applications";
Potential Analysis,
45
(2016),
4;
737
- 754.
-
V. Branding:
"Magnetic Dirac-harmonic maps";
Analysis and Mathematical Physics,
4
(2014).
-
V. Branding:
"Some aspects of Dirac-harmonic maps with curvature term";
Journal of Differential Geometry,
40
(2015),
1
- 13.
-
V. Branding:
"The evolution equations for regularized Dira-geodesics";
Journal of Geometry and Physics,
100
(2016),
1
- 19.
-
V. Branding:
"The heat flow for the full bosonic string";
Annals of Global Analysis and Geometry,
50
(2016),
347
- 365.
-
S. Brazitikos, S. Dann, A. Giannopoulos, A. Koldobsky:
"On the average volume of sections of convex bodies";
Israel Journal of Mathematics,
222
(2017),
2;
921
- 947.
More information
-
J. Brendle, M. Cardona, D. Mejia:
"Filter-linkedness and its effect on preservation of cardinal characteristics.";
Annals of Pure and Applied Logic,
172
(2021),
1.
-
M. Bruner:
"On restricted permutations on regular multisets";
arXiv.org e-Print archive,
http://arxiv.org/abs/1306.4781v1
(2013),
28 pages.
-
M. Bruner, M. Lackner:
"A Fast Algorithm for Permutation Pattern Matching Based on Alternating Runs";
Algorithmica (online),
online
(2015),
34 pages.
More information
-
M. Bruner, M. Lackner:
"The computational landscape of permutation patterns";
arXiv.org e-Print archive,
http://arxiv.org/abs/1301.0340
(2013),
22 pages.
More information
-
P. Bryan, M. Ivaki, J. Scheuer:
"Harnack inequalities for evolving hypersurfaces on the sphere";
Communications in Analysis and Geometry,
26
(2018),
5;
1047
- 1077.
More information
-
P. Bryan, M. Ivaki, J. Scheuer:
"Orlicz-Minkowski flows";
Calculus Of Variations And Partial Differential Equations,
60
(2021),
41.
-
P. Bryan, M. Ivaki, J. Scheuer:
"Parabolic approaches to curvature equations";
Nonlinear Analysis: Theory, Methods and Applications,
203
(2021).
More information
-
C. Buchta, P. Gruber:
"Ehrenpromotion von Peter Gruber in Salzburg";
Internationale Mathematische Nachrichten,
215
(2010),
54
- 59.
-
C. Buchta, P. Gruber:
"Zur Geschichte der Mathematik in Salzburg";
Mathematische Berichte (Universität Salzburg),
44
(2010),
1
- 12.
-
Y. Bugeaud:
"An inhomogenous Jarnik theorem";
Journal d´Analyse Mathématique,
92
(2004),
327
- 349.
-
Y. Bugeaud:
"Intersective sets and Diophantine approximation";
Michigan Mathematical Journal,
52
(2004),
667
- 682.
-
Y. Bugeaud:
"Linear mod one transformations and the distribution of fractional parts {ξ(p/q)^n}";
Acta Arithmetica,
114
(2004),
301
- 311.
-
Y. Bugeaud:
"Mahler´s classification of numbers compared with Koksma´s, III";
Publicationes Mathematicae Debrecen,
65
(2004),
305
- 316.
-
Y. Bugeaud:
"On the Diophantine equation (x^k-1)(y^k-1)=(z^k-1)";
Indagationes Mathematicae - New Series,
15
(2004),
1;
21
- 28.
-
Y. Bugeaud, M. Dodson, S. Kristensen:
"Zero infinity laws in Diophantine approximation";
Quarterly Journal of Mathematics,
56
(2005),
311
- 320.
-
Y. Bugeaud, M. Drmota, B. De Mathan:
"On a mixed Littlewood conjecture in Diophantine approximation";
Acta Arithmetica,
128.2
(2007),
107
- 124.
-
Y. Bugeaud, M. Drmota, W. Szpankowski:
"On the construction of (explicit) Khodak´s code and its analysis";
IEEE Transactions on Information Theory,
54
(2008),
11;
5073
- 5086.
-
Y. Bugeaud, A. Dubickas:
"Fractional parts of power and Sturmian words";
Comptes Rendus Académie des Sciences Paris, Série I,
341
(2005),
2;
69
- 74.
-
Y. Bugeaud, K. Györy:
"On binomial thue-Mahler equations";
Periodica Mathematica Hungarica,
49
(2004),
2;
25
- 34.
-
Y. Bugeaud, M. Laurent:
"Exposants d'approximation diophantienne et fractions continues sturmiennes";
Annales de l' Institut Fourier,
55
(2005),
3;
773
- 804.
-
Y. Bugeaud, F. Luca:
"A quantitative lower bound for the greatest prime factor of (ab+1)(bc+1)(ca+1)";
Acta Arithmetica,
114
(2004),
275
- 294.
-
Y. Bugeaud, F. Luca:
"On the period of the continued fraction expansion of √22n+1 + 1";
Indagationes Mathematicae - New Series,
16
(2005),
1;
21
- 35.
-
Y. Bugeaud, F. Luca, M. Mignotte, S. Siksek:
"On Fibonacci numbers with few prime divisors";
Proceedings of the Japan Academy series A-Mathematical Sciences,
81
(2005),
2;
17
- 20.
-
Y. Bugeaud, F. Luca, M. Mignotte, S. Siksek:
"On perfect powers in Lucas sequences";
International Journal of Number Theory,
1
(2005),
309
- 332.
-
Y. Bugeaud, M. Mignotte:
"On the distance between roots of an integer polynomial";
Proceedings of the Edinburgh Mathematical Society,
47
(2004),
553
- 556.
-
Y. Bugeaud, M. Mignotte, S. Siksek:
"Sur les nombres des Fibonaci de la form qkyp";
Comptes Rendus Académie des Sciences Paris, Série I,
339
(2004),
327
- 330.
-
F. Burstall, U. Hertrich-Jeromin, M. Lara Miro:
"Ribaucour coordinates";
Beiträge zur Algebra und Geometrie,
60
(2019),
39
- 55.
-
F. Burstall, U. Hertrich-Jeromin, L. Miro:
"Ribaucour coordinates";
arXiv.org,
1711.04605
(2017),
11 pages.
-
F. Burstall, U. Hertrich-Jeromin, C. Müller, W. Rossman:
"Semi-discrete isothermic surfaces";
Geometriae Dedicata,
183
(2016),
1;
43
- 58.
More information
-
F. Burstall, U. Hertrich-Jeromin, M. Pember, W. Rossman:
"Polynomial Conserved Quantities of Lie Applicable Surfaces";
arXiv.org,
1707.01713
(2017),
35 pages.
-
F. Burstall, U. Hertrich-Jeromin, M. Pember, W. Rossman:
"Polynomial conserved quantities of Lie applicable surfaces";
Manuscripta Mathematica,
online
(2018).
-
F. Burstall, U. Hertrich-Jeromin, M. Pember, W. Rossman:
"Polynomial conserved quantities of Lie applicable surfaces";
Manuscripta Mathematica,
158
(2019),
505
- 546.
-
F. Burstall, U. Hertrich-Jeromin, W. Rossman:
"Discrete linear Weingarten surfaces";
arXiv.org e-Print archive,
arXiv:1406.1293 [
(2014),
17 pages.
-
F. Burstall, U. Hertrich-Jeromin, W. Rossman:
"Discrete linear Weingarten surfaces";
Nagoya Math Journal,
online
(2017),
1
- 34.
-
F. Burstall, U. Hertrich-Jeromin, W. Rossman:
"Lie geometry of linear Weingarten surfaces";
Comptes Rendus,
350
(2012),
413
- 416.
-
F. Burstall, U. Hertrich-Jeromin, Y. Suyama:
"Curvilinear cordinates on generic conformally flat hypersurfaces and constant curvature $2$-metrics";
Journal of the Mathematical Society of Japan,
70
(2018),
617
- 649.
-
J. Bydzovsky, I. Carboni Oliveira, J. Krajicek:
"Consistency of circuit lower bounds with bounded theories";
Electronic Colloquium on Computational Complexity (ECCC),
26
(2019),
77.
-
J. Bydzovsky, J. Krajicek, I. Carboni Oliveira:
"Consistency of circuit lower bounds with bounded theories";
ArXiv,
CoRR abs/1905.12935
(2019).
-
J. Bydzovsky, J. Krajicek, I. Oliveira:
"Consistency of circuit lower bounds with bounded theories";
Logical Methods in Computer Science,
16
(2020),
2.
-
J. Bydzovsky, M. Müller:
"Polynomial time ultrapowers and the consistency of circuit lower bounds";
Archive for Mathematical Logic,
59
(2020),
1;
127
- 147.
-
C. Calude, L. Staiger, S. Terwijn:
"On partial randomness";
Annals of Pure and Applied Logic,
138
(2006),
20
- 30.
-
E. Can, H. Stachel:
"A planar parallel 3-RRR robot with synchronously driven cranks";
Mechanism and Machine Theory,
79
(2014),
29
- 45.
-
M. Can, Y. Cherniavsky, M. Rubey:
"A geometric interpretation of the intertwining number";
Electronic Journal of Combinatorics,
26
(2019),
2.
More information
-
M. Cardona:
"Turkey-order with models on Pawlikowski's theorems.";
Journal of Symbolic Logic,
51
(2021),
4;
957
- 968.
-
M. Cardona, L. Klausner, D. Mejia:
"Continuum Many Different Things: Localisation, Anti-Localisation and Yorioka Ideals.";
arXiv.org,
2110.11614
(2021).
-
M. Cardona, D. Mejia, I. Rivera-Madrid:
"The covering number of the strong measure zero ideal can be above almost everything else.";
Archive for Mathematical Logic,
11
(2021).
-
D. Cerna, A. Leitsch, A. Lolic:
"Schematic Refutations of Formula Schemata";
ArXiv,
1902.08055
(2019),
52 pages.
-
D. Cerna, A. Leitsch, A. Lolic:
"Schematic Refutations of Formula Schemata";
Journal of Automated Reasoning,
online
(2020).
-
I. Chajda, G. Dorfer, R. Halas:
"Regularity of generalized MV-algebras";
Demonstratio Mathematica,
34
(2001),
25
- 32.
-
I. Chajda, G. Dorfer, H. Länger:
"Local versions of some congruence properties in single algebras";
Acta Universitatis Palackianae Olomucensis, Facultas Rerum Naturalium, Mathematica,
43
(2004),
65
- 73.
More information
-
I. Chajda, G. Eigenthaler:
"Locally transferable congruences";
Anzeiger ÖAW,
140
(2004),
3
- 9.
-
I. Chajda, G. Eigenthaler:
"Polynomially representable semirings";
Demonstratio Mathematica,
4
(2011),
693
- 698.
-
I. Chajda, G. Eigenthaler:
"Semilattices with sectional mappings";
Discussiones Mathematicae General Algebra and Applications,
27
(2007),
11
- 19.
-
I. Chajda, G. Eigenthaler:
"Varieties of g-coherent algebras";
Italian Journal of Pure and Applied Mathematics,
14
(2003),
77
- 85.
-
I. Chajda, G. Eigenthaler, H. Länger:
"Directly decomposable ideals and congruence kernels of commutative semirings";
Miskolc Mathematical Notes,
21
(2020),
1;
113
- 125.
-
I. Chajda, G. Eigenthaler, H. Länger:
"Ideals of direct products of rings";
Asian-European Journal of Mathematics,
11
(2018),
4;
1850094-1
- 1850094-6.
-
I. Chajda, M. Goldstern, H. Länger:
"A note on homomorphisms between products of algebras";
Algebra Universalis,
79:25
(2018),
2;
1
- 7.
-
I. Chajda, R. Halas, H. Länger:
"Congruence kernels of orthoimplication algebras";
Acta Mathematica Universitatis Comenianae,
76
(2007),
2;
231
- 240.
-
I. Chajda, R. Halas, H. Länger:
"Congruence kernels of orthomodular implication algebras";
Discrete Mathematics,
308
(2008),
4724
- 4733.
-
I. Chajda, R. Halas, H. Länger:
"Operations and structures derived from non-associative MV-algebras";
Soft Computing,
23
(2019),
12;
3935
- 3944.
-
I. Chajda, R. Halas, H. Länger:
"Orthomodular implication algebras";
International Journal of Theoretical Physics,
40
(2001),
1875
- 1884.
-
I. Chajda, R. Halas, H. Länger:
"Simple axioms for orthomodular implication algebras";
International Journal of Theoretical Physics,
43
(2004),
911
- 914.
-
I. Chajda, R. Halas, H. Länger:
"The logic induced by effect algebras";
Soft Computing,
24
(2020),
19;
14275
- 14286.
-
I. Chajda, M. Kolarik, H. Länger:
"Algebras assigned to ternary relations";
Miskolc Mathematical Notes,
14
(2013),
3;
827
- 844.
-
I. Chajda, M. Kolarik, H. Länger:
"Characterizations of posets via weak states";
Demonstratio Mathematica,
41
(2008),
3;
491
- 496.
-
I. Chajda, M. Kolarik, H. Länger:
"Extensions of posets with an antitone involution to residuated structures";
Fuzzy Sets and Systems,
425
(2021),
169
- 175.
-
I. Chajda, M. Kolarik, H. Länger:
"Polynomial permutations on bounded commutative directoids with an antitone involution";
Soft Computing,
15
(2011),
1;
183
- 186.
-
I. Chajda, M. Kolarik, H. Länger:
"Varieties corresponding to classes of complemented posets";
Miskolc Mathematical Notes,
22
(2021),
2;
611
- 623.
-
I. Chajda, J. Krnavek, H. Länger:
"Congruences on directoids";
Acta Sci.Math. (Szeged),
78
(2012),
389
- 402.
-
I. Chajda, J. Kühr, H. Länger:
"Relatively residuated lattices and posets";
Mathematica Slovaca,
70
(2020),
2;
239
- 250.
-
I. Chajda, H. Länger:
"A Cayley theorem for algebras with binary and nullary operations";
Acta Sci.Math. (Szeged),
75
(2009),
55
- 58.
-
I. Chajda, H. Länger:
"A Cayley theorem for distributive lattices";
Algebra Universalis,
60
(2009),
3;
365
- 367.
-
I. Chajda, H. Länger:
"A common generalization of ortholattices and Boolean quiasirings";
Demonstratio Mathematica,
40
(2007),
4;
769
- 774.
-
I. Chajda, H. Länger:
"A non-associative generalization of effect algebras";
Soft Computing,
16
(2012),
8;
1411
- 1414.
-
I. Chajda, H. Länger:
"A note on congruence uniformity for single algebras";
Demonstratio Mathematica,
37
(2004),
9
- 11.
-
I. Chajda, H. Länger:
"A note on normal varieties of monounary algebras";
Czechoslovak Mathematical Journal,
52
(2002),
369
- 373.
-
I. Chajda, H. Länger:
"A representation of basic algebras by coupled right near semirings";
Acta Sci.Math. (Szeged),
81
(2015),
361
- 374.
-
I. Chajda, H. Länger:
"A representation of lattice effect algebras by means of right near semirings with involution";
International Journal of Theoretical Physics,
56
(2017),
3719
- 3726.
-
I. Chajda, H. Länger:
"A simple basis of ideal terms of Brouwerian semilattices";
Acta Universitatis Palackianae Olomucensis, Facultas Rerum Naturalium, Mathematica,
40
(2001),
37
- 42.
-
I. Chajda, H. Länger:
"A triple representation of lattice effect algebras";
Mathematica Slovaca,
66
(2016),
6;
1261
- 1266.
-
I. Chajda, H. Länger:
"Action algebras";
Italian Journal of Pure and Applied Mathematics,
26
(2009),
71
- 78.
-
I. Chajda, H. Länger:
"Adjoint operations in twist-products of lattices";
Symmetry-Basel,
13
(2021),
2;
15 pages.
-
I. Chajda, H. Länger:
"Algebras describing pseudocomplemented, relatively pseudocomplemented and sectionally pseudocomplemented posets";
Symmetry-Basel,
13
(2021),
5;
17 pages.
-
I. Chajda, H. Länger:
"An ordered structure of pseudo-BCI-algebras";
Mathematica Bohemica,
141
(2016),
1;
91
- 98.
-
I. Chajda, H. Länger:
"Basic semirings";
Mathematica Slovaca,
69
(2019),
3;
533
- 540.
-
I. Chajda, H. Länger:
"Bounded lattices with antitone involution the complemented elements of which form a sublattice";
Journal of Algebra and Discrete Structures,
6
(2008),
1;
13
- 22.
-
I. Chajda, H. Länger:
"Commutative basic algebras and coupled near semirings";
Soft Computing,
19
(2015),
5;
1129
- 1134.
-
I. Chajda, H. Länger:
"Commutative rings whose ideal lattices are complemented";
Asian-European Journal of Mathematics,
12
(2019),
3;
1950039-1
- 1950039-12.
-
I. Chajda, H. Länger:
"Congruence classes in Brouwerian semilattices";
Discussiones Mathematicae General Algebra and Applications,
21
(2001),
229
- 237.
-
I. Chajda, H. Länger:
"Consistent posets";
Soft Computing,
25
(2021),
15;
9765
- 9772.
-
I. Chajda, H. Länger:
"Convex congruences";
Soft Computing,
21
(2017),
5641
- 5645.
-
I. Chajda, H. Länger:
"Coupled right orthosemirings induced by orthomodular lattices";
Order,
34
(2017),
1;
1
- 7.
-
I. Chajda, H. Länger:
"Derivations in Lukasiewicz semirings";
Miskolc Mathematical Notes,
19
(2018),
2;
769
- 785.
-
I. Chajda, H. Länger:
"Filters and congruences in sectionally pseudocomplemented lattices and posets";
Soft Computing,
25
(2021),
14;
8827
- 8837.
-
I. Chajda, H. Länger:
"General coupled semirings of residuated lattices";
Fuzzy Sets and Systems,
303
(2016),
128
- 135.
-
I. Chajda, H. Länger:
"Generalizations of implication algebras";
Sitzungsberichte ÖAW,
216
(2007),
33
- 43.
-
I. Chajda, H. Länger:
"Groupoids assigned to relational systems";
Mathematica Bohemica,
138
(2013),
1;
15
- 23.
-
I. Chajda, H. Länger:
"Groupoids corresponding to relational systems";
Miskolc Mathematical Notes,
17
(2016),
1;
111
- 118.
-
I. Chajda, H. Länger:
"Horizontal sums of bounded lattices";
Mathematica Pannonica,
20
(2009),
1;
139
- 143.
-
I. Chajda, H. Länger:
"How to introduce the connective implication in orthomodular posets";
Asian-European Journal of Mathematics,
14
(2021),
4;
2150066-1
- 2150066-8.
-
I. Chajda, H. Länger:
"Hypersubstitutions in orthomodular lattices";
Discussiones Mathematicae General Algebra and Applications,
21
(2001),
83
- 92.
-
I. Chajda, H. Länger:
"Ideals and their complements in commutative semirings";
Soft Computing,
23
(2019),
14;
5385
- 5392.
-
I. Chajda, H. Länger:
"Implication in finite posets with pseudocomplemented sections";
Soft Computing,
26
(2022),
13;
5945
- 5953.
-
I. Chajda, H. Länger:
"Inexact residuation in effect algebras";
Journal of Multiple-Valued Logic and Soft Computing,
38
(2022),
1-2;
57
- 79.
-
I. Chajda, H. Länger:
"Kleene posets and pseudo-Kleene posets";
Miskolc Mathematical Notes,
23
(2022),
1;
155
- 174.
-
I. Chajda, H. Länger:
"Lattices of subspaces of vector spaces with orthogonality";
Journal of Algebra and Its Applications,
19
(2020),
3;
2050041-1
- 2050041-13.
-
I. Chajda, H. Länger:
"Left residuated lattices induced by lattices with a unary operation";
Soft Computing,
24
(2020),
2;
723
- 729.
-
I. Chajda, H. Länger:
"Left residuated operators induced by posets with a unary operation";
Soft Computing,
23
(2019),
22;
11351
- 11356.
-
I. Chajda, H. Länger:
"Logical and algebraic properties of generalized orthomodular posets";
Mathematica Slovaca,
72
(2022),
2;
275
- 286.
-
I. Chajda, H. Länger:
"Minimal bounded lattices with an antitone involution the complemented elements of which do not form a sublattice";
Discussiones Mathematicae General Algebra and Applications,
28
(2008),
2;
251
- 259.
-
I. Chajda, H. Länger:
"Modifications of MV-algebras corresponding to strong ortholattices";
Demonstratio Mathematica,
38
(2005),
1;
1
- 6.
-
I. Chajda, H. Länger:
"Near semirings and semirings with involution";
Miskolc Mathematical Notes,
17
(2016),
2;
801
- 810.
-
I. Chajda, H. Länger:
"On a variety of commutative multiplicatively idempotent semirings";
Semigroup Forum,
94
(2017),
3;
610
- 617.
-
I. Chajda, H. Länger:
"On congruences of weak lattices";
Soft Computing,
20
(2016),
12;
4767
- 4771.
-
I. Chajda, H. Länger:
"On the structure of balanced near semirings";
Miskolc Mathematical Notes,
18
(2017),
2;
691
- 699.
-
I. Chajda, H. Länger:
"On the structure of pseudo-BCK algebras";
Journal of Multiple-Valued Logic and Soft Computing,
28
(2017),
179
- 188.
-
I. Chajda, H. Länger:
"Orthogonality and complementation in the lattice of subspaces of a finite vector space";
Mathematica Bohemica,
147
(2022),
2;
141
- 153.
-
I. Chajda, H. Länger:
"Orthomodular lattices can be converted into left residuated l-groupoids";
Miskolc Mathematical Notes,
18
(2017),
2;
685
- 689.
-
I. Chajda, H. Länger:
"Orthomodular lattices that are horizontal sums of Boolean algebras";
Commentationes Mathematicae Universitatis Carolinae,
61
(2020),
1;
11
- 20.
-
I. Chajda, H. Länger:
"Orthomodular posets can be organized as conditionally residuated structures";
Acta Universitatis Palackianae Olomucensis, Facultas Rerum Naturalium, Mathematica,
53
(2014),
2;
29
- 33.
-
I. Chajda, H. Länger:
"Orthorings";
Discussiones Mathematicae General Algebra and Applications,
24
(2004),
137
- 147.
-
I. Chajda, H. Länger:
"Properties of implication in effect algebras";
Mathematica Slovaca,
71
(2021),
3;
523
- 534.
-
I. Chajda, H. Länger:
"Properties of non-associative MV-algebras";
Mathematica Slovaca,
67
(2017),
5;
1095
- 1104.
-
I. Chajda, H. Länger:
"Quantifiers on lattices with an antitone involution";
Demonstratio Mathematica,
42
(2009),
2;
241
- 246.
-
I. Chajda, H. Länger:
"Quotients and homomorphisms of relational systems";
Acta Universitatis Palackianae Olomucensis, Facultas Rerum Naturalium, Mathematica,
49
(2010),
2;
37
- 47.
-
I. Chajda, H. Länger:
"Relational systems with involution";
Asian-European Journal of Mathematics,
9
(2016),
4.
-
I. Chajda, H. Länger:
"Relatively pseudocomplemented posets";
Mathematica Bohemica,
143
(2018),
1;
89
- 97.
-
I. Chajda, H. Länger:
"Residuated operators in complemented posets";
Asian-European Journal of Mathematics,
11
(2018),
6;
1850097-1
- 1850097-15.
-
I. Chajda, H. Länger:
"Residuated structures derived from commutative idempotent semirings";
Discussiones Mathematicae General Algebra and Applications,
39
(2019),
1;
23
- 33.
-
I. Chajda, H. Länger:
"Residuation in finite posets";
Mathematica Slovaca,
71
(2021),
4;
807
- 820.
-
I. Chajda, H. Länger:
"Residuation in lattice effect algebras";
Fuzzy Sets and Systems,
397
(2020),
168
- 178.
-
I. Chajda, H. Länger:
"Residuation in modular lattices and posets";
Asian-European Journal of Mathematics,
12
(2019),
2;
1950092-1
- 1950092-10.
-
I. Chajda, H. Länger:
"Residuation in non-associative MV-algebras";
Mathematica Slovaca,
68
(2018),
6;
1313
- 1320.
-
I. Chajda, H. Länger:
"Residuation in orthomodular lattices";
Topological Algebra and its Applications,
5
(2017),
1
- 5.
-
I. Chajda, H. Länger:
"Restricted congruence regularity of algebras";
Acta Mathematica Universitatis Comenianae,
71
(2002),
3
- 8.
-
I. Chajda, H. Länger:
"Ring-like algebras associated with symmetric difference";
Miskolc Mathematical Notes,
13
(2012),
2;
283
- 292.
-
I. Chajda, H. Länger:
"Ring-like operations in pseudocomplemented semilattices";
Discussiones Mathematicae General Algebra and Applications,
20
(2000),
87
- 95.
-
I. Chajda, H. Länger:
"Ring-like structures corresponding to MV-algebras via symmetric difference";
Sitzungsberichte ÖAW,
213
(2004),
33
- 41.
-
I. Chajda, H. Länger:
"SAI-lattices and ringoids";
Demonstratio Mathematica,
39
(2006),
3;
483
- 490.
-
I. Chajda, H. Länger:
"Semimodules over commutative semirings and modules over unitary commutative rings";
Linear and Multilinear Algebra,
70
(2022),
7;
1329
- 1344.
-
I. Chajda, H. Länger:
"Sheffer operation in relational systems";
Soft Computing,
26
(2022),
1;
89
- 97.
-
I. Chajda, H. Länger:
"Spaces of abstract events";
International Journal of Theoretical Physics,
52
(2013),
6;
1818
- 1824.
-
I. Chajda, H. Länger:
"States on basic algebras";
Mathematica Bohemica,
142
(2017),
2;
197
- 210.
-
I. Chajda, H. Länger:
"Subdirectly irreducible commutative multiplicatively idempotent semirings";
Algebra Universalis,
76
(2016),
3;
327
- 337.
-
I. Chajda, H. Länger:
"Sublattices and $\Delta$-blocks of orthomodular posets";
Journal of Logic and Computation,
30
(2020),
7;
1401
- 1423.
-
I. Chajda, H. Länger:
"Symmetric differences on posets with an antitone involution";
Order,
29
(2012),
1;
215
- 225.
-
I. Chajda, H. Länger:
"Tense operators on spaces of numerical events";
International Journal of Theoretical Physics,
53
(2014),
3456
- 3464.
-
I. Chajda, H. Länger:
"The lattice of subspaces of a vector space over a finite field";
Soft Computing,
23
(2019),
10;
3261
- 3267.
-
I. Chajda, H. Länger:
"The logic of orthomodular posets of finite height";
Logic Journal of the IGPL,
30
(2022),
1;
143
- 154.
-
I. Chajda, H. Länger:
"The variety of commutative additively and multiplicatively idempotent semirings";
Semigroup Forum,
96
(2018),
2;
409
- 415.
-
I. Chajda, H. Länger:
"Weak lattices";
Italian Journal of Pure and Applied Mathematics,
30
(2013),
125
- 140.
-
I. Chajda, H. Länger:
"Weakly orthomodular and dually weakly orthomodular lattices";
Order,
35
(2018),
3;
541
- 555.
-
I. Chajda, H. Länger:
"Weakly orthomodular and dually weakly orthomodular posets";
Asian-European Journal of Mathematics,
11
(2018),
2;
1850093-1
- 1850093-18.
-
I. Chajda, H. Länger:
"When does a generalized Boolean quasiring become a Boolean ring?";
Soft Computing,
22
(2018),
20;
6877
- 6879.
-
I. Chajda, H. Länger:
"When does a semiring become a residuated lattice?";
Asian-European Journal of Mathematics,
9
(2016),
4.
-
I. Chajda, H. Länger, M. Maczynski:
"Ring-like structures corresponding to generalized orthomodular lattices";
Mathematica Slovaca,
54
(2004),
143
- 150.
-
I. Chajda, H. Länger, R. Padmanabhan:
"Single identities forcing lattices to be Boolean";
Mathematica Slovaca,
68
(2018),
4;
713
- 716.
-
I. Chajda, H. Länger, J. Paseka:
"Algebraic aspects of relatively pseudocomplemented posets";
Order,
37
(2020),
1;
1
- 29.
-
I. Chajda, H. Länger, J. Paseka:
"Sectionally pseudocomplemented posets";
Order,
38
(2021),
3;
527
- 546.
-
I. Chajda, H. Länger, J. Paseka:
"The groupoid-based logic for lattice effect algebras";
Proceedings 2017 IEEE 47th International Symposium on Multiple-Valued Logic,
47
(2017).
-
I. Chajda, H. Länger, J. Paseka:
"Uniquely complemented posets";
Order,
35
(2018),
3;
421
- 431.
-
I. Chajda, H. Länger, P. Sevcik:
"An algebraic approach to binary relations";
Asian-European Journal of Mathematics,
8
(2015),
2;
1550017-1
- 1550017-13.
-
I. Chajda, H. Länger, F. Svrcek:
"Multiplicatively idempotent semirings";
Mathematica Bohemica,
140
(2015),
1;
35
- 42.
-
K. Chaudhuri, S. Hetzl, D. Miller:
"A multi-focused proof system isomorphic to expansion proof";
Journal of Logic and Computation,
26
(2016),
2;
577
- 603.
More information
-
B. Chauvin, P. Flajolet, D. Gardy, B. Gittenberger:
"And/Or trees revisited";
Combinatorics, Probability and Computing,
13
(2004),
475
- 497.
-
J. Cho, W. Rossman, T. Seno:
"Discrete mKdV equation via Darboux transformation";
Mathematical Physics, Analysis and Geometry,
24 (3)
(2021),
25;
1
- 11.
More information
-
C. Chyzak, M. Drmota, T. Klausner, G. Kok:
"The distribution of patterns in random trees";
Combinatorics, Probability and Computing,
17
(2008),
01;
21
- 59.
-
A. Ciabattoni:
"A proof-theoretical investigation of global intuitionistic (fuzzy) logic";
Archive for Mathematical Logic,
44
(2005),
435
- 457.
-
A. Ciabattoni, M. Baaz:
"Proof theory of witnessed G{"{o}}del logic: {A} negative result";
Journal of Logic and Computation,
26
(2016),
1;
51
- 64.
-
A. Ciabattoni, M. Baaz, C. Fermüller:
"Theorem proving for prenex Gödel logic with Delta: checkingvalidity and unsatisfiability";
Logical Methods in Computer Science,
8
(2012),
1;
1
- 20.
More information
-
A. Ciabattoni, M. Baaz, D. Gabbay, P. Hajek:
"Proceedings of COS04 and Ercim (Volume I)";
Logic Journal of the IGPL,
13
(2005),
4;
363.
-
A. Ciabattoni, M. Baaz, D.M. Gabbay et al.:
"PREFACE OF A SPECIAL ISSUE OF THE J. of LOGIC AND COMPUTATION";
Journal of Logic and Computation,
27
(2017),
2.
-
A. Ciabattoni, M. Baaz, D.M. Gabbay, S. Hetzl, D. Weller:
"Preface";
Journal of Logic and Computation,
1
(2014).
-
A. Ciabattoni, M. Baaz, P. Hajek:
"Proceedings of COS04 and Ercim (Volume II)";
Logic Journal of the IGPL,
13
(2005),
5;
491.
-
A. Ciabattoni, M. Baaz, N Preining:
"First-order satisfiability in Gödel logics: an NP-complete fragment";
Theoretical Computer Science,
414
(2011),
6612
- 6623.
-
A. Ciabattoni, F. Esteva, L. Godo:
"T-norm based logics with n-contraction";
Neural Network World,
5
(2002),
2;
441
- 452.
-
A. Ciabattoni, A. Leitsch:
"Towards an algorithmic construction of cut-elimination procedures";
Mathematical Structures In Computer Science,
18
(2008),
1;
81
- 105.
-
A. Ciabattoni, G. Metcalfe:
"Density elimination";
Theoretical Computer Science,
403
(2008),
2-3;
328
- 346.
-
A. Ciabattoni, G. Metcalfe:
"Density elimination and rational completeness for first-order logics";
Lecture Notes in Computer Science,
4514
(2007),
132
- 146.
-
A. Ciabattoni, D. Picado Muino, T Vetterlein, M. El Zekey:
"Formal approaches to rule-based systems in medicine: The case of CADIAG-2";
International Journal of Approximate Reasoning,
54
(2013),
1;
132
- 148.
-
A. Ciabattoni, K. Terui:
"Towards a semantic characterization of cut-elimination";
Studia Logica,
82
(2006),
95
- 119.
-
A. Ciabattoni, T. Vetterlein:
"On the (fuzzy) logical content of CADIAG-2";
Fuzzy Sets and Systems,
161
(2009),
14;
1941
- 1958.
-
P. Cintula, G. Metcalfe, C. Noguera:
"Special issue on mathematical fuzzy logic";
Journal of Logic and Computation,
21
(2011),
5;
715
- 716.
-
A. Colesanti, N. Lombardi, L. Parapatits:
"Translation invariant valuations on quasi-concave functions";
Studia Mathematica,
243
(2018),
1;
79
- 99.
More information
-
A. Colesanti, M. Ludwig, F. Mußnig:
"A homogeneous decomposition theorem for valuations on convex functions";
Journal of Functional Analysis,
279
(2020),
5.
More information
-
A. Colesanti, M. Ludwig, F. Mußnig:
"Hessian valuations";
Indiana Univ.Math.J.,
69
(2020),
1275
- 1315.
-
A. Colesanti, M. Ludwig, F. Mußnig:
"Minkowski valuations on convex functions";
Calculus Of Variations And Partial Differential Equations,
56
(2017),
162.
More information
-
A. Colesanti, M. Ludwig, F. Mußnig:
"Valuations on convex functions";
International Mathematics Research Notices,
8
(2019),
2384
- 2410.
More information
-
G. Collet, E. De Panafieu, D. Gardy, B. Gittenberger, V. Ravelomanana:
"Threshold functions for small subgraphs in simple graphs and multigraphs";
European Journal of Combinatorics,
88
(2020),
103113;
44 pages.
-
I. Cvetkovic, M. Stojicevic, R. Milicevic, B. Popkonstantinovic, H. Stachel:
"The Man who invented Descriptive Geometry.";
FME Transactions,
47
(2019),
2;
331
- 336.
-
S. Dann:
"The lower dimensional Busemann-Petty problem in the complex hyperbolic space";
Advances in Applied Mathematics,
53
(2014),
44
- 60.
-
S. Dann et al.:
"The minimum convex container of two convex polytopes under translations";
Computational Geometry - Theory and Applications,
77
(2019),
40
- 50.
More information
-
S. Dann, J. Kim, V. Yaskin:
"Busemann's intersection inequality in hyperbolic and spherical spaces";
Advances in Mathematics,
326
(2018),
521
- 560.
-
S. Dann, G. Paouris, P. Pivovarov:
"Bounding marginal densities via affine isoperimetry";
Proceedings of the London Mathematical Society,
113
(2016),
2;
140
- 162.
-
S. Dann, M. Zymonopoulou:
"Sections of convex bodies with symmetries";
Advances in Mathematics,
271
(2015),
112
- 152.
-
V. Daxner, A. Genitrini, B. Gittenberger, C. Mailler:
"The relation between tree size complexity and probability for Boolean functions generated by uniform random trees";
Applicable Analysis and Discrete Mathematics,
10
(2016),
408
- 446.
More information
-
D. de Jongh, R. Iemhoff, C. Zhou:
"Properties of intuitionistic provability and preservativity logics";
Logic Journal of the IGPL,
13
(2005),
6;
615
- 636.
-
E. De Panafieu, D. Gardy, B. Gittenberger, M. Kuba:
"2-XOR revisited: satisfiability and probabilities of functions";
Algorithmica,
76
(2016),
4;
1035
- 1076.
More information
-
M. Dehmer:
"Information processing in complex networks: Graph entropy and information functionals";
Applied Mathematics and Computation,
201
(2008),
1-2;
82
- 94.
-
M. Dehmer, S. Borgert, D. Bonchev:
"Information inequalities for graphs";
SYMMETRY: Culture and Science,
19
(2008),
4;
269
- 284.
-
M. Dehmer, F. Emmert-Streib:
"Information theoretic measures of UHG graphs with low computational complexity";
Applied Mathematics and Computation,
190
(2007),
2;
1783
- 1794.
-
M. Dehmer, F. Emmert-Streib:
"Robustness in scale-free networks: comparing directed and undirected networks";
International Journal of Modern Physics C,
19
(2008),
5;
717
- 726.
-
M. Dehmer, F. Emmert-Streib:
"Structural information content of networks: graph entropy based on local vertex functionals";
Computational Biology and Chemistry,
32
(2008),
2;
131
- 138.
-
M. Dehmer, F. Emmert-Streib:
"Structural similarity of directed universal hierarchical graphs: a low computational complexity approach";
Applied Mathematics and Computation,
194
(2007),
(1);
7
- 20.
-
M. Dehmer, F. Emmert-Streib:
"The structural information content of chemical networks";
Zeitschrift für Naturforschung A: Physical Sciences,
63a
(2008),
155
- 159.
-
M. Dehmer, F. Emmert-Streib:
"Toplogical mappings between graphs, trees and generalized trees";
Applied Mathematics and Computation,
186
(2007),
2;
1326
- 1333.
-
M. Dehmer, F. Emmert-Streib, T. Gesell:
"A comparative analysis of multidimensional features of objects resembling sets of graphs";
Applied Mathematics and Computation,
196
(2008),
1;
221
- 235.
-
M. Dehmer, F. Emmert-Streib, T. Gesell:
"Comparing large graphs efficiently by margins of feature vectors";
Applied Mathematics and Computation,
188
(2007),
2;
1699
- 1710.
-
M. Dehmer, F. Emmert-Streib, A. Mowshowitz, A. Ilic, Z. Chen, G. Yu, K. Varmuza et al.:
"Relations and bounds for the zeros of graph polynomials using vertex orbits.";
Applied Mathematics and Computation,
380
(2020),
1
- 14.
More information
-
M. Dehmer, J. Kilian:
"On bounds for the zeros of univariate polynomials";
International Journal of Applied Mathematics and Computer Sciences,
4
(2007),
2;
495
- 500.
-
M. Dehmer, A. Mehler:
"A new method of measuring similarity for a special class of directed graphs";
Tatra Mountains Mathematical Publications,
36
(2007),
39
- 59.
-
M. Dehmer, A. Mowshowitz:
"Inequalities for entropy-based measures of network information content";
Applied Mathematics and Computation,
215
(2010),
4263
- 4271.
-
M. Dehmer, K. Varmuza:
"A comparative analysis of the Tanimoto index and graph edit distance for measuring the topological similarity of trees";
Applied Mathematics and Computation,
259
(2015),
242
- 250.
More information
-
M. Dehmer, K. Varmuza, S. Borgert, F. Emmert-Streib:
"On Entropy-Based Molecular Descriptors : Statistical Analysis of Real and Synthetic Chemical Structures";
Journal of Chemical Information and Modeling,
49
(2009),
7;
1655
- 1663.
-
B. Deng, H. Pottmann, J. Wallner:
"Functional webs for freeform architecture";
Computer Graphics Forum,
30
(2011),
5;
1369
- 1378.
-
J. Deshouillers, M. Drmota, C. Müllner:
"Automatic sequences generated by synchronizing automata fulfill the Sarnak conjecture";
Studia Mathematica,
231
(2015),
1;
83
- 95.
More information
-
O. Diamanti, A. Vaxman, D. Panozzo, O. Sorkine-Hornung:
"Designing N-PolyVector Fields with Complex Polynomials";
Computer Graphics Forum,
33
(2014),
5;
1
- 11.
-
O. Diamanti, A. Vaxman, D. Panozzo, O. Sorkine-Hornung:
"Integrable PolyVector fields";
ACM Transactions on Graphics,
34/4
(2015),
38;
1
- 12.
More information
-
V. Dimonte:
"Rank-into-rank hypotheses and the failure of GCH";
Archive for Mathematical Logic,
53
(2014),
3-4;
351
- 366.
More information
-
G. Dorfer:
"Noncommutative symmetric differences in orthomodular lattices";
International Journal of Theoretical Physics,
44
(2005),
885
- 896.
-
G. Dorfer:
"Some properties of congruence relations on orthomodular lattices";
Discussiones Mathematicae General Algebra and Applications,
21
(2001),
57
- 66.
-
G. Dorfer:
"Von den natürlichen Zahlen zu den Quaternionen";
Didaktikhefte der ÖMG (invited),
30
(1999),
30
- 45.
-
G. Dorfer, D. Dorninger, H. Länger:
"On algebras of multidimensional probabilities";
Mathematica Slovaca,
60
(2010),
571
- 582.
-
G. Dorfer, D. Dorninger, H. Länger:
"On the structure of numerical event spaces";
Kybernetika,
46
(2010),
6;
971
- 981.
-
G. Dorfer, A. Dvurecenskij, H. Länger:
"Symmetric difference in orthomodular lattices";
Mathematica Slovaca,
46
(1996),
435
- 444.
-
G. Dorfer, H. Maharaj:
"Generalized AG codes and generalized duality";
Finite Fields and their Applications,
9
(2003),
194
- 210.
-
G. Dorfer, W. Meidl, A. Winterhof:
"Counting functions and expected values for the lattice profile at n";
Finite Fields and their Applications,
(10)
(2004),
636
- 652.
-
G. Dorfer, W. Meidl, A. Winterhof:
"On the lattice profile of pseudorandom number sequences";
Oberwolfach Reports (invited),
1
(2004),
4;
2950
- 2951.
-
G. Dorfer, J. Thuswaldner, R. Winkler:
"Fundamental groups of one-dimensional spaces";
Fundamenta Mathematicae,
223
(2013),
2;
137
- 169.
-
G. Dorfer, R. Tichy:
"Quadratic algebraic numbers with finite b-adic expansion on the unit circle and their distribution";
Mathematische Nachrichten,
273
(2004),
58
- 74.
-
G. Dorfer, A. Winterhof:
"Lattice structure and linear complexity profile of nonlinear pseudorandom number generators";
Applicable Algebra In Engineering Communication And Computing,
13
(2003),
499
- 508.
-
G. Dorfer, H. Woracek:
"Formal power series and some theorems of J.F.Ritt in arbitrary characteristic";
Monatshefte für Mathematik,
127
(1999),
277
- 293.
-
A. Dorfmayr:
"Der Einfluss von Therapie in Modellen der mathematischen Epidemiologie";
Didaktikhefte der ÖMG (invited),
34
(2002),
22
- 34.
-
D. Dorninger:
"Identifying quantum logics by numerical events";
Mathematica Slovaca,
70
(2020),
1;
41
- 50.
-
D. Dorninger:
"On a conjecture of L. Fejes Tóth and J. Molnár about circle coverings of the plane";
Periodica Mathematica Hungarica,
78
(2019),
2;
242
- 253.
-
D. Dorninger:
"On characteristic polynomials of vertex- and edge-weighted molecular graphs";
PAMM,
7
(2008),
1;
2 pages.
-
D. Dorninger:
"Quantenlogiken und numerische Ereignisse";
Internationale Mathematische Nachrichten,
240
(2019),
1
- 10.
-
D. Dorninger:
"Thinnest covering of the Euclidean plane with incongruent circles";
Analysis and Geometry in Metric Spaces,
5
(2017),
S. 40-46.
-
D. Dorninger, B. Hueber:
"On Hamiltonian graphs arising from spatial orders of chromosomes of even number";
Demonstratio Mathematica,
34
(2001),
733
- 742.
-
D. Dorninger, H. Kaiser:
"Error correction and compact discs";
UMAP Journal (invited),
21
(2000),
139
- 156.
-
D. Dorninger, H. Länger:
"A note on Boolean subsets of orthomodular posets";
Italian Journal of Pure and Applied Mathematics,
32
(2014),
277
- 282.
-
D. Dorninger, H. Länger:
"On Boolean posets of numerical events";
Advances in Computational Intelligence,
1
(2021),
4;
7 pages.
-
D. Dorninger, H. Länger:
"On bounded posets arising from quantum mechanical measurements";
International Journal of Theoretical Physics,
55
(2016),
10;
4453
- 4461.
-
D. Dorninger, H. Länger:
"On characteristic polynomials of molecular graphs with heteroatoms";
International Journal of Pure and Applied Mathematics,
5
(2003),
3;
301
- 314.
-
D. Dorninger, H. Länger:
"On characteristic polynomials of weighted molecular graphs";
International Journal of Pure and Applied Mathematics,
12
(2004),
1;
33
- 47.
-
D. Dorninger, H. Länger:
"On ring-like structures of lattice-ordered numerical events";
Asian-European Journal of Mathematics,
14
(2021),
10;
2150186-1
- 2150186-10.
-
D. Dorninger, H. Länger:
"Polynomial permutations on finite lattices related to cryptography";
International Journal of Pure and Applied Mathematics,
40
(2007),
3;
441
- 449.
-
D. Dorninger, H. Länger:
"Probability measurements characterizing the classicality of a physical system";
Reports on Mathematical Physics,
73
(2014),
1;
127
- 135.
-
D. Dorninger, H. Länger:
"Quantum logics defined by sets of numerical events";
Reports on Mathematical Physics,
83
(2019),
2;
243
- 251.
-
D. Dorninger, H. Länger:
"Quantum measurements generating structures of numerical events";
Journal of Applied Mathematics and Physics,
6
(2018),
5;
982
- 996.
-
D. Dorninger, H. Länger:
"Structural properties of algebras of S-probabilities";
Mathematica Slovaca,
68
(2018),
3;
485
- 490.
-
D. Dorninger, H. Länger:
"Term extensions of partial ring-like quantum logics";
International Journal of Contemporary Mathematical Sciences,
2
(2007),
21;
999
- 1008.
-
D. Dorninger, H. Länger:
"Testing for classicality of a physical system";
International Journal of Theoretical Physics,
52
(2013),
4;
1141
- 1147.
-
D. Dorninger, H. Länger, M. Maczynski:
"Boolean properties and Bell-like inequalities of numerical events";
Reports on Mathematical Physics,
85
(2020),
147
- 162.
-
D. Dorninger, H. Länger, M. Maczynski:
"Concepts of measures on ring-like quantum logics";
Reports on Mathematical Physics,
47
(2001),
167
- 176.
-
D. Dorninger, H. Länger, M. Maczynski:
"Lattice properties of ring-like quantum logics";
International Journal of Theoretical Physics,
39
(2000),
1015
- 1026.
-
D. Dorninger, H. Länger, M. Maczynski:
"On ring-like structures related to symmetric cryptosystems";
Demonstratio Mathematica,
38
(2005),
2;
265
- 276.
-
D. Dorninger, H. Länger, M. Maczynski:
"Ring-like structures with unique symmetric difference related to quantum logic";
Discussiones Mathematicae General Algebra and Applications,
21
(2001),
239
- 253.
-
D. Dorninger, M. Maczynski:
"A simple quantum mechanical model for deriving the energy function of n-component systems";
ARGESIM Report,
24 (Vol. 2), 88 - 92, CD-ROM
(2003).
-
D. Dorninger, M. Maczynski:
"A simple quantum mechanical model for deriving the energy function of n-component systems";
Mathematics and Computers in Simulation,
66
(2004),
173
- 179.
-
F. Dorrek:
"Minkowski endomorphisms";
Geometric and Functional Analysis,
27
(2017),
3;
466
- 488.
More information
-
F. Dorrek, F. Schuster:
"Projection functions, area measures and the Alesker-Fourier transform";
Journal of Functional Analysis,
273
(2017),
6;
2026
- 2069.
More information
-
R. Downey, D. Hirschfeldt, A. Nies, S. Terwijn:
"Calibrating randomness";
Bulletin of Symbolic Logic,
12
(2006),
411
- 491.
-
S. Drappeau, S. Bettin, L. Spiegelhofer:
"Statistical distribution of the Stern sequence";
Commentarii Mathematici Helvetici,
94
(2019),
2;
241
- 271.
-
M. Drmota:
"40 Jahre Mathematikolympiade";
Internationale Mathematische Nachrichten,
212
(2009),
29
- 32.
-
M. Drmota:
"An Analytic Approach to the Height of Binary Search Trees II";
Journal of the ACM,
50
(2003),
333
- 374.
-
M. Drmota:
"Asymptotic methods of enumeration and applications to Markov chain models";
Stochastic Models,
21
(2005),
343
- 375.
-
M. Drmota:
"Combinatorics and asymptotics on trees";
CUBO A Mathematical Journal,
6
(2004),
2;
105
- 136.
-
M. Drmota:
"Discrete Random Walks on One-Sided Periodic Graphs";
Discrete Mathematics & Theoretical Computer Science,
volAC
(2003),
83
- 94.
-
M. Drmota:
"Embedded trees and the support of the ISE";
European Journal of Combinatorics,
34
(2012),
123
- 137.
-
M. Drmota:
"On Robson´s convergence and boundednes conjecture concerning the height of binary search trees";
Theoretical Computer Science,
329
(2004),
47
- 70.
-
M. Drmota:
"Profile and height of random binary search trees";
Journal of the Iranian Statistical Society,
3
(2004),
2;
117
- 138.
-
M. Drmota:
"Stochastic analysis of tree-like data sturctures";
Proceedings of the Royal Society A - Mathematical, Physical and Engineering Sciences,
460
(2004),
271
- 307.
-
M. Drmota:
"The discrepancy of generalized Van-der-Corput-Halton sequences";
Indagationes Mathematicae - New Series,
26
(2015),
5;
748
- 759.
More information
-
M. Drmota:
"The height of increasing trees";
Annals Of Combinatorics,
12
(2009),
4;
373
- 402.
-
M. Drmota:
"The Variance of the height of Binary Search Trees";
Theoretical Computer Science,
270
(2002),
913
- 919.
-
M. Drmota:
"The Variance of the height of digital search trees ";
Acta Informatica,
38
(2002),
261
- 276.
-
M. Drmota, G. Collet, L. Klausner:
"Limit Laws of Planar Maps with Described Vertex Degrees";
Combinatorics, Probability and Computing,
28
(2019),
4, Special Issue (Analysis and Algorithms);
519
- 541.
More information
-
M. Drmota, F. Da Costa, M. Grinfield:
"Modelling silicosis: The structure of equilibria";
European Journal of Applied Mathematics,
31
(2020),
6;
950
- 967.
More information
-
M. Drmota, A. De Mier, M. Noy:
"Extremal statistics on non-crossing configurations";
Discrete Mathematics,
327
(2014),
103
- 117.
-
M. Drmota, J. Deshouillers, L. Spiegelhofer, C. Müllner:
"Randomness and non-randomness properties of Piatetski-Shapiro sequences modulo m";
Mathematika,
65
(2019),
4;
1051
- 1073.
More information
-
M. Drmota, J. Deshoulliers, J. Morgenbesser:
"Subsequences of automatic sequences indexed by nc and correlations";
International Journal of Number Theory,
132
(2012),
1837
- 1866.
-
M. Drmota, M. Fuchs, Y. Lee:
"Stochastic analysis of the extra clustering model for animal grouping";
Journal of Mathematical Biology,
online
(2015),
37 pages.
More information
-
M. Drmota, M. Fuchs, E. Mastavicius:
"Functional Limit Theorems for Digital Expansions";
Acta Mathematica Hungarica,
98
(2003),
175
- 201.
-
M. Drmota, É. Fusy, M. Kang, V. Kraus, J. Rué:
"Asymptotic study of subcritical graph classes";
SIAM Journal on Discrete Mathematics,
25
(2011),
4;
1615
- 1651.
-
M. Drmota, D. Gardy, B. Gittenberger:
"General urn models with several types of balls and Gaussian limiting fields";
Random Structures and Algorithms,
24/1
(2004),
75
- 103.
-
M. Drmota, S. Gerhold:
"Disproof of a conjecture by Rademacher on partial fractions";
Proceedings of the American Mathematical Society, Series B,
1
(2014),
121
- 134.
-
M. Drmota, O. Giménez, M. Koy, K. Panagiotou, A. Steger:
"The maximum degree of random planar graphs";
Proceedings of the London Mathematical Society,
London, UK
(2014),
109;
892
- 920.
-
M. Drmota, O. Giménez, M. Noy:
"Degree distribution in random planar graphs";
Journal of Combinatorial Theory Series A,
118
(2011),
7;
2102
- 2130.
-
M. Drmota, O. Giménez, M. Noy:
"The maximum degree of series-parallel graphs";
Combinatorics, Probability and Computing,
20
(2011),
4;
529
- 570.
-
M. Drmota, O. Giménez, M. Noy:
"Vertices of given degree in series-parallel graphs";
Random Structures and Algorithms,
36
(2010),
3;
273
- 314.
-
M. Drmota, B. Gittenberger:
"The shape of unlabeled rooted random trees";
European Journal of Combinatorics,
31
(2010),
2028
- 2063.
-
M. Drmota, B. Gittenberger:
"The width of Galton-Watson trees conditioned by the size";
Discrete Mathematics & Theoretical Computer Science,
6/2
(2004),
387
- 400.
-
M. Drmota, B. Gittenberger, T. Klausner:
"Extended Admissible Functions and Gaussian Limiting Distributions";
Mathematics of Computation,
74
(2005),
252;
1953
- 1966.
-
M. Drmota, B. Gittenberger, A. Panholzer, H. Prodinger, M. Ward:
"On the shape of the fringe of various types of random trees";
Mathematical Methods in the Applied Sciences,
32
(2009),
1207
- 1245.
-
M. Drmota, P. Grabner, P. Liardet:
"Block additive functions on the Gaussian integers";
Acta Arithmetica,
135
(2008),
299
- 332.
-
M. Drmota, G. Gutenbrunner:
"The joint distribution of Q-additive functions on polynomial over finite fields";
Journal de Theorie des Nombres de Bordeaux,
17
(2005),
135
- 159.
-
M. Drmota, H. Hwang:
"Bimodality and phase transitions in the profile variance of Random binary search trees";
SIAM Journal on Discrete Mathematics,
19
(2005),
1;
19
- 45.
-
M. Drmota, H. Hwang:
"Profiles of Random trees: Correlation and width of Random recursive trees and binary search trees";
Advances in Applied Probability,
37
(2005),
321
- 341.
-
M. Drmota, H. Hwang, W. Szpankowski:
"Precise Average Redundancy of an Idealized Arithmetic Coding";
Institute of Electrical and Electronics Engineers,
http://www.computer.org/proceedings/dcc/
(2002).
-
M. Drmota, A. Iksanov, M. Moehle, U. Roesler:
"A limiting distribution for the number of cuts needed to isolate the root of random recursive tree";
Random Structures and Algorithms,
34
(2009),
3;
305
- 318.
-
M. Drmota, A. Iksanov, M. Moehle, U. Roesler:
"Asymptotic results concerning the total branch length of the Bolthausen-Sznitman coalescent";
Stochastic Processes and Their Applications,
117
(2007),
1404
- 1421.
-
M. Drmota, S. Janson, N. Ralph:
"A functional limit theorem for the profile of search trees";
Annals of Applied Probability,
18
(2008),
1;
288
- 333.
-
M. Drmota, Y. Jin:
"An Asymptotic Analysis of Labeled and Unlabeled k-Trees";
Algorithmica (online),
--
(2015),
online;
27 pages.
More information
-
M. Drmota, Y. Jin, B. Stufler:
"Graph limits of random graphs from a subset of connected sks-trees";
Random Structures and Algorithms,
## online first
(2018).
-
M. Drmota, M. Kauers, L. Spiegelhofer:
"On a Conjecture of Cusick Concerning the Sum of Digits of $n$ and $n+t$";
SIAM Journal on Discrete Mathematics,
30
(2016),
2;
621
- 649.
More information
-
M. Drmota, C. Krattenthaler:
"A joint central limit theorem for the sum-of-digits function, and asymptotic divisibility of Catalan-like sequences";
Proceedings of the American Mathematical Society,
147
(2019),
4123
- 4133.
More information
-
M. Drmota, R. Kutzelnigg:
"A precise analysis of Cuckoo hashing";
ACM Transactions on Algorithms,
8
(2012),
2;
1
- 36.
-
M. Drmota, G. Larcher, F. Pillichshammer:
"Precise distribution properties of the van der Corput sequence and related sequences";
Manuscripta Mathematica,
118
(2005),
11
- 41.
-
M. Drmota, A. Llado:
"Almost every tree with m edges decomposes K_2m,2m,";
Combinatorics, Probability and Computing,
23
(2014),
01;
50
- 65.
-
M. Drmota, G. Louchard, N. Yanev:
"Analysis of a recurrence related to critical nonhomogeneous branching process";
Stochastic Analysis and Applications,
24
(2006),
37
- 59.
-
M. Drmota, A. Magner, W. Szpankowski:
"Asymmetric Renyi Problem";
Combinatorics, Probability and Computing,
28
(2019),
4, Special Issue (Analysis and Algorithms);
542
- 573.
More information
-
M. Drmota, J.-F. Marckert:
"Reinforced weak convergence of stochastic processes";
Statistics & Probability Letters,
71
(2005),
283
- 294.
-
M. Drmota, I. Maria:
"On the discrepancy of some generalized Kakutani's sequences of partitions";
Uniform Distribution Theory,
7
(2012),
75
- 104.
-
M. Drmota, C. Mauduit:
"Weyl sums over integers with affine digit restrictions";
Journal of Number Theory,
130
(2010),
2404
- 2427.
-
M. Drmota, C. Mauduit, J. Rivat:
"Normality among Squares";
Journal of the European Mathematical Society,
21
(2019),
2;
507
- 548.
More information
-
M. Drmota, C. Mauduit, J. Rivat:
"Prime numbers in two bases";
Duke Mathematical Journal,
169
(2020),
10;
1809
- 1876.
More information
-
M. Drmota, C. Mauduit, J. Rivat:
"Primes with an average sum of digits";
Compositio Mathematica,
145
(2009),
2;
271
- 292.
-
M. Drmota, C. Mauduit, J. Rivat:
"The sum of digits function of polynomial sequences";
Journal of the London Math. Soc.,
84
(2011),
1;
81
- 102.
-
M. Drmota, J. Morgenbesser:
"Generalized Thue-Morse sequences of squares";
Israel Journal of Mathematics,
190
(2012),
157
- 193.
-
M. Drmota, C. Müllner, L. Spiegelhofer:
"Möbius Orthogonality for the Zeckendorf sum-of-digits function";
Proceedings of the American Mathematical Society,
146
(2018),
9;
3679
- 3691.
-
M. Drmota, R. Nedela:
"Asymptotic enumeration of reversible maps regardless of genus";
Ars Mathematica Contemporanea,
5
(2011),
1;
77
- 79.
-
M. Drmota, R. Neininger, H. Sulzbach:
"A Gaussian limit process for optimal FIND algorithms";
Electronic Journal of Probability,
19
(2014),
28 pages.
-
M. Drmota, M. Noy, G. Yu:
"Universal singular exponents in catalytic variable equations.";
Journal of Combinatorial Theory Series A,
185
(2021).
More information
-
M. Drmota, K. Panagiotou:
"A central limit theorem for the number of degree-k vertices in Random maps";
Algorithmica,
66
(2013),
4;
741
- 761.
-
M. Drmota, D. Panario:
"A Rigorous Proof of the Waterloo Algorithm for the Discrete Logarithm Problem";
Designs Codes and Cryptography,
26
(2002),
229
- 241.
-
M. Drmota, H. Prodinger:
"The Height of q-Binary Search Trees";
Discrete Mathematics,
5
(2002),
97
- 108.
-
M. Drmota, H. Prodinger:
"The register function for t-ary trees";
ACM Transactions on Algorithms,
2
(2006),
3;
318
- 334.
-
M. Drmota, L. Ramos, C. Requilé, J. Rué:
"Maximal independent sets and maximal matchings in series-parallel and related graph classes";
Electronic Journal of Combinatorics,
27
(2020),
1.
More information
-
M. Drmota, L. Ramos, J. Rué:
"Subgraph statistics in subcritical graph classes";
Random Structures and Algorithms,
51
(2017),
4;
631
- 673.
More information
-
M. Drmota, Y. Reznik, W. Szpankowski:
"Tunstall code, Khodak variations, and Random walks";
IEEE Transactions on Information Theory,
56
(2010),
6;
2928
- 2937.
-
M. Drmota, J. Rivat:
"The sum-of-digits function of squares";
Journal of the London Math. Soc.,
72
(2005),
273
- 292.
-
M. Drmota, J. Rivat, T. Stoll:
"The sum of digits of primes in Z[i]";
Monatshefte für Mathematik,
155
(2008),
317
- 347.
-
M. Drmota, W. Schachermayer, J. Teichmann:
"A hyper-geometric approach to the BMV-conjecture";
Monatshefte für Mathematik,
146
(2005),
3;
179
- 201.
-
M. Drmota, M Scheidl, H. Troger, E. Weinmüller:
"On the Imperfection Sensitivity of Complete Spherical Shells";
Computational Mechanics,
2
(1987),
63
- 74.
-
M. Drmota, J. Schoißengeier:
"Digital Expansions with Respect to Different Bases";
Monatshefte für Mathematik,
138
(2003),
31
- 59.
-
M. Drmota, M. Skalba:
"Equidistribution of Divisors and Representations by Binary Quadratic Forms";
International Journal of Number Theory,
9
(2013),
8;
2011
- 2018.
-
M. Drmota, W. Steiner:
"The Zeckendorf expansion of polynomical sequences";
Journal de Theorie des Nombres de Bordeaux,
14
(2002),
1
- 37.
-
M. Drmota, T. Stoll:
"Newman´s phenomenon for generalized Thue.Morse sequences";
Discrete Mathematics,
308
(2008),
1191
- 1208.
-
M. Drmota, B. Stufler:
"Pattern occurrences in random planar maps";
Statistics & Probability Letters,
158
(2020),
108666.
More information
-
M. Drmota, W. Szpankowski:
"A master theorem for discrete divide and conquer recurrences,";
Journal of the ACM,
60
(2013),
3;
49 pages.
-
M. Drmota, W. Szpankowski:
"Precise minimax redundancy and regret";
IEEE Transactions on Information Theory,
50
(2004),
11;
2686
- 2707.
-
M. Drmota, W. Szpankowski:
"Redundancy of Lossless Data Compression for Known Sources by Analytic Methods";
Foundations and Trends in Communications and Information Theory,
13
(2017),
4;
277
- 417.
More information
-
M. Drmota, W. Szpankowski:
"Special issue on analysis of algorithms";
Combinatorics, Probability and Computing,
13
(2004),
4/5;
415
- 417.
-
M. Drmota, W. Szpankowski:
"The expected profile of digital search trees";
Journal of Combinatorial Theory Series A,
118
(2011),
7;
1939
- 1965.
-
M. Drmota, J. Verwee:
"Effective Erdos-Wintner Theorems for Digital Expansions";
Journal of Number Theory,
229
(2021),
218
- 260.
-
M. Droste, S. Dziadek, W. Kuich:
"Weighted simple reset pushdown automata";
Theoretical Computer Science,
777
(2019),
252
- 259.
-
M. Droste, Z. Esik, W. Kuich:
"Conway and iteration hemirings Part 1";
International Journal of Algebra and Computation,
24
(2014),
4;
461
- 482.
-
M. Droste, Z. Esik, W. Kuich:
"Conway and iteration hemirings Part 2";
International Journal of Algebra and Computation,
24
(2014),
4;
483
- 513.
-
M. Droste, W. Kuich:
"Im Memoriam Zoltán Ésik";
Journal of Automata, Languages and Combinatorics,
21
(2016),
3;
129
- 130.
-
M. Droste, W. Kuich:
"Weighted finite automata over hemirings";
Theoretical Computer Science,
485
(2013),
38
- 48.
-
M. Droste, W. Kuich, G. Rahonis:
"Multi-valued MSO logics over words and trees";
Fundamenta Informaticae,
84
(2008),
3-4;
305
- 327.
-
N. Dyn, P. Grohs, J. Wallner:
"Approximation order of interpolatory nonlinear subdivision schemes";
Journal of Computational and Applied Mathematics,
223
(2010),
1697
- 1703.
-
S. Eberhard, S. Hetzl:
"Compressibility of Finite Languages by Grammars";
Lecture Notes in Computer Science,
9118
(2015),
93
- 104.
More information
-
S. Eberhard, S. Hetzl:
"Inductive theorem proving based on tree grammars";
Annals of Pure and Applied Logic,
166
(2015),
6;
665
- 700.
More information
-
G. Ebner, S. Hetzl, A. Leitsch, G. Reis, D. Weller:
"On the Generation of Quantified Lemmas";
Journal of Automated Reasoning,
63
(2019),
1;
95
- 126.
-
G. Ebner, S. Hetzl, G. Reis, M. Riener, S. Wolfsteiner, S. Zivota:
"System Description: GAPT 2.0";
Lecture Notes in Computer Science,
9706
(2016),
293
- 301.
More information
-
G. Ebner, S. Ullrich, J. Roesch, J. Avigad, L. de Moura:
"A metaprogramming framework for formal verification";
Proceedings of the ACM on Programming Languages (PACMPL),
1
(2017),
ICFB, Artikel 34;
29 pages.
More information
-
N. Edelen, R. Haslhofer, M. Ivaki, J. Zhu:
"Mean convex mean curvature flow with free boundary";
accepted for publication in Communications on Pure and Applied Mathematics.
More information
-
M. Eigensatz, M. Kilian, A. Schiftner, N. Mitra, H. Pottmann, M. Pauly:
"Paneling architectural freeform surfaces";
ACM Transactions on Graphics,
29 (4)
(2010),
45;
1
- 10.
-
G. Eigenthaler, B. Seselja, A. Tepavcevic:
"Weak congruences of algebras with constants";
Novi Sad Journal of Mathematics,
36
(2006),
1;
65
- 73.
-
G. Eigenthaler, H. Woracek:
"A remark on permutable polynomials";
Contributions to General Algebra,
10
(1998),
139
- 142.
-
M. El Zekey:
"Representable good EQ-algebras";
Soft Computing,
14
(2010),
1011
- 1023.
-
M. El Zekey, R. Mesiar, V. Novák:
"On good EQ-algebras";
Fuzzy Sets and Systems,
178
(2011),
1;
1
- 23.
-
S. Elizalde, M. Rubey:
"Symmetries of statistics on lattice paths between two boundaries";
Advances in Mathematics,
287
(2016),
347
- 388.
-
F. Emmert-Streib, M. Dehmer:
"Global information processing in gene networks: fault tolerance";
BIONETCS,
Proceedings of the 2nd International Conference on Bio-inspired Models of Network, Information, and Computing Systems
(2007),
4 pages.
-
F. Emmert-Streib, M. Dehmer:
"Optimization procedure for predicting nonlinear time series based on a non-Gaussian noise model";
Lecture Notes in Computer Science,
4827
(2007),
540
- 549.
-
W. Eppenschwandtner:
"Der Raum in der Mathematik";
Pro Sciencia,
04
(2004),
18
- 22.
-
W. Eppenschwandtner:
"Graphen, nichtklassische Logik und Unabhängigkeitsbeweise";
Wissenschaftliche Nachrichten (Wien),
126
(2004),
34
- 37.
-
Z. Esik, W. Kuich:
"A semiring-semimodule generalization of transducers and abstract ω-families of power series";
Journal of Automata, Languages and Combinatorics,
12
(2007),
4;
435
- 454.
-
Z. Esik, W. Kuich:
"A semiring-semimodule pair generalization of ω -regular languages I";
Journal of Automata, Languages and Combinatorics,
10
(2005),
203
- 242.
-
Z. Esik, W. Kuich:
"A semiring-semimodule pair generalization of ω-regular languagesII";
Journal of Automata, Languages and Combinatorics,
10
(2005),
243
- 264.
-
Z. Esik, W. Kuich:
"Boolean fuzzy sets";
International Journal of Foundations of Computer Science,
18
(2007),
6;
1197
- 1207.
-
Z. Esik, W. Kuich:
"Formal tree series";
Journal of Automata, Languages and Combinatorics (invited),
8
(2003),
2;
219
- 285.
-
Z. Esik, W. Kuich:
"Free inductive K-semialgebras";
Journal of Logic and Algebraic Programming,
82
(2013),
3-4;
111
- 122.
-
Z. Esik, W. Kuich:
"Free iterative and iteration K-semialgbras";
Algebra Universalis,
67
(2012),
141
- 162.
-
Z. Esik, W. Kuich:
"Inductive *-semirings";
Theoretical Computer Science,
324
(2004),
1;
3
- 33.
-
Z. Esik, W. Kuich:
"Locally closed semirings";
Monatshefte für Mathematik,
137
(2002),
21
- 29.
-
Z. Esik, W. Kuich:
"On iteration semiring-semimodule pairs";
Semigroup Forum,
75
(2007),
129
- 159.
-
Z. Esik, W. Kuich:
"On Power Series over a Graded Monoid";
Lecture Notes in Computer Science,
8808
(2014),
49
- 55.
-
Z. Esik, W. Kuich:
"Rationally additive semirings";
Journal of Universal Computer Science,
8
(2002),
2;
173
- 183.
-
K. Falconer, P. Gruber, A. Ostaszewski, T. Stuart:
"Claude Ambrose Rogers. 1 November 1920 - 5 Dezember 2005";
Proceedings of the Royal Society A - Mathematical, Physical and Engineering Sciences,
61
(2015),
403
- 435.
-
O. Fasching, M. Baaz:
"Monotone operators on Gödel logic";
Archive for Mathematical Logic,
53
(2014),
3-4;
261
- 284.
-
Q. Feng, H. Mahmoud, A. Panholzer:
"Limit laws for the Randić index of random binary tree models";
Annals of the Institute of Statistical Mathematics,
60
(2008),
2;
319
- 343.
-
Q. Feng, H. Mahmoud, A. Panholzer:
"Phase changes in subtree varieties in random recursive and binary search trees";
SIAM Journal on Discrete Mathematics,
22
(2008),
1;
160
- 184.
-
G Figliolini, J. Angeles, H. Stachel:
"Kinematic Properties of Planar and Spherical Logarithmic Spirals: Applications to the Synthesis of Involute Tooth Profiles.";
Mechanism and Machine Theory,
136
(2010),
14
- 26.
-
G Figliolini, J. Angeles, H. Stachel:
"The Logarithmic Spiral and its Spherical Counterpart.";
Journal of Industrial Design and Engineering Graphics,
14/1
(2019),
91
- 98.
-
G Figliolini, H. Stachel:
"On Martin Disteli's Spatial Cycloidal Gearing";
Mechanism and Machine Theory,
60
(2013),
1;
73
- 89.
-
G Figliolini, H. Stachel, J. Angeles:
"A new look at the Ball-Disteli diagram and its relevance to spatial gearing.";
Mechanism and Machine Theory,
42
(2007),
10;
1362
- 1375.
-
G Figliolini, H. Stachel, J. Angeles:
"A Spatial version of Octoidal Gears via the generalized Camus Theorem";
Journal of Mechanisms and Robotics (ASME),
8/2
(2015),
1
- 13.
-
G Figliolini, H. Stachel, J. Angeles:
"On the Synthesis of Spatial Cycloidal Gears";
Meccanica,
48
(2013),
5;
1239
- 1249.
-
G Figliolini, H. Stachel, J. Angeles:
"The Role of the Orthogonal Helicoid in the Generation of the Tooth Flanks of Involute-Gear Pairs with Skew Axes";
Journal of Mechanisms and Robotics (ASME),
7(1)
(2015).
-
J. Fill, N. Kapur, A. Panholzer:
"Destruction of very simple trees";
Algorithmica,
46
(2006),
354
- 366.
-
V. Fischer, D. Meija Guzman:
"Splitting, bounding and almost disjointness can be quite different";
Canadian Journal of Mathematics,
0
(2016).
-
S. Flöry:
"Fitting curves and surfaces to point clouds in the presence of obstacles";
Computer Aided Geometric Design,
26
(2009),
2;
192
- 202.
-
S. Flöry, M. Hofer:
"Constrained curve fitting on manifolds";
Computer Aided Design,
40
(2007),
25
- 34.
-
S. Flöry, M. Hofer:
"Surface Fitting and Registration of Point Clouds using Approximations of the Unsigned Distance Function";
Computer Aided Geometric Design,
27
(2010),
1;
60
- 77.
-
E. Fokina:
"Preface";
Mathematical Structures In Computer Science,
28
(2018),
3;
338
- 339.
-
E. Fokina, N. Bazhenov, D. Rossegger, L. San Mauro:
"Degrees of bi-embeddable categoricity of equivalence structures";
Archive for Mathematical Logic,
58
(2019),
5/6;
543
- 563.
More information
-
E. Fokina, A. Frolov, I. Kalimullin:
"Categoricity spectra for rigid structures";
Notre Dame Journal of Formal Logic,
57
(2016),
45
- 57.
-
E. Fokina, S. Goncharov, V. Harizanov, O. Kudinov, D. Turetsky:
"Index sets for n-decidable structures categorical relative to m-decidable presentations";
Algebra i logika,
54
(2015),
520
- 528.
More information
-
E. Fokina, S. Goncharov, V. Harizanov, O. Kudinov, D. Turetsky:
"Index sets for n-decidable structures categorical relative to m-decidable presentations";
Algebra and Logic,
54
(2015),
336
- 341.
More information
-
E. Fokina, V. Harizanov, D. Turetsky:
"Computability-theoretic categoricity and Scott families";
Annals of Pure and Applied Logic,
170
(2019),
6;
699
- 717.
-
E. Fokina, B. Khoussainov, P. Semukhin, D. Turetsky:
"Linear orders realized by c.e. equivalence relations";
Journal of Symbolic Logic,
81
(2016),
463
- 482.
More information
-
E. Fokina, T. Koetzing, L. San Mauro:
"Limit learning equivalence structures";
Proceedings of Machine Learning Research,
98
(2019),
383
- 403.
-
E. Fokina, D. Rossegger, L. San Mauro:
"Bi-embeddability spectra and bases of spectra";
Mathematical Logic Quaterly,
65
(2019),
2;
228
- 236.
-
E. Fokina, D. Rossegger, L. San Mauro:
"Measuring the Complexity of Reductions between Equivalence Relations";
Computability,
Pre-press
(2018),
1
- 16.
-
E. Fokina, D. Rossegger, L. San Mauro:
"Measuring the complexity of reductions between equivalence relations";
Computability,
8
(2019),
3/4;
265
- 280.
-
H. Fournier, D. Gardy, A. Genitrini, B. Gittenberger:
"Complexity and limiting ration of Boolean functions";
Lecture Notes in Computer Science,
5162
(2008),
347
- 362.
-
H. Fournier, D. Gardy, A. Genitrini, B. Gittenberger:
"The fraction of large random trees representing a given Boolean function in implicational logic";
Random Structures and Algorithms,
40
(2012),
3;
317
- 349.
-
A. Freund, M. Rathjen, A. Weiermann, J. Aguilera Ozuna:
"Ackermann and Goodstein go functorial.";
Pacific Journal of Mathematics,
313
(2021),
3;
251
- 291.
-
S. Friedman, V. Gitman, S. Müller:
"Structural properties of the stable core.";
Journal of Symbolic Logic,
arXiv: 1920.02265, to appear
(2021).
-
S. Friedman, K. Thompson:
"Negative universality results for graphs";
Fundamenta Mathematicae,
210
(2010),
3;
269
- 283.
-
A. Fuchs:
"Transformations and singularities of polarized curves";
Annals of Global Analysis and Geometry,
online
(2018).
-
A. Fuchs, M. Reisenberger:
"Integrable structures and the quantization of free null initial data for gravity";
Classical and Quantum Gravity,
34
(2017),
18;
1
- 47.
-
M. Fuchs, B. Gittenberger, M. Mansouri:
"Counting phylogenetic networks with few reticulation vertices: tree-child and normal networks.";
Australasian Journal of Combinatorics,
73
(2019),
2;
385
- 423.
-
M. Fuchs, Y. Jin:
"Equality of Shapley value and fair proportion index in phylogenetic trees";
Journal of Mathematical Biology,
71
(2015),
5;
1133
- 1147.
More information
-
M. Fuchs, M. Mansouri, B. Gittenberger:
"Counting phylogenetic networks with few reticulation vertices: exact enumeration and corrections.";
Australasian Journal of Combinatorics,
81
(2021),
2;
257
- 282.
-
M. Fuchs, G. Yu, C. Lee:
"On 2-protected nodes in random digital trees.";
Theoretical Computer Science,
622
(2016),
111
- 122.
More information
-
S. Fujimori, U. Hertrich-Jeromin, M. Kokubu, M. Umehara, K. Yamada:
"Quadrics and Scherk towers";
Monatshefte für Mathematik,
online
(2017).
-
M. Gallet, G. Nawratil:
"Mobile Icosapods";
Advances in Applied Mathematics,
88
(2017),
1
- 25.
-
M. Gallet, G. Nawratil, J. Schicho:
"Bond theory for pentapods and hexapods";
Journal of Geometry,
106(2)
(2015),
211
- 228.
-
M. Gallet, G. Nawratil, J. Schicho:
"Erratum to: Möbius Photogrammetry";
Journal of Geometry,
106(3)
(2015),
441
- 442.
-
M. Gallet, G. Nawratil, J. Schicho:
"Liaison Linkages";
Journal of Symbolic Computation,
79
(2017),
65
- 98.
-
M. Gallet, G. Nawratil, J. Schicho:
"Möbius Photogrammetry";
Journal of Geometry,
106(3)
(2015),
421
- 439.
-
R. Garcia, D. Reznik, H. Stachel:
"Area-Invariant Pedal-Like Curves Derived from the Ellipse.";
Beiträge zur Algebra und Geometrie,
?
(2021).
-
R. Garcia, D. Reznik, H. Stachel, M. Helman:
"Steiner's Hat: a Constant-Area Deltoid Associated with the Ellipse.";
KoG,
24
(2020),
12
- 28.
-
R. Gardner, L. Parapatits, F. Schuster:
"A characterization of Blaschke addition";
Advances in Mathematics,
254
(2014),
396
- 418.
More information
-
D. Gardy, O. Bodini, B. Gittenberger, Z. Golebiewski:
"On the Number of Unary-Binary Tree-like Structures with Restrictions on the Unary Height.";
Annals Of Combinatorics,
22
(2018),
1;
45
- 91.
More information
-
K. Gavriil, R. Guseinov, J. Pérez, D. Pellis, P. Henderson, F. Rist, H. Pottmann, B. Bickel:
"Computational Design of Cold Bent Glass Facades";
ACM Transactions on Graphics,
39/6
(2020),
208.
More information
-
K. Gavriil, G. Muntingh, O.J.D. Barrowclough:
"Void Filling of Digital Elevation Models With Deep Generative Models";
IEEE Geoscience And Remote Sensing Letters,
16
(2019),
10;
1645
- 1649.
More information
-
K. Gavriil, A. Schiftner, H. Pottmann:
"Optimizing B-sline surfaces for developability and paneling architectural freeform surfaces";
Computer Aided Design,
111
(2019),
29
- 43.
More information
-
A. Genitrini, B. Gittenberger, V. Kraus, C. Mailler:
"Associative and commutative tree representations for Boolean functions";
Theoretical Computer Science,
570
(2015),
70
- 101.
More information
-
A. Genitrini, B. Gittenberger, V. Kraus, C. Mailler:
"Erratum to: Probabilities of Boolean functions given by random implicational formulas";
Electronic Journal of Combinatorics,
19 (2)
(2014),
6.
More information
-
A. Genitrini, B. Gittenberger, V. Kraus, C. Mailler:
"Probabilities of Boolean functions given by random implicational formulas";
Electronic Journal of Combinatorics,
19
(2012),
2;
20 pages.
-
S. Geschke, M. Goldstern, M. Kojman:
"Continuous ramsey theory on polish spaces and covering the plan by functions";
Journal of Mathematical Logic,
4
(2004),
2;
109
- 145.
-
S. Geschke, M. Goldstern, M. Kojman:
"Continuous Ramsey theory on Polish spaces and covering the plane by functions";
arXiv.org e-Print archive,
http://arXiv.org/math.LO/0205331
(2002).
-
S. Giese, H. Havlicek, R. Schulz:
"Some constructions of divisible designs from Laguerre geometries";
Discrete Mathematics,
301
(2005),
74
- 82.
-
P. Gillibert, F. Gillibert, J. Gillibert, G. Ranieri:
"Selmer groups are instersections of two direct summands of the adelic cohomology";
Bulletin of the London Mathematical Society,
51
(2019),
5;
776
- 786.
-
P. Gillibert, T. Lachmann, C. Müllner:
"The VC-Dimension of Axis-Parallel Boxes on the Torus";
ArXiv,
Preprint
(2020).
-
P. Gillibert, T. Lachmann, C. Müllner:
"The VC-dimension of axis-parallel boxes on the Torus.";
Journal of Complexity,
68
(2021).
-
P. Gillibert, G. Ranieri:
"Julia Robinson's Numbers";
International Journal of Number Theory,
15
(2019),
8;
1565
- 1599.
-
B. Gittenberger:
"A note on State spaces of the snake and its tour - Convergence of the discrete snake by J.-F. Marckert and A Mokkadem";
Journal of Theoretical Probability,
16
(2003),
4;
1063
- 1067.
-
B. Gittenberger:
"Nodes of large degree in random trees and forests";
Random Structures and Algorithms,
28
(2006),
3;
374
- 385.
-
B. Gittenberger, G. Collet, E. De Panafieu, D. Gardy:
"Threshold Functions for Small Subgraphs: an Analytic Approach";
Electronic Notes in Discrete Mathematics,
61
(2017),
271
- 277.
-
B. Gittenberger, E. Jin, M. Wallner:
"On the Shape of Random P'olya Structures";
Discrete Mathematics,
341
(2018),
4;
896
- 911.
More information
-
B. Gittenberger, V. Kraus:
"Degree profile of random Pólya trees";
Journal of Combinatorial Theory Series A,
119
(2012),
7;
1528
- 1557.
-
B. Gittenberger, I. Larcher:
"Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels.";
Electronic Journal of Combinatorics,
26
(2019),
4;
1
- 44.
-
B. Gittenberger, G. Louchard:
"Reflected Brownian bridge local time conditioned on its local time at the origin";
Statistics & Probability Letters,
68/1
(2004),
51
- 60.
-
B. Gittenberger, J. Mandlburger:
"Hayman admissible functions in several variables";
Electronic Journal of Combinatorics,
13
(2006).
-
G. Glaeser, B. Odehnal, H. Stachel:
"A Spatial Version of the Theorem of the Angle of Circumference";
Journal for Geometry and Graphics,
23
(2019),
2;
147
- 156.
-
A. Glass, J. Rachunek, R. Winkler:
"Functional representations and universals for MV- and GMV-algebras";
Tatra Mountains Mathematical Publications,
27
(2003),
91
- 110.
-
A. Glass, R. Winkler:
"Rooted wreath products";
Journal of Algebra,
273
(2004),
489
- 506.
-
A. Glutsyuk, I. Izmestiev, S. Tabachnikov:
"Four equivalent properties of integrable billiards";
Israel Journal of Mathematics,
241
(2021),
2;
693
- 719.
-
J. Gmainer:
"Pascal's Triangle, Normal Rational Curves, and their Invariant Subspaces";
European Journal of Combinatorics,
22
(2001),
37
- 49.
-
J. Gmainer, H. Havlicek:
"Isometries and collineations of the Cayley Surface";
Innovations in Incidence Geometry,
2
(2005),
111
- 129.
-
J. Gmainer, J. Thuswaldner:
"On disk-like self-affine tiles arising from polyominoes,";
Methods Appl. Anal.,
13
(2006),
351
- 371.
-
M. Goldstern:
"Completion of semirings";
arXiv.org e-Print archive,
http://arXiv.org/math.RA/0208134
(2002).
-
M. Goldstern:
"Gödels konstruktibles Universum";
Internationale Mathematische Nachrichten,
203
(2006),
1
- 16.
-
M. Goldstern:
"Kardinalzahlarithmetik";
Internationale Mathematische Nachrichten,
208
(2008),
31
- 46.
-
M. Goldstern:
"Prädikatenlogik erster Stufe und der Gödelsche Vollständigkeitssatz";
Internationale Mathematische Nachrichten,
202
(2006),
1
- 14.
-
M. Goldstern:
"Yet another note on congruence uniformity";
Demonstratio Mathematica,
38
(2005),
3;
517
- 521.
-
M. Goldstern, J. Kellner:
"New reals: Can live with them, can live without them";
Mathematical Logic Quarterly,
52
(2006),
2;
115
- 124.
-
M. Goldstern, J. Kellner:
"Ordnung in den Unendlichkeiten";
Spektrum der Wissenschaft,
3
(2021),
74
- 82.
-
M. Goldstern, J. Kellner:
"Ordnung in den Unendlichkeiten (in Übersetzung)";
Scientific American,
4
(2021),
4.
-
M. Goldstern, J. Kellner, S. Saharon, A. Fischer:
"Creature Forcing and five Cardinal Characteristics in Cicho'n's diagram";
Archive for Mathematical Logic,
56
(2017),
7-8;
1045
- 1103.
-
M. Goldstern, J. Kellner, S. Shelah:
"Cichon's maximum";
Annals of Mathematics,
190
(2019),
1;
113
- 143.
-
M. Goldstern, J. Kellner, S. Shelah, W. Wohofsky:
"Borel Conjecture and dual Borel Conjecture";
arXiv.org e-Print archive,
http://front.math.ucdavis.edu/1105.0823
(2011),
49 pages.
-
M. Goldstern, J. Kellner, S. Shelah, W. Wohofsky:
"Borel conjecture and dual borel conjecture";
Transactions of the American Mathematical Society,
366
(2014),
1;
245
- 307.
-
M. Goldstern, D. Meija Guzman, S. Shelah:
"The left side of Cichon´s diagram";
Proceedings of the American Mathematical Society,
144
(2016),
9;
4025
- 4042.
-
M. Goldstern, M. Pinsker:
"A survey of clones on infinite sets";
arXiv.org e-Print archive,
http://arxiv.org/archive/math
(2007).
-
M. Goldstern, M. Pinsker:
"A survey of clones on infinite sets";
Algebra Universalis,
59
(2008),
365
- 403.
-
M. Goldstern, M. Pinsker:
"Ideal clones: solution to a problem of Czédil and Heindorf";
Studia Scientiarum Mathematicarum Hungarica,
47
(2009),
1
- 11.
-
M. Goldstern, M. Ploscica:
"Balanced d-lattices are complemented";
Discussiones Mathematicae General Algebra and Applications,
22
(2002),
33
- 37.
-
M. Goldstern, G. Sági, S. Shelah:
"Very many clones above the unary clone";
Algebra Universalis,
69
(2013),
4;
387
- 399.
-
M. Goldstern, S. Saharon:
"All creatures great and small";
Transactions of the American Mathematical Society,
368
(2016),
11;
7551
- 7577.
More information
-
M. Goldstern, J. Schmeling, R. Winkler:
"Further Baire results on the distribution of subsequences";
Uniform Distribution Theory,
2
(2007),
1;
127
- 149.
-
M. Goldstern, D. Schweigert:
"Power-ordered sets";
Discussiones Mathematicae General Algebra and Applications,
22
(2002),
39
- 46.
-
M. Goldstern, S. Shelah:
"All creatures great and small";
arXiv.org e-Print archive,
http://arxiv.org/archive/math
(2007).
-
M. Goldstern, S. Shelah:
"Antichains in products of linear orders";
Order,
19
(2002),
213
- 222.
-
M. Goldstern, S. Shelah:
"Clones from creatures";
arXiv.org e-Print archive,
http://arXiv.org/math.RA/0212379
(2002).
-
M. Goldstern, S. Shelah:
"Clones from creatures";
Transactions of the American Mathematical Society,
357
(2005),
9;
3525
- 3551.
-
M. Goldstern, S. Shelah:
"Clones on regular cardinals";
Fundamenta Mathematicae,
173
(2002),
1
- 20.
-
M. Goldstern, S. Shelah:
"Large intervals in the clone lattice";
arXiv.org e-Print archive,
http://arXiv.org/math.RA/0208066
(2002).
-
D. Gomez Ramirez, M. Fulla, I. Rivera, J. Vélez, E. Gallego:
"Category-Based Co-Generation of Seminal Concepts and Results in Algebra and Number Theory: Containment-Division and Goldbach Rings";
Journal of Algebra, Number Theory and Applications,
40
(2018),
5;
887
- 901.
-
D. Gomez Ramirez, E. Gallego, J. Vélez:
"On Positive-Characteristic Semi-parametric Local Uniform Reductions of Varieties over Finitely Generated Q-Algebras";
Results in Mathematics,
72
(2017),
1-2;
937
- 945.
More information
-
P. Grohs:
"Smoothness equivalence properties of univariate subdivision schemes and their projection analogues";
Numerische Mathematik,
113
(2009),
2;
163
- 180.
-
P. Grohs:
"Smoothness of interpolatory multivariate subdivision in Lie groups.";
IMA J. Numer. Anal.,
29
(2009),
3;
760
- 772.
-
P. Grohs, J. Wallner:
"Interpolatory wavelets for manifold-valued data.";
Applied and Computational Harmonic Analysis,
27
(2009),
325
- 333.
-
D. Gruber, M. Peternell:
"Conchoid surfaces of quadrics";
Journal of Symbolic Computation,
59
(2013),
36
- 53.
-
H. Gruber, M. Holzer, S. Wolfsteiner:
"On Minimizing Regular Expressions Without Kleene Star";
Electronic Colloquium on Computational Complexity (ECCC),
27
(2020),
79.
More information
-
P. Gruber:
"Application of an idea of Voronoi to John type problems";
Advances in Mathematics,
218
(2008),
309
- 351.
-
P. Gruber:
"Application of an idea of Voronoi to lattice packing";
Annali di Matematica Pura ed Applicata,
4
(2014),
193;
939
- 959.
More information
-
P. Gruber:
"Application of an idea of Voronoi to lattice zeta functions";
Proceedings of the Steklov Institute of Mathematics,
276
(2012),
103
- 124.
-
P. Gruber:
"Applications of an idea of Voronoi to lattice packing, supplement";
Annali di Matematica Pura ed Applicata,
195
(2015),
473
- 487.
-
P. Gruber:
"Beziehungen der Konvexgeometrie zu anderen Gebieten";
Wissenschaftliche Nachrichten (Wien),
125
(2004),
30
- 34.
-
P. Gruber:
"Convex and discrete geometry: ideas, problems and results";
Internationale Mathematische Nachrichten,
199
(2005),
17
- 29.
-
P. Gruber:
"Edmund Hlawka (Nachruf)";
Almanach, ÖAW,
159
(2009),
519
- 527.
-
P. Gruber:
"Error of asymptotic formulae for volume approximation of convex bodies in IE3";
Proceedings of the Steklov Institute of Mathematics,
239
(2002),
96
- 107.
-
P. Gruber:
"Error of Asymptotic Formulae for Volume Approximations of Convex Bodies in Ed";
Monatshefte für Mathematik,
135
(2002),
279
- 304.
-
P. Gruber:
"Extremum properties of lattice packing and covering with circles";
Advances in Geometry,
16
(2016),
1;
93
- 110.
-
P. Gruber:
"Förderungspreis 2004, Monika Ludwig";
Internationale Mathematische Nachrichten,
197
(2004),
80
- 82.
-
P. Gruber:
"Friedrich Hirzebruch";
Almanach, ÖAW,
150
(2000),
120
- 121.
-
P. Gruber:
"Friedrich Hirzebruch (Nachruf)";
Almanach, ÖAW,
162
(2013),
475
- 483.
-
P. Gruber:
"Geometria convessa. Una storia dall'antichita ad oggi";
L'Ateneo, Notiziario dell'Universita degli Studi di Torino,
19
(2000),
XVII-nov./dic.;
15
- 17.
-
P. Gruber:
"Geometry of the cone of positive quadratic forms";
Forum Mathematicum,
21
(2009),
147
- 166.
-
P. Gruber:
"Herbert Edelsbrunner";
Almanach, ÖAW,
162
(2012),
155
- 156.
-
P. Gruber:
"In many cases optimal configurations are almost regular hexagonal";
Rendiconti del Circolo Matematico di Palermo,
Serie II
(2000),
Suppl. 65;
121
- 145.
-
P. Gruber:
"John and Loewner ellipsoids";
Discrete & Computational Geometry,
46
(2011),
776
- 788.
-
P. Gruber:
"Joram Lindenstrauss";
Almanach, ÖAW,
150
(2000),
128.
-
P. Gruber:
"Joram Lindenstrauss (Nachruf)";
Almanach, ÖAW,
162
(2013),
497
- 502.
-
P. Gruber:
"Lattice packing and covering of convex bodies";
Proceedings of the Steklov Institute of Mathematics,
275
(2011),
229
- 238.
-
P. Gruber:
"Ludwig Faddeev";
Almanach, ÖAW,
161
(2011),
163.
-
P. Gruber:
"Monika Ludwig";
Almanach, ÖAW,
161
(2011),
167
- 168.
-
P. Gruber:
"Monika Ludwig";
Almanach, ÖAW,
163
(2013),
119.
-
P. Gruber:
"Normal bundles of convex bodies";
Advances in Mathematics,
254
(2014),
419
- 453.
-
P. Gruber:
"Optimal Configurations of Finite Sets in Riemannian 2-Manifolds";
Geometriae Dedicata,
84
(2001),
271
- 320.
-
P. Gruber:
"Optimale Quantisierung";
Mathematische Semesterberichte,
49
(2003),
227
- 251.
-
P. Gruber:
"Optimum quantization and its applications";
Advances in Mathematics,
186
(2004),
456
- 497.
-
P. Gruber:
"Peter McMullen";
Almanach, ÖAW,
156
(2005),
144
- 145.
-
P. Gruber:
"Professor Edmund Hlawka - 90";
Internationale Mathematische Nachrichten,
204
(2007),
52
- 53.
-
P. Gruber:
"Uniqueness of lattice packings and coverings of extreme density";
Advances in Geometry,
11
(2011),
4;
691
- 710.
-
P. Gruber:
"Voronoi type criteria for lattice coverings with balls";
Acta Arithmetica,
149
(2011),
311
- 381.
-
P. Gruber, I. Aliev:
"An optimal lower bound for the Frobenius problem";
Journal of Number Theory,
123
(2007),
71
- 79.
-
P. Gruber, I. Aliev:
"Best simultaneous Diophantine Approximation under a constraint on the denominator";
Contributions to Discrete Mathematics,
1
(2006),
29
- 46.
More information
-
P. Gruber, I. Aliev:
"Lattice points in large Borel sets and successive minima";
Discrete & Computational Geometry,
35
(2006),
429
- 435.
More information
-
P. Gruber, P. Flor:
"A note on semigroups, groups and geometric lattices";
Archiv der Mathematik,
93
(2009),
3;
253
- 258.
-
P. Gruber, E. Hlawka:
"Walter Philipp (Nachruf)";
Almanach, ÖAW,
157
(2006),
511
- 517.
-
P. Gruber, W. Schmidt, G. Helmberg, M. Drmota, R. Winkler, R. Tichy:
"Edmund Hlawka (1916-2009)";
Internationale Mathematische Nachrichten,
211
(2009),
1
- 26.
-
P. Gruber, F. Schuster:
"An arithmetic proof of John's ellipsoid theorem";
Archiv der Mathematik,
85
(2005),
82
- 88.
More information
-
F. Günther, C. Jiang, H. Pottmann:
"Smooth polyhedral surfaces";
arXiv.org e-Print archive,
1703.05318
(2017),
40 pages.
More information
-
F. Günther, C. Jiang, H. Pottmann:
"Smooth polyhedral surfaces";
Advances in Mathematics,
363
(2020),
107004.
More information
-
G. Gutruf, H. Stachel:
"The Hidden Geometry in Vermeer's ' The Art of Painting'.";
ICCM Notices (Notices of the International Congress of the Chinese Mathematicians),
2/1
(2014),
27
- 36.
-
G. Gutruf, H. Stachel:
"The Hidden Geometry in Vermeers's "The Art of Painting"";
Journal of Geometry and Graphics,
14/2
(2010),
187
- 201.
-
C. Haberl:
"Blaschke valuations";
American Journal of Mathematics,
133
(2011),
3;
717
- 751.
-
C. Haberl:
"Complex affine isoperimetric inequalities";
Calculus Of Variations And Partial Differential Equations,
58: 169
(2019),
5.
More information
-
C. Haberl:
"Lp intersection bodies";
Advances in Mathematics,
217
(2008),
2599
- 2624.
-
C. Haberl:
"Minkowski valuations intertwining the special linear group";
Journal of the European Mathematical Society,
14
(2012),
5;
1565
- 1597.
-
C. Haberl:
"Star body valued valuations";
Indiana Univ.Math.J.,
58
(2009),
2253
- 2276.
-
C. Haberl, E. Lutwak, D. Yang, G. Zhang:
"The even Orlicz-Minkowski problem";
Advances in Mathematics,
224
(2010),
2485
- 2510.
-
C. Haberl, L. Parapatits:
"Centro-affine tensor valuations";
Advances in Mathematics,
316
(2017),
806
- 865.
-
C. Haberl, L. Parapatits:
"Moments and valuations";
American Journal of Mathematics,
138
(2016),
6;
1575
- 1603.
-
C. Haberl, L. Parapatits:
"The centro-affine Hadwiger theorem";
Journal of the American Mathematical Society,
27
(2014),
685
- 705.
More information
-
C. Haberl, L. Parapatits:
"Valuations and surface area measures";
Journal für die Reine und Angewandte Mathematik,
2014
(2012),
687;
225
- 245.
More information
-
C. Haberl, F. Schuster:
"Affine vs. Euclidean isoperimetric inequalities";
Advances in Mathematics,
356
(2019).
More information
-
C. Haberl, F. Schuster:
"Asymmetric affine Lp Sobolev inequalities";
Journal of Functional Analysis,
257
(2009),
641
- 658.
-
C. Haberl, F. Schuster:
"General Lp affine isoperimetric inequalities";
Journal of Differential Geometry,
83
(2009),
1
- 26.
-
C. Haberl, F. Schuster, J. Xiao:
"An asymmetric affine Polya-Szegö principle";
Mathematische Annalen,
352
(2012),
517
- 542.
More information
-
M. Habic, J. Hamkins, L. Klausner, J. Verner, K. Williams:
"Set-theoretic blockchains";
Archive for Mathematical Logic,
58
(2019),
7-8;
965
- 997.
-
R. Halas, H. Länger:
"The zerodivisor graph of a qoset";
Order,
27
(2010),
343
- 351.
-
H. Havlicek:
"A model of the Witt design W12 based on quadrics of PG(2,3)";
Discrete Mathematics,
255
(2002),
189
- 192.
-
H. Havlicek:
"A note on Clifford parallelisms in characteristic two";
Publicationes Mathematicae Debrecen,
86
(2015),
1-2;
119
- 134.
-
H. Havlicek:
"Book review of: T.de Jong, Lineare Algebra";
Mathematische Semesterberichte,
61
(2014),
1;
127
- 128.
-
H. Havlicek:
"Buchbesprechung: Bilder der Mathematik";
Mathematische Semesterberichte,
62
(2015),
1;
118.
-
H. Havlicek:
"Buchbesprechung: The Universe of Conics - From Ancient Greeks to 21st Century Developments von G.Glaeser, H.Stachel, B.Odehnal";
Mathematische Semesterberichte,
64
(2017),
223
- 225.
-
H. Havlicek:
"Cayley's surface revisited";
Journal of Geometry,
82
(2005),
71
- 82.
-
H. Havlicek:
"Clifford parallelisms and external planes to the Klein quadric";
Journal of Geometry,
107
(2016),
287
- 303.
-
H. Havlicek:
"Divisible Designs, Laguerre Geometry and Beyond";
Quaderni del Seminario Matematico di Brescia,
11
(2006),
1
- 64.
-
H. Havlicek:
"Divisible Designs, Laguerre Geometry, and Beyond";
Journal of Mathematical Sciences,
186
(2012),
882
- 926.
-
H. Havlicek:
"From pentacyclic coordinates to chain geometries, and back";
Mitt.Math.Ges. Hamburg,
26
(2007),
75
- 94.
-
H. Havlicek:
"Projective metric geometry and Clifford algebras";
Results in Mathematics,
76
(2021).
-
H. Havlicek:
"Projective Ring Lines and Their Generalisations";
Electronic Notes in Discrete Mathematics,
40
(2013),
151
- 155.
-
H. Havlicek:
"Von Staudt's theorem revisited";
Aequationes Mathematicae,
89
(2015),
459
- 472.
-
H. Havlicek:
"Zum 80.Geburtstag von Heinrich Brauner (1928-1990)";
Internationale Mathematische Nachrichten,
210
(2009),
33
- 40.
-
H. Havlicek, J. Kosiorek, B. Odehnal:
"A point model for the free cyclic submodules over ternions";
Results in Mathematics,
63
(2013),
1071
- 1078.
-
H. Havlicek, A. Kreuzer:
"50 Years of the Journal of Geometry";
Journal of Geometry,
112
(2021).
-
H. Havlicek, A. Kreuzer:
"A letter from the editors";
Journal for Geometry and Graphics,
104
(2013),
399.
-
H. Havlicek, A. Kreuzer:
"Martin Barner (1921-2020)";
Journal of Geometry,
112
(2021).
-
H. Havlicek, A. Kreuzer:
"Obituary: Walter Benz (1931-2017)";
Journal of Geometry,
108
(2017),
1
- 3.
-
H. Havlicek, K. List, C. Zanella:
"On automorphisms of flag spaces";
Linear and Multilinear Algebra,
50
(2002),
241
- 251.
-
H. Havlicek, A. Matras, M. Pankov:
"Geometry of free cyclic submodules over ternions";
Abhandlungen aus dem Math. Seminar der Universität Hamburg,
81
(2011),
237
- 249.
-
H. Havlicek, B. Odehnal, M. Saniga:
"Factor-group-generated polar spaces and (multi-)qudits";
SIGMA - Symmetry, Integrability and Geometry - Methods and Applications,
5
(2009),
096;
15 pages.
-
H. Havlicek, B. Odehnal, M. Saniga:
"Möbius pairs of simplices and commuting Pauli operators";
Mathematica Pannonica,
21
(2010),
115
- 128.
-
H. Havlicek, B. Odehnal, M. Saniga:
"On invariant notions of Secre varieties in binary projective spaces";
Designs Codes and Cryptography,
62
(2012),
343
- 356.
-
H. Havlicek, V. Pambuccian:
"On the axiomatics of projective and affine geometry in terms of line intersection";
Results in Mathematics,
45
(2004),
35
- 44.
-
H. Havlicek, M. Pankov:
"Transformations on the Product of Grassmann Spaces";
Demonstratio Mathematica,
38
(2005),
3;
675
- 688.
-
H. Havlicek, S. Pasotti:
"A Survey on the Notion of Regulus in a Skew Space";
Quaderni del Seminario Matematico di Brescia,
http://www.dmf.bs.unicatt.it/~semmat/preprints/
(2003),
17.
-
H. Havlicek, S. Pasotti, S. Pianta:
"Automorphisms of a Clifford-like parallelism, Adv. Geom. 21 (2021), 63-73.";
Advances in Geometry,
21
(2021),
63
- 73.
-
H. Havlicek, S. Pasotti, S. Pianta:
"Characterizing Clifford parallelism among Clifford-like parallelism";
Beiträge zur Algebra und Geometrie,
62
(2021),
37
- 54.
-
H. Havlicek, S. Pasotti, S. Pianta:
"Clifford-like Parallelisms";
Journal of Geometry,
110
(2019),
1.
-
H. Havlicek, R. Riesinger:
"Pencilled regular parallelisms, In memoriam Walter Benz";
Acta Mathematica Hungarica,
153
(2017),
249
- 264.
-
H. Havlicek, M. Saniga:
"Projective ring line of a specific qudit";
J.Phys.A: Math.Gen.,
40
(2007),
943
- 952.
-
H. Havlicek, M. Saniga:
"Projective ring line of an arbitrary single qudit";
J.Phys.A: Math.Gen.,
41
(2008).
-
H. Havlicek, M. Saniga:
"Vectors, cyclic submodules and projective spaces linked with ternions";
Journal for Geometry and Graphics,
92
(2009),
79
- 90.
-
H. Havlicek, P. Semrl:
"From Geometry to Invertibility Preservers";
Studia Mathematica,
174
(2006),
99
- 109.
-
H. Havlicek, K. Svozil:
"Completing bases in four dimensions";
Journal of Physics A: Mathematical and Theoretical,
55
(2022),
10;
105304
- 105321.
More information
-
H. Havlicek, K. Svozil:
"Dimensional lifting through generalized Gram-Schmidt process";
Entropy,
20
(2018),
4;
284
- 288.
More information
-
H. Havlicek, G. Weiss:
"Altitudes of a Tetrahedron and Traceless Quadratic Forms";
American Mathematical Monthly,
110
(2003),
679
- 693.
-
H. Havlicek, G. Weiss:
"Ecken- und Kantenhöhen im Tetraeder";
Scientific and Professional Information Journal of Croatian Society for Constructive Geometry and Computer Graphics,
6
(2002),
71
- 80.
-
H. Havlicek, C. Zanella:
"Incidence and combinatorial properties of linear complexes";
Results in Mathematics,
51
(2008),
261
- 274.
-
H. Havlicek, C. Zanella:
"Linear sets in the projective line over the endomorphism ring of a finite field";
Journal of Algebraic Combinatorics,
46
(2017),
297
- 312.
-
H. Havlicek, C. Zanella:
"On embedded products of Grassmannians";
Discrete Mathematics,
267
(2003),
153
- 158.
-
Y. Hayut, S. Müller:
"Perfect Subtree Property for Wakly Compact Cardinals";
Israel Journal of Mathematics,
to appear, arXiv:1920.051159
(2021).
-
A. Helmi, C. Martinez, A. Panholzer:
"Analysis of the strategy ´hiring above the m-th best candidate"";
Algorithmica,
70
(2014),
267
- 300.
-
A. Helmi, C. Martinez, A. Panholzer:
"Hiring above the m-th Best Candidate: A Generalization of Records in Permutations";
Lecture Notes in Computer Science,
7256
(2012),
470
- 481.
-
A. Helmi, A. Panholzer:
"Analysis of the "Hiring above the median" selection strategy for the hiring problem";
Algorithmica,
66
(2013),
4;
762
- 803.
-
M. Henk:
"Succesive Minima and Lattice Points";
Rendiconti del Circolo Matematico di Palermo,
Serie II,
(2002),
Suppl 70;
377
- 384.
-
M. Henk, I.D. Dimitrios:
"On the equations defining toric l.c.i.-singularities";
Transactions of the American Mathematical Society,
355
(2003),
4955
- 4984.
-
M. Henk, M. Grötschel:
"The representation of polyhedra by polynomial inequalities";
Discrete & Computational Geometry,
29
(2003),
485
- 504.
-
M. Henk, A. Wagler:
"Die Starke-Perfekte-Graphen-Vermutung";
DMV-Mitteilungen,
3
(2002),
22
- 25.
-
M. Henk, R. Weismantel:
"Diophantine approximations and integer points of cones";
Combinatorica,
22
(2002),
3;
401
- 408.
-
M. Henk, R. Weismantel, M. Köppe:
"Integral decomposition of polyhedra and some applications in mixed integer programming";
Math.Prog. (B),
94
(2003),
193
- 206.
-
M. Henk, G. Ziegler, c. Zong:
"On free planes in lattice ball packings";
Bulletin of the London Mathematical Society,
34
(2002),
284
- 290.
-
M. Henk, c. Zong:
"Segments in ball packings";
Mathematika,
47
(2001),
31
- 38.
-
M. Hensel, G. Nawratil, F. Rist, Z. Li:
"Invertible Paradoxically Loop Structures for Transformable Design";
Computer Graphics Forum,
39
(2020),
2;
261
- 275.
More information
-
U. Hertrich-Jeromin, F. Burstall, W. Rossman:
"Semi-discrete isothermic surfaces";
arXiv.org e-Print archive,
?
(2015).
-
U. Hertrich-Jeromin, F. Burstall, W. Rossman, S. Santos:
"Discrete surfaces of constant mean curvature";
RIMS Kokyuroku,
1880
(2014),
133
- 179.
-
U. Hertrich-Jeromin, A. Honda:
"Minimal Darboux transformations";
Beiträge zur Algebra und Geometrie,
58
(2017),
81
- 91.
-
U. Hertrich-Jeromin, A. King, J. O´Hara:
"On the Möbius geometry of Euclidean triangles";
Elemente der Mathematik,
68
(2013),
96
- 114.
-
U. Hertrich-Jeromin, K. Mundilova, E. Tjaden:
"Channel linear Weingarten surfaces";
arXiv.org e-Print archive,
?
(2015).
-
U. Hertrich-Jeromin, K. Mundilova, E. Tjaden:
"Channel linear Weingarten surfaces";
Journal for Geometry and Symmetry in Physics,
40
(2015),
25
- 33.
-
U. Hertrich-Jeromin, W. Rossman, S. Santos:
"Discrete special isothermic surfaces";
Geometriae Dedicata,
174
(2015),
1
- 11.
-
U. Hertrich-Jeromin, W. Rossman, G. Szewieczek:
"Discrete channel surfaces";
Mathematische Zeitschrift,
online first
(2019).
-
U. Hertrich-Jeromin, W. Rossman, G. Szewieczek:
"Discrete channel surfaces";
Mathematische Zeitschrift,
294
(2020),
747
- 767.
-
U. Hertrich-Jeromin, Y. Suyama:
"Conformally flat hypersurfaces with Bianchi-type Guichard net";
Osaka Journal of Mathematics,
50
(2013),
1
- 30.
-
U. Hertrich-Jeromin, Y. Suyama:
"Ribaucour pairs corresponding to dual pairs of conformally flat hypersurfaces";
Progress of Mathematics,
308
(2015),
449
- 469.
-
U. Hertrich-Jeromin, Y. Suyama, M. Umehara, K. Yamada:
"A duality for conformally flat hypersurfaces";
Beiträge zur Algebra und Geometrie,
56
(2015),
655
- 676.
-
S. Hetzl:
"The computational content of arithmetical proofs";
Notre Dame Journal of Formal Logic,
53
(2012),
3;
289
- 296.
-
S. Hetzl, S. Eberhard, D. Weller:
"Boolean Unification with Predicates";
Journal of Logic and Computation,
27
(2017),
1;
109
- 128.
-
S. Hetzl, G. Ebner, S. Eberhard:
"Algorithmic Compression of Finite Tree Languages by Rigid Acyclic Grammars";
ACM Transactions on Computational Logic,
18
(2017),
4.
-
S. Hetzl, A. Leitsch, G. Reis, D. Weller:
"Algorithmic introduction of quantified cuts";
Theoretical Computer Science,
549
(2014),
1
- 16.
More information
-
S. Hetzl, G. Reis, D. Weller:
"Algorithmic Introduction of Quantified Cuts";
CoRR - Computing Research Repository,
abs/1401.4330
(2014),
38 pages.
-
S. Hetzl, L. Straßburger:
"Herbrand-Confluence";
arXiv.org e-Print archive,
arXiv:1310.8156
(2013).
-
S. Hetzl, J. Vierling:
"Clause Set Cycles and Induction";
ArXiv,
1910.03917
(2019).
-
S. Hetzl, J. Vierling:
"Clause Set Cycles and Induction";
Logical Methods in Computer Science,
16
(2020),
4.
More information
-
S. Hetzl, D. Weller:
"Expansion trees with cut";
arXiv.org e-Print archive,
arXiv:1308.0428
(2013),
1
- 25.
-
S. Hetzl, S. Wolfsteiner:
"On the Compressibility of Finite Languages and Formal Proofs";
Information and Computation,
259
(2018),
2;
191
- 213.
-
S. Hetzl, S. Wolfsteiner:
"On the cover complexity of finite languages";
Theoretical Computer Science,
798
(2019),
109
- 125.
-
S. Hetzl, T. Wong:
"Some Observations on the Logical Foundations of Inductive Theorem Proving";
Logical Methods in Computer Science,
13
(2018),
4.
-
S. Hetzl, S. Zivota:
"Decidability of affine solution problems";
Journal of Logic and Computation,
30
(2020),
3;
697
- 714.
-
M. Heveling, G. Last:
"Existence, Uniqueness, and Algorithmic Computation of General Lilypond Systems";
Random Structures and Algorithms,
29
(2006),
338
- 350.
More information
-
M. Heveling, M. Reitzner:
"Poisson-Voronoi approximation";
Annals of Applied Probability,
19
(2009),
2;
719
- 736.
-
B. Hischenhuber, H. Havlicek, J. Todoric, M. Höllrigl-Binder, W. Schreiner, B. Knapp:
"Corrigendum: Differential geometric analysis of alterations in MH-helices";
J. Comput. Chem.,
34
(2013),
2834.
-
B. Hischenhuber, H. Havlicek, J. Todoric, M. Höllrigl-Binder, W. Schreiner, B. Knapp:
"Differential geometric analysis of alterations in MH-helices";
J. Comput. Chem.,
34
(2013),
1862
- 1879.
-
J. Hitchcock, J. Lutz, S. Terwijn:
"The arithmetical complexity of randomness and dimension";
ACM Transactions on Computational Logic,
http://portal.acm.org/citation.cfm?id=1227845
(2007),
8.
-
M. Hofer:
"Punkt-Wolken als Forschungs-Highlight an der TU Wien";
Forschungsnachricht TU Wien,
www.tuwien.ac.at/forschung/nachrichten/
(2004).
-
M. Hofer, H. Pottmann:
"Energy-minimizing splines in manifolds";
ACM Transactions on Graphics,
23
(2004),
3;
284
- 293.
-
M. Hofer, H. Pottmann:
"Industrielle Geometrie an der TU Wien";
rm-DATA GeoNews,
4
(2004),
10
- 11.
-
M. Hofer, H. Pottmann:
"Orientierung von Laserscanner-Punktwolken";
Österreichische Zeitschrift für Vermessung & Geoinformation,
91. Jahrgang
(2003),
4;
297
- 306.
-
M. Hofer, H. Pottmann, B. Ravani:
"From curve design algorithms to the design of rigid body motions";
Visual Computer,
20
(2004),
5;
279
- 297.
-
M. Hofer, H. Pottmann, B. Ravani:
"Geometric design of motions constrained by a contacting surface pair";
Computer Aided Geometric Design,
20
(2003),
523
- 547.
-
M. Hofer, G. Sapiro, J. Wallner:
"Fair polyline networks for constrained smoothing of digital terrain elvation data";
IEEE Transactions on Geoscience and Remote Sensing,
44
(2006),
2983
- 2990.
-
G. Hofstätter, F. Schuster:
"Blaschke-Santaló inequalities for Minkowski and Asplund endomorphisms";
International Mathematics Research Notices,
online
(2021).
More information
-
T. Holm, P. Jorgensen, M. Rubey:
"Ptolemy diagrams and torsion pairs in the cluster categories of Dynkin type D";
Advances in Applied Mathematics,
51
(2013),
5;
583
- 605.
-
T. Holm, P. Jorgensen, M. Rubey:
"Torsion pairs in cluster tubes";
Journal of Algebraic Combinatorics,
39
(2014),
3;
587
- 605.
-
F. Holweck, M. Saniga, P. Levay:
"A Notable relation between N-Qubit and 2(N-1)-qubit Pauli groups via Binary LGr(N,2N)";
SIGMA - Symmetry, Integrability and Geometry - Methods and Applications,
10
(2014),
CCC:000334734100001;
41.
-
S. Hopkins, M. Rubey:
"Promotion of Kreweras words";
Selecta Mathematica New Series,
28
(2022),
1.
More information
-
K. Hron, P. Filzmoser, K. Thompson:
"Linear regression with compositional explanatory variables";
Journal of Applied Statistics,
39
(2012),
5;
1115
- 1128.
More information
-
M. Hrusak, W. Wohofsky, O. Zindulka:
"Strong measure zero in separable metric spaces and Polish groups";
Archive for Mathematical Logic,
55
(2016),
1;
105
- 131.
-
S. Hu, J. Wallner:
"A second order algorithm for orthogonal projection onto curves and surfaces";
Computer Aided Geometric Design,
22
(2005),
251
- 260.
-
S. Hu, J. Wallner:
"Error Propagation through Geometric Transformations ";
Journal for Geometry and Graphics,
8
(2004),
2;
171
- 183.
-
Q. Huang, S. Flöry, N. Gelfand, M. Hofer, H. Pottmann:
"Reassembling fractured objects by geometric matching";
ACM Transactions on Graphics,
25
(2006),
3;
569
- 578.
-
W. Huang:
"Adjacency preserving mappings of 2 x2 Hermitian matrices";
Aequationes Mathematicae,
75
(2008),
1-2;
51
- 64.
-
W. Huang, H. Havlicek:
"Diameter preserving surjections in the geometry of matrices";
Linear Algebra and its Applications,
429
(2008),
376
- 386.
-
W. Huang, P. Semrl:
"Adjacency preserving maps on Hermitian matrices";
Canadian Journal of Mathematics,
60
(2008),
5;
1050
- 1066.
-
W. Huang, X. Zhang:
"On the relation between ADM and Bondi energy -momenta III-perturbed radiative spatial infinity";
Science in China (Ser. A),
50
(2007),
9;
1316
- 1324.
-
W. Huss, E. Sava:
"Internal aggregation models on comb lattices";
Electronic Journal of Probability,
17
(2012),
30;
1
- 21.
-
W. Huss, E. Sava:
"The rotor-router group of directed covers of graphs";
Electronic Journal of Combinatorics,
19
(2012),
3.
-
W. Huss, E. Sava:
"Transcience and recurrence of rotor-router walks on directed covers of graphs";
Electronic Communications in Probability,
17
(2012),
41;
1
- 13.
-
R. Iemhoff:
"A note on linear Kripke models";
Journal of Logic and Computation,
15
(2005),
4;
489
- 506.
-
R. Iemhoff:
"Intermediate logics and Visser´s rules";
Notre Dame Journal of Formal Logic,
46
(2005),
1;
65
- 81.
-
R. Iemhoff:
"Preservativity logic: An analogue of interpretability logic for constructive theories";
Mathematical Logic Quarterly,
49
(2003),
3;
230
- 249.
-
A. Inalcik, S. Ersoy, H. Stachel:
"On Instantaneous Invariants of Hyperbolic Planes";
Math. Mech. Solids,
22
(2017),
5;
1047
- 1057.
-
M. Ivaki:
"A flow approach to the L−2 Minkowski problem";
Advances in Applied Mathematics,
50
(2013),
3;
445
- 464.
More information
-
M. Ivaki:
"A note on the Gauss curvature flow";
Indiana Univ.Math.J.,
65
(2016),
3;
743
- 751.
More information
-
M. Ivaki:
"An application of dual convex bodies to the inverse Gauss curvature flow";
Proceedings of the American Mathematical Society,
143
(2015),
3.
More information
-
M. Ivaki:
"Centro-affine curvature flows on centrally symmetric convex curves";
Transactions of the American Mathematical Society,
366
(2014),
11;
5671
- 5692.
More information
-
M. Ivaki:
"Centro-affine normal flows: Harnack estimates and ancient solutions";
Annales de l'Institut Henri Poincaré - Analyse non lineaire,
32
(2015),
9 pages.
More information
-
M. Ivaki:
"Classification of compact convex ancient solutions of the planar affine normal flow";
Journal of Geometric Analysis,
Mathematica Josephina 26
(2016),
1;
663
- 671.
-
M. Ivaki:
"Convex bodies with pinched Mahler volume under the centro-affine normal flow";
Calculus Of Variations And Partial Differential Equations,
54
(2015),
1;
831
- 846.
More information
-
M. Ivaki:
"Deforming a convex hypersurface with low entropy by its Gauss curvature";
Journal of Geometric Analysis,
27
(2017),
2;
1286
- 1294.
More information
-
M. Ivaki:
"Deforming a hypersurface by Gauss curvature and support function";
Journal of Functional Analysis,
271
(2016),
8;
2133
- 2165.
-
M. Ivaki:
"Iterations of curvature images";
Mathematika,
66
(2020),
640
- 648.
More information
-
M. Ivaki:
"On the stability of the p-affine isoperimetric inequality";
Journal of Geometric Analysis,
24
(2014),
4;
1898
- 1911.
More information
-
M. Ivaki:
"Stability of the Blaschke-Santaló inequality in the plane";
Monatshefte für Mathematik,
177
(2015),
451
- 459.
More information
-
M. Ivaki:
"The planar Busemann-Petty centroid inequality and its stability";
Transactions of the American Mathematical Society,
368
(2016),
5;
3539
- 3563.
More information
-
M. Ivaki:
"The second mixed projection problem and the projection centroid conjectures";
Journal of Functional Analysis,
272
(2017),
12;
5144
- 5161.
More information
-
M. Ivaki:
"Volume preserving centro-affine normal flows";
Communications in Analysis and Geometry,
21
(2013),
3;
671
- 685.
More information
-
G. Ivanov:
"Approximate Carathéodory´s theorem in uniformly smooth Banach spaces.";
Discrete & Computational Geometry,
8
(2019).
-
G. Ivanov, I. Erofeev:
"Orthodiagonal anti-involutive Kokotsakis polyhedra";
Mechanism and Machine Theory,
146
(2019).
-
I. Izmestiev:
"Four-bar linkages, elliptic functions, and flexible polyhedra.";
Computer Aided Geometric Design,
79
(2020),
101870.
-
J. Jagenteufel:
"A Sundaram type bijection for SO(3): vacillating tableaux and pairs of standard Young tableaux and orthogonal Littlewood-Richardson tableaux";
Electronic Journal of Combinatorics,
25
(2018),
3.
More information
-
S. Jain, F. Stephan, S. Terwijn:
"Counting extensional difference in {BC}-learning";
Information and Computation,
188
(2004),
1;
127
- 142.
-
S. Janson, M. Kuba, A. Panholzer:
"Generalized Stirling permutations, families of increasing trees and urn models";
Journal of Combinatorial Theory Series A,
118
(2011),
1;
94
- 114.
-
S. Jenei:
"On the reflection invariance of residuated chains";
Annals of Pure and Applied Logic,
161
(2009),
220
- 227.
-
S. Jenei:
"On the relationship between the rotation construction and ordered Abelian groups";
Fuzzy Sets and Systems,
161
(2010),
277
- 284.
-
C. Jiang, K. Mundilova, F. Rist, J. Wallner, H. Pottmann:
"Curve-pleated structures";
ACM Transactions on Graphics,
38/6
(2019),
169;
1
- 13.
More information
-
C. Jiang, F. Rist, H. Pottmann, J. Wallner:
"Freeform quad-based kirigami";
ACM Transactions on Graphics,
39/6
(2020),
209;
1
- 11.
More information
-
C. Jiang, C. Tang, A. Vaxman, P. Wonka, H. Pottmann:
"Polyhedral patterns";
ACM Transactions on Graphics,
34/6
(2015),
172.
More information
-
C. Jiang, C. Wang, F. Rist, J. Wallner, H. Pottmann:
"Quad-mesh based isometric mappings and developable surfaces";
ACM Transactions on Graphics,
39/4
(2020),
128;
1
- 13.
More information
-
C. Jiang, H. Wang, V. Ceballos Inza, F. Dellinger, F. Rist, J. Wallner, H. Pottmann:
"Using isometries for computational design and fabrication";
ACM Transactions on Graphics,
40
(2021),
4;
1
- 42.
More information
-
C. Jiang, J. Wang, J. Wallner, H. Pottmann:
"Freeform honeycomb structures";
Computer Graphics Forum,
33 (5)
(2014),
185
- 194.
-
M. R. Jimenez, C. Müller, H. Pottmann:
"Discretizations of Surfaces with Constant Ratio of Principal Curvatures";
Discrete & Computational Geometry,
042019
(2019),
35 pages.
More information
-
E. Jin:
"Heaps and Two Exponential Structures";
European Journal of Combinatorics,
54
(2015),
87
- 102.
More information
-
E. Jin:
"New proofs of two q-analogues of Koshy's formula";
Proceedings of the American Mathematical Society,
143
(2015),
12;
5027
- 5042.
-
E. Jin, M. Nebel:
"RNA Secondary Structures in a Polymer-Zeta Model -- How Foldings Should be Shaped for Sparsification to Establish a Linear Speedup";
Journal of Mathematical Biology,
71
(2015),
5;
1133
- 1147.
More information
-
E. Jin, F. Shishou, L. Zhicong, S. Yang, R. Zhou:
"A new decomposition of ascent sequences and Euler-Stirling statistics, Journal of Combinatorial Theory";
Journal of Combinatorial Theory Series A,
170
(2020),
105141.
-
E. Jin, B. Stufler:
"Graph limits of random unlabelled k-trees";
Combinatorics, Probability and Computing,
29
(2020),
5;
722
- 746.
More information
-
Y. Jin, H. Hwang:
"Asymptotics and statistics on Fishburn matrices and their generalizations";
ArXiv,
1911.06690
(2019).
-
K. Jochemko:
"On the real-rootedness of the Veronese construction for rational formal power series";
International Mathematics Research Notices,
15
(2018),
4780
- 4798.
More information
-
K. Jochemko, R. Sanyal:
"Combinatorial mixed valuations";
Advances in Mathematics,
319
(2017),
630
- 652.
More information
-
K. Jochemko, R. Sanyal:
"Combinatorial positivity of translation-invariant valuations and a discrete Hadwiger theorem";
Journal of the European Mathematical Society,
20
(2018),
9;
2181
- 2208.
-
J. Jonusas, S. Troscheit:
"Random ubiquitous transformation semigroups";
Semigroup Forum,
99
(2019),
3;
655
- 678.
-
Z. Kabluchko, A. Marynych, D. Temesvari, C. Thäle:
"Cones generated by random points on half-spheres and convex hulls of Poisson point processes";
Probability Theory and Related Fields,
175
(2019),
1021
- 1061.
More information
-
Z. Kabluchko, D. Temesvari, C. Thäle:
"A new approach to weak convergence of random cones and polytopes";
Canadian Journal of Mathematics,
73
(2021),
6;
1627
- 1647.
More information
-
Z. Kabluchko, D. Temesvari, C. Thäle:
"Expected intrinsic volumes and facet numbers of random beta-polytopes";
Mathematische Nachrichten,
292
(2019),
1;
79
- 105.
More information
-
F. Käferböck:
"Affine arc length polylines and curvature continuous uniform B-splines";
Computer Aided Geometric Design,
31
(2014),
7-8;
331
- 344.
-
F. Käferböck, H. Pottmann:
"Smooth surfaces from bilinear patches: discrete affine minimal surfaces";
Computer Aided Geometric Design,
30 (5)
(2013),
476
- 489.
-
C. Kao, M. Hofer, G. Sapiro, J. Stern, K. Rehm, A. Rottenberg:
"A Geometric Method for Automatic Extraction of Sulcal Fundi";
IEEE Transactions on Medical Imaging,
26
(2007),
4;
530
- 540.
-
G. Karigl:
"Homology searching and interlocking of chromosomes: Analytic modeling versus computersimulatioj";
International Journal of Pure and Applied Mathematics,
40
(2007),
1;
103
- 114.
-
G. Karigl:
"Modellbildung - Simulation - Interpretation mit Beispielen aus der mathematischen Ökologie";
Didaktikhefte der ÖMG,
42
(2009),
1
- 14.
-
O. Karpenkov, C. Müller:
"Geometric criteria for realizability of tensegrities in higher dimensions";
SIAM Journal on Discrete Mathematics,
35
(2021),
2;
637
- 660.
More information
-
O. Karpenkov, C. Müller, G. Panina et al.:
"Equilibrium stressability of multidimentional frameworks";
arXiv.org e-Print archive,
9
(2020),
30 pages.
More information
-
J. Kellner:
"Pitowsky´s Kolmogorovian Models and Super-determinism";
Foundations of Physics,
46
(2016),
1
- 17.
More information
-
J. Kellner, M. Goldstern, D. Mejia, S. Shelah:
"Cichon's Maximum without large cardinals.";
Journal of the European Mathematical Society JEMS,
ONLINE FIRST
(2021).
-
J. Kellner, M. Goldstern, D. Mejia, S. Shelah:
"Controlling cardinal characteristics without adding reals.";
Journal of Mathematical Logic,
21
(2021),
3.
More information
-
J. Kellner, S. Shelah:
"Decisive creature and large continuum";
arXiv.org e-Print archive,
http://arxiv.org/PS_cache/math/pdf/0601/0601083.pdf
(2006).
-
J. Kellner, S. Shelah:
"Presering preservation";
Journal of Symbolic Logic,
70
(2005),
3;
914
- 945.
-
J. Kellner, S. Shelah:
"Sacharinity";
arXiv.org e-Print archive,
http://arxiv.org/PS_cache/math/pdf/0511/0511330v1.pdf
(2006).
-
J. Kellner, R. Tanasie, E. Tonti:
"Compact Cardinals and Eight Values in Cichon's Diagram";
Journal of Symbolic Logic,
83
(2018),
2;
790
- 803.
-
H. Kerschner, P. Jaksch, G. Karigl, T. Popow-Kraupp, W. Klepetkol, E. Puchhammer-Stöckl:
"Cytomegalovirus DNA load patterns developing after lung transplantation are significantly correlated with long-term patient survival";
Transplantation,
87
(2009),
11;
1720
- 1726.
-
M. Kilian, S. Flöry, Z. Chen, N. Mitra, A. Sheffer, H. Pottmann:
"Curved Folding";
ACM Transactions on Graphics,
27/3
(2008).
-
M. Kilian, N. Mitra, H. Pottmann:
"Geometric Modeling in Shape Space";
ACM Transactions on Graphics,
26
(2007),
3.
-
M. Kilian, A. Monszpart, N. Mitra:
"String Actuated Curved Folded Surfaces";
ACM Transactions on Graphics,
36,3
(2017),
25.
More information
-
M. Kilian, D. Pellis, J. Wallner, H. Pottmann:
"Material-minimizing forms and structures";
ACM Transactions on Graphics,
36,6
(2017),
173.
More information
-
Y.-J. Kim, G. Elber, M. Barton, H. Pottmann:
"Precise gouging-free tool orientations for 5-axis CNC machining";
Computer Aided Design,
58
(2015),
58;
220
- 229.
-
L. Klausner, M. Goldstern:
"Cichon's diagram and localisation cardinals";
Archive for Mathematical Logic,
60
(2021),
3-4;
343
- 411.
-
P. Klinov, B. Parsia, D. Picado Muino:
"The consistency of the medical expert system CADIAG-2: A probabilistic approach";
Journal of Information Technology Research,
4
(2011),
1
- 20.
-
P. Kniefacz, F. Schuster:
"Sharp Sobolev inequalities via projection averages";
Journal of Geometric Analysis,
-
(2020).
More information
-
J. Knörr:
"The support of dually epi-translation invariant valuations on convex functions";
Journal of Functional Analysis,
281
(2021),
5;
109059.
More information
-
A. Koldobsky, D. Ma:
"Stability and slicing inequalities for intersection bodies";
Geometriae Dedicata,
162
(2013),
325
- 335.
More information
-
J. Konieczny, M. Lemanczyk, C. Müllner:
"Multiplicative automatic sequences";
ArXiv,
Preprint
(2020).
More information
-
J. Konieczny, M. Lemanczyk, C. Müllner:
"Multiplicative automatic sequences";
Mathematische Zeitschrift,
298
(2021),
3-4.
-
I. Kossovskiy, B. Lamel, L. Stolovitch:
"Equivalence of Cauchy-Riemann manifolds and multisummability theory";
Advances in Mathematics,
397
(2021),
108117;
1
- 44.
-
A. Kreuml:
"The anisotropic fractional isoperimetric problem with respect to unconditional unit balls";
Communications on Pure and Applied Analysis,
20
(2021),
2;
783
- 799.
More information
-
A. Kreuml, O. Mordhorst:
"Fractional perimeters on the sphere";
Discrete And Continuous Dynamical Systems,
41
(2021),
11;
5439
- 5454.
More information
-
A. Kreuml, O. Mordhorst:
"Fractional Sobolev norms and BV functions on manifolds";
Nonlinear Analysis: Theory, Methods and Applications,
187
(2019),
450
- 466.
More information
-
B. Kromoser, T. Pachner, J. Kollegger, C. Tang, H. Pottmann:
"Form Finding of Shell Bridges Using the Pneumatic Forming of Hardened Concrete Construction Principle";
Advances in Civil Engineering,
2018
(2018),
6309460.
More information
-
M. Kronfellner:
"A genetic approach to axiomatics";
Proceedings of the 2nd International Conference on the Teaching of Mathematics (at the undergraduate level),
http://www.math.uoc.gr/~ictm2
(2002).
-
M. Kuba:
"On evaluations of infinite double sums and Tornheim´s double series";
Séminaire Lotharingien de Combinatoire,
58
(2008).
-
M. Kuba:
"On Quickselect, partial sorting and Multiple Quickselect";
Information Processing Letters,
99
(2006),
181
- 186.
-
M. Kuba, H. Mahmoud, A. Panholzer:
"Analysis of a generalized Friedman´s urn with multiple drawings";
Discrete Applied Mathematics,
161
(2013),
18;
2968
- 2984.
-
M. Kuba, A. Panholzer:
"A combinatorial approach to the analysis of bucket recursive trees";
Theoretical Computer Science,
411
(2010),
3255
- 3273.
-
M. Kuba, A. Panholzer:
"A combinatorical approach for analyzing the number of descendant in increasing trees and related parameters";
Quaestiones Mathematicae,
32
(2009),
91
- 114.
-
M. Kuba, A. Panholzer:
"A unifying approach for proving Hook-Length formulas for weighted tree families";
Graphs and Combinatorics,
29
(2013),
6;
1839
- 1865.
-
M. Kuba, A. Panholzer:
"Analysis of statistics for generalized Stirling permutations";
Combinatorics, Probability and Computing,
20
(2011),
875
- 910.
-
M. Kuba, A. Panholzer:
"Bilabelled increasing trees and hook-length formulae";
European Journal of Combinatorics,
33
(2012),
2;
248
- 258.
-
M. Kuba, A. Panholzer:
"Combinatorial families of multilabelled increasing trees and hook-length formulas";
Discrete Mathematics,
339
(2016),
227
- 254.
More information
-
M. Kuba, A. Panholzer:
"Descendants in increasing trees";
Electronic Journal of Combinatorics,
13
(2006),
1
- 14.
-
M. Kuba, A. Panholzer:
"Enumeration formulae for pattern restricted Stirling permutations";
Discrete Mathematics,
312
(2012),
21;
3179
- 3194.
-
M. Kuba, A. Panholzer:
"Enumeration results for alternating tree families";
European Journal of Combinatorics,
31
(2010),
1751
- 1780.
-
M. Kuba, A. Panholzer:
"Isolating a leaf in rooted trees via random cuttings";
Annals Of Combinatorics,
12
(2008),
1;
81
- 99.
-
M. Kuba, A. Panholzer:
"Isolating nodes in recursive trees";
Aequationes Mathematicae,
76
(2008),
258
- 280.
-
M. Kuba, A. Panholzer:
"Limiting distributions for a class of diminishing urn models";
Advances in Applied Probability,
44
(2012),
1;
87
- 116.
-
M. Kuba, A. Panholzer:
"Multiple isolation of nodes in recursive trees";
Online Journal of Analytic Combinatorics,
9
(2014).
-
M. Kuba, A. Panholzer:
"On edge-weighted recursive trees and inversions in random permutations";
Discrete Mathematics,
308
(2008),
4;
529
- 540.
-
M. Kuba, A. Panholzer:
"On Moment Sequences and Mixed Poisson Distributions";
Probability Surveys,
13
(2016),
89
- 155.
More information
-
M. Kuba, A. Panholzer:
"On the area under lattice paths associated with triangular diminishing urn models";
Advances in Applied Mathematics,
44
(2010),
329
- 358.
-
M. Kuba, A. Panholzer:
"On the degree distribution of the nodes in increasing trees.";
Journal of Combinatorial Theory Series A,
114
(2007),
597
- 618.
-
M. Kuba, A. Panholzer:
"On the distribution of distances between specified nodes in increasing trees";
Discrete Applied Mathematics,
158
(2010),
489
- 506.
-
M. Kuba, A. Panholzer:
"On weighted path lengths and distances in increasing trees";
Probability in the Engineering and Informational Science,
21
(2007),
03;
419
- 433.
-
M. Kuba, A. Panholzer:
"The left-right-imbalance of binary search trees";
Theoretical Computer Science,
370
(2007),
265
- 278.
-
M. Kuba, A. Panholzer, H. Prodinger:
"Lattice paths, smpling without replacement, and the kernel method";
Electronic Journal of Combinatorics,
16
(2009),
1;
12 pages.
-
M. Kuba, H. Prodinger, C. Schneider:
"Generalized reciprocity laws for sums of harmonic numbers";
Integers: Electronic Journal of Combinatorial Number Theory,
8
(2008),
1.
-
M. Kuba, S. Wagner:
"Perfect matchings and k-decomposability of increasing trees";
Séminaire Lotharingien de Combinatoire,
57
(2007),
Article B57a;
1
- 14.
-
W. Kuich:
"Automata on power series and tree automata on tree series";
Publicationes Mathematicae Debrecen,
60, Supplement
(2002),
1
- 20.
-
W. Kuich:
"Formal series over sorted algebras";
Discrete Mathematics,
254
(2002),
231
- 258.
-
W. Kuich:
"Kleene theorems for skew formal power series";
Acta Cybernetica,
17
(2006),
719
- 749.
-
W. Kuich, M. Droste:
"A Kleene Theorem for Weighted Omega-Pushdown Automata";
Acta Cybernetica,
23
(2017),
1;
43
- 59.
-
W. Kuich, M. Droste:
"Weighted Omega-Restricted One-Counter Automata";
Logical Methods in Computer Science,
14
(2018),
1;
15 pages.
-
W. Kuich, Z. Esik:
"Continuous Semiring - Semimodule Pairs and Mixed Algebraic Systems";
Acta Cybernetica,
23
(2017),
1;
61
- 79.
-
W. Kuich, G. Rahonis:
"Fuzzy regular languages over finite and infinite words";
Fuzzy Sets and Systems,
157
(2006),
1532
- 1549.
-
W. Kuich, N. Sauer, F. Urbanek:
"Heyting algebras and formal languages";
Journal of Universal Computer Science,
8
(2002),
8;
722
- 736.
-
N. Kusolitsch, M. Kronfellner:
"Gewinnerwartung versus Gewinnwahrscheinlichkeit";
Stochastik in der Schule,
25(2)
(2005),
25
- 29.
-
R. Kutzelnigg:
"An improved version of Cuckoo hashing: average case analysis of contruction cost and search operations";
Mathematics in Computer Science,
(2009).
-
M. Lackner, A. Panholzer:
"Runs in labelled trees and mappings";
Discrete Mathematics,
343
(2020),
9;
1
- 22.
More information
-
H. Länger:
"A simple recursion for power sum polynomials";
Elemente der Mathematik,
69
(2014),
65
- 67.
-
H. Länger:
"An interesting application of algebra to genetics";
Elemente der Mathematik,
60
(2005),
25
- 32.
-
H. Länger:
"Matrices with a strictly dominant eigenvalue";
Elemente der Mathematik,
56
(2001),
55
- 61.
-
H. Länger, M. Maczynski:
"A Mackey-like approach to ring-like structures used in quantum logics";
Reports on Mathematical Physics,
56
(2005),
413
- 419.
-
Y. Lai, S. Hu, H. Pottmann:
"Surface fitting based on a feature sensitive parametrization";
Computer Aided Design,
38
(2006),
7;
800
- 807.
-
Y. Lai, Q. Zhou, S. Hu, J. Wallner, H. Pottmann:
"Robust feature classification and editing";
IEEE Transactions on Visualization and Computer Graphics,
13
(2007),
1;
34
- 45.
-
G. Leigh:
"Conservativity for theories of compositional truth via cut elimination";
Journal of Symbolic Logic,
80
(2015),
3;
825
- 865.
More information
-
G. Leigh, B. Afshari:
"Circular proofs for the modal mu-calculus";
Proceedings in Applied Mathematics and Mechanics,
16
(2016),
893
- 894.
More information
-
G. Leigh, L. Horsten:
"Truth is Simple";
Mind,
125
(2016).
More information
-
K. Leimer, L. Gersthofer, M. Wimmer, P. Musialski:
"Relation-Based Parametrization and Exploration of Shape Collections";
Computers & Graphics,
67
(2017),
67;
127
- 137.
More information
-
K. Leimer, P. Musialski:
"Analysis of a reduced-order model for the simulation of elastic geometric zigzag-spring meta-materials";
Computers & Graphics,
102
(2022),
187
- 198.
More information
-
K. Leimer, A. Winkler, S. Ohrhallinger, P. Musialski:
"Pose to Seat: Automated design of body-supporting surfaces";
Computer Aided Geometric Design,
79
(2020),
1
- 16.
More information
-
A. Leitsch, S. Hetzl, G. Reis, D. Weller et al.:
"Introducing Quantified Cuts in Logic with Equality";
CoRR - Computing Research Repository,
abs/1402.2474
(2014),
abs/1402.2474;
16 pages.
-
S. Leopoldseder:
"Algorithms on cone spline surfaces and spatial osculating arc splines";
Computer Aided Geometric Design,
18
(2001),
505
- 530.
-
S. Leopoldseder:
"Cone spline surfaces and spatial arc splines - a sphere geometric approach";
Advances in Computational Mathematics,
Volume 17, Nos.1-2
(2002),
49
- 66.
-
J. Li:
"Affine function-valued valuations";
International Mathematics Research Notices,
(2018).
More information
-
J. Li:
"SL(n) covariant function-valued valuations";
Advances in Mathematics,
377
(2021).
More information
-
J. Li, G. Leng:
"Lp Minkowski valuations on polytopes";
Advances in Mathematics,
299
(2016),
139
- 173.
More information
-
J. Li, G. Leng:
"Orlicz valuations";
Indiana Univ.Math.J.,
66
(2017),
3;
791
- 819.
More information
-
J. Li, D. Ma:
"Laplace transforms and valuations";
Journal of Functional Analysis,
272
(2017),
2;
738
- 758.
More information
-
J. Li, D. Ma, W. Wang:
"SL(n) contravariant vector valuations";
Discrete & Computational Geometry,
67
(2021),
1211
- 1228.
More information
-
Z. Li, G. Nawratil, F. Rist, M. Hensel:
"Invertible Paradoxic Loop Structures for Transformable Design";
Computer Graphics Forum,
29
(2020),
2;
261
- 275.
-
Z. Li, D. Scharler, H. Schröcker:
"Factorization results for left polynomials in some associative real algebras: State of the art, applications, and open questions";
Journal of Computational and Applied Mathematics,
349
(2018),
508
- 522.
-
Y. Liu, H. Pottmann, J. Wallner, Y. Yang, W. Wang:
"Geometric modeling with conical meshes and developable surfaces";
ACM Transactions on Graphics,
25
(2006),
3;
681
- 689.
-
Y. Liu, H. Pottmann, W. Wang:
"Constrained 3D shape reconstruction using a combination of surface fitting and registration";
Computer Aided Design,
38
(2006),
6;
572
- 583.
-
A. Lolic, A. Leitsch:
"Extraction of Expansion Trees";
Journal of Automated Reasoning,
61
(2018),
1;
1
- 38.
More information
-
A. Lolic, A. Leitsch:
"Extraction of Expansion Trees";
Journal of Automated Reasoning,
62
(2019),
3;
393
- 430.
-
N. Lombardi, M. Longinetti, P. Manselli, A. Venturi:
"Rectifiability property for plane paths and descent curves";
Journal of Optimization Theory and Applications,
187
(2020),
1;
294
- 302.
More information
-
B. Loridant:
"Crystallographic number systems";
Monatshefte für Mathematik,
167
(2012),
3-4;
511
- 529.
-
B. Loridant, A. Messaoudi, J. Thuswaldner:
"Tilings induced by a class of cubic Rauzy fractals";
Theoretical Computer Science,
477
(2013),
6
- 31.
-
M. Ludwig:
"A characterization of affine length and asymptotic approximation of convex discs";
Abhandlungen aus dem Math. Seminar der Universität Hamburg,
69
(1999),
75
- 88.
-
M. Ludwig:
"Anisotropic fractional perimeters";
Journal of Differential Geometry,
96
(2014),
1;
77
- 93.
-
M. Ludwig:
"Anisotropic fractional Sobolev norms";
Advances in Mathematics,
252
(2014),
150
- 157.
-
M. Ludwig:
"Asymptotic approximation by quadratic spline curves";
Ann. Univ. Sci. Budapest. Eötvös Sect. Math.,
42
(1999),
133
- 139.
-
M. Ludwig:
"Asymptotic approximation of convex curves";
Archiv der Mathematik,
63
(1994),
377
- 384.
-
M. Ludwig:
"Asymptotic approximation of convex curves; the Hausdorff metric case";
Archiv der Mathematik,
70
(1998),
331
- 336.
-
M. Ludwig:
"Asymptotic approximation of smooth convex bodies by general polytopes";
Mathematika,
46
(1999),
103
- 125.
-
M. Ludwig:
"Covariance matrices and valuations";
Advances in Applied Mathematics,
51
(2013),
3;
359
- 366.
-
M. Ludwig:
"Ellipsoids and matrix valued valuations";
Duke Mathematical Journal,
119
(2003),
159
- 188.
-
M. Ludwig:
"Fisher information and matrix-valued valuations";
Advances in Mathematics,
226
(2011),
2700
- 2711.
-
M. Ludwig:
"General affine surface areas";
Advances in Mathematics,
224
(2010),
2346
- 2360.
-
M. Ludwig:
"Intersection bodies and valuations";
American Journal of Mathematics,
128
(2006),
1409
- 1428.
-
M. Ludwig:
"Minkowski areas and valuations";
Journal of Differential Geometry,
86
(2010),
133
- 161.
-
M. Ludwig:
"Minkowski valuations";
Transactions of the American Mathematical Society,
357
(2005),
4191
- 4213.
-
M. Ludwig:
"Moment vectors of polytopes";
Rendiconti del Circolo Matematico di Palermo,
Suppl. 70, part II
(2002),
123
- 138.
-
M. Ludwig:
"On the Semicontinuity of Curvature Integrals";
Mathematische Nachrichten,
227
(2001),
99
- 108.
-
M. Ludwig:
"Projection bodies and valuations";
Advances in Mathematics,
172
(2002),
158
- 168.
-
M. Ludwig:
"Upper semicontinuous valuations on the space of convex discs";
Geometriae Dedicata,
80
(2000),
263
- 279.
-
M. Ludwig:
"Valuations on function spaces";
Advances in Geometry,
11
(2011),
745
- 756.
-
M. Ludwig:
"Valuations on Polytopes Containing the Origin in Their Interiors";
Advances in Mathematics,
170
(2002),
239
- 256.
-
M. Ludwig:
"Valuations on Sobolev spaces";
American Journal of Mathematics,
134
(2012),
827
- 842.
-
M. Ludwig, K. J. Böröczky:
"Approximation of convex bodies and a momentum lemma for power diagrams";
Monatshefte für Mathematik,
127
(1999),
101
- 110.
-
M. Ludwig, P. Gruber:
"A Helmholtz-Lie type characterization of ellipsoids, II";
Discrete & Computational Geometry,
16
(1996),
55
- 67.
-
M. Ludwig, C. Haberl:
"A characterization of Lp intersection bodies";
International Mathematics Research Notices,
2006
(2006),
10548;
1
- 29.
More information
-
M. Ludwig, M. Reitzner:
"A characterization of affine surface area";
Advances in Mathematics,
147
(1999),
138
- 172.
-
M. Ludwig, M. Reitzner:
"A classification of SL(n) invariant valuations";
Annals of Mathematics,
172
(2010),
2;
1219
- 1267.
-
M. Ludwig, M. Reitzner:
"Elementary moves on triangulations";
Discrete & Computational Geometry,
35
(2006),
527
- 536.
-
M. Ludwig, M. Reitzner:
"SL(n) invariant valuations on polytopes";
Discrete & Computational Geometry,
57
(2017),
3;
571
- 581.
More information
-
M. Ludwig, C. Schütt, E. Werner:
"Approximation of the Euclidean ball by polytopes";
Studia Mathematica,
173
(2006),
1
- 18.
-
M. Ludwig, L. Silverstein:
"Tensor valuations on lattice polytopes";
Advances in Mathematics,
319
(2017),
76
- 110.
More information
-
M. Ludwig, J. Xiao, G. Zhang:
"Sharp convex Lorentz-Sobolev inequalities";
Mathematische Annalen,
250
(2011),
169
- 197.
-
D. Ma:
"Asymmetric anisotropic fractional Sobolev norms";
Archiv der Mathematik,
103
(2014),
2;
167
- 175.
More information
-
D. Ma:
"Real-valued valuations on Sobolev spaces";
Science China-Mathematics,
59
(2016),
5;
921
- 934.
More information
-
H. Machida, M. Pinsker:
"Some polynomials generating minimal clones";
Journal of Multiple-Valued Logic and Soft Computing,
13
(2007),
353
- 365.
-
H. Machida, M. Pinsker:
"The minimal clones above the permutations";
Semigroup Forum,
75
(2007),
181
- 211.
-
F. Manhart:
"Affine Geometry of Minkowski Minimal Surfaces in R3";
Scientific and Professional Information Journal of Croatian Society for Constructive Geometry and Computer Graphics,
11
(2007),
15
- 23.
-
F. Manhart:
"Affine rotational surfaces with vanishing affine curvature";
Journal of Geometry,
80
(2004),
166
- 178.
-
F. Manhart:
"Affine surfaces with planar affine normals in 3-dimensional Minkowski space R_1^3";
Mathematica Pannonica,
17/1
(2006),
69
- 82.
-
F. Manhart:
"Bonnet-Thomsen surfaces in Minkowski geometry";
Journal of Geometry,
106
(2015),
47
- 61.
-
F. Manhart:
"Kurven und Flächen - Analytische Behandlung und graphische Darstellung mit MAPLE, Teil 1: Ebene Kurven";
IBDG,
21
(2002),
35
- 44.
-
F. Manhart:
"Kurven und Flächen - Analytische Behandlung und graphische Darstellung mit MAPLE, Teil2; Flächen;";
IBDG,
Jg.22, Heft 1
(2003),
12
- 24.
-
F. Manhart:
"Minkowski minimal surfaces in R_1^3 with minimal focal surfaces";
Beiträge zur Algebra und Geometrie,
50
(2009),
2;
449
- 468.
-
F. Manhart:
"Surfaces with affine rotational symmetry and flat affine metric in R^3";
Studia Scientiarum Mathematicarum Hungarica,
40
(2003),
1
- 10.
-
F. Manhart:
"Timelike Minimal Helicoidal Surfaces in Lorentz-Minkowski 3-Space revisited";
Slovak Journal for Geometry and Graphics,
12
(2015),
27
- 43.
-
F. Manhart, M. Peternell:
"The Convolution of a Paraboloid and a Parametrized Surface";
Journal for Geometry and Graphics,
7
(2003),
2;
157
- 171.
-
J.-F. Marckert, A. Panholzer:
"Noncrossing trees are almost conditioned Galton-Watson trees";
Random Structures and Algorithms,
20
(2002),
115
- 125.
-
R. Marczinzik, M. Rubey, C. Stump:
"A combinatorial classification of 2-regular simple modules for Nakayama algebras";
Journal of Pure and Applied Algebra,
225
(2021),
3.
More information
-
G. Maresch:
"Filters and subgroups associated with Hartman measurable functions";
Integers: Electronic Journal of Combinatorial Number Theory,
http://www.integers-ejcnt.org/vol5-3.html
(2005),
5(3);
17 pages.
-
G. Maresch, F. Schuster:
"The sine transform of isotropic measures";
International Mathematics Research Notices,
2012
(2012),
717
- 739.
More information
-
G. Maresch, R. Winkler:
"Compactifications, Hartman Functions and (Weak) Almost Periodicity";
Dissertationes Math. (Rozprawy Mat.),
461
(2009),
1
- 72.
-
A. Marlewski, J. Wiesenbauer:
"Fibonacci, Lucas and Pell numbers in Derive for Windows";
Pro Dialog,
17
(2004),
65
- 78.
-
C. Martinez, A. Panholzer, H. Prodinger:
"The analysis of Range Quickselect and related problems";
Theoretical Computer Science,
412
(2011),
46;
6537
- 6555.
-
J. Medina, E. Turunen, E. Bartl, J. Diaz-Moreno:
"Minimal Solutions of Fuzzy Relation Equations with General Operators on the Unit Interval";
Information Processing and Management of Uncertainty in Knowledge-Based Systems,
444
(2014),
81
- 90.
More information
-
D. Meija Guzman:
"Template iterations with non definablwe forcing notions";
Annals of Pure and Applied Logic,
166
(2015),
11;
1071
- 1109.
More information
-
G. Metcalfe:
"Proof theory for Casari´s comparative logics";
Journal of Logic and Computation,
16
(2006),
4;
405
- 422.
-
G. Metcalfe, N. Olivetti, D. Gabbay:
"Analytic calculi for product logics";
Archive for Mathematical Logic,
43
(2004),
7;
859
- 889.
-
G. Metcalfe, N. Olivetti, D. Gabbay:
"Lukasiewicz logic: From proof system to logic programming";
Logic Journal of the IGPL,
13
(2005),
561
- 585.
-
G. Metcalfe, N. Olivetti, D. Gabbay:
"Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics";
ACM Transactions on Computational Logic,
6
(2005),
3;
578
- 613.
-
N. Mitra, L. Guibas, M. Pauly:
"Symmetrization";
ACM Transactions on Graphics,
26
(2007),
3.
-
R. Mohammadpour:
"Almost Strong Properness";
Proceedings of the American Mathematical Society,
149
(2021),
12;
5359
- 5365.
-
R. Mohammadpour, B. Velickovic:
"Guessing models and the approachability ideal.";
Journal of Mathematical Logic,
21
(2021),
2.
-
F. Molina, M. Dehmer, P. Perco, A. Graber, M. Girolami, G. Spasovski, J. Schanstra, A. Vlahou:
"Systems biology: opening new avenues in clinical research";
Nephrology Dialysis Transplantation,
25
(2010),
25;
1015
- 1018.
-
O. Mordhorst:
"New results on affine invariant points";
Israel Journal of Mathematics,
219
(2017),
2;
529
- 548.
-
O. Mordhorst:
"The optimal constants in Khintchine's inequality for the case 2<p<3";
Colloquium Mathematicum,
147
(2017),
2;
203
- 216.
-
O. Mordhorst, E. Werner:
"Duality of floating and illumination bodies";
Indiana Univ.Math.J.,
69
(2020),
5;
1507
- 1541.
-
O. Mordhorst, E. Werner:
"Floating and illumination bodies for polytopes: duality results";
Discrete Analysis,
11
(2019).
More information
-
J. Morgenbesser:
"The sum of digits of Gaussian primes";
Ramanujan Journal,
27
(2011),
1;
43
- 70.
-
J. Morgenbesser:
"The sum of digits of squares in Z[i]";
Journal of Number Theory,
130
(2010),
7;
1433
- 1469.
-
J. Morgenbesser:
"The sum of digits of [nc]";
Acta Arithmetica,
148
(2011),
4;
367
- 393.
-
J. Morgenbesser, L. Spiegelhofer:
"A reverse order property of correlation measures of the sum-digits function";
Integers: Electronic Journal of Combinatorial Number Theory,
12
(2012),
5 pages.
-
J. Morgenbesser, T. Stoll, J. Shallit:
"Thue-Morse at multiples of an integer";
Journal of Number Theory,
131
(2011),
8;
1498
- 1512.
-
K. Morris, A. Panholzer, H. Prodinger:
"On some parameters in heap ordered trees";
Combinatorics, Probability and Computing,
13
(2004),
4-5;
677
- 696.
-
A. Mowshowitz, M. Dehmer:
"A symmetry index for graphs";
SYMMETRY: Culture and Science,
21
(2010),
4;
321
- 327.
-
H. Mühlthaler, H. Pottmann:
"Computing the Minkowski sum of ruled surfaces";
Graphical Models,
65
(2003),
369
- 384.
-
C. Müller:
"Conformal hexagonal meshes";
Geometriae Dedicata,
154
(2011),
27
- 46.
-
C. Müller:
"Discretizations of the hyperbolic cosine.";
Beiträge zur Algebra und Geometrie,
54
(2013),
2;
509
- 531.
More information
-
C. Müller:
"On Discrete Mean Curvature Surfaces";
Discrete & Computational Geometry,
51
(2014),
3;
516
- 538.
-
C. Müller:
"Planar discrete isothermic nets of conical type";
Beiträge zur Algebra und Geometrie,
57
(2016),
2;
459
- 482.
More information
-
C. Müller:
"Semi-Discrete Constant Mean Curvature Surfaces";
Mathematische Zeitschrift,
279
(2015),
1;
459
- 478.
More information
-
C. Müller, A. Vaxman:
"Discrete Curvature and Torsion from Cross-Ratios";
arXiv.org e-Print archive,
arXiv:2008.13236v1
(2020).
More information
-
C. Müller, J. Wallner:
"Oriented mixed area and discrete minimal surfaces";
Discrete & Computational Geometry,
43
(2010),
303
- 320.
-
C. Müller, J. Wallner:
"Semidiscrete isothermic surfaces";
Results in Mathematics,
63
(2013),
(3-4);
1395
- 1407.
-
S. Müller, P. Lücke:
"Closure properties of measurable ultrapowers.";
Journal of Symbolic Logic,
86
(2021),
2;
762
- 784.
-
C. Müllner, A. Ryzhikov:
"Palindromic subsequences in finite words";
Lecture Notes in Computer Science,
11417
(2019).
More information
-
C. Müllner, R. Yassawi:
"Automorphisms of automatic shifts";
ArXiv,
1904.00854
(2019),
36 pages.
-
C. Müllner, R. Yassawi:
"Automorphisms of automatic shifts";
Ergodic Theory and Dynamical Systems,
First View
(2020),
30 pages.
More information
-
F. Mußnig:
"SL(n) invariant valuations on super-coercive convex functions";
Canadian Journal of Mathematics,
73
(2021),
108
- 130.
-
F. Mußnig:
"Valuations on log-concave functions";
Journal of Geometric Analysis,
31
(2021),
6427
- 6451.
More information
-
F. Mußnig:
"Volume, polar volume and Euler characteristic for convex functions";
Advances in Mathematics,
344
(2019),
340
- 373.
-
G. Nawratil:
"A remarkable set of Schönflies-singular planar Stewart Gough platforms";
Computer Aided Geometric Design,
27
(2010),
7;
503
- 513.
-
G. Nawratil:
"All Planar Parallel Manipulators with Cylindrical Singularity Surface";
Mechanism and Machine Theory,
44
(2009),
12;
2179
- 2186.
-
G. Nawratil:
"Architectural singularities of a class of pentapods";
Mechanism and Machine Theory,
57
(2012),
139.
-
G. Nawratil:
"Correcting Duporcq's theorem.";
Mechanism and Machine Theory,
73
(2014),
282
- 295.
-
G. Nawratil:
"Flexible octahedra in the projective extension of the Euclidean 3-space";
Journal of Geometry and Graphics,
14
(2010),
2;
147
- 169.
-
G. Nawratil:
"Flexible Oktaeder mit Fernelementen";
IBDG,
31
(2012),
2;
28
- 30.
-
G. Nawratil:
"Fundamentals of quaternionic kinematics in Euclidean 4-space.";
Advances in Applied Clifford Algebras,
26
(2016),
693
- 717.
-
G. Nawratil:
"Hexapods with plane-symmetric self-motions";
Robotics,
7
(2018).
-
G. Nawratil:
"Introducing the theory of bonds for Stewart Gough platforms with self-motions.";
Journal of Mechanisms and Robotics (ASME),
6
(2014),
011004.
-
G. Nawratil:
"Necessary conditions for type II DM self-motions of planar Stewart Gough platforms";
Journal for Geometry and Graphics,
16
(2012),
2;
139
- 151.
-
G. Nawratil:
"New Performance Indices for 6-dof UPS and 3-dof RPR Parallel Manipulators.";
Mechanism and Machine Theory,
44
(2008),
1;
208
- 221.
-
G. Nawratil:
"New performance indices for 6R robots";
Mechanism and Machine Theory,
42
(2007),
1499
- 1511.
-
G. Nawratil:
"On elliptic self-motions of planar projective Stewart Gough platforms.";
Transactions of the Canadian Society for Mechanical Engineering,
37
(2013),
4;
1057
- 1071.
-
G. Nawratil:
"On equiform Stewart Gough platforms with self-motions.";
Journal for Geometry and Graphics,
17
(2013),
2;
163
- 175.
-
G. Nawratil:
"On Stewart Gough manipulators with multidimensional self-motions.";
Computer Aided Geometric Design,
31
(2014),
582
- 594.
-
G. Nawratil:
"On the degenerated cases of architecturally singular planar parallel manipulators";
Journal of Geometry and Graphics,
12
(2008),
2;
141
- 149.
-
G. Nawratil:
"On the Self-Mobility of Point Symmetric Hexapods";
Symmetry-Basel,
6
(2014),
4;
954
- 974.
-
G. Nawratil:
"Planar Stewart Gough platforms with a type II DM self-motion.";
Journal of Geometry,
102
(2011),
149
- 169.
-
G. Nawratil:
"Point-modesl for the set of oriented line-elements - a survey";
Mechanism and Machine Theory,
111
(2017),
118
- 134.
-
G. Nawratil:
"Quaternionic approach to equiform kinematics and line-elements of Euclidean 4-space and 3-space.";
Computer Aided Geometric Design,
47
(2016),
150
- 162.
-
G. Nawratil:
"Reducible compositions of spherical four-bar linkages with a spherical coupler component";
Mechanism and Machine Theory,
46
(2011),
5;
725
- 742.
-
G. Nawratil:
"Reducible compositions of spherical four-bar linkages without a spherical coupler component.";
Mechanism and Machine Theory,
49
(2012),
87
- 103.
-
G. Nawratil:
"Review and recent results on Stewart Gough platforms with self-motions";
Applied Mechanics and Materials,
162
(2012),
151
- 160.
-
G. Nawratil:
"Self-motions of TSSM manipulators with two parallel rotary axes";
Journal of Mechanisms and Robotics (ASME),
3
(2011),
3;
031007-1
- 031007-10.
-
G. Nawratil:
"Snappability and singularity-distance of pin-jointed body-bar frameworks.";
Mechanism and Machine Theory,
167
(2022).
-
G. Nawratil:
"Stewart Gough platforms with non-cubic singularity surface";
Mechanism and Machine Theory,
45
(2010),
12;
1851
- 1863.
-
G. Nawratil:
"The Plücker Quadric´s Ambient Space: Alternative Interpretation and its Application";
Journal for Geometry and Graphics,
22
(2018),
229
- 244.
-
G. Nawratil:
"Types of self-motions of planar Stewart Gough Platforms";
Meccanica,
48
(2013),
5;
1177
- 1190.
-
G. Nawratil, H. Pottmann:
"Subdivision Schemes for the fair Discretization of the Spherical Motion Group.";
Journal of Computational and Applied Mathematics,
22
(2008),
2;
574
- 591.
-
G. Nawratil, H. Pottmann, B. Ravani:
"Generalized Penetration Depth Computational based on kinematical geometry";
Computer Aided Geometric Design,
26
(2009),
4;
425
- 443.
-
G. Nawratil, J. Schicho:
"Duporcq Pentapods";
Journal of Mechanisms and Robotics (ASME),
9
(2017),
0110011
- 0110017.
-
G. Nawratil, J. Schicho:
"Pentapods with Mobility 2.";
Journal of Mechanisms and Robotics (ASME),
7(3)
(2015),
031016.
-
G. Nawratil, J. Schicho:
"Self-motions of pentapods with linear platform";
Robotica,
35
(2017),
832
- 860.
-
M. Noy, C. Requilé, J. Rué:
"Further results on random cubic planar graphs";
Random Structures and Algorithms,
56
(2020),
3;
892
- 924.
More information
-
M. Ober:
"Asymmetric Lp convexification and the convex Lorentz-Sobolev inequality";
Monatshefte für Mathematik,
179
(2016),
1;
113
- 127.
More information
-
M. Ober:
"Lp-Minkowski valuations on Lq-spaces";
Journal of Mathematical Analysis and Applications,
414
(2014),
1;
68
- 87.
More information
-
B. Odehnal:
"Common Normals of Two Tori";
Journal for Geometry and Graphics,
9
(2005),
51
- 65.
-
B. Odehnal:
"Die Linienelemente des P^3";
Sitzungsberichte ÖAW,
Abt.II
(2007),
155
- 171.
-
B. Odehnal:
"Equioptic Curves of Conic Sections";
Journal of Geometry and Graphics,
14
(2010),
1;
29
- 43.
-
B. Odehnal:
"Flags in Euclidean Threespace";
Mathematica Pannonica,
17/1
(2006),
29
- 48.
-
B. Odehnal:
"Generalized Gergonne and Nagel Points";
Beiträge zur Algebra und Geometrie,
51
(2010),
2;
477
- 491.
-
B. Odehnal:
"Note on Flecnodes";
Journal of Geometry and Graphics,
19
(2009),
1;
29
- 40.
-
B. Odehnal:
"On isotropic congruences of lines in elliptic three-space";
Mathematica Pannonica,
16/1
(2005),
119
- 135.
-
B. Odehnal:
"On rational isotropic congruences of lines";
Journal of Geometry,
81
(2004),
126
- 138.
-
B. Odehnal:
"Poristic Loci of Triangle Centers";
Journal for Geometry and Graphics,
15
(2011),
1;
45
- 67.
-
B. Odehnal:
"Some triangle centers associated with the circles tangent to the excircles";
Forum Geometricorum,
10
(2010),
35
- 40.
-
B. Odehnal:
"Subdivision schemes for ruled surfaces";
Journal for Geometry and Graphics,
12
(2008),
1;
35
- 52.
-
B. Odehnal:
"Three points related to the incenter and excenters of a triangle";
Elemente der Mathematik,
61
(2006),
74
- 80.
-
B. Odehnal:
"Zur geometrischen Erzeugung linearer Geradenabbildungen";
Sitzungsberichte ÖAW,
213
(2004),
43
- 69.
-
O. Ortega Moreno:
"An optimal plank theorem";
Proceedings of the American Mathematical Society,
149
(2021),
3;
1225
- 1237.
More information
-
O. Ortega Moreno, F. Schuster:
"Fixed points of Minkowski valuations";
Advances in Mathematics,
392
(2021),
108017.
More information
-
A. Panholzer:
"A combinatorial approach for discrete car parking on random labelled trees";
Journal of Combinatorial Theory Series A,
173
(2020),
105233.
More information
-
A. Panholzer:
"A distributional study of the path edge-covering numbers for random trees";
Discrete Applied Mathematics,
156
(2008),
1036
- 1052.
-
A. Panholzer:
"Algorithms, random tree models and combinatorial objects";
Internationale Mathematische Nachrichten,
214
(2010),
1
- 16.
-
A. Panholzer:
"Alternating mapping functions";
Journal of Combinatorial Theory Series A,
120
(2013),
7;
1835
- 1850.
-
A. Panholzer:
"Analysis of multiple quickselect variants";
Theoretical Computer Science,
302
(2003),
45
- 91.
-
A. Panholzer:
"Analysis of some parameters for random nodes in priority trees";
Discrete Mathematics & Theoretical Computer Science,
10
(2008),
2;
1
- 38.
-
A. Panholzer:
"Consecutive permutation patterns in trees and mappings.";
Journal of Combinatorics,
12
(2021),
1;
17
- 54.
-
A. Panholzer:
"Cutting down very simple trees";
Quaestiones Mathematicae,
29
(2006),
211
- 227.
-
A. Panholzer:
"Distribution of the Steiner distance in generalized M-ary search trees";
Combinatorics, Probability and Computing,
13
(2004),
4-5;
717
- 733.
-
A. Panholzer:
"Gröbner bases and the defining polynomial of a context-free grammar generating function";
Journal of Automata, Languages and Combinatorics,
10
(2005),
1;
79
- 97.
-
A. Panholzer:
"Left and right length of paths in binary trees or on a question of Knuth";
Annals Of Combinatorics,
12
(2009),
479
- 492.
-
A. Panholzer:
"Non-crossing trees revisited: cutting down and spanning subtrees";
Discrete Mathematics & Theoretical Computer Science,
http://dmtcs.loria.fr/proceedings/html/pdfpapers/
(2003).
-
A. Panholzer:
"On generalized Fibonacci permutations";
Journal of Information and Optimization Sciences,
24
(2003),
591
- 610.
-
A. Panholzer:
"Parking function varieties for combinatorial tree models.";
Advances in Applied Mathematics,
128
(2021),
102191;
42 pages.
-
A. Panholzer:
"The climbing depth of random trees";
Random Structures and Algorithms,
26
(2005),
84
- 109.
-
A. Panholzer:
"The distribution of the path edge-covering numbers for random trees";
Electronic Notes in Discrete Mathematics,
19
(2005),
163
- 169.
-
A. Panholzer:
"The distribution of the size of the ancestor-tree and of the induced spanning subtree for random trees";
Random Structures and Algorithms,
25
(2004),
2;
179
- 207.
-
A. Panholzer:
"The height distribution of nodes in non-crossing trees";
Ars Combinatoria,
69
(2003),
19
- 32.
-
A. Panholzer, H. Hwang, N. Rolin, T. Tsai, M. Chen:
"Probalistic Analysis of the (1+1)-Evolutionary Algorithm";
Evolutionary Computation,
26
(2018),
2;
299
- 345.
-
A. Panholzer, M. Kuba:
"A note on harmonic number identities, Stirling series and multiple zeta values.";
International Journal of Number Theory,
15
(2019),
7;
1323
- 1348.
-
A. Panholzer, M. Kuba:
"Combinatorial Analysis of Growth Models for Series-Parallel Networks";
Combinatorics, Probability and Computing,
## online first
(2018),
1
- 26.
-
A. Panholzer, M. Kuba:
"Combinatorial analysis of growth models for series-parallel networks";
Combinatorics, Probability and Computing,
28
(2019),
4;
574
- 599.
-
A. Panholzer, M. Kuba:
"Stirling permutations containing a single pattern of length three";
Australasian Journal of Combinatorics,
74
(2019),
215
- 239.
-
A. Panholzer, M. Lackner:
"Parking functions for mappings";
Journal of Combinatorial Theory Series A,
142
(2016),
1
- 28.
More information
-
A. Panholzer, H. Prodinger:
"A generating functions proof of a curious identity";
Integers: Electronic Journal of Combinatorial Number Theory,
2, http://www.integers-ejcnt.org/vol2.html
(2002),
A6.
-
A. Panholzer, H. Prodinger:
"A short proof of a series evaluation in terms of harmonic numbers";
Integers: Electronic Journal of Combinatorial Number Theory,
9
(2009),
6 pages.
-
A. Panholzer, H. Prodinger:
"Analysis of some statistics for increasing tree families";
Discrete Mathematics & Theoretical Computer Science,
6
(2004),
2;
437
- 460.
-
A. Panholzer, H. Prodinger:
"Asymptotic results for the number of paths in a grid";
Bulletin of the Australian Mathematical Society,
85
(2012),
3;
446
- 455.
-
A. Panholzer, H. Prodinger:
"Bijections between certain families of labelled and unlabelled d-ary trees";
Applicable Analysis and Discrete Mathematics,
3
(2009),
1;
123
- 136.
-
A. Panholzer, H. Prodinger:
"Bijections for ternary trees and non-crossing trees";
Discrete Mathematics,
250
(2002),
181
- 195.
-
A. Panholzer, H. Prodinger:
"Binary search tree recursions with harmonic toll functions";
Journal of Computational and Applied Mathematics,
142
(2002),
211
- 225.
-
A. Panholzer, H. Prodinger:
"Computer-free evaluation of an infinite double sum via Euler sums";
Séminaire Lotharingien de Combinatoire,
55
(2005),
B55a;
1
- 3.
-
A. Panholzer, H. Prodinger:
"Level of nodes in increasing trees revisted";
Random Structures and Algorithms,
31
(2007),
2;
203
- 226.
-
A. Panholzer, H. Prodinger:
"Moments of level numbers of leaves in binary trees";
Journal of Statistical Planning and Inference,
101
(2002),
267
- 279.
-
A. Panholzer, H. Prodinger:
"Spanning tree size in random binary search trees";
Annals of Applied Probability,
14
(2004),
2;
718
- 733.
-
A. Panholzer, H. Prodinger, M. Riedel:
"Measuring post-quickselect disorder";
Journal of the Iranian Statistical Society (invited),
3
(2004),
2;
219
- 249.
-
A. Panholzer, H. Prodinger, M. Riedel:
"Permuting in place: analysis of two stopping rules";
Journal of Algorithms,
51
(2004),
170
- 184.
-
A. Panholzer, G. Seitz:
"Ancestors and descendants in evolving k-tree models";
Random Structures and Algorithms,
44
(2014),
465
- 489.
-
A. Panholzer, G. Seitz:
"Limiting distributions for the number of inversions in labelled tree families";
Annals Of Combinatorics,
16
(2012),
4;
847
- 870.
-
L. Parapatits:
"SL(n)-contravariant Lp-Minkowski valuations";
Transactions of the American Mathematical Society,
366
(2014),
1195
- 1211.
More information
-
L. Parapatits:
"SL(n)-covariant Lp-Minkowski valuations";
Journal of the London Math. Soc.,
89
(2014),
2;
397
- 414.
More information
-
L. Parapatits, F. Schuster:
"The Steiner formula for Minkowski valuations";
Advances in Mathematics,
230
(2012),
3;
978
- 994.
More information
-
M. Pauly, N. Mitra, J. Wallner, H. Pottmann, L. Guibas:
"Discovering Structural Regularity in 3D Geometry";
ACM Transactions on Graphics,
27/3
(2008).
-
D. Pellis, M. Kilian, F. Dellinger, J. Wallner, H. Pottmann:
"Visual smoothness of polyhedral surfaces";
ACM Transactions on Graphics,
38/4
(2019),
31;
1
- 11.
More information
-
D. Pellis, M. Kilian, H. Pottmann, M. Pauly:
"Computational design of Weingarten surfaces";
ACM Transactions on Graphics,
40
(2021),
4;
1
- 11.
More information
-
D. Pellis, H. Wang, M. Kilian, F. Rist, H. Pottmann, C. Müller:
"Principal Symmetric Meshes";
ACM Transactions on Graphics,
39/4
(2020),
127.
More information
-
M. Pember:
"Weierstrass-type representations";
Geometriae Dedicata,
203
(2019).
-
M. Pember, W. Rossman, K. Saji, K. Teramoto:
"Characterising singularities of a surface in Lie sphere geometry";
Hokkaido Math J,
48
(2019),
2;
281
- 308.
-
M. Peternell:
"Developable surface fitting to point clouds";
Computer Aided Geometric Design,
21
(2004),
8;
785
- 803.
-
M. Peternell:
"Generalized Dupin Cyclides with Rational Lines of Curvature";
Lecture Notes in Computer Science,
6920
(2012),
543
- 552.
-
M. Peternell:
"Rational Two-Parameter Families of Spheres and Rational Offset Surfaces";
Journal of Symbolic Computation,
45
(2010),
1
- 18.
-
M. Peternell, L. Gotthart, J. Sendra, J. R. Sendra:
"Offsets, conchoids and pedal surfaces";
Journal of Geometry,
106
(2015),
2;
321
- 339.
More information
-
M. Peternell, D. Gruber, J. Sendra:
"Conchoid surfaces of spheres";
Computer Aided Geometric Design,
30
(2013),
35
- 44.
-
M. Peternell, D. Gruber, J. Sendra:
"Concoid surfaces of rational ruled surfaces";
Computer Aided Geometric Design,
28
(2011),
427
- 435.
-
M. Peternell, B. Odehnal:
"Convolution surfaces of quadratic triangular Bezier surfaces";
Computer Aided Geometric Design,
27
(2007),
1
- 14.
-
M. Peternell, B. Odehnal:
"Convolution surfaces of Quadratic Triangular Bezier Surfaces";
Computer Aided Geometric Design,
25
(2008),
116
- 129.
-
M. Peternell, B. Odehnal, M. Sampoli:
"On quadratic two-parameter families of spheres and their envelopes";
Computer Aided Geometric Design,
25
(2008),
342
- 355.
-
M. Peternell, H. Pottmann:
"Approximations in the space of planes -- Applications to geometric modeling and reverse engineering";
Revista de la Real Academia de Ciencias Serie A. Matematicas,
Vol. 96(2)
(2002).
-
M. Peternell, H. Pottmann, T. Steiner, H. Zhao:
"Swept Volumes";
Computer-Aided Design Appl.,
2
(2005),
5;
599
- 608.
-
M. Peternell, T. Steiner:
"Minkowski sum boundary surfaces of 3D-objects";
Graphical Models,
69
(2007),
180
- 190.
-
M. Peternell, T. Steiner:
"Reconstruction of piecewise planar objects from point clouds";
Computer Aided Design,
36
(2004),
333
- 342.
-
S. Pfannerer, M. Rubey, B. Westbury:
"Promotion on oscillating and alternating tableaux and rotation of matchings and permutations";
Journal of Algebraic Combinatorics,
3
(2020),
1;
107
- 141.
More information
-
S. Pfannerer, M. Rubey, B. Westbury:
"Promotion, evacuation and cactus groups";
Séminaire Lotharingien de Combinatoire,
78B
(2017),
71.