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

▪▪▪ 2008 ▪ 2007 ▪ 2006 ▪ 2005 ▪ 2004 ▪▪▪

• Cyrille Artho, Armin Biere. Advanced Unit Testing: How to Scale up a Unit Test Framework. Proc. AST 2006, pp. 92-98.
• Manuel Kauers, Carsten Schneider. Application of unspecified sequences in symbolic summation. Proc. ISSAC 2006, pp. 177-183.
• Ekaterina Shemyakova, Franz Winkler. Approximate factorization of linear partial differential operators. Full system of invariants for order three. ACM Commun. Comput. Algebra 40(2):34-35 .
• Hoon Hong, Deepak Kapur, Peter Paule, Franz Winkler. Bruno Buchberger – a life devoted to symbolic computation (Preface to the special issue). J. Symb. Comput. 41(3-4):255-258 .
• Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran. ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. Proc. JELIA 2006, pp. 502-505.
• Laura Kovács, Nikolaj Popov, Tudor Jebelean. Combining Logic and Algebraic Techniques for Program Verification in Theorema. ISoLA, pp. 67-74.
• Thomas Vetterlein, Martin Štepnicka. Completing fuzzy if-then rule bases by means of smoothing splines. Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 14(2):235-244 .
• Thomas Vetterlein, Martin Štepnicka. Completing fuzzy if-then rule bases by means of smoothing splines. Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 14(2):235-244.
• Temur Kutsia. Context Sequence Matching for XML. Electr. Notes Theor. Comput. Sci. 157(2):47-65.
• Wilfried Meidl. Continued fraction for formal Laurent series and the lattice structure of sequences. Appl. Algebra Eng. Commun. Comput. 17(1):29-39.
• Wilfried Meidl. Continued fraction for formal Laurent series and the lattice structure of sequences. Appl. Algebra Eng. Commun. Comput. 17(1):29-39 .
• Thomas Vetterlein, Mirko Navara. Defuzzification using Steiner points. Fuzzy Sets Syst. 157(11):1455-1462 .
• Thomas Vetterlein, Mirko Navara. Defuzzification using Steiner points. Fuzzy Sets Syst. 157(11):1455-1462.
• Edwin D. El-Mahassni, Igor E. Shparlinski, Arne Winterhof. Distribution of nonlinear congruential pseudorandom numbers modulo almost squarefree integers. Monatsh. Math. 148(4):297-307.
• Cyrille Artho, Armin Biere, Shinichi Honiden. Enforcer - Efficient Failure Injection. Proc. FM 2006, pp. 412-427.
• Wilfried Meidl. Enumeration results on linear complexity profiles and lattice profiles. J. Complexity 22(2):275-286.
• Wilfried Meidl. Enumeration results on linear complexity profiles and lattice profiles. J. Complexity 22(2):275-286 .
• Erhard Aichinger, Jürgen Ecker. Every $(k + 1)$-affine complete nilpotent group of class $k$ is affine complete. Int. J. Algebra Comput. 16(2):259-274.
• Erhard Aichinger, Jürgen Ecker. Every \((k + 1)\)-affine complete nilpotent group of class \(k\) is affine complete. Int. J. Algebra Comput. 16(2):259-274 .
• Cyrille Artho, Armin Biere, Shinichi Honiden. Exhaustive Testing of Exception Handlers with Enforcer. Proc. FMCO 2006, pp. 26-46.
• Carsten Sinz, Armin Biere. Extended Resolution Proofs for Conjoining BDDs. Proc. CSR 2006, pp. 600-611.
• Toni Jussila, Carsten Sinz, Armin Biere. Extended Resolution Proofs for Symbolic SAT Solving with Quantification. Proc. SAT 2006, pp. 54-60.
• Carsten Schneider, Gerhard Arminger. Factor Analysis for Extraction of Structural Components and Prediction in Time Series. GfKl, pp. 273-280.
• Mircea Marin, Temur Kutsia. Foundations of the rule-based system rLog. Journal of Applied Non-Classical Logics 16(1-2):151-168.
• Laura Ruff, Tudor Jebelean. Functional-Based Synthesis of a Systolic Array for GCD Computation. Proc. IFL 2006, pp. 37-54.
• Robert Osburn, Carsten Schneider. Gaussian hypergeometric series and supercongruences. ArXiv math/0610281v2.
• A. Bećirović, P. Paule, V. Pillwein, A. Riese, C. Schneider, J. Schöberl. Hypergeometric summation algorithms for high-order finite elements. Computing 78(3):235-249.
• A. Bećirović, P. Paule, V. Pillwein, A. Riese, C. Schneider, J. Schöberl. Hypergeometric summation algorithms for high-order finite elements. Computing 78(3):235-249 .
• Manuel Kauers, Carsten Schneider. Indefinite summation with unspecified summands. Discrete Math. 306(17):2073-2083.
• N. Brandstätter, A. Winterhof. Linear complexity profile of binary sequences with small correlation measure. Period. Math. Hung. 52(2):1-8.
• Armin Biere, Keijo Heljanko, Tommi Junttila, Timo Latvala, Viktor Schuppan. Linear encodings of bounded LTL model checking. Log. Methods Comput. Sci. 2(5):Paper 5, 64 p., electronic only.
• Armin Biere, Keijo Heljanko, Tommi Junttila, Timo Latvala, Viktor Schuppan. Linear encodings of bounded LTL model checking. Log. Methods Comput. Sci. 2(5):Paper 5, 64 p. .
• Viktor Schuppan, Armin Biere. Liveness Checking as Safety Checking for Infinite State Spaces. Electr. Notes Theor. Comput. Sci. 149(1):79-96.
• Hassan Aly, Arne Winterhof. On the $k$-error linear complexity over ${\Bbb F}_p$ of Legendre and Sidelnikov sequences. Des. Codes Cryptography 40(3):369-374.
• Edwin D. El-Mahassni, Arne Winterhof. On the distribution of nonlinear congruential pseudorandom numbers in residue rings. Int. J. Number Theory 2(1):163-168.
• Hassan Aly, Arne Winterhof. On the linear complexity profile of nonlinear congruential pseudorandom number generators with Dickson polynomials. Des. Codes Cryptography 39(2):155-162.
• Moubariz Z. Garaev, Florian Luca, Igor Shparlinski, Arne Winterhof. On the lower bound of the linear complexity over $\Bbb F_p$ of Sidelnikov sequences. IEEE Trans. Inf. Theory 52(7):3299-3304.
• Moubariz Z. Garaev, Florian Luca, Igor Shparlinski, Arne Winterhof. On the lower bound of the linear complexity over \(\mathbb F_p\) of Sidelnikov sequences. IEEE Trans. Inf. Theory 52(7):3299-3304 .
• Igor E. Shparlinski, Arne Winterhof. On the nonlinearity of linear recurrence sequences. Appl. Math. Lett. 19(4):340-344.
• Kathy Driver, Helmut Prodinger, Carsten Schneider, J.A.C. Weideman. Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation. Ramanujan J. 11(2):139-158.
• Kathy Driver, Helmut Prodinger, Carsten Schneider, J. A. C. Weideman. Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation. Ramanujan J. 11(2):139-158 .
• Kathy Driver, Helmut Prodinger, Carsten Schneider, J.A.C. Weideman. Padé approximations to the logarithm. III: Alternative methods and additional results. Ramanujan J. 12(3):299-314.
• Kathy Driver, Helmut Prodinger, Carsten Schneider, J. A. C. Weideman. Padé approximations to the logarithm. III: Alternative methods and additional results. Ramanujan J. 12(3):299-314 .
• Eike Kiltz, Arne Winterhof. Polynomial interpolation of cryptographic functions related to Diffie-Hellman and discrete logarithm problem. Discrete Appl. Math. 154(2):326-336.
• Hassan Aly, Arne Winterhof. Polynomial representations of the Lucas logarithm. Finite Fields Appl. 12(3):413-424.
• Armin Biere, Ofer Strichman. Preface. Electr. Notes Theor. Comput. Sci. 144(1):1-.
• Wilfried Meidl, Arne Winterhof. Some notes on the linear complexity of Sidel’nikov-Lempel-Cohn-Eastman sequences. Des. Codes Cryptography 38(2):159-178 .
• Wilfried Meidl, Arne Winterhof. Some notes on the linear complexity of Sidel’nikov-Lempel-Cohn-Eastman sequences. Des. Codes Cryptography 38(2):159-178.
• Thomas Vetterlein. Spline interpolation between hyperspaces of convex or fuzzy sets. Fuzzy Sets Syst. 157(18):2472-2481 .
• Thomas Vetterlein. Spline interpolation between hyperspaces of convex or fuzzy sets. Fuzzy Sets Syst. 157(18):2472-2481.
• Manuel Kauers. SumCracker: A package for manipulating symbolic sums and related objects. J. Symb. Comput. 41(9):1039-1057.
• Thomas Vetterlein. t-norms induced by metrics on Boolean algebras. Soft Comput. 10(11):995-1000 .
• Thomas Vetterlein. t-norms induced by metrics on Boolean algebras. Soft Comput. 10(11):995-1000.
• Erhard Aichinger. The near-ring of congruence-preserving functions on an expanded group. J. Pure Appl. Algebra 205(1):74-93 .
• Erhard Aichinger. The near-ring of congruence-preserving functions on an expanded group. J. Pure Appl. Algebra 205(1):74-93.
• Bruno Buchberger, Adrian Crǎciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger. Theorema : Towards computer-aided mathematical theory exploration. J. Appl. Log. 4(4):470-504 .
• Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger. Theorema: Towards computer-aided mathematical theory exploration. J. Applied Logic 4(4):470-504.