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

▪▪▪ 2003 ▪ 2002 ▪ 2001 ▪ 2000 ▪▪▪

• Cyrille Artho, Armin Biere. Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs. Australian Software Engineering Conference, pp. 68-75.
• Edmund Clarke, Armin Biere, Richard Raimi, Yunshan Zhu. Bounded model checking using satisfiability solving. Form. Methods Syst. Des. 19(1):7-34 .
• Edmund Clarke, Armin Biere, Richard Raimi, Yunshan Zhu. Bounded model checking using satisfiability solving. Form. Methods Syst. Des. 19(1):7-34.
• Tim Boykett. Construction of Ferrero pairs of all possible orders. SIAM J. Discrete Math. 14(3):283-285 .
• Tim Boykett. Construction of Ferrero pairs of all possible orders. SIAM J. Discrete Math. 14(3):283-285.
• Wilfried Meidl, Arne Winterhof. Lower bounds on the linear complexity of the discrete logarithm in finite fields. IEEE Trans. Inf. Theory 47(7):2807-2811.
• Wilfried Meidl, Arne Winterhof. Lower bounds on the linear complexity of the discrete logarithm in finite fields. IEEE Trans. Inf. Theory 47(7):2807-2811 .
• Erhard Aichinger. On near-ring idempotents and polynomials on direct products of $\Omega$-groups. Proc. Edinb. Math. Soc., II. Ser. 44(2):379-388.
• Erhard Aichinger. On near-ring idempotents and polynomials on direct products of \(\Omega\)-groups. Proc. Edinb. Math. Soc., II. Ser. 44(2):379-388 .
• Erhard Aichinger. On the maximal ideals of non-zero-symmetric near-rings and of composition algebras of polynomial functions on $\Omega$-groups. Quaest. Math. 24(4):453-480.
• Erhard Aichinger. On the maximal ideals of non-zero-symmetric near-rings and of composition algebras of polynomial functions on \(\Omega\)-groups. Quaest. Math. 24(4):453-480 .
• Anatolij Dvurečenskij, Thomas Vetterlein. Pseudoeffect algebras. I: Basic properties. Int. J. Theor. Phys. 40(3):685-701 .
• Anatolij Dvurečenskij, Thomas Vetterlein. Pseudoeffect algebras. I: Basic properties. Int. J. Theor. Phys. 40(3):685-701.
• Anatolij Dvurečenskij, Thomas Vetterlein. Pseudoeffect algebras. II: Group representations. Int. J. Theor. Phys. 40(3):703-726 .
• Anatolij Dvurečenskij, Thomas Vetterlein. Pseudoeffect algebras. II: Group representations. Int. J. Theor. Phys. 40(3):703-726.
• . Special issue: Calculemus-99: Integrating computation and deduction. 1st workshop, Trento, Italy, July 11–12, 1999. J. Symb. Comput. 32(4):303-445 .
• Alessandro (ed.) Armando, Tudor (ed.) Jebelean. Special issue: Calculemus-99: Integrating computation and deduction. 1st workshop, Trento, Italy, July 11--12, 1999. J. Symb. Comput. 32(4):303-445.
• Günter Landsmann, Josef Schicho, Franz Winkler. The parametrization of canal surfaces and the decomposition of polynomials into a sum of two squares. J. Symb. Comput. 32(1-2):119-132 .
• J. R. Sendra, F. Winkler. Tracing index of rational curve parametrizations. Comput. Aided Geom. Des. 18(8):771-795 .