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

▪▪▪ 2014 ▪ 2013 ▪ 2012 ▪ 2011 ▪ 2010 ▪▪▪

• Alexander Nöhrer, Armin Biere, Alexander Egyed. A comparison of strategies for tolerating inconsistencies during decision-making. SPLC (1), pp. 11-20.
• Ayça Çeşmelioğlu, Gary McGuire, Wilfried Meidl. A construction of weakly and non-weakly regular bent functions. J. Comb. Theory, Ser. A 119(2):420-429.
• Ayça Çeşmelioğlu, Gary McGuire, Wilfried Meidl. A construction of weakly and non-weakly regular bent functions. J. Comb. Theory, Ser. A 119(2):420-429 .
• Nadia Creignou, Uwe Egly, Martina Seidl. A Framework for the Specification of Random SAT and QSAT Formulas. Proc. TAP 2012, pp. 163-168.
• Johannes Blümlein, Sebastian Klein, Carsten Schneider, Flavia Stan. A symbolic summation approach to Feynman integral calculus. J. Symb. Comput. 47(10):1267-1289.
• Johannes Blümlein, Sebastian Klein, Carsten Schneider, Flavia Stan. A symbolic summation approach to Feynman integral calculus. J. Symb. Comput. 47(10):1267-1289 .
• J. Ablinger, S. Blümlein, M. Round, C. Schneider. Advanced Computer Algebra Algorithms for the Expansion of Feynman Integrals. ArXiv 1210.1685v1.
• Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer. An Introduction to Model Versioning. Proc. SFM 2012, pp. 336-398.
• Norbert Manthey, Marijn Heule, Armin Biere. Automated Reencoding of Boolean Formulas. Haifa Verification Conference, pp. 102-117.
• Isabela Dramnesc, Tudor Jebelean. Automated Synthesis of Some Algorithms on Finite Sets. Proc. SYNASC 2012, pp. 143-151.
• Ayça Çeşmelioğlu, Wilfried Meidl. Bent functions of maximal degree. IEEE Trans. Inf. Theory 58(2):1186-1190 .
• Anja Korporal, Georg Regensburger. Composing and Factoring Generalized Green's Operators and Ordinary Boundary Problems. Proc. AADIOS 2012, pp. 116-134.
• Peter van der Tak, Marijn Heule, Armin Biere. Concurrent Cube-and-Conquer - (Poster Presentation). Proc. SAT 2012, pp. 475-476.
• Petra Brosch, Martina Seidl, Manuel Wimmer, Gerti Kappel. Conflict Visualization for Evolving UML Models. Journal of Object Technology 11(3):2: 1-30.
• Isabela Dramnesc, Tudor Jebelean. Discovery of inductive algorithms through automated reasoning: A case study on sorting. Proc. SISY 2012, pp. 293-298.
• J. Blümlein, A. Hasselhuhn, C. Schneider. Evaluation of Multi-Sums for Large Scale Problems. ArXiv 1202.4303v1.
• Stefan Müller, Georg Regensburger. Generalized mass action systems: complex balancing equilibria and sign vectors of the stoichiometric and kinetic-order subspaces. SIAM J. Appl. Math. 72(6):1926-1947 .
• Stefan Müller, Georg Regensburger. Generalized mass action systems: Complex balancing equilibria and sign vectors of the stoichiometric and kinetic-order subspaces. ArXiv 1209.6488v1.
• Stefan Müller, Georg Regensburger. Generalized mass action systems: complex balancing equilibria and sign vectors of the stoichiometric and kinetic-order subspaces. SIAM J. Appl. Math. 72(6):1926-1947.
• Magdalena Widl, Armin Biere, Petra Brosch, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits. Guided Merging of Sequence Diagrams. Proc. SLE 2012, pp. 164-183.
• Matti Järvisalo, Marijn Heule, Armin Biere. Inprocessing Rules. Proc. IJCAR 2012, pp. 355-370.
• Stavros Garoufalidis, Christoph Koutschan. Irreducibility of q-difference operators and the knot 7_4. ArXiv 1211.6020v3.
• Anja Korporal, Georg Regensburger, Markus Rosenkranz. ISSAC 2012 software demonstrations: Symbolic computation for ordinary boundary problems in maple. ACM Comm. Computer Algebra 46(3/4):154-156.
• Josef Dick, Dirk Nuyens, Friedrich Pillichshammer. Lattice rules for nonperiodic smooth integrands. ArXiv 1211.3799v1.
• Francesc Esteva, Lluís Godo, Ricardo O. Rodríguez, Thomas Vetterlein. Logics for approximate and strong entailments. Fuzzy Sets Syst. 197, 59-70 .
• Francesc Esteva, Lluís Godo, Ricardo O. Rodríguez, Thomas Vetterlein. Logics for approximate and strong entailments. Fuzzy Sets Syst. 197, 59-70.
• Alexander Nöhrer, Armin Biere, Alexander Egyed. Managing SAT inconsistencies with HUMUS. VaMoS, pp. 83-91.
• Jakob Ablinger, Johannes Blümlein, Alexander Hasselhuhn, Sebastian Klein, Carsten Schneider, Fabian Wißbrock. Massive 3-loop ladder diagrams for quarkonic local operator matrix elements. Nucl. Phys., B 864(1):52-84.
• Jakob Ablinger, Johannes Blümlein, Alexander Hasselhuhn, Sebastian Klein, Carsten Schneider, Fabian Wißbrock. Massive 3-loop ladder diagrams for quarkonic local operator matrix elements. Nucl. Phys., B 864(1):52-84 .
• Jakob Ablinger, Johannes Blümlein, Alexander Hasselhuhn, Sebastian Klein, Carsten Schneider, Fabian Wißbrock. Massive 3-loop Ladder Diagrams for Quarkonic Local Operator Matrix Elements. ArXiv 1206.2252v2.
• Domingo Gomez, Arne Winterhof. Multiplicative character sums of Fermat quotients and pseudorandom sequences. Period. Math. Hung. 64(2):161-168 .
• Domingo Gomez, Arne Winterhof. Multiplicative character sums of Fermat quotients and pseudorandom sequences. Period. Math. Hung. 64(2):161-168.
• Herwig Hauser, Christoph Koutschan. Multivariate linear recurrences and power series division. Discrete Math. 312(24):3553-3560.
• Herwig Hauser, Christoph Koutschan. Multivariate linear recurrences and power series division. Discrete Math. 312(24):3553-3560 .
• J. Ablinger, J. Blümlein, A. Hasselhuhn, S. Klein, C. Schneider, F. Wißbrock. New Heavy Flavor Contributions to the DIS Structure Function $F_2(x,Q^2)$ at $O(\alpha_s^3). ArXiv 1202.2700v1.
• J. Ablinger, J. Blümlein, A. De Freitas, A. Hasselhuhn, S. Klein, C. Schneider, F. Wißbrock. New Results on the 3-Loop Heavy Flavor Wilson Coefficients in Deep-Inelastic Scattering. ArXiv 1212.5950v2.
• Petra Brosch, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl. On formalizing EMF modeling operations with graph transformations. ACM SIGSOFT Software Engineering Notes 37(4):1-8.
• Li Guo, Georg Regensburger, Markus Rosenkranz. On Integro-Differential Algebras. ArXiv 1212.0266v1.
• Zhixiong Chen, Arne Winterhof. On the distribution of pseudorandom numbers and vectors derived from Euler-Fermat quotients. Int. J. Number Theory 8(3):631-641 .
• Zhixiong Chen, Arne Winterhof. On the distribution of pseudorandom numbers and vectors derived from Euler-Fermat quotients. Int. J. Number Theory 8(3):631-641.
• Friedrich Pillichshammer, Gottlieb Pirsic. On the existence of hyperplane sequences, with quality parameter and discrepancy bounds. ArXiv 1211.3522v1.
• Shaoshi Chen, Manuel Kauers. Order-Degree Curves for Hypergeometric Creative Telescoping. ArXiv 1201.1982v1.
• Shaoshi Chen, Manuel Kauers. Order-degree curves for hypergeometric creative telescoping. Proc. ISSAC 2012, pp. 122-129.
• Thomas Vetterlein. Plausible reasoning and graded information: a unified approach. Fuzzy Sets Syst. 197, 71-94 .
• Thomas Vetterlein. Plausible reasoning and graded information: a unified approach. Fuzzy Sets Syst. 197, 71-94.
• Yanli Huang, Lâm Xuân Châu Ngô, Franz Winkler. Rational general solutions of trivariate rational differential systems. Math. Comput. Sci. 6(4):361-374 .
• Anja Korporal, Georg Regensburger, Markus Rosenkranz. Regular and Singular Boundary Problems in Maple. ArXiv 1210.2951v1.
• Christoph Koutschan, Peter Paule, Sergei K. Suslov. Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II. Proc. AADIOS 2012, pp. 135-145.
• Marion Brandsteidl, Tanja Mayerhofer, Martina Seidl, Christian Huemer. Replacing traditional classroom lectures with lecture videos: an experience report. EduSym, pp. 21-27.
• Aina Niemetz, Mathias Preiner, Florian Lonsing, Martina Seidl, Armin Biere. Resolution-Based Certificate Extraction for QBF - (Tool Presentation). Proc. SAT 2012, pp. 430-435.
• Matti Järvisalo, Armin Biere, Marijn J.H. Heule. Simulating circuit-level simplifications on CNF. J. Autom. Reasoning 49(4):583-619.
• Matti Järvisalo, Armin Biere, Marijn J. H. Heule. Simulating circuit-level simplifications on CNF. J. Autom. Reasoning 49(4):583-619 .
• Moulay A. Barkatou, Clemens G. Raab. Solving linear ordinary differential systems in hyperexponential extensions. Proc. ISSAC 2012, pp. 51-58.
• Temur Kutsia, Mircea Marin. Solving, Reasoning, and Programming in Common Logic. Proc. SYNASC 2012, pp. 119-126.
• Madalina Erascu, Tudor Jebelean. Soundness of a Logic-Based Verification Method for Imperative Loops. Proc. SYNASC 2012, pp. 127-134.
• Laura Kovács, Temur Kutsia. Special issue on Automated Specification and Verification of Web Systems. J. Applied Logic 10(1):1.
• Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger. Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gr\"obner Bases. ArXiv 1210.2950v1.
• Shaoshi Chen, Manuel Kauers, Michael F. Singer. Telescopers for Rational and Algebraic Functions via Residues. ArXiv 1201.1954v2.
• Shaoshi Chen, Manuel Kauers, Michael F. Singer. Telescopers for rational and algebraic functions via residues. Proc. ISSAC 2012, pp. 130-137.
• Johannes Blümlein, Alexander Hasselhuhn, Sebastian Klein, Carsten Schneider. The $O(\alpha_s^3 n_f T_F^2 C_{A,F})$} Contributions to the Gluonic Massive Operator Matrix Elements. ArXiv 1205.4184v1.
• Tewodros Amdeberhan, Christoph Koutschan, Victor H. Moll, Eric S. Rowland. The iterated integrals of $\ln (1 + x^{n})$. Int. J. Number Theory 8(1):71-94.
• Tewodros Amdeberhan, Christoph Koutschan, Victor H. Moll, Eric S. Rowland. The iterated integrals of \(\ln (1 + x^{n})\). Int. J. Number Theory 8(1):71-94 .
• Stavros Garoufalidis, Christoph Koutschan. The noncommutative $A$-polynomial of $(-2,3,n)$ pretzel knots. Exp. Math. 21(3):241-251.
• Stavros Garoufalidis, Christoph Koutschan. The noncommutative \(A\)-polynomial of \((-2,3,n)\) pretzel knots. Exp. Math. 21(3):241-251 .
• Isabela Dramnesc, Tudor Jebelean. Theory Exploration in Theorema: Case Study on Lists. Proc. SACI 2012, pp. 421-426.
• Thierry Combot, Christoph Koutschan. Third order integrability conditions for homogeneous potentials of degree $-1$. J. Math. Phys. 53(8):082704, 26 p..
• Thierry Combot, Christoph Koutschan. Third order integrability conditions for homogeneous potentials of degree \(-1\). J. Math. Phys. 53(8):082704, 26 p. .
• J. Ablinger, J. Blümlein, A. De Freitas, A. Hasselhuhn, S. Klein, C. Raab, M. Round, C. Schneider, F. Wißbrock. Three-Loop Contributions to the Gluonic Massive Operator Matrix Elements at General Values of N. ArXiv 1212.6823v2.
• Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer. Towards Scenario-Based Testing of UML Diagrams. Proc. TAP 2012, pp. 149-155.
• Shaoshi Chen, Manuel Kauers. Trading order for degree in creative telescoping. J. Symb. Comput. 47(8):968-995.
• Stavros Garoufalidis, Christoph Koutschan. Twisting q-holonomic sequences by complex roots of unity. ArXiv 1201.3353v2.
• Stavros Garoufalidis, Christoph Koutschan. Twisting q-holonomic sequences by complex roots of unity. Proc. ISSAC 2012, pp. 179-186.
• Clemens G. Raab. Using Gröbner bases for finding the logarithmic part of the integral of transcendental functions. J. Symb. Comput. 47(10):1290-1296 .
• Clemens G. Raab. Using Gröbner bases for finding the logarithmic part of the integral of transcendental functions. J. Symb. Comput. 47(10):1290-1296.
• Thomas Vetterlein. Vagueness: where degree-based approaches are useful, and where we can do without. Soft Comput. 16(11):1833-1844 .
• Thomas Vetterlein. Vagueness: where degree-based approaches are useful, and where we can do without. Soft Comput. 16(11):1833-1844.
• Masao Ishikawa, Christoph Koutschan. Zeilberger's Holonomic Ansatz for Pfaffians. ArXiv 1201.5253v2.
• Masao Ishikawa, Christoph Koutschan. Zeilberger's holonomic ansatz for Pfaffians. Proc. ISSAC 2012, pp. 227-233.