RISC Publications and Technical Reports

2010

• Besik Dundua, Temur Kutsia, Mircea Marin. Strategies in P$\rho$Log. Electronic Proceedings in Theoretical Computer Science, pp. 32-43. 2010. ISSN 2075-2180 . [pdf] [bib]
• A. Constantin, E. Kartashova, E. Wahlèn. Discrete wave turbulence of rotational capillary water waves. Phys. Rev. E submitted, pp. 1-16. 2010. 1539-3755 (print) , 1550-2376 (online). [pdf] [bib]
• E. Kartashova. Capillary freak waves in He-II as a manifestation of discrete wave turbulent regime. In: Geophysical Research Abstracts, E. Pelinovsky, C. Kharif (ed.), Proceedings of EGU 2010 (European Geosciences Union, General Assembly 2010), submitted, pp. 1-1. 2010. issn. [pdf] [bib]
• E.Kartashova, V. Lvov, S. Nazarenko, I. Procaccia. Towards a Theory of Discrete and Mesoscopic Wave Turbulence. Technical report no. 10-04 in RISC Report Series, February 2010. [pdf] [bib]
• E. Kartashova, M. Bustamante. Resonance clustering in wave turbulent regimes: Integrable dynamics. Physica A: Stat. Mech. Appl. submitted, pp. 1-31. 2010. Elsevier, ISSN: 0378-4371. [pdf] [bib]
• Alin Bostan, Manuel Kauers. The Complete Generating Function for Gessel Walks is Algebraic. Proceedings of the AMS, pp. ?-?. 2010. ISSN 0002-9939. to appear. [pdf] [ps] [bib]
• Christoph Koutschan. HolonomicFunctions (User's Guide). Technical report no. 10-01 in RISC Report Series, University of Linz, Austria. January 2010. [url] [pdf] [bib]
• Christoph Koutschan, Manuel Kauers, Doron Zeilberger. A Proof of George Andrews' and David Robbins' q-TSPP-Conjecture. ArXiv. Technical report no. 1002.4384, 2010. [pdf] [ps] [bib]
• Tudor Jebelean, Gabor Kusper. Experiments with Multi-Domain Logic: Variable Merging and Split Strategies. Technical report no. 10-03 in RISC Report Series, University of Linz, Austria. February 2010. [pdf] [bib]
• Temur Kutsia, Jordi Levy, Mateu Villaret. On the Relation Between Context and Sequence Unification. Journal of Symbolic Computation 45(1), pp. 74-95. 2010. ISSN 0747-7171. [pdf] [bib]
• Mircea Marin, Temur Kutsia. Linear Systems for Regular Hedge Languages. In: Advances in Databases and Information Systems, Associated Workshops and Doctoral Consortium of the 13th East European Conference, ADBIS 2009. Revised Selected Papers , Janis Grundspenkis, Marite Kirikova, Yannis Manolopoulos, Leonids Novickis (ed.), Lecture Notes in Computer Science 5968, pp. 104-112. 2010. Springer, ISSN 0302-9743, ISBN 978-3-642-12081-7. [pdf] [bib]
• L.X.Chau Ngo. Finding rational solutions of rational systems of autonomous ODEs. Technical report no. 10-02 in RISC Report Series, University of Linz, Austria. February 2010. [pdf] [bib]
• C. Schneider. Parameterized Telescoping Proves Algebraic Independence of Sums. Ann. Comb., pp. ?-. 2010. ISSN 0218-0006.. To appear. [pdf] [bib]
• C. Schneider. A Symbolic Summation Approach to Find Optimal Nested Sum Representations. In: Proceedings of the Conference on Motives, Quantum Field Theory, and Pseudodifferential Operators, , To appear in the Mathematics Clay Proceeding , pp. -. 2010. arXiv:0808.2543. [pdf] [bib]
• C. Schneider. Structural Theorems for Symbolic Summation. Appl. Algebra Engrg. Comm. Comput. 21(1), pp. 1-32. 2010. ISSN 0938-1279. [pdf] [bib]
• Dacian Tudor, Vladimir Cretu, Wolfgang Schreiner. Shared Data Grid Programming Improvements using Specialized Objects. In: 4th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2010), Salvatore Vitabile, Takahiro Hara, Ilsun You (ed.), pp. -. 2010. IEEE, February, 15th - 18th 2010, Andrzej Frycz Modrzewski Cracow College, Krakow, Poland, ISBN XXXXXXX. ©2010 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material must be obtained from the IEEE. [pdf] [bib]
• Wolfgang Schreiner. From Types to Contracts: Supporting by Light-Weight Specifications the Liskov Substitution Principle. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, February 2010. [pdf] [bib]

2009

• Jakob Ablinger. A Computer Algebra Toolbox for Harmonic Sums Related to Particle Physics. Johannes Kepler University. Diploma Thesis. February 2009. [pdf] [bib]
• Karoly Bosa, Wolfgang Schreiner. A Supercomputing API for the Grid. In: Proceedings of 3rd Austrian Grid Symposium 2009, Jens Volkert et al. (ed.), Proceedings of 3rd Austrian Grid Symposium, pp. -. September 28-29 2009. Austrian Computer Society (OCG), Austrian Grid, 0. To Appear. [url] [pdf] [bib]
• Wolfgang Schreiner, Karoly Bosa, Andreas Langegger, Thomas Leitner, Bernhard Moser, Szilard Pall, Volkmar Wieser, Wolfram Wöß . Parallel, Distributed, and Grid Computing. In: Hagenberg Research, B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E. P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiss, W. Windsteiger (ed.), Chapter VII, pp. 333-378. 2009. Springer, Berlin, ISBN 78-3-642-02126-8. [url] [bib]
• Karoly Bosa, Wolfgang Schreiner. A Prototype Implementation of a Distributed Supercomputing API for the Grid. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-D4-1-2009_1, March 2009. Austrian Grid Deliverable. [pdf] [bib]
• Karoly Bosa, Wolfgang Schreiner. A Supercomputing API for the Grid. Austrian Grid. Technical report, August 2009. Extended Abstract for the 3rd Austrian Grid Symposium, September 28-29, 2009. [pdf] [bib]
• Karoly Bosa, Wolfgang Schreiner. Report on the Second Prototype of a Distributed Supercomputing API for the Grid. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-D4-2-2009_1, September 2009. Austrian Grid Deliverable. [pdf] [bib]
• Camelia Rosenkranz, Bruno Buchberger, Tudor Jebelean. Knowledge Archives in Theorema: A Logic-Internal Approach. Technical report no. 09-01 in RISC Report Series, University of Linz, Austria. January 2009. [pdf] [ps] [bib]
• R. Vajda, T. Jebelean, B. Buchberger. Combining Logical and Algebraic Techniques for Natural Style Proving in Elementary Analysis. Mathematics and Computers in Simulation 79(8), pp. 2310-2316. April 2009. Elsevier, ISSN: 0378-4754. Special Issue on Nonstandard Applications of Computer Algebra. [url] [pdf] [bib]
• Buchberger, B.; Affenzeller, M.; Ferscha, A.; Haller, M.; Jebelean, T.; Klement, E.P.; Paule, P.; Pomberger, G.; Schreiner, W.; Stubenrauch, R.; Wagner, R.; Weiß, G.; Windsteiger, W.. Hagenberg Research. 1st edition, 2009. Springer Dordrecht Heidelberg London New York, ISBN 978-3-642-02126-8. [url] [bib]
• Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger. A Symbolic Framework for Operations on Linear Boundary Problems. In: Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing , Gerdt, Vladimir P.; Mayr, Ernst W.; Vorozhtsov, Evgenii H. (ed.), Proceedings of CASC '09, Kobe, Japan, LNCS 5743, pp. 269-283. September 2009. Springer-Verlag, ISBN: 978-3-642-04102-0. Also available as RICAM Report 09-10, May 2009. [url] [bib]
• Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger. Automated Reasoning. In: Hagenberg Research, Buchberger, B.; Affenzeller, M.; Ferscha, A.; Haller, M.; Jebelean, T.; Klement, E.P.; Paule, P.; Pomberger, G.; Schreiner, W.; Stubenrauch, R.; Wagner, R.; Weiss, G.; Windsteiger, W. (ed.), pp. 63-101. 2009. Springer Dordrecht Heidelberg London New York, ISBN 978-3-642-02126-8. [url] [bib]
• Peter Paule, Bruno Buchberger, Lena Kartashova, Manuel Kauers, Carsten Schneider, Franz Winkler. Algorithms in Symbolic Computation. In: Hagenberg Research, Bruno Buchberger et al. (ed.), Chapter 1, pp. 5-62. 2009. Springer, 978-3-642-02126-8. [pdf] [bib]
• B. Buchberger, R. McCasland, A. Craciun. Automatheo 2009: Proceedings of the Workshop on Automated Mathematical Theory Exploration. Technical report no. 09-12 in RISC Report Series, University of Linz, Austria. June 2009. [bib]
• Christian Dönch. Bivariate difference-differential dimension polynomials and their computation in Maple. Technical report no. 09-19 in RISC Report Series, University of Linz, Austria. 2009. [pdf] [bib]
• Besik Dundua, Temur Kutsia, Mircea Marin. Strategies in P$\rho$Log. In: 9th International Workshop on Reduction Strategies in Rewriting and Programming (WRS'09), Maribel Fernandez (ed.), pp. 19-25. 2009. -. [pdf] [bib]
• Madalina Erascu, Tudor Jebelean. A Calculus for Imperative Programs: Formalization and Implementation. In: Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing , S. Watt, V. Negru, T. Ida, T. Jebelean, D. Petcu, D. Zaharie (ed.), pp. 77- 84. 2009. IEEE , 978-0-7695-3964-5. [pdf] [bib]
• Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik. Analyzing a Proxy Cache Server Performance Model with the Probabilistic Model Checker PRISM. In: WWV'09, 5th Int'l Workshop on Automated Specification and Verification of Web Systems, Demis Ballis, Temur Kutsia (ed.), pp. -. July 2009. Hagenberg, Austria, -. [pdf] [bib]
• Gábor Guta, Wolfgang Schreiner, Dirk Draheim. A Lightweight MDSD Process Applied in Small Projects. In: Proc. of 35th EuroMicro Conference, Software Engineering and Advanced Applications (SEEA), - (ed.), pp. -. 2009. -. [bib]
• K. Wolfmaier, R. Ramler, G. Guta, H. Dobler. Observable Runtime Behavior for Defects Indicated by Automated Static Analysis. In: Proc. of 12th International Conference on Computer Aided Systems Theory (EuroCAST 2009), - (ed.), pp. -. 2009. -. [bib]
• M.D. Bustamante, E. Kartashova. Dynamics of nonlinear resonances in Hamiltonian systems. Europhysics Letters 85, pp. 14004-6. 2009. IOP , 0295-5075 (print) , 1286-4854 (online). [url] [pdf] [bib]
• M.D. Bustamante, E. Kartashova. Effect of the dynamical phases on the nonlinear amplitudes' evolution. Europhysics Letters 85, pp. 34002-5. 2009. IOP , ISSN (print edition): 0295-5075 ISSN (online): 1286-4854. [url] [pdf] [bib]
• E. Kartashova. Dynamics of Nonlinear Resonaces. In: Geophysical research Abstracts, E. Pelinovsky, C. Kharif (ed.), Proceedings of European Geosciences Union, General Assembly 2009, pp. 3232-1. 2009. European Geophysical Union, issn. [url] [bib]
• A. Constantin, E. Kartashova. Effect of non-zero constant vorticity on the nonlinear resonances of capillary water waves. EPL 86, pp. 29001-6. 2009. ISSN (print edition): 0295-5075 ISSN (online): 1286-4854. [url] [pdf] [bib]
• E. Kartashova. Nonlinear resonances of water waves. DCDS Series B 12(3), pp. 607-621. 2009. American Institute of Mathematical Sciences, ISSN 1531-3492 (print) ISSN 1553-524X (electronic). [url] [pdf] [bib]
• E. Kartashova, M. Lvov. Austrian-Ukrainian Project CENREC as example of information support of activity of international scientific community. Informational technologies in education 1(3), pp. 57-63. 2009. Kherson State University, 1998-6939. [url] [bib]
• E. Kartashova. Discrete Wave Turbulence. Europhysics Letters 87, pp. 44001-p5. 2009. 0295-5075 (print) , 1286-4854 (online). EDITOR CHOICE. [url] [pdf] [bib]
• Manuel Kauers. Guessing Handbook. Technical report no. 09-07 in RISC Report Series, University of Linz, Austria. 2009. [nb] [pdf] [bib]
• Frederic Chyzak, Manuel Kauers, Bruno Salvy. A Non-Holonomic Systems Approach to Special Function Identities. In: Proceedings of ISSAC'09, John May (ed.), pp. 111-118. 2009. 978-1-60558-609-0. [pdf] [ps] [bib]
• Alin Bostan, Manuel Kauers. Automatic Classification of Restricted Lattice Walks. In: Proceedings of FPSAC'09, Christian Krattenthaler, Volker Strehl, and Manuel Kauers (ed.), pp. 201-215. 2009. [ps] [pdf] [bib]
• Christoph Koutschan. Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem. RISC, JKU Linz. Technical report no. arXiv:0906.1018, 2009. [pdf] [bib]
• Manuel Kauers, Christoph Koutschan. A Mathematica Package for q-Holonomic Sequences and Power Series. The Ramanujan Journal 19(2), pp. 137-150. 2009. Springer, ISSN 1382-4090. [pdf] [ps] [bib]
• Manuel Kauers, Christoph Koutschan, Doron Zeilberger. A Proof of George Andrews' and Dave Robbins' q-TSPP-Conjecture (modulo a finite amount of routine calculations). The personal Journal of Ekhad and Zeilberger, pp. 1-8. January 2009. [url] [pdf] [ps] [bib]
• Manuel Kauers, Christoph Koutschan, Doron Zeilberger. Proof of Ira Gessel's Lattice Path Conjecture. Proceedings of the National Academy of Sciences 106(28), pp. 11502-11505. July 2009. ISSN 0027-8424. [ps] [pdf] [bib]
• Christoph Koutschan. Advanced Applications of the Holonomic Systems Approach. RISC-Linz, Johannes Kepler University. PhD Thesis. September 2009. [url] [pdf] [bib]
• Demis Ballis and Temur Kutsia. WWV'09 - Automated Specification and Verification of Web Systems. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report no. 09-10, July 2009. 5th Int'l Workshop on Automated Specification and Verification of Web Systems, Castle of Hagenberg, Austria July 17, 2009. [pdf] [pdf] [bib]
• Jorge Coelho, Mario Florido, Temur Kutsia. Collaborative Schema Construction using Regular Sequence Types. In: Proceedings of the 2009 IEEE International Conference of Information Reuse and Integration (IRI'09), Kang Zhang, Reda Alhajj (ed.), pp. 290-295. 2009. ISBN 978-1-4244-4114-3 . [pdf] [bib]
• Temur Kutsia (ed.). Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science.. [bib]
• M. Marin, T. Kutsia. Computational Methods in an Algebra of Regular Hedge Expressions. Technical report no. 09-03 in RISC Report Series, University of Linz, Austria. March 2009. [pdf] [bib]
• Mircea Marin, Temur Kutsia. Linear Systems for Regular Hedge Languages. In: Proceedings of the 1st International Workshop on Schema Languages for XML, Michal Kratky, Sebastian Link, Martin Necasky (ed.), Lecture Notes in Computer Science , pp. -. 2009. Springer, ISBN ????. To appear. [pdf] [bib]
• Temur Kutsia, Mircea Marin. Order-Sorted Unification with Regular Expression Sorts. In: Proc. UNIF/ADDCT 2009, Christopher Lynch et al. (ed.), pp. 2-16. 2009. -. [pdf] [bib]
• Temur Kutsia, Mircea Marin. Matching of Order-Sorted Terms with Regular Expression Sorts and Second-Order Variables . In: Proc. SCSS 2009, Adel Bouhoula, Tetsuo Ida (ed.), pp. -. 2009. -. [bib]
• Günther Mayrhofer. Symbolic Computation Prover with Induction. Johannes Kepler University. Diploma Thesis. September 2009. [pdf] [bib]
• Günther Mayrhofer. Symbolic Computation Prover with Induction. Technical report no. 09-16 in RISC Report Series, University of Linz, Austria. September 2009. Master Thesis. [pdf] [bib]
• Johannes Middeke, Ekaterina Shemyakova, Franz Winkler. Proceedings of DEAM (Workshop for Differential Equations by Algebraic Methods). Technical report no. 09-08 in RISC Report Series, University of Linz, Austria. 2009. Proceedings. [pdf] [bib]
• B. Moore. Dynamic balancing of linkages by algebraic methods. Technical report no. 09-06 in RISC Report Series, University of Linz, Austria. PhD Thesis, April 2009. [pdf] [bib]
• Karin Nachbagauer. Power Series Solutions to Holonomic Differential Equations and the General Algebraic Equation. Johannes Kepler University Linz. Diploma Thesis. 2009. The thesis also appeared as RISC report 09-15.. Diploma thesis. [pdf] [bib]
• L.X. Chau Ngo. A criterion for existence of rational general solutions of planar systems of ODEs. Technical report no. 09-13 in RISC Report Series, University of Linz, Austria. July 2009. [pdf] [bib]
• L.X.Chau Ngo. Rational general solutions of first order non-autonomous parametric ODEs. Technical report no. 09-02 in RISC Report Series, University of Linz, Austria. January 2009. [pdf] [bib]
• Peter Paule, Silviu Radu. A Proof of Sellers' Conjecture. RISC. Technical report no. 09-17, 2009. [pdf] [bib]
• Peter Paule, Silviu Radu. Infinite Families of Strange Partition Congruences for Broken 2-diamonds. RISC. Technical report no. 09-18, 2009. [pdf] [bib]
• D. Braess, V. Pillwein, J. Schöberl. Equilibrated Residual Error Estimates are $p$-Robust. Comput. Methods Appl. Mech. Engrg. 198, pp. 1189-1197. 2009. [ps] [pdf] [bib]
• J. Kraus, V. Pillwein, L. Zikatanov. Algebraic multilevel iteration methods and the best approximation to 1/x in the uniform norm. RICAM. Technical report no. 2009-17, 2009. [pdf] [ps] [bib]
• N. Popov, T. Jebelean. Using Computer Algebra Techniques for the Specification, Verification and Synthesis of Recursive Programs. Mathematics and Computers in Simulation 79(8), pp. 2293-2301. April 2009. Elsevier, ISSN: 0378-4754. [pdf] [bib]
• N. Popov, T. Jebelean. Verification of Mutual Recursive Functional Programs. In: Proceedings of Workshop on Symbolic Computation in Software Science SCSS'09, T. Ida, A. Bouhoula (ed.), pp. 120-134. September 2009. Carthage, Tunisia, .. [pdf] [bib]
• N. Popov, T. Jebelean. Functional Program Verification in Theorema. Soundness and Completeness. In: Proceedings of 15th Biennial Workshop on Programmiersprachen und Grundlagen der Programmierung KPS'09, J. Knoop, A. Prantl (ed.), pp. 221-229. October 2009. Maria Taferl, Austria, .. [pdf] [bib]
• N. Popov, T. Jebelean. A Complete Method for Algorithm Validation. In: Proceedings of the Workshop on Automated Mathematical Theory Exploration AUTOMATHEO'09, B. Buchberger, R. McCasland, A. Craciun (ed.), pp. 21-25. June 2009. Hagenberg, Austria, -. [pdf] [bib]
• Silviu Radu. An algorithmic approach to Ramanujan congruences . Ramanujan Journal 20(2), pp. 215-251. 2009. 1382-4090 . [bib]
• Silviu Radu and James Sellers. Parity Results for Broken k-diamond Partitions and (2k+1)-cores. RISC. Technical report no. 10-05, 2009. [pdf] [bib]
• Camelia Rosenkranz. Retrieval and Structuring of Large Mathematical Knowledge Bases in Theorema. Research Institute for Symbolic Computation, Johannes Kepler University of Linz, Austria. PhD Thesis. Available as RISC Technical Report 09-04, February 2009. [pdf] [bib]
• Camelia Rosenkranz. Retrieval and Structuring of Large Mathematical Knowledge Bases in Theorema. Technical report no. 09-04 in RISC Report Series, University of Linz, Austria. February 2009. [pdf] [bib]
• C. Schneider, R. Osburn. Gaussian Hypergeometric series and supercongruences. Math. Comp. 78(267), pp. 275-292. 2009. ISSN 0025-5718. [url] [pdf] [bib]
• J. Bluemlein, M. Kauers, S. Klein, C. Schneider. Determining the closed forms of the {$O(a_s^3)$} anomalous dimensions and {W}ilson coefficients from {M}ellin moments by means of computer algebra. Comput. Phys. Comm. 180, pp. 2143-2165. 2009. ISSN 0010-4655. [pdf] [bib]
• Johannes Bluemlein, Manuel Kauers, Sebastian Klein, Carsten Schneider. From Moments to Functions in Quantum Chromodynamics. RISC/DESY. Technical report, arXiv:0902.4095, 2009. [ps] [pdf] [bib]
• J. Bluemlein, M. Kauers, S. Klein, C. Schneider. From moments to functions in higher order QCD . In: Proc. of Science, - (ed.), Proceedings of XII Advanced Computing and Analysis Techniques in Physics Research PoS(ACAT08)106, pp. 1-7. 2009. ISSN 1824-8039. [pdf] [bib]
• C. Schneider. Structural Theorems for Symbolic Summation. Technical report no. 09-09 in RISC Report Series, University of Linz, Austria. 2009. [pdf] [bib]
• Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir Cretu. Experiments on a Grid Layer Prototype for Shared Data Programming Model. In: Proceedings 5th International Symposium on Applied Computational Intelligence and Informatics (SACI 2009), Anikó Szakál (ed.), pp. -. 2009. IEEE Catalog: CFP0945C-CDR, Timisoara, Romania, May 28-29, ISBN: 978-1-4244-4478-6. ©2009 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any c. [pdf] [bib]
• Wolfgang Schreiner. A JML Specification of the Design Pattern "Proxy". Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, April 2009. [pdf] [bib]
• Andreas Müller. VDM - The Vienna Development Method. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, April 2009. Bachelor thesis in "Formal Methods in Software Engineering". [pdf] [bib]
• Wolfgang Schreiner. On Proving Assistants in the Classroom (and Elsewhere). In: CADGME 2009, Computer Algebra and Dynamic Geometry Systems in Mathematics Education , Csaba Sarvari et al. (ed.), pp. XX-XX. 2009. ISBN XXXXXXXX. RISC, Castle of Hagenberg, Austria, July 11-13, 2009. [pdf] [bib]
• Amira Zaki. Re-engineering of a Grid Aware Medical Database System Based on a Metamodel. Internationaler Universitätslehrgang Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis. July 2009. [pdf] [bib]
• Stefan Georgiev. Evaluation of Cluster Middleware in a Heterogeneous Computing Environment. Internationaler Universitätslehrgang Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis. July 2009. [pdf] [bib]
• Gergely Kovasznai. Java Framework Implementing Design Patterns by the Use of JML and Contract4J. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, 2009. [pdf] [bib]
• Jens Volkert, Wolfgang Schreiner, Thomas Fahringer. 3. Austrian Grid Symposium. September 2009. Extended abstracts of the 3. Austrian Grid Symposium, September 28-29, 2009, Johannes Kepler University, Linz, Austria. [pdf] [bib]
• Wolfgang Schreiner. Supporting the Design Pattern "Object Structures as Plain Values". Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, September 2009. [pdf] [bib]
• Wolfgang Schreiner. How to Write Postconditions with Multiple Cases. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, November 2009. [pdf] [bib]
• Flavia Stan. Computer-Assisted Proofs of Special Function Identities Related to Poisson Integrals. The Ramanujan Journal 20(1), pp. 55-67. 2009. Springer, ISSN 1382-4090. [bib]
• Karen T. Kohl and Flavia Stan. An Algorithmic Approach to the Mellin Transform Method. Doctoral Program Computational Mathematics. Technical report no. DK-2009-03, November 2009. To appear in Contemporary Mathematics. [pdf] [bib]
• Vajda Robert. Supporting Exploration in Elementary Analysis by Computational, Graphical and Reasoning Tools. Technical report no. 09-11 in RISC Report Series, University of Linz, Austria. June 2009. [pdf] [bib]
• Vajda Robert. An e-learning environment for elementary analysis: combining computer algebra, graphics and automated reasoning . Teaching Mathematics and Computer Science 7(1), pp. 13-34. 2009. University of Debrecen, Hungary, ISSN 1589 - 7389. [bib]
• Vajda Robert. Supporting Exploration in Elementary Analysis by Computational, Graphical and Reasoning Tools. Research Institute for Symbolic Computation, Johannes Kepler University of Linz, Austria. PhD Thesis. June 2009. [pdf] [bib]
• Manuela Wiesinger. Contributions to MacMahon's Partition Analysis. Technical report no. 09-05 in RISC Report Series, University of Linz, Austria. January 2009. Master Thesis. [pdf] [bib]
• Manuela Wiesinger. Contributions to MacMahon's Partition Analysis. Johannes Kepler University. Diploma Thesis. January 2009. RISC Report 09-05. [pdf] [bib]
• F. Winkler. Canonical Reduction Systems in Symbolic Mathematics. In: Proc. 3rd International Conference on Algebraic Informatics, S. Bozapalidis, G. Rahonis (ed.)5725, pp. 123-135. 2009. Springer-Verlag, 978-3-642-03563-0. [bib]
• Hemmer Michael, Tsigaridas Elias P., Zafeirakopoulos Zafeirakis, Emiris Ioannis Z., Karavelas Menelaos I., Mourrain Bernard. Experimental evaluation and cross-benchmarking of univariate real solvers. In: SNC '09: Proceedings of the 2009 conference on Symbolic numeric computation, Hiroshi Kai, Hiroshi Sekigawa (ed.), pp. 45-54. 2009. ACM, New York, NY, USA, ISBN 978-1-60558-664-9. [bib]

2008

• Tom Schrijvers, Frank Raiser, Thom Frühwirth. CHR 2008, Fifth Workshop on Constraint Handling Rules. Technical report no. 08-10 in RISC Report Series, University of Linz, Austria. 2008. [url] [pdf] [bib]
• Aart Middeldorp. WRS 2008, 8th International Workshop on Reduction Strategies in Rewriting and Programming. Technical report no. 08-09 in RISC Report Series, University of Linz, Austria. 2008. [url] [pdf] [bib]
• Karoly Bosa, Wolfgang Schreiner. Report on Experiments with Globus 4 and gLite. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-D4-1-2007-1, January 2008. Extended Version. Austrian Grid Deliverable. [pdf] [bib]
• Karoly Bosa, Wolfgang Schreiner. Report on the State of the Art Survey. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-D4-1-2008_2, March 2008. Extended Version. Austrian Grid Deliverable. [pdf] [bib]
• Karoly Bosa, Wolfgang Schreiner. The Porting of a Medical Grid Application from Globus 4 to the gLite Middleware. In: Proceedings of DAPSYS 2008, Peter Kacsuk at al. (ed.), Proceedings of DAPSYS 2008, 7th INTERNATIONAL CONFERENCE ON DISTRIBUTED AND PARALLEL SYSTEMS, pp. 51-61. September 2008. Springer, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, ISBN-13: 978-0-387-79447-1. [url] [pdf] [bib]
• Karoly Bosa, Wolfgang Schreiner. Initial Design of a Distributed Supercomputing API for the Grid. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-D4-2-2008_1, September 2008. Austrian Grid Deliverable. [pdf] [bib]
• Florina Piroi, Bruno Buchberger, Camelia Rosenkranz. Mathematical Journals as Reasoning Agents: Literature Review. Technical report no. 08-05 in RISC Report Series, University of Linz, Austria. March 2008. [nb] [pdf] [bib]
• Bruno Buchberger, Tetsuo Ida, Temur Kutsia. Austrian-Japanese Workshop on Symbolic Computation in Software Science, SCSS 2008. Technical report no. 08-08 in RISC Report Series, University of Linz, Austria. 2008. [url] [pdf] [bib]
• Camelia Rosenkranz, Bruno Buchberger, Tudor Jebelean. Mathematical Knowledge Archives in Theorema. Technical report no. 08-16 in RISC Report Series, University of Linz, Austria. September 2008. [pdf] [bib]
• B. Buchberger, G. Regensburger, M. Rosenkranz, L. Tec. General Polynomial Reduction with Theorema Functors: Applications to Integro-Differential Operators and Polynomials . SIGSAM Bulletin 42(3), pp. 135-137. September 2008. ISSN 0163-5824. Extended abstract from ISSAC 2008 poster presentation. [bib]
• Adrian Craciun. Lazy Thinking Algorithm Synthesis in Gröbner Bases Theory. Technical report no. 08-02 in RISC Report Series, University of Linz, Austria. April 2008. [pdf] [bib]
• Adrian Craciun. Lazy Thinking Algorithm Synthesis in Gröbner Bases Theory. Research Institute for Symbolic Computation (RISC). PhD Thesis. 2008. [pdf] [bib]
• Madalina Erascu, Tudor Jebelean. Practical Program Verification by Forward Symbolic Execution: Correctness and Examples. In: Austrian-Japan Workshop on Symbolic Computation in Software Science, Bruno Buchberger, Tetsuo Ida, Temur Kutsia (ed.)08-08, pp. 47-56. 2008. RISC Report Series, University of Linz, Austria, [pdf] [bib]
• Madalina Erascu. Automated Formal Static Analysis and Retrieval of Source Code. International School for Informatics - Johannes Kepler University . Diploma Thesis. August 2008. in RISC Raport Series 08-21. [pdf] [bib]
• Madalina Erascu. Automated Formal Static Analysis and Retrieval of Source Code. Technical report no. 08-21 in RISC Report Series, University of Linz, Austria. 2008. [pdf] [bib]
• Gabor Guta, Barnabas Szasz, Wolfgang Schreiner. A Lightweight Model Driven Development Process based on XML Technology. Technical report no. 08-01 in RISC Report Series, University of Linz, Austria. March 2008. Draft. [pdf] [ps] [bib]
• Tamas Berczes, Gabor Guta, Gabor Kusper, Wolfgang Schreiner, Janos Sztrik. Analyzing Web Server Performance Models with the Probabilistic Model Checker PRISM. Technical report no. 08-17 in RISC Report Series, University of Linz, Austria. November 2008. [pdf] [bib]
• Elena Kartashova. Kinematic Theory of Nonlinear Resonances.10, Geophysical Research Abstracts edition, 2008. EGU (European Geophysical Union), isbn. [pdf] [bib]
• E. Kartashova, V. L`vov. Cluster Dynamics of Planetary Waves. Europhys. Letters 83, pp. 50012-6. 2008. ISSN: 0295-5075 (Print) 1286-4854 (Online). [url] [pdf] [bib]
• E. Kartashova, S. Nazarenko, O. Rudenko. Resonant interactions of nonlinear water waves in a finite basin. Physical Review E 78 (016304), pp. 1-9. 2008. American Physical Society, 1539-3755 (print) , 1550-2376 (online). [url] [pdf] [bib]
• Manuel Kauers. Solving Difference Equations whose Coefficients are not Transcendental. Theoretical Computer Science 401(1-3), pp. 217-227. July 2008. ISSN 0304-3975. [pdf] [ps] [bib]
• Manuel Kauers, Doron Zeilberger. The Quasi-Holonomic Ansatz and Restricted Lattice Walks. Journal of Difference Equations and Applications 14(10-11), pp. 1119-1126. 2008. ISSN 1023-6198. to appear. [pdf] [ps] [bib]
• Manuel Kauers, Doron Zeilberger. Experiments with a Positivity Preserving Operator. Experimental Mathematics 17(3), pp. 341-345. 2008. ISSN 1058-6458. [pdf] [ps] [bib]
• Manuel Kauers. Fast Solvers for Dense Linear Systems. Nuclear Physics B (Proc. Suppl.) 183, pp. 245-250. 2008. ISSN 0550-3213. [ps] [pdf] [bib]
• Manuel Kauers. Integration of Algebraic Functions: A Simple Heuristic for Finding the Logarithmic Part. In: Proceedings of ISSAC'08, David Jeffrey (ed.), Proceedings of ISSAC'08, pp. 133-140. 2008. 978-1-59593-904-3. [ps] [pdf] [bib]
• Manuel Kauers. Computer Algebra for Special Function Inequalities. In: Tapas in Experimental Mathematics, Tewodros Amdeberhan, Victor Moll (ed.), Contemporary Mathematics 457, pp. 215-235. 2008. AMS, ISBN 978-0-8218-4317-8. [pdf] [ps] [bib]
• Alin Bostan, Manuel Kauers. Automatic Classification of Restricted Lattice Walks. RISC. Technical report no. arXiv 0811.2899, 2008. [url] [pdf] [ps] [bib]
• Christoph Koutschan. Regular Languages and Their Generating Functions: The Inverse Problem. Theoretical Computer Science 391(1-2), pp. 65-74. 2008. ISSN 0304-3975. [pdf] [ps] [bib]
• Christoph Koutschan, Viktor Levandovskyy. Computing one of Victor Moll's irresistible integrals with computer algebra. Computer Science Journal of Moldova 16(1(46)), pp. 35-49. 2008. ISSN 1561-4042. [pdf] [bib]
• Tudor Jebelean, Gabor Kusper. Multi-Domain Logic and its Applications to SAT. In: SYNASC 2008, V. Negru et. al. (ed.), Proceedings of International Simposium on Symbolic and Numeric Scientific Computation, pp. 3-8. 2008. IEEE Society Press, 978-0-7695-3523-4. [pdf] [bib]
• Temur Kutsia. Flat Matching. JSC 43(12), pp. 858-873. 2008. ISSN 0747-7171. [url] [pdf] [bib]
• Mircea Marin. UNIF 2008, The 22nd International Workshop on Unification. 2008. [url] [pdf] [bib]
• Imre Zoltan Matko. Grid-aware Database Support for Medical Software. Internationaler Universitätslehrgang Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis. July 2008. [pdf] [bib]
• E. Kartashova, C. Raab, Ch. Feurer, G. Mayrhofer, W. Schreiner. Symbolic Computations for Nonlinear Wave Resonances. In: "Extreme Ocean Waves", E. Pelinovsky, Ch. Kharif (ed.), pp. 97-128. 2008. Springer, ISBN: 978-1-4020-8313-6. [url] [pdf] [bib]
• Johannes Middeke. A polynomial-time algorithm for the Jacobson form for matrices of differential operators . Technical report no. 08-13 in RISC Report Series, July 2008. [pdf] [bib]
• Kenji Miyamoto. Parallel Algorithms for Sparse Matrices in an Industrial Optimization Software. Internationaler Universitätslehrgang Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis. July 2008. [pdf] [bib]
• S. Bouchard, C. M. Gosselin, B. Moore. On the ability of a cable-driven robot to generate a prescribed set of wrenches. In: Proc. of the ASME International Design Engineering Technical Conferences, Mechanics and Robotics Conference, . (ed.), pp. -. 2008. .. [pdf] [bib]
• P. Paule, V. Pillwein. Automatic Improvements of Wallis' Inequality. Technical report no. 08-18 in RISC Report Series, University of Linz, Austria. 2008. [pdf] [ps] [bib]
• Peter Paule. Henrici's Friendly Monster Identity Revisited. Technical report no. 08-19 in RISC Report Series, University of Linz, Austria. December 2008. Dedicated to Professor Georgy Egorychev on the occasion of his 70th birthday. [pdf] [bib]
• William Y. C. Chen, Peter Paule, Husam L. Saad. Converging to Gosper's Algorithm. Technical report no. 08-20 in RISC Report Series, University of Linz, Austria. December 2008. [pdf] [bib]
• S. Beuchler, V. Pillwein. Completions to sparse shape functions for triangular and tetrahedral p-FEM. In: Domain Decomposition Methods in Science and Engineering XVII, U. Langer and M. Discacciati and D.E. Keyes and O.B. Widlund and W. Zulehner (ed.), Lecture Notes in Computational Science and Engineering 60, pp. 435-442. 2008. Springer, Heidelberg, [pdf] [bib]
• V. Pillwein. Positivity of certain sums over Jacobi kernel polynomials. Adv. in Appl. Math. 41(3), pp. 365-377. 2008. doi:10.1016/j.aam.2007.12.001. [pdf] [ps] [bib]
• Veronika Pillwein. Computer Algebra Tools for Special Functions in High Order Finite Element Methods. Johannes Kepler University Linz. PhD Thesis. 2008. [ps] [pdf] [bib]
• N. Popov, T. Jebelean. A Prototype Environment for Verification of Recursive Programs. In: FORMED'08, Z. Istenes (ed.), Proceedings of Formal Methods in Computer Science Education, Budapest, Hungary, ENTCS , pp. 121-130. March 2008. Elsevier, .. [pdf] [bib]
• Nikolaj Popov. Functional Program Verification in Theorema. RISC, Johannes Kepler University . PhD Thesis. July 2008. Technical report no. 08-12 in RISC Report Series. [pdf] [bib]
• N. Popov, T. Jebelean. Verification of Functional Programs Containing Nested Recursion . In: SCSS'08, B. Buchberger, T. Ida and T. Kutsia (ed.), Proceedings of Austrian-Japan Workshop on Symbolic Computation in Software Science, Hagenberg, Austria, pp. 163-175. July 2008. .. [pdf] [bib]
• C. Schneider. A Refined Difference Field Theory for Symbolic Summation. J. Symbolic Comput. 43(9), pp. 611-644. 2008. ISSN 0747-7171. [pdf] [bib]
• Manuel Kauers , Carsten Schneider. Automated Proofs for Some Stirling Number Identities. The Electronic Journal of Combinatorics 15(1), pp. 1-7. 2008. ISSN 1077-8926. R2. [pdf] [ps] [bib]
• M. Kuba, H. Prodinger, C. Schneider. Generalized Reciprocity Laws for Sums of Harmonic Numbers. INTEGERS. Electronic Journal of Combinatorial Number Theory 8(A17), pp. 1-20. 2008. ISSN 1553-1732. [url] [pdf] [bib]
• I. Bierenbaum, J. Bluemlein, S. Klein, C. Schneider. Two-Loop Massive Operator Matrix Elements for Unpolarized Heavy Flavor Production to $O!(epsilon)$. Nucl.Phys. B 803(1-2), pp. 1-41. November 2008. ISSN: 0550-3213. [url] [pdf] [bib]
• Wolfgang Schreiner. The RISC ProofNavigator: A Proving Assistant for Program Verification in the Classroom. Formal Aspects of Computing, pp. -. April 2008. Springer, London, ISSN 0934-5043. The original publication is available at www.springerlink.com. DOI 10.1007/s00165-008-0069-4. [url] [pdf] [bib]
• Dacian Tudor, Vladimir Cretu, Wolfgang Schreiner. Designing an Architecture for Distributed Shared Data on the Grid. In: Algorithms and Architectures for Parallel Processing, Anu G. Bourgeois and S. Q. Zheng (ed.), Proceedings of ICA3PP 2008, International Conference on Algorithms and Architectures for Parallel Processing, June 9-11, Agia Napa, Cyprus, Lecture Notes in Computer Science 22, pp. 261-264. 2008. Springer, ISBN 0302-9743. [pdf] [bib]
• Johannes Watzl. Investigations on Improving the SEE-GRID Optimization Algorithm. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Diploma Thesis. June 2008. [pdf] [bib]
• Markus Stadlbauer. Integration von Entscheidungsprozeduren in einen interaktiven Beweisassistenten. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Diploma Thesis. June 2008. [pdf] [bib]
• Wolfgang Schreiner. Understanding Programs. Research Institute for Symbolic Computation (RISC). Technical report, Johannes Kepler University, Linz, Austria, July 2008. [pdf] [bib]
• Wolfgang Schreiner. A Program Calculus. Research Institute for Symbolic Computation (RISC). Technical report, Johannes Kepler University, Linz, Austria, September 2008. [pdf] [bib]
• Dacian Tudor, Georgiana Macariu, Wolfgang Schreiner, Vladimir Cretu . Experiences on Grid Shared Data Programming. Journal of Grid and Utility Computing (IJGUC), pp. 43-54. 2008. Inderscience, ISSN 1741-847X. To appear. [pdf] [bib]
• E. Shemyakova, F. Winkler. On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators. In: Computer Mathematics - Proc. 8th Asian Symp. on Computer Mathematics (ASCM 2007), D. Kapur (ed.), Proceedings of ASCM 2007, Singapore, Dec. 2007, LNAI 5081 , pp. 199-212. 2008. Springer, ISSN 0302-9743, ISBN 978-3-540-87827-8. [pdf] [bib]
• Flavia Stan. Computer-Assisted Proofs of Special Function Identities Related to Poisson Integrals. SFB F13. Technical report no. 2008-3, January 2008. [ps] [pdf] [bib]
• W. Windsteiger. Stimulating Students' Creativity Through Computer-Supported Experiments and Automated Theorem Proving. In: Promoting Creativity for all Students in Mathematics Education, Emiliya Velikova, Agnis Andzans (ed.), pp. 351-357. 2008. 8 Studentska Str., 7017 Rousse, Bulgaria, University of Rousse, Bulgaria, ISBN 978-954-712-420-2. Proceedings of Discussion Group 9, the 11th International Congress on Mathematical Education (ICME 11). [pdf] [bib]
• Ph. Kügler, W. Windsteiger. Algorithmische Methoden - Zahlen, Vektoren, Polynome. Reihe: Mathematik kompakt. 1st edition, December 2008. Birkhäuser Basel Boston Berlin, ISBN: 978-3-7643-8434-0. [url] [bib]
• M. Zhou, F. Winkler. Groebner bases in difference - differential modules and difference - differential dimension polynomials. Science in China Series A: Mathematics 51(9), pp. 1732-1752. 2008. ISSN 1006-9283. [pdf] [pdf] [bib]
• M. Zhou, F. Winkler. Computing difference-differential dimension polynomials by relative Groebner bases in difference-differential modules. Journal of Symbolic Computation 43(10), pp. 726-745. 2008. ISSN 0747-7171. [pdf] [bib]
• Winkler, Sendra, Perez-Diaz. Rational Algebraic Curves - A Computer Algebra Approach. Algorithms and Computation in Mathematics 22, Rational Algebraic Curves edition, 2008. Springer Verlag Heidelberg, RISC, 978-3-540-73724-7. [bib]
• Alexander Zapletal. Compilation of Theorema Programs. RISC, Johannes Kepler University Linz. PhD Thesis. May 2008. [pdf] [bib]
• Alexander Zapletal. Compilation of Theorema Programs. Technical report no. 08-04 in RISC Report Series, University of Linz, Austria. May 2008. [pdf] [bib]
• S. Gerhold, L. Glebsky, C. Schneider, H. Weiss, B. Zimmermann. Computing the complexity for schelling segregation models. Communications in Nonlinear Science and Numerical Simulations 13, pp. 2236-2245. 2008. ISSN 1007-5704. [pdf] [bib]
• Manuel Kauers, Burkhard Zimmermann. Computing the Algebraic Relations of C-finite Sequences and Multisequences. Journal of Symbolic Computation 43(11), pp. 787-803. 2008. ISSN 0747-7171.. [pdf] [ps] [bib]

All Years >>