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

▪▪▪ 2012 ▪ 2011 ▪ 2010 ▪ 2009 ▪ 2008 ▪▪▪

• Christoph Koutschan. A Fast Approach to Creative Telescoping. ArXiv 1004.3314v2.
• Christoph Koutschan. A fast approach to creative telescoping. Math. Comput. Sci. 4(2-3):259-266.
• Christoph Koutschan. A fast approach to creative telescoping. Math. Comput. Sci. 4(2-3):259-266 .
• Anja Korporal, Georg Regensburger, Markus Rosenkranz. A Maple package for integro-differential operators and boundary problems. ACM Commun. Comput. Algebra 44(4):120-122 .
• Anja Korporal, Georg Regensburger, Markus Rosenkranz. A Maple package for integro-differential operators and boundary problems. ACM Commun. Comput. Algebra 44(3-4):120-122.
• Madalina Erascu, Tudor Jebelean. A Purely Logical Approach to the Termination of Imperative Loops. Proc. SYNASC 2010, pp. 142-149.
• Petra Brosch, Martina Seidl, Gerti Kappel. A recommender for conflict resolution support in optimistic model versioning. SPLASH/OOPSLA Companion, pp. 43-50.
• Jorge Coelho, Besik Dundua, Mário Florido, Temur Kutsia. A Rule-Based Approach to XML Processing and Web Reasoning. Proc. RR 2010, pp. 164-172.
• Johannes Bluemlein, Sebastian Klein, Carsten Schneider, Flavia Stan. A Symbolic Summation Approach to Feynman Integral Calculus. ArXiv 1011.2656v2.
• Johannes Blümlein, Sebastian Klein, Carsten Schneider, Flavia Stan. A symbolic summation approach to Feynman integrals. ACM Commun. Comput. Algebra 44(3-4):95-96.
• Johannes Blümlein, Sebastian Klein, Carsten Schneider, Flavia Stan. A symbolic summation approach to Feynman integrals. ACM Commun. Comput. Algebra 44(4):95-96 .
• Wen-Fong Ke, Günter F. Pilz. Abstract algebra in statistics. J. Algebr. Stat. 1(1):6-12, electronic only.
• Hansjörg Albrecher, Corina Constantinescu, Gottlieb Pirsic, Georg Regensburger, Markus Rosenkranz. An algebraic operator approach to the analysis of Gerber-Shiu functions. Insur. Math. Econ. 46(1):42-51 .
• Hansjörg Albrecher, Corina Constantinescu, Gottlieb Pirsic, Georg Regensburger, Markus Rosenkranz. An algebraic operator approach to the analysis of Gerber-Shiu functions. Insur. Math. Econ. 46(1):42-51.
• Loredana Tec, Georg Regensburger, Markus Rosenkranz, Bruno Buchberger. An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. Proc. ICMS 2010, pp. 245-248.
• Ming Su, Arne Winterhof. Autocorrelation of Legendre-Sidelnikov sequences. IEEE Trans. Inf. Theory 56(4):1714-1718 .
• Robert Brummayer, Florian Lonsing, Armin Biere. Automated Testing and Debugging of SAT and QBF Solvers. Proc. SAT 2010, pp. 44-57.
• Matti Järvisalo, Armin Biere, Marijn Heule. Blocked Clause Elimination. Proc. TACAS 2010, pp. 129-144.
• Marijn Heule, Matti Järvisalo, Armin Biere. Clause Elimination Procedures for CNF Formulas. LPAR (Yogyakarta), pp. 357-371.
• Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel. Concurrent Modeling in Early Phases of the Software Development Life Cycle. Proc. CRIWG 2010, pp. 129-144.
• Petra Brosch, Horst Kargl, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel. Conflicts as First-Class Entities: A UML Profile for Model Versioning. MoDELS Workshops, pp. 184-193.
• Erhard Aichinger. Constantive Mal’cev clones on finite sets are finitely related. Proc. Am. Math. Soc. 138(10):3501-3507 .
• Erhard Aichinger. Constantive Mal’cev clones on finite sets are finitely related. Proc. Am. Math. Soc. 138(10):3501-3507.
• Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser. Decompositions of functions based on arity gap. ArXiv 1003.1294v1.
• Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz. Dominance in the family of Sugeno-Weber t-norms. ArXiv 1007.5442v1.
• Arne Winterhof, Christiaan van de Woestijne. Exact solutions to Waring’s problem for finite fields. Acta Arith. 141(2):171-190 .
• Arne Winterhof, Christiaan van de Woestijne. Exact solutions to Waring’s problem for finite fields. Acta Arith. 141(2):171-190.
• Georg Regensburger, Markus Rosenkranz, William Y. Sit. Foreword. Mathematics in Computer Science 4(2-3):139-141.
• Bruno Buchberger, Manuel Kauers. Groebner basis. Scholarpedia 5(10):7763.
• Petra Brosch, Martina Seidl, Konrad Wieland. Guiding modelers through conflict resolution: a recommender for model versioning. SPLASH/OOPSLA Companion, pp. 241-242.
• J. Ablinger, I. Bierenbaum, J. Blümlein, A. Hasselhuhhn, S. Klein, C. Schneider, F. Wißbrock. Heavy Flavor DIS Wilson coefficients in the asymptotic regime. ArXiv 1007.0375v1.
• Florian Lonsing, Armin Biere. Integrating Dependency Schemes in Search-Based QBF Solvers. Proc. SAT 2010, pp. 158-171.
• Wen-Fong Ke, Johan H. Meyer, Gerhard Wendt. Matrix maps over planar near-rings. Proc. R. Soc. Edinb., Sect. A, Math. 140(1):83-99 .
• Wen-Fong Ke, Johan H. Meyer, Gerhard Wendt. Matrix maps over planar near-rings. Proc. R. Soc. Edinb., Sect. A, Math. 140(1):83-99.
• G. Wendt. Minimal left ideals of near-rings. Acta Math. Hung. 127(1-2):52-63 .
• G. Wendt. Minimal left ideals of near-rings. Acta Math. Hung. 127(1-2):52-63.
• J. Ablinger, J. Blümlein, S. Klein, C. Schneider. Modern Summation Methods and the Computation of 2- and 3-loop Feynman Diagrams. ArXiv 1006.4797v1.
• Thomas Vetterlein. MTL-algebras arising from partially ordered groups. Fuzzy Sets Syst. 161(3):433-443 .
• Thomas Vetterlein. MTL-algebras arising from partially ordered groups. Fuzzy Sets Syst. 161(3):433-443.
• Thomas Vetterlein, Agata Ciabattoni. On the (fuzzy) logical content of CADIAG-2. Fuzzy Sets Syst. 161(14):1941-1958 .
• Thomas Vetterlein, Agata Ciabattoni. On the (fuzzy) logical content of CADIAG-2. Fuzzy Sets Syst. 161(14):1941-1958.
• Mircea Marin, Temur Kutsia. On the computation of quotients and factors of regular languages. Frontiers of Computer Science in China 4(2):173-184.
• Alina Ostafe, Igor E. Shparlinski, Arne Winterhof. On the generalized joint linear complexity profile of a class of nonlinear pseudorandom multisequences. Adv. Math. Commun. 4(3):369-379 .
• Alina Ostafe, Igor E. Shparlinski, Arne Winterhof. On the generalized joint linear complexity profile of a class of nonlinear pseudorandom multisequences. Adv. Math. Commun. 4(3):369-379.
• Radwa Marzouk, Arne Winterhof. On the pseudorandomness of binary and quaternary sequences linked by the Gray mapping. Period. Math. Hung. 60(1):13-23 .
• Radwa Marzouk, Arne Winterhof. On the pseudorandomness of binary and quaternary sequences linked by the Gray mapping. Period. Math. Hung. 60(1):13-23.
• Temur Kutsia, Jordi Levy, Mateu Villaret. On the relation between Context and Sequence Unification. J. Symb. Comput. 45(1):74-95.
• Gottlieb Pirsic, Arne Winterhof. On the structure of digital explicit nonlinear and inversive pseudorandom number generators. J. Complexity 26(1):43-50 .
• Gottlieb Pirsic, Arne Winterhof. On the structure of digital explicit nonlinear and inversive pseudorandom number generators. J. Complexity 26(1):43-50.
• Temur Kutsia, Mircea Marin. Order-Sorted Unification with Regular Expression Sorts. Proc. RTA 2010, pp. 193-208.
• Carsten Schneider. Parameterized telescoping proves algebraic independence of sums. Ann. Comb. 14(4):533-552.
• Carsten Schneider. Parameterized telescoping proves algebraic independence of sums. Ann. Comb. 14(4):533-552 .
• Manuel Kauers, Carsten Schneider. Partial Denominator Bounds for Partial Linear Difference Equations. ArXiv 1005.0602v1.
• Manuel Kauers, Carsten Schneider. Partial denominator bounds for partial linear difference equations. Proc. ISSAC 2010, pp. 211-218.
• Igor E. Shparlinski, Arne Winterhof. Partitions into two Lehmer numbers. Monatsh. Math. 160(4):429-441 .
• Igor E. Shparlinski, Arne Winterhof. Partitions into two Lehmer numbers. Monatsh. Math. 160(4):429-441.
• Rasha Shaheen, Arne Winterhof. Permutations of finite fields for check digit systems. Des. Codes Cryptography 57(3):361-371 .
• Rasha Shaheen, Arne Winterhof. Permutations of finite fields for check digit systems. Des. Codes Cryptography 57(3):361-371.
• E. Aichinger, N. Mudrinski. Polynomial clones of Mal’cev algebras with small congruence lattices. Acta Math. Hung. 126(4):315-333 .
• E. Aichinger, N. Mudrinski. Polynomial clones of Mal’cev algebras with small congruence lattices. Acta Math. Hung. 126(4):315-333.
• Christoph Koutschan, Manuel Kauers, Doron Zeilberger. Proof of George Andrews's and David Robbins's q-TSPP Conjecture. ArXiv 1002.4384v2.
• Nikolaj Popov, Tudor Jebelean. Proving Partial Correctness and Termination of Mutually Recursive Programs. Proc. SYNASC 2010, pp. 153-156.
• T. Vetterlein. Pseudo-BCK algebras as partial algebras. Inf. Sci. 180(24):5101-5114 .
• T. Vetterlein. Pseudo-BCK algebras as partial algebras. Inf. Sci. 180(24):5101-5114.
• L. X. Châu Ngô, Franz Winkler. Rational general solutions of first order non-autonomous parametrizable ODEs. J. Symb. Comput. 45(12):1426-1441 .
• Matti Järvisalo, Armin Biere. Reconstructing Solutions after Blocked Clause Elimination. Proc. SAT 2010, pp. 340-345.
• Mircea Marin, Temur Kutsia. Regular Hedge Language Factorization Revisited. Developments in Language Theory, pp. 328-339.
• Martina Seidl, Peter J. Clarke. Software Modeling in Education: The 6th Educators' Symposium at MODELS 2010. MoDELS Workshops, pp. 35-39.
• Erhard Aichinger, Nebojša Mudrinski. Some applications of higher commutators in Mal’cev algebras. Algebra Univers. 63(4):367-403 .
• Erhard Aichinger, Nebojša Mudrinski. Some applications of higher commutators in Mal’cev algebras. Algebra Univers. 63(4):367-403.
• Carsten Schneider. Structural theorems for symbolic summation. Appl. Algebra Eng. Commun. Comput. 21(1):1-32.
• Carsten Schneider. Structural theorems for symbolic summation. Appl. Algebra Eng. Commun. Comput. 21(1):1-32 .
• Temur Kutsia. Symbolic computation in software science: Foreword from the editor. J. Symb. Comput. 45(5):499-500.
• Christoph Koutschan, Doron Zeilberger. The 1958 Pekeris-Accad-WEIZAC Ground-Breaking Collaboration that Computed Ground States of Two-Electron Atoms (and its 2010 Redux). ArXiv 1006.0200v2.
• Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser. The arity gap of order-preserving functions and extensions of pseudo-Boolean functions. ArXiv 1003.2192v3.
• Po-Yi Huang, Wen-Fong Ke, Günter F. Pilz. The cardinality of some symmetric differences. Proc. Am. Math. Soc. 138(3):787-797.
• Po-Yi Huang, Wen-Fong Ke, Günter F. Pilz. The cardinality of some symmetric differences. Proc. Am. Math. Soc. 138(3):787-797 .
• Alin Bostan, Manuel Kauers, Mark Van Hoeij. The complete generating function for Gessel walks is algebraic. Proc. Am. Math. Soc. 138(9):3063-3078.
• Manuel Kauers, Doron Zeilberger. The computational challenge of enumerating high-dimensional rook walks. ArXiv 1011.4671v1.
• Tewodros Amdeberhan, Christoph Koutschan, Victor H. Moll, Eric S. Rowland. The iterated integrals of ln(1 + x^2). ArXiv 1012.3429v2.
• J. Ablinger, J. Blümlein, S. Klein, C. Schneider, F. Wißbrock. The O(\alpha_s^3) Massive Operator Matrix Elements of O(n_f) for the Structure Function F_2(x,Q^2) and Transversity. ArXiv 1008.3347v1.
• Stavros Garoufalidis, Christoph Koutschan. The SL_3 Jones polynomial of the trefoil: a case study of $q$-holonomic sequences. ArXiv 1011.6329v3.
• Manuel Kauers, Veronika Pillwein. When can we decide that a P-finite sequence is positive?. ArXiv 1005.0600v1.
• Manuel Kauers, Veronika Pillwein. When can we detect that a P-finite sequence is positive? Proc. ISSAC 2010, pp. 195-201.