Members of the Forum Algebra produce more than a hundred publications every year. The list below is automatically generated and may not be complete.

▪▪▪ 2010 ▪ 2009 ▪ 2008 ▪ 2007 ▪ 2006 ▪▪▪

• Erkko Lehtonen. A note on minors determined by clones of semilattices. ArXiv 0809.3234v2.
• Manuel Kauers, Christoph Koutschan, Doron Zeilberger. A Proof of George Andrews' and Dave Robbins' q-TSPP Conjecture (modulo a finite amount of routine calculations). ArXiv 0808.0571v2.
• Carsten Schneider. A refined difference field theory for symbolic summation. J. Symb. Comput. 43(9):611-644.
• Carsten Schneider. A refined difference field theory for symbolic summation. J. Symb. Comput. 43(9):611-644 .
• Carsten Schneider. A Refined Difference Field Theory for Symbolic Summation. ArXiv 0808.2543v1.
• Thomas Vetterlein. A way to interpret Łukasiewicz logic and basic logic. Stud. Log. 90(3):407-423 .
• Thomas Vetterlein. A way to interpret Łukasiewicz logic and basic logic. Stud. Log. 90(3):407-423.
• Armin Biere. Adaptive Restart Strategies for Conflict Driven SAT Solvers. Proc. SAT 2008, pp. 28-33.
• Thomas Vetterlein. Analytic calculi for logics of ordinal multiples of standard t-norms. J. Log. Comput. 18(1):35-57 .
• Thomas Vetterlein. Analytic calculi for logics of ordinal multiples of standard t-norms. J. Log. Comput. 18(1):35-57.
• Alin Bostan, Manuel Kauers. Automatic Classification of Restricted Lattice Walks. ArXiv 0811.2899v2.
• Erkko Lehtonen. Closed classes of functions, generalized constraints and clusters. ArXiv 0810.3212v1.
• Meng Zhou, Franz Winkler. Computing difference-differential dimension polynomials by relative Gröbner bases in difference-differential modules. J. Symb. Comput. 43(10):726-745 .
• Manuel Kauers, Burkhard Zimmermann. Computing the algebraic relations of $C$-finite sequences and multisequences. J. Symb. Comput. 43(11):787-803.
• Stefan Gerhold, Lev Glebsky, Carsten Schneider, Howard Weiss, Burkhard Zimmermann. Computing the complexity for Schelling segregation models. Commun. Nonlinear Sci. Numer. Simul. 13(10):2236-2245.
• Stefan Gerhold, Lev Glebsky, Carsten Schneider, Howard Weiss, Burkhard Zimmermann. Computing the complexity for Schelling segregation models. Commun. Nonlinear Sci. Numer. Simul. 13(10):2236-2245 .
• Armin Biere, Robert Brummayer. Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver. Proc. FMCAD 2008, pp. 1-4.
• Manuel Kauers, Doron Zeilberger. Experiments with a positivity-preserving operator. Exp. Math. 17(3):341-345.
• Harald Niederreiter, Arne Winterhof. Exponential sums for nonlinear recurring sequences. Finite Fields Appl. 14(1):59-64 .
• Harald Niederreiter, Arne Winterhof. Exponential sums for nonlinear recurring sequences. Finite Fields Appl. 14(1):59-64.
• Jaime Gutierrez, Arne Winterhof. Exponential sums of nonlinear congruential pseudorandom number generators with Rédei functions. Finite Fields Appl. 14(2):410-416 .
• Jaime Gutierrez, Arne Winterhof. Exponential sums of nonlinear congruential pseudorandom number generators with Rédei functions. Finite Fields Appl. 14(2):410-416.
• Temur Kutsia. Flat matching. J. Symb. Comput. 43(12):858-873.
• Thomas Vetterlein. Fuzzy logic as a logic of the expressive strength of information. Soft Comput. 12(5):479-485 .
• Thomas Vetterlein. Fuzzy logic as a logic of the expressive strength of information. Soft Comput. 12(5):479-485.
• Bruno Buchberger, Georg Regensburger, Markus Rosenkranz, Loredana Tec. General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials. ACM Comm. Computer Algebra 42(3):135-137.
• Meng Zhou, Franz Winkler. Gröbner bases in difference-differential modules and difference-differential dimension polynomials. Sci. China, Ser. A 51(9):1732-1752 .
• Manuel Kauers. Integration of algebraic functions: a simple heuristic for finding the logarithmic part. Proc. ISSAC 2008, pp. 133-140.
• Markus Rosenkranz, Georg Regensburger. Integro-differential polynomials and operators. Proc. ISSAC 2008, pp. 261-268.
• Tudor Jebelean, Gábor Kusper. Multi-Domain Logic and its Applications to SAT. Proc. SYNASC 2008, pp. 3-8.
• Carsten Schneider. Multi-summation in difference fields (abstract only). ACM Comm. Computer Algebra 42(1-2):19.
• Florian Lonsing, Armin Biere. Nenofex: Expanding NNF for QBF Solving. Proc. SAT 2008, pp. 196-210.
• Ayça Çeşmelioğlu, Wilfried Meidl, Alev Topuzoğlu. On the cycle structure of permutation polynomials. Finite Fields Appl. 14(3):593-614.
• Ayça Çeşmelioğlu, Wilfried Meidl, Alev Topuzoğlu. On the cycle structure of permutation polynomials. Finite Fields Appl. 14(3):593-614 .
• Nina Brandstätter, Wilfried Meidl. On the linear complexity of Sidel’nikov sequences over nonprime fields. J. Complexity 24(5-6):648-659.
• Nina Brandstätter, Wilfried Meidl. On the linear complexity of Sidel’nikov sequences over nonprime fields. J. Complexity 24(5-6):648-659 .
• Igor E. Shparlinski, Arne Winterhof. On the number of distances between the coordinates of points on modular hyperbolas. J. Number Theory 128(5):1224-1230 .
• Igor E. Shparlinski, Arne Winterhof. On the number of distances between the coordinates of points on modular hyperbolas. J. Number Theory 128(5):1224-1230.
• Carsten Schneider. Parameterized Telescoping Proves Algebraic Independence of Sums. ArXiv 0808.2596v1.
• Manuel Kauers, Christoph Koutschan, Doron Zeilberger. Proof of Ira Gessel's Lattice Path Conjecture. ArXiv 0806.4300v1.
• Wilfried Meidl. Reducing the calculation of the linear complexity of \(u_2^v\)-periodic binary sequences to Games-Chan algorithm. Des. Codes Cryptography 46(1):57-65 .
• Christoph Koutschan. Regular languages and their generating functions: The inverse problem. Theor. Comput. Sci. 391(1-2):65-74.
• Christoph Koutschan. Regular languages and their generating functions: The inverse problem. Theor. Comput. Sci. 391(1-2):65-74 .
• Thomas Vetterlein. Regular left-continuous t-norms. Semigroup Forum 77(3):339-379 .
• Thomas Vetterlein. Regular left-continuous t-norms. Semigroup Forum 77(3):339-379.
• Wilfried Meidl. Remarks on a cyclotomic sequence. Des. Codes Cryptography 51(1):33-43.
• Thomas Vetterlein. Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras. Math. Log. Q. 54(4):350-367 .
• Thomas Vetterlein. Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras. Math. Log. Q. 54(4):350-367.
• Markus Rosenkranz, Georg Regensburger. Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. J. Symb. Comput. 43(8):515-544 .
• Markus Rosenkranz, Georg Regensburger. Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. J. Symb. Comput. 43(8):515-544.
• Manuel Kauers. Solving difference equations whose coefficients are not transcendental. Theor. Comput. Sci. 401(1-3):217-227.
• Erhard Aichinger, G. Alan Cannon, Jürgen Ecker, Lucyna Kabza, Kent Neuerburg. Some near-rings in which all ideals are intersections of Noetherian quotients. Rocky Mt. J. Math. 38(3):713-726 .
• Erhard Aichinger, G.Alan Cannon, Jürgen Ecker, Lucyna Kabza, Kent Neuerburg. Some near-rings in which all ideals are intersections of Noetherian quotients. Rocky Mt. J. Math. 38(3):713-726.
• Manuel Kauers, Doron Zeilberger. The Quasi-Holonomic Ansatz and Restricted Lattice Walks. ArXiv 0806.4318v1.
• Manuel Kauers, Doron Zeilberger. The quasi-holonomic ansatz and restricted lattice walks. J. Difference Equ. Appl. 14(10-11):1119-1126.
• Armin Biere. Tutorial on Model Checking: Modelling and Verification in Computer Science. Proc. AB 2008, pp. 16-21.
• Isabella Bierenbaum, Johannes Blümlein, Sebastian Klein, Carsten Schneider. Two--Loop Massive Operator Matrix Elements for Unpolarized Heavy Flavor Production to $O(\epsilon). ArXiv 0803.0273v1.
• Isabella Bierenbaum, Johannes Blümlein, Sebastian Klein, Carsten Schneider. Two-loop massive operator matrix elements for unpolarized heavy flavor production to $O(\epsilon)$. Nucl. Phys., B 803(1-2):1-41.
• Isabella Bierenbaum, Johannes Blümlein, Sebastian Klein, Carsten Schneider. Two-loop massive operator matrix elements for unpolarized heavy flavor production to \(O(\epsilon)\). Nucl. Phys., B 803(1-2):1-41 .
• Igor E. Shparlinski, Arne Winterhof. Visible points on multidimensional modular hyperbolas. J. Number Theory 128(9):2695-2703 .
• Igor E. Shparlinski, Arne Winterhof. Visible points on multidimensional modular hyperbolas. J. Number Theory 128(9):2695-2703.
• Thomas Vetterlein. Weak effect algebras. Algebra Univers. 58(2):129-143 .
• Thomas Vetterlein. Weak effect algebras. Algebra Univers. 58(2):129-143.