Scientific Papers

M. Kreuzer, J. Limbeck and H. Poulisse, Rational approximation of border bases, preprint 2014
M. Kreuzer and X. Xiu, Non-commutative Gebauer-Möller criteria, 20 p., preprint 2014
M. Kreuzer and M. Kriegl, Gröbner bases for syzygy modules of border bases, J. Algebra Appl. 13 (2014), 145003 (32 pages)
M. Kreuzer and G. Rosenberger, Growth in Hecke groups, in: M. Izquierdo (ed.), Riemann and Klein Surfaces, Symmetries and Moduli Spaces, Contemp. Math. 629 (2014), pp. 261-281
M. Kreuzer, A.D. Myasnikov and A. Ushakov, A linear algebra attack to group-ring-based key exchange protocols, in: I. Boureanu, P. Owesarski and S. Vandenay (eds.), Proc. Conf. ACNS 2014, LNCS 8475, Springer Verlag 2014, pp. 37-43
F. Kiraly, M. Kreuzer and L. Theran, Dual-to-Kernel Learning with Ideals, preprint 2014 (9 pages)

M. Beck, H. de Meer, M. Kreuzer and S. Schuster, Estimating photo-voltaic power supply without smart metering infrastructure, in: S. Klingert, X. Hesselbach-Serra, M. Perez Ortega and G. Guliani, Energy Efficient Data Centers: Second Int. Workshop E2DC 2013, LNCS, Springer Verlag, Heidelberg 2013, 15 p. (to appear)
B. Fine, M. Kreuzer and G. Rosenberger, Faithful real representations of cyclically pinched one-relator groups, Int. J. Group Theory 3 (2014), pp. 1-8
I. Polian and M. Kreuzer, Fault-based attacks on cryptographic hardware, in: Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2013 IEEE 16th International Symposium in Karlyovy Vary, IEEE Xplore, Piscataway, 2013, pp. 12-17, DOI: 10.1109/DDECS.2013.6549781
P. Jovanovic, M. Kreuzer and I. Polian, Multi-stage fault attacks, in: 14th Workshop on RTL and High Level Testing (WRTLT '13), Jiaosi/Taiwan 2013, IEEE Computer Society, 2013
A.V. Geramita and M. Kreuzer, On the uniformity of zero-dimensional complete intersections, J. Algebra 391 (2013), pp. 82-92
B. Fine, M. Kreuzer and G. Rosenberger, Free Polynomial Algebras and Magnus's Freiheitssatz, 8 p., preprint 2013

P. Jovanovic, M, Kreuzer and I. Polian, A fault attack on the LED Block Cipher, in: W. Schindler and A. Huss (eds.), Constructive Side-Channel Analysis and Secure Design (COSADE 2012), LNCS 7275, Springer Verlag, Heidelberg 2012, pp. 120-134
R. Ali and M. Kreuzer, Weyl Gröbner Basis crypto systems, in: B. Fine, D. Kahrobaei and G. Rosenberger (eds.), Computational and Combinatorial Group Theory and Cryptosystems, Contemp. Math. 582, Amer. Math. Soc., Providence 2012

C. Baciu und M. Kreuzer, Algebraisches Erdöl, Mitteilungen der DMV 19 (2011), pp. 142-147

M. Kreuzer, La matematica degli scacchi, in: C. Bartocci and P.Odifreddi (eds.), La Matematica, Vol. 3: Snoni, forme, parole, G. Einaudi Editore, Torino 2011, pp. 535-572
M. Kreuzer and H. Poulisse, Subideal border bases, Math. Comp. 80 (2011), pp. 1135-1154
M. Kreuzer, L. Robbiano, The geometry of border bases, Journal of Pure and Applied Algebra 215 (2011), pp. 2005-2018

P. Jovanovic, M. Kreuzer, Algebraic Attacks using SAT-solvers, Groups - Complexity - Cryptology 2 (2010), 247-259

M. Kreuzer, Algebraic attacks galore!, Groups - Complexity - Cryptology 1 (2009), 231-259
M. Kreuzer, H. Poulisse and L. Robbiano, From oil fields to Hilbert schemes, in: J. Abbott and L. Robbiano (eds.), Approximate Commutative Algebra, Springer, Vienna 2009, pp. 1-54
D. Heldt, M. Kreuzer, S. Pokutta and H. Poulisse, Approximate computation of zero-dimensional polynomial ideals, J. Symb. Comput. 44 (2009), pp. 1566-1591

M. Kreuzer and L. Robbiano, Deformations of Border Bases, Coll. Math. 59 (2008), pp. 275-297

M. Kreuzer, Computing Hilbert-Kunz functions of 1-dimensional graded rings, Univ. Iagellonicae Acta Math. 45 (2007), pp. 81-95
H. Bluhm and M. Kreuzer, Computation of two-sided syzygies over non-commutative rings, Contemp. Math. 421 (2007), S. 45-64 < pdf-file>

M. Kreuzer, A. Myasnikov, G. Rosenberger and A. Ushakov, Quotient tests and Gröbner bases, Contemp. Math. 421 (2007), S. 187-200 < pdf-file> < dvi-file>

P. Ackermann and M. Kreuzer, Gröbner basis cryptosystems, Appl. Alg. in Eng., Comm. and Comp. 17 (2006), S. 173-194 [MR 2233780; Zbl pre05067384] < pdf-file> < dvi-file>
A. Kehrein and M. Kreuzer, Computing border bases, J. Pure Appl. Alg. 205 (2006), S. 279-295 [MR 2006k:13058; Zbl 1097.13036] < pdf-file> < dvi-file>
D. Heldt, M. Kreuzer, S. Pokutta and H. Poulisse, Algebraische Modellierung mit Methoden der approximativen Computeralgebra und Anwendungen in der Ölindustrie, OR News 28 (2006), S. 15-18 <pdf-file>

M. Kreuzer and L. Robbiano, Idealization of modules in computer algebra, in: S. Cojocaru, G. Pfister, und V. Ufnarovski (Hrsg.), Computational Non-Commutative and Commutative Algebraic Geometry, Proc. Conf. Chisinau 2004, NATO Science Series III, IOS Press, Amsterdam 2005, S. 226-243 [MR 2006g:13053] < pdf-file> < dvi-file>
A. Kehrein and M. Kreuzer, Characterizations of border bases, J. Pure Appl. Alg. 196 (2005), S. 251-270 [MR 2006e:13037; Zbl 1081.13011] < pdf-file> < dvi-file>

J. Abbott, M. Kreuzer and L. Robbiano, Computing zero-dimensional schemes, J. Symb. Comp. 39 (2005), S. 31-49 [MR 2006g:13050] < pdf-file> <dvi-file>
A. Kehrein, M. Kreuzer and L. Robbiano, An algebraist's view on border bases, in: A. Dickenstein and I. Emiris (Hrsg.), Solving Polynomial Equations: Foundations, Algorithms, and Applications, Proc. CIMPA School (Buenos Aires 2003), Springer Verlag, Heidelberg 2005, S. 169-202 [MR 2161988] < ps-file>

M. Caboara, M. Kreuzer and L. Robbiano, Efficiently computing minimal sets of critical pairs, J. Symb. Comp. 38 (2004), S. 1169-1190 [MR 2005g:13045] < pdf-file> < dvi-file>

M. Kreuzer and L. Robbiano, Basic tools for computing in multigraded rings, in: J. Herzog, V. Vuletescu (Hrsg.), Commutative Algebra, Singularities, an Computer Algebra, Proc. Conf. Sinaia 2002, NATO Science Series II, Kluwer Acad. Publ., Dordrecht 2003, S. 197-216 [MR 2005f:13034; Zbl 1048.13019] < ps-file>

M. Caboara, M. Kreuzer and L. Robbiano, Minimal sets of critical pairs, in: A. Cohen, X. Gao und N. Takayama (Hrsg.), Mathematical Software, Proceedings of the First Int. Congress on Math. Software (Beijing 2002), World Scientific, Singapore 2002, S. 390-404 [MR 2003d:00014; Zbl 1057.68136] <dvi-file>

M. Kreuzer, Algorithms for checking uniformity conditions and applications in coding theory, in: A.V. Geramita (ed.), Proceedings of the workshop ``Zero-Dimensional Schemes and Applications'', Naples 2000, Queen's Papers in Pure and Appl. Math. 123, Queen's University, Kingston 2001, S. C1-C9 [MR 2003c:14053: Zbl 1060.14069] <dvi-file>

J. Abbott, A. Bigatti, M. Kreuzer and L. Robbiano, Computing ideals of points, J. Symb. Comp. 30 (2000), S. 341-356 [MR 2001j:13026; Zbl. 977.13011] <dvi-file>

M. Kreuzer, J.C. Migliore, U. Nagel and C. Peterson, Determinantal schemes and Buchsbaum-Rim sheaves, J. Pure Appl. Alg. 150 (2000), S. 155-174 [MR 2001f:14092; Zbl. 999.14014] <dvi-file>
M. Kreuzer, On the canonical ideal of a set of points, Boll. UN. Mat. Ital. (8) 1-B (2000), S. 221-261 [MR 2001g:13026; Zbl. 2001g:13026] <dvi-file>

G. de Dominicis and M. Kreuzer, Kähler differentials for points in P^n, J. Pure Appl. Alg. 141 (1999), 153-173 <dvi-file> [MR: 2000f:13050; Zbl 943.13019]

B. Kreuzer and M. Kreuzer, Extremal zerodimensional subschemes of P^2, J. Pure Appl. Alg. 131 (1998), 159-177 [MR 99g:14061; ZBl 987.14032] <dvi-file>

M. Kreuzer and R. Waldi, On the Castelnuovo-Mumford regularity of a projective system, Comm. Algebra 25 (1997) , S. 2919-2929 [MR 98e:13016; Zbl 883.13014] <dvi-file>

S. Beck and M. Kreuzer, How to compute the canonical module of a set of points, in: L. Gonzales-Vega und T. Recio (Hrsg.), Algorithms in Algebraic Geometry and Applications, Proc. Conf. MEGA '94, Santander 1994, Progress in Math. 143, Birkhäuser Verlag, Basel 1996, pp. 51-78 [MR 97g:13044; Zbl 894.13003] <dvi-file>

M. Kreuzer and L. Robbiano, On maximal Cayley-Bacharach schemes, Comm. Algebra 23 (1995), S. 3357-3378 [MR 96g:14008; Zbl 849.14017] <dvi-file>

M. Kreuzer, Some applications of the canonical module of a 0-dimensional scheme, in: F. Orecchia and L. Chiantini (Hrsg.), Zero-Dimensional Schemes, Proc. Conf. Ravello 1992, de Gruyter, Berlin 1994, S. 243-252 [MR 95h:14008; Zbl 826.14031] <dvi-file>
M. Kreuzer, On the canonical module of a 0-dimensional scheme, Can. J. Math. 46 (1994), S. 357-379 [MR 95d:13021; Zbl 826.14030] <dvi-file>

A.V. Geramita, M. Kreuzer and L. Robbiano, Cayley-Bacharach schemes and their canonical modules, Trans. Amer. Math. Soc. 339 (1993), S. 163-189 [MR 93k:14065; Zbl 793.14002] <dvi-file>
M. Kreuzer, Vector bundles with good sections, Comm. Algebra 21 (1993), S. 1043-1062 [MR 94d:14018; Zbl 781.14005] <dvi-file>

M. Kreuzer, On 0-dimensional complete intersections, Math. Ann. 292 (1992), S. 43 - 58 [MR 92m:14064; Zbl 741.14030] <dvi-file>

M. Kreuzer, An introduction to a theorem of Strano, in: The Curves Seminar at Queen's, Vol. VIII, Queen's Papers in Pure and Appl. Math. 88, Queen's University, Kingston 1991, S. C1-C23 [MR 93d:14074; Zbl 754.14017] <dvi-file>

M. Kreuzer and E. Kunz, Traces in strict Frobenius algebras and strict complete intersections, J. Reine Angew. Math. 381 (1987), S. 181-204 [MR 89c:14022; Zbl 626.13009]