| Acronym | Project Title | Project Duration | Project Leader | Sponsored By |
|---|
| | from | to | | |
|---|
| SAGEX – Scattering Amplitudes: from Geometry to Experiment | Nov -0001 | Aug 2022 | Wong | |
| MACH-2 | Supercomputer MACH-2 | Jan 2017 | Dec 2021 | Schreiner | BMWFW |
| Artin Approximation, Arc-Räume, Auflösung von Singularitäten | Nov -0001 | Sep 2021 | Wong | |
| Symbolic Solutions of Algebraic Differential Equations [ADE-solve] | Nov -0001 | Apr 2021 | Wong | |
| Die Algebra der dreidimensionalen Bewegungen | Apr 2018 | Mar 2021 | Schicho | |
| F050-07 | Computer Algebra and Combinatorial Inequalities | Mar 2013 | Feb 2021 | Pillwein | FWF |
| F050-09 | Computer Algebra for Nested Sums and Products | Mar 2013 | Feb 2021 | Schneider | FWF |
| F050-06 | Partition Analysis | Mar 2013 | Feb 2021 | Paule | FWF |
| SBA-K1 | Combinatorics and Codes for Information Security | Jan 2017 | Dec 2020 | Kutsia | FFG |
| DK6 | Computer Algebra Tools for Special Functions in Numerical Analysis | Oct 2011 | Dec 2020 | Paule | FWF |
| DK15 | Extension of Algorithms for D-finite functions | Oct 2014 | Dec 2020 | Pillwein | FWF |
| DK9 | Symbolic-Numeric Techniques for Genus Computation and Parametrization | Oct 2014 | Dec 2020 | Schicho | FWF |
| CALBP | Computer Algebra for Linear Boundary Problems | Jun 2017 | Jul 2020 | Rosenkranz | FWF P 30052 |
| LOGTECHEDU | Logic Technology for Computer Science Education | Mar 2018 | Feb 2020 | Schreiner | JKU LIT |
| 6RP_2016 | Algebraic Path Planning of 6R/P Manipulators | Jan 2016 | Jan 2020 | Capco | FWF P 28349 |
| ARCADES | Algebraic Representations in Computer-Aided Design for complEx Shapes | Jan 2016 | Jan 2020 | Schicho | EU H2020-MSCA-ITN-2015-ETN_675789 |
| SemTech | Semantic Technologies for Computer Science Education | Jan 2018 | Dec 2019 | Schreiner | |
| TETRA-GB | | Jan 2017 | Apr 2019 | Maletzky | FWF |
| GALA | Generalization ALgorithms and Applications | Feb 2016 | Jan 2019 | Kutsia | FWF |
| SC2 | Satisfiability Checking and Symbolic Computation | Jul 2016 | Aug 2018 | Buchberger | EU H2020-FETOPN-2015-CSA_712689 |
| Der Entwurf und die informationstechnische Modellierung kognitiver Funknetze [96öu8] | Nov -0001 | May 2018 | Wong | |
| DK1 | | Oct 2010 | Dec 2017 | Buchberger | FWF |
| RISC PhD Fellowshops 2017 | Nov -0001 | Dec 2017 | Wong | |
| Technologietransfer 2017 | Nov -0001 | Dec 2017 | Wong | |
| PRACE-4IP | Partnership for Advanced Computing in Europe | Feb 2015 | Apr 2017 | Schreiner | EU |
| LogicGuard II | The Optimized Checking of Time-Quantified Logic Formulas with Applications in Computer Security | Oct 2014 | Mar 2017 | Schreiner | FFG |
| PhD 2016 | RISC PhD Fellowships 2016 | Jan 2016 | Dec 2016 | Paule | |
| TechTrans 2016 | Technologietransfer 2016 | Jan 2016 | Dec 2016 | Paule | |
| SToUT | Symbolic Computation Techniques for Unranked Terms | Jun 2012 | Sep 2016 | Kutsia | FWF |
| PRACE-3IP | Partnership for Advanced Computing in Europe | Jul 2012 | Jun 2016 | Schreiner | EU |
| SmaPro | Smart Production - Machine Data Analysis and Interpretation in Production | Oct 2014 | May 2016 | Schreiner | FFG |
| START | Fast computer algebra for special functions | Apr 2010 | Mar 2016 | Kauers | FWF |
| Performance Analysis of Wireless Sensor Networks | Apr 2015 | Mar 2016 | Schreiner | |
| F050-04 | Algorithmic Lattice Path Counting Using the Kernel Method | Mar 2013 | Dec 2015 | Kauers | FWF |
| DK13 | Multivariate Symbolic Asymptotics | Oct 2011 | Dec 2015 | Kauers | FWF |
| PhD 2014/15 | RISC PhD Fellowships 2013/2014 | Oct 2014 | Dec 2015 | Paule | |
| TechTrans 2014/15 | Technologietransfer 2014/15 | Dec 2014 | Dec 2015 | Paule | |
| Constraint Logic Programming over Unranked Terms and Hedges with Description Operators | Apr 2012 | Mar 2015 | Kutsia | Georgian Rustaveli National Science Foundation |
| LHCPhenoNet | Jan 2011 | Dec 2014 | Schneider | EU |
| HU 10/2012 | Performance Analysis of Real-time Systems and Software Designs | Dec 2012 | Nov 2014 | Schreiner | |
| DK11 | Rational Parametric Algebraic Curves | Oct 2011 | Sep 2014 | Winkler | FWF |
| PhD 2013/14 | RISC PhD Fellowships 2013/2014 | Oct 2013 | Sep 2014 | Paule | |
| TechTrans 2013/14 | Technologietransfer 2013/14 | Jul 2013 | Jun 2014 | Paule | Land Oberoesterreich |
| TASCo | Timing Analysis and Symbolic Computation | Feb 2009 | Feb 2014 | Jebelean | |
| LogicGuard | Efficient Checking of Time-Quantified Logic Formulas with Applications in Computer Security | Jan 2012 | Dec 2013 | Schreiner | FFG |
| P22748-N18 | Computer Algebra for Special Functions Inequalities | Oct 2010 | Sep 2013 | Pillwein | FWF |
| Evaluating Process Algebra Models versus State-oriented Models | Oct 2012 | Sep 2013 | Schreiner | |
| PhD 2012/13 | RISC PhD Fellowships 2012/2013 | Oct 2012 | Sep 2013 | Paule | Land Oberoesterreich |
| TechTrans 2012/13 | Technologietransfer 2012/13 | Jul 2012 | Jun 2013 | Paule | Land Oberoesterreich |
| Symbolic Summation in Perturbative Quantum Field Theory | Feb 2008 | Jan 2013 | Schneider | FWF |
| OntoJob | | Nov 2010 | Dec 2012 | Jebelean | FFG |
| SPy | Static Program Analysis using Symbolic Computation | Jun 2011 | Nov 2012 | Eraşcu | Austrian Academy of Sciences |
| PhD 2011/12 | RISC PhD Fellowships 2011/2012 | Oct 2011 | Sep 2012 | Paule | Land Oberoesterreich |
| texQuality3D | High-Performance Quality Inspection of Industrial Textile Fabrics by 3D Profile Analysis | Jul 2010 | Jun 2012 | Schreiner | SCCH |
| TechTrans 2011/12 | Technologietransfer 2011/12 | Jul 2011 | Jun 2012 | Paule | Land Oberoesterreich |
| P20162-N18 | Symbolic Integration and Special Functions | Jan 2008 | Dec 2011 | Paule | FWF |
| | Oct 2008 | Sep 2011 | Buchberger | FWF |
| Computer Algebra Tools for Special Functions in Numerical Analysis | Oct 2008 | Sep 2011 | Paule | FWF |
| DK W1214 | Doctoral Program "Computational Mathematics" | Oct 2008 | Sep 2011 | Paule | FWF |
| Formally Specified Computer Algebra Software | Oct 2008 | Sep 2011 | Schreiner | FWF |
| Rational Parametric Algebraic Curves | Oct 2008 | Sep 2011 | Winkler | FWF |
| PhD 2010/11 | RISC PhD Fellowships 2010/2011 | Oct 2010 | Sep 2011 | Paule | Land Oberoesterreich |
| TechTrans 2010/11 | Technologietransfer 2010/11 | Jul 2010 | Jun 2011 | Paule | Land Oberoesterreich |
| SCIEnce | SCIEnce: Symbolic Computation Infrastructure for Europe | May 2006 | Apr 2011 | Winkler | EU |
| DIFFOP | Symbolic and Algebraic Methods for LPDOs | May 2008 | Apr 2011 | Winkler | FWF |
| iEAT | Institute e-Austria Timisoara: Mathematical Theory Exploration for Industrial Applications | Mar 2008 | Feb 2011 | Jebelean | Austrian Ministry for Science and Research (BMWF) |
| CENREC | CENREC | Jan 2009 | Dec 2010 | Kartaschova | |
| Doc fForte | Nov -0001 | Dec 2010 | Wong | |
| Introducing Syntactical Constraints in Object-Oriented Programming Supporting Design Pattern Principles | Jan 2009 | Dec 2010 | Schreiner | |
| DIRNOW | Discrete resonances in nonlinear wavesystems | Oct 2007 | Oct 2010 | Kartaschova | FWF |
| PhD 2009/10 | RISC PhD Fellowship 2009/2010 | Oct 2009 | Sep 2010 | Paule | Land Oberoesterreich |
| TechTrans 2009/10 | Technologietransfer 2009/10 | Jul 2009 | Jun 2010 | Paule | Land Oberoesterreich |
| AGRID2 | Austrian Grid 2: Distributed Supercomputing in the Grid | Oct 2007 | Dec 2009 | Schreiner | Austrian Ministry for Science and Research (BMWF) |
| INTAS | Practical Formal Verification Using Automated Reasoning and Model Checking | Sep 2006 | May 2009 | Jebelean | INTAS |
| SSIAR | Symbolic Summation/Integration and Algebraic Relations | Apr 2007 | Mar 2009 | Kauers | FWF |
| Analzying Real-Time Systems by Combining Temporal Logic and Statistical Models | Jan 2007 | Dec 2008 | Schreiner | |
| ALISA | ALgorithmically Integrable Systems in Action | Oct 2006 | Sep 2008 | Kartaschova | |
| SFB F1305-3 | Proving and Solving in Special Function Domains | Apr 2004 | Sep 2008 | Paule | FWF |
| SFB F1303-3 | Proving and Solving Over the Reals | Apr 2004 | Sep 2008 | Schicho | FWF |
| SFB F1301-3 | SFB Coordination and Service Project | Apr 2004 | Sep 2008 | Paule | FWF |
| SFB F1304-3 | Symbolic Differential Computation | Apr 2004 | Sep 2008 | Winkler | FWF |
| SFB F1302-3 | THEOREMA: Proving, Solving and Computing in the Theory of Hilbert Spaces | Apr 2004 | Sep 2008 | Jebelean | FWF |
| EGEE-II | Enabling Grids for E-sciencE | Apr 2006 | Apr 2008 | Schreiner | EU |
| A Special Function Tool-Box for High-Order Finite Element Methods | Nov -0001 | Feb 2008 | Wong | |
| MathBroker II | Jan 2005 | Dec 2007 | Schreiner | FWF |
| Program Verification using Algebraic Methods | Jan 2007 | Dec 2007 | Jebelean | Stiftung Aktion Oesterreich-Ungarn |
| DET | Differential Elimination Theory | Sep 2003 | Apr 2007 | Winkler | FWF |
| | Dec 2003 | Jan 2007 | Paule | FWF. Proj Nr: P16613-N12 |
| SEE-Grid | Austrian Grid Project | Sep 2004 | Dec 2006 | Schreiner | Austrian Ministry for Education, Science, and Culture (BMBWK) |
| CreaComp | | Apr 2004 | Dec 2006 | Buchberger | JKU |
| Explicit Resolution and Related Methods in Algebraic Geometry and Number Theory | Oct 2002 | Oct 2005 | Schicho | FWF. Proj Nr: P15551 |
| e-Austria Timisoara: Pilot Phase II | Mar 2004 | Jun 2005 | Jebelean | Austrian Ministries for Education, Science and Culture (BMBWK) and for Economic Affairs (BMWA) |
| DAAD: Differenzengleichungen und Computeralgebra | Jan 2004 | Dec 2004 | Paule | DAAD |
| Calculemus | Sep 2000 | Aug 2004 | Buchberger | EU. Proj Nr: HPRN-CT-2000-00102 |
| SFB F1304-2 | Computational Methods for Algebraic and Differential Varieties | Apr 2001 | Mar 2004 | Winkler | FWF |
| SFB F1303-2 | Proving and Solving over the Reals | Apr 2001 | Mar 2004 | Schicho | FWF |
| SFB F1305-2 | Symbolic Summation and Combinatorial Identities | Apr 2001 | Mar 2004 | Paule | FWF |
| SFB F1302-2 | THEOREMA: Proving, Solving, Computing in the Theory of Hilbert Spaces | Apr 2001 | Mar 2004 | Buchberger | FWF |
| Computer Aided Geometric Design by Symbolic-Numerical Methods | Jan 2002 | Dec 2003 | Winkler | |
| AMADEUS | | Jan 2002 | Dec 2003 | Paule | |
| A Framework for Brokering Distributed Mathematical Services | Nov -0001 | Nov 2003 | Wong | |
| Math Broker I | Dec 2001 | Nov 2003 | Schreiner | FWF |
| MKM | MKMNET Mathematical Knowledge Management Network | Sep 2002 | Nov 2003 | Buchberger | EU. Proj Nr: IST-2001-37057 |
| e-Austria Timisoara: Pilot Phase I | Mar 2002 | Jun 2003 | Buchberger | Austrian Ministries for Education, Science and Culture (BMBWK) and for Economic Affairs (BMWA) |
| Symbolic Numerical Computation on Algebraic Curves and Surfaces – Periode I | Nov -0001 | Mar 2003 | Wong | |
| Algebraische Analyse von Differentialgleichungen | Jan 2001 | Dec 2002 | Winkler | Land OOe |
| EMAG | Effective Methods in Algebraic Geometry | Jan 2001 | Dec 2002 | Schicho | OeAD |
| Integrating Temporal Specifications as Runtime Assertions into Parallel Debugging Tools | Jan 2001 | Dec 2002 | Schreiner | OeAD |
| AMCS | Algorithmic Methods for Curves and Surfaces | Jan 2000 | Dec 2001 | Winkler | |
| SFB F1304-1 | Computations on Algebraic Curves and Surfaces | Apr 1998 | Mar 2001 | Winkler | FWF |
| PROVE | PROVE Project: Interactive Software for Mathematical Proof Learning | Apr 1998 | Mar 2001 | Buchberger | |
| SFB F1302-1 | Proving and Solving in General Domains | Apr 1998 | Mar 2001 | Buchberger | FWF |
| SFB F1303-1 | Proving and Solving over the Reals | Apr 1998 | Mar 2001 | Schicho | FWF |
| SFB F1305-1 | Symbolic Summation and Combinatorial Identities | Apr 1998 | Mar 2001 | Paule | FWF |
| MOST | Medical Representative On-line Simulation Training | Jan 1999 | Dec 2000 | Jebelean | EU |
| RTETP | Rewriting Techniques and Efficient Theorem Proving | Jan 1998 | Dec 2000 | Jebelean | EU INTAS |
| Softwarebibliothek zur Unterstützung der Transportlogistik | Nov -0001 | Nov 2000 | Wong | |
| Machbarkeitsstudie OÖ Kulturdatenbank | Nov -0001 | Jun 2000 | Wong | |
| Software zur Satellitenkommunikation | Nov -0001 | Jun 2000 | Wong | |
| Computation of Adjoints for Surfaces | Jan 1998 | Apr 2000 | Schicho | FWF |
| HySaX | Hybrid Software for Algebraic Geometry in X-windows Environment | Nov 1995 | Nov 1999 | Winkler | FWF, Proj Nr: P11160-TEC |
| COASTER | COAST extended renewal | Jan 1998 | Dec 1999 | Jebelean | EU |
| Distributed Constraint Solving for Functional Logic Programming | Jul 1997 | Jun 1999 | Schreiner | Research Institute for Advanced Information Technology (AITEC) in the frame of the AITEC Contract Resarch Programme |
| Algebraic Curves-A Computational Approach | Jan 1997 | Dec 1998 | Winkler | |
| Symbolic and Algebraic Computation | Jan 1995 | Dec 1998 | Winkler | EU, HCM network, Proj Nr: CHRX-CT94-0439 |
| COOPERATE | Automated Meeting Minutes Generator | Jun 1998 | Sep 1998 | Schreiner | Austrian Federal Ministry of Science and Transport in the frame of the COOPERATE initiative |
| Pilotprojekt “Projektentwicklung u. Durchführung eines Referenzprojektes f. d. SWCCH” | Nov -0001 | Sep 1998 | Wong | |
| Constructing a Geometric Algorithms Library [CGAL] | Nov -0001 | Jun 1998 | Wong | |
| Computational Geometry Algorithms Library | Oct 1996 | Mar 1998 | Stifter | European Union, Esprit IV. |
| HPGP | High-Performance Generic Programming | Sep 1996 | Feb 1998 | Schreiner | |
| ACCLAIM | Constraint Logic Programming | Jul 1992 | Jun 1996 | Hong | Austrian Ministery of Science and Research in the frame of ESPRIT III. |
| Parallel Symbolic Computation on Shared Memory Machine | Jul 1991 | Jun 1996 | Buchberger | Austrian Science Foundation. |
| Hybrid Evolutionary Programming Techniques | Oct 1993 | Mar 1996 | Buchberger | Japanese Ministery of Science in the frame of the Real World Computing Program (RWCP). |
| Das Berechnen in der Jacobischen Varietät einer algebraischen Kurve über einen endlichen Körper | Nov -0001 | Dec 1995 | Wong | |
| MEDLAR-II | The MEDLAR project | Oct 1992 | Jun 1995 | Buchberger | Austrian Ministery for Science and Research in the frame of ESPRIT (Basic Research Actions). |
| PARAGRAPH | Parallel Computer Graphics and Geometry | Apr 1993 | Mar 1995 | Buchberger | Austrian Ministery for Science and Research. |
| POSSO | Polynomial System Solving | Nov 1991 | Nov 1994 | Winkler | Austrian Ministery of Science and Research in the frame of ESPRIT III. |
| SGC | Symbolic Geometric Computation-Mathematical Foundations and Algorithms | Jan 1992 | Dec 1994 | Winkler | FWF, Proj Nr: P8573-PHY |
| Anwenudngen der Computer-Algebra in Algebraischer Geometrie | Jan 1991 | Dec 1993 | Winkler | BMWF, wissenschaftlich-technisches Abkommen zwischen Oesterreich und Spanien (Integrierte Aktion 16) |
| Computer Algebra Algorithms for q-Series and Combinatorial Identities | Nov -0001 | Mar 1993 | Wong | |
| Algebraic and Computational Combinatorics | Oct 1989 | Dec 1992 | Paule | Austrian Science Foundation. |
| | Jan 1989 | Dec 1992 | Buchberger | Austrian Ministery of Science. Proj Nr: 613.523/3-27a/89 |
| MEDLAR | Mechanizing Deduction in the Logics of Practical Reasoning | Oct 1989 | Feb 1992 | Buchberger | Austrian Ministery for Science and Research in the frame of ESPRIT (Basic Research Actions). |
| Algorithmen und Software für die Algebraische Geometrie [ASAG] | Nov -0001 | Dec 1991 | Wong | |
| Methodologies of Design and Implementation of Symbolic Computation Systems | Nov 1990 | Oct 1991 | Wang | DIS-Roma, Italy. |
| Computer-Aided Molecular Synthesis | Jun 1986 | Jun 1991 | Blurock | Uniware, Linz, Austrian Funds for Industrial Research, Chemie-Linz. |
| Solution of Algebraic Equations by Puiseux Series | Apr 1989 | May 1991 | Winkler | IBM New York and Vienna. |
| Algorithmic Algebraic Geometry | May 1989 | Apr 1991 | Winkler | Austrian Science Foundation, Austrian Ministery of Science and Research. |
| Computer-assisted Chemical Synthesis design (industrial project | Nov -0001 | Dec 1988 | Wong | |
| Vervollständigungsverfahren für Basen von Polynomidealen und Axiomensysteme von Gleichungstheorien | Nov -0001 | Dec 1987 | Wong | |
| Algebraische Lösungen von Fuchsschen Differentialgleichungen | Nov -0001 | Nov -0001 | Wong | |
| ARC: Automated Reasoning in The Class [Erasmus+ Project] | Nov -0001 | Nov -0001 | Wong | |
| European Network GRAPES: learninG, pRocessing And oPtimizing shapES [GRAPES] | Nov -0001 | Nov -0001 | Wong | |
| MATH LP (LIT Project) | Nov -0001 | Nov -0001 | Wong | |
| Mathematics in Motion | Nov -0001 | Nov -0001 | Wong | |
| Partitionskongruenzen nach der Lokalisierungsmethode | Nov -0001 | Nov -0001 | Wong | |
| Puzzle Robot | Nov -0001 | Nov -0001 | Wong | |
| Realizations of Rigid Graphs | Nov -0001 | Nov -0001 | Wong | |
| Security and Safety for Shared AI by Deep Model Design (scch) | Nov -0001 | Nov -0001 | Wong | |
| Symbolic Summation for Computer Science | Nov -0001 | Nov -0001 | Wong | |
| Theorema Project | Jan 1994 | Nov -0001 | Buchberger | |
