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

▪▪▪ 2006 ▪ 2005 ▪ 2004 ▪ 2003 ▪ 2002 ▪▪▪

• Tim Boykett. All Difference Family Structures arise from Groups. ArXiv math/0405567v1.
• E. Aichinger, D. Mašulović, R. Pöschel, J. S. Wilson. Completeness for concrete near-rings. J. Algebra 279(1):61-78 .
• E. Aichinger, D. Mašulović, R. Pöschel, J.S. Wilson. Completeness for concrete near-rings. J. Algebra 279(1):61-78.
• Manuel Kauers. Computer proofs for polynomial identities in arbitrary many variables. Proc. ISSAC 2004, pp. 199-204.
• Gerhard Dorfer, Wilfried Meidl, Arne Winterhof. Counting functions and expected values for the lattice profile at $n$. Finite Fields Appl. 10(4):636-652.
• Gerhard Dorfer, Wilfried Meidl, Arne Winterhof. Counting functions and expected values for the lattice profile at \(n\). Finite Fields Appl. 10(4):636-652 .
• Tim Boykett, Peter Mayr. Difference Methods and Ferrero Pairs. ArXiv math/0401239v1.
• Tim Boykett. Efficient exhaustive listings of reversible one dimensional cellular automata. Theor. Comput. Sci. 325(2):215-247 .
• Tim Boykett. Efficient exhaustive listings of reversible one dimensional cellular automata. Theor. Comput. Sci. 325(2):215-247.
• Viktor Schuppan, Armin Biere. Efficient reduction of finite state model checking to reachability analysis. STTT 5(2-3):185-204.
• Wilfried Meidl. How many bits have to be changed to decrease the linear complexity? Des. Codes Cryptography 33(2):109-122.
• Wilfried Meidl. How many bits have to be changed to decrease the linear complexity? Des. Codes Cryptography 33(2):109-122 .
• Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller. JNuke: Efficient Dynamic Analysis for Java. Proc. CAV 2004, pp. 462-465.
• Harald Niederreiter, Arne Winterhof. Multiplicative character sums for nonlinear recurring sequences. Acta Arith. 111(3):299-305.
• Anatolij Dvurečenskij, Thomas Vetterlein. Non-commutative algebras and quantum structures. Int. J. Theor. Phys. 43(7-8):1599-1612 .
• Anatolij Dvurečenskij, Thomas Vetterlein. Non-commutative algebras and quantum structures. Int. J. Theor. Phys. 43(7-8):1599-1612.
• Eike Kiltz, Arne Winterhof. On the interpolation of bivariate polynomials related to the Diffie-Hellman mapping. Bull. Aust. Math. Soc. 69(2):305-315.
• Wilfried Meidl, Arne Winterhof. On the linear complexity profile of some new explicit inversive pseudorandom numbers. J. Complexity 20(2-3):350-355 .
• Wilfried Meidl, Arne Winterhof. On the linear complexity profile of some new explicit inversive pseudorandom numbers. J. Complexity 20(2-3):350-355.
• Erhard Aichinger, Mark Farag. On when the multiplicative center of a near-ring is a subnear-ring. Aequationes Math. 68(1-2):46-59 .
• Erhard Aichinger, Mark Farag. On when the multiplicative center of a near-ring is a subnear-ring. Aequationes Math. 68(1-2):46-59.
• Tim Boykett. Orderly Algorithm to enumerate central groupoids and their graphs. ArXiv math/0407070v1.
• Erhard Aichinger, Paweł M. Idziak. Polynomial interpolation in expanded groups. J. Algebra 271(1):65-107 .
• Erhard Aichinger, Paweł Idziak, M.. Polynomial interpolation in expanded groups. J. Algebra 271(1):65-107.
• Temur Kutsia, Bruno Buchberger. Predicate Logic with Sequence Variables and Sequence Function Symbols. Proc. MKM 2004, pp. 205-219.
• Armin Biere. Resolve and Expand. SAT (Selected Papers, pp. 59-70.
• Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila. Simple Bounded LTL Model Checking. Proc. FMCAD 2004, pp. 186-200.
• Temur Kutsia. Solving Equations Involving Sequence Variables and Sequence Functions. Proc. AISC 2004, pp. 157-170.
• Clemens Ballarin, Manuel Kauers. Solving parametric linear systems: an experiment with constraint algebraic programming. SIGSAM Bull. 38(2):33-46.
• Erik Hillgarter, Ralf Hemmecke, Günter Landsmann, Franz Winkler. Symbolic differential elimination for symmetry analysis. Math. Comput. Model. Dyn. Syst. 10(2):123-147 .
• Carsten Schneider. Symbolic summation with single-nested sum extensions. Proc. ISSAC 2004, pp. 282-289.
• Erhard Aichinger. The variety of near-rings is generated by its finite members. Monatsh. Math. 143(2):89-103 .
• Erhard Aichinger. The variety of near-rings is generated by its finite members. Monatsh. Math. 143(2):89-103.
• Cyrille Artho, Klaus Havelund, Armin Biere. Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. Proc. ATVA 2004, pp. 150-164.