Projects

RISC concentrates on foundational research in various areas of symbolic computation. Industrial research projects are carried out via the RISC Software company, a RISC spin-off founded in the year 1992.

Ongoing Projects at RISC

Die Algebra der dreidimensionalen Bewegungen

Project Lead:
Project Duration: 01/04/2018 - 31/03/2021
More

Semantic Technologies for Computer Science Education [SemTech]

Project Lead:
Project Duration: 01/01/2018 - 31/12/2019
More

Computer Algebra for Linear Boundary Problems [CALBP]

Project Lead:
Project Duration: 01/06/2017 - 31/07/2020
More

Combinatorics and Codes for Information Security [SBA-K1]

Project Lead:
Project Duration: 01/01/2017 - 31/12/2020
More

Theory Exploration in Theorema: Recent Approaches to Gröbner Bases [TETRA-GB]

Project Lead:
Project Duration: 01/01/2017 - 30/04/2019
More

Satisfiability Checking and Symbolic Computation [SC2]

Project Lead:
Project Duration: 01/07/2016 - 31/08/2018
More

Generalization ALgorithms and Applications [GALA]

Project Lead:
Project Duration: 01/02/2016 - 31/01/2019
More

Algebraic Path Planning of 6R/P Manipulators [6RP_2016]

Project Lead:
Project Duration: 11/01/2016 - 10/01/2019
More

Algebraic Representations in Computer-Aided Design for complEx Shapes [ARCADES]

Project Lead:
Project Duration: 01/01/2016 - 01/01/2020
More

Extension of Algorithms for D-finite functions [DK15]

Project Lead:
Project Duration: 01/10/2014 - 31/12/2020
More

Symbolic-Numeric Techniques for Genus Computation and Parametrization [DK9]

Project Lead:
Project Duration: 01/10/2014 - 31/12/2020
More

Computer Algebra and Combinatorial Inequalities [F050-07]

Project Lead:
Project Duration: 01/03/2013 - 28/02/2021
More

Computer Algebra for Nested Sums and Products [F050-09]

Project Lead:
Project Duration: 01/03/2013 - 28/02/2021
More

Partition Analysis [F050-06]

Project Lead:
Project Duration: 01/03/2013 - 28/02/2021
More

Computer Algebra Tools for Special Functions in Numerical Analysis [DK6]

Project Lead:
Project Duration: 01/10/2011 - 31/12/2020
More

Past Projects at RISC

Formal Theory and Algorithmics of Noncommutative Gröbner Bases [DK1]

Project Lead:
Project Duration: 01/10/2010 - 31/12/2017
More

Partnership for Advanced Computing in Europe [PRACE-4IP]

Project Lead:
Project Duration: 01/02/2015 - 30/04/2017
More

The Optimized Checking of Time-Quantified Logic Formulas with Applications in Computer Security [LogicGuard II]

Project Lead:
Project Duration: 01/10/2014 - 31/03/2017
More

RISC PhD Fellowships 2016 [PhD 2016]

Project Lead:
Project Duration: 01/01/2016 - 31/12/2016
More

Technologietransfer 2016 [TechTrans 2016]

Project Lead:
Project Duration: 01/01/2016 - 31/12/2016
More

Symbolic Computation Techniques for Unranked Terms [SToUT]

Project Lead:
Project Duration: 01/06/2012 - 30/09/2016
More

Partnership for Advanced Computing in Europe [PRACE-3IP]

Project Lead:
Project Duration: 01/07/2012 - 30/06/2016
More

Smart Production – Machine Data Analysis and Interpretation in Production [SmaPro]

Project Lead:
Project Duration: 01/10/2014 - 31/05/2016
More

Fast computer algebra for special functions [START]

Project Lead:
Project Duration: 01/04/2010 - 31/03/2016
More

Performance Analysis of Wireless Sensor Networks [90öu6]

Project Lead:
Project Duration: 01/04/2015 - 31/03/2016
More

Algorithmic Lattice Path Counting Using the Kernel Method [F050-04]

Project Lead:
Project Duration: 01/03/2013 - 31/12/2015
More

Multivariate Symbolic Asymptotics [DK13]

Project Lead:
Project Duration: 01/10/2011 - 31/12/2015
More

RISC PhD Fellowships 2013/2014 [PhD 2014/15]

Project Lead:
Project Duration: 01/10/2014 - 31/12/2015
More

Technologietransfer 2014/15 [TechTrans 2014/15]

Project Lead:
Project Duration: 01/12/2014 - 31/12/2015
More

Constraint Logic Programming over Unranked Terms and Hedges with Description Operators

Project Lead:
Project Duration: 01/04/2012 - 31/03/2015
More

Performance Analysis of Real-time Systems and Software Designs [HU 10/2012]

Project Lead:
Project Duration: 01/12/2012 - 30/11/2014
More

Rational Parametric Algebraic Curves [DK11]

Project Lead:
Project Duration: 01/10/2011 - 30/09/2014
More

RISC PhD Fellowships 2013/2014 [PhD 2013/14]

Project Lead:
Project Duration: 01/10/2013 - 30/09/2014
More

Technologietransfer 2013/14 [TechTrans 2013/14]

Project Lead:
Project Duration: 01/07/2013 - 01/06/2014
More

Timing Analysis and Symbolic Computation [TASCo]

Project Lead:
Project Duration: 01/02/2009 - 01/02/2014
More

Efficient Checking of Time-Quantified Logic Formulas with Applications in Computer Security [LogicGuard]

Project Lead:
Project Duration: 01/01/2012 - 31/12/2013
More

Computer Algebra for Special Functions Inequalities [P22748-N18]

Project Lead:
Project Duration: 01/10/2010 - 30/09/2013
More

RISC PhD Fellowships 2012/2013 [PhD 2012/13]

Project Lead:
Project Duration: 01/10/2012 - 30/09/2013
More

Evaluating Process Algebra Models versus State-oriented Models [85öu8]

Project Lead:
Project Duration: 01/10/2012 - 30/09/2013
More

Technologietransfer 2012/13 [TechTrans 2012/13]

Project Lead:
Project Duration: 01/07/2012 - 30/06/2013
More

Symbolic Summation in Perturbative Quantum Field Theory

Project Lead:
Project Duration: 01/02/2008 - 31/01/2013
More

Ontologie- und Persönlichkeitsmodell basierter Abgleich von Bewerberprofilen und Stellenangeboten zur Effizienzsteigerung [OntoJob]

Project Lead:
Project Duration: 01/11/2010 - 31/12/2012
More

Static Program Analysis using Symbolic Computation [SPy]

Project Lead:
Project Duration: 01/06/2011 - 30/11/2012
More

RISC PhD Fellowships 2011/2012 [PhD 2011/12]

Project Lead:
Project Duration: 01/10/2011 - 30/09/2012
More

High-Performance Quality Inspection of Industrial Textile Fabrics by 3D Profile Analysis [texQuality3D]

Project Lead:
Project Duration: 01/07/2010 - 30/06/2012
More

Technologietransfer 2011/12 [TechTrans 2011/12]

Project Lead:
Project Duration: 01/07/2011 - 30/06/2012
More

Symbolic Integration and Special Functions [P20162-N18]

Project Lead:
Project Duration: 01/01/2008 - 31/12/2011
More

Formal Theory and Algorithmics of Noncommutative Gröbner Bases

Project Lead:
Project Duration: 01/10/2008 - 30/09/2011
More

Computer Algebra Tools for Special Functions in Numerical Analysis

Project Lead:
Project Duration: 01/10/2008 - 30/09/2011
More

Formally Specified Computer Algebra Software

Project Lead:
Project Duration: 01/10/2008 - 30/09/2011
More

Rational Parametric Algebraic Curves

Project Lead:
Project Duration: 01/10/2008 - 30/09/2011
More

RISC PhD Fellowships 2010/2011 [PhD 2010/11]

Project Lead:
Project Duration: 01/10/2010 - 30/09/2011
More

Doctoral Program “Computational Mathematics” [DK W1214]

Project Lead:
Project Duration: 01/10/2008 - 30/09/2011
More

Technologietransfer 2010/11 [TechTrans 2010/11]

Project Lead:
Project Duration: 01/07/2010 - 30/06/2011
More

SCIEnce: Symbolic Computation Infrastructure for Europe [SCIEnce]

Project Lead:
Project Duration: 01/05/2006 - 30/04/2011
More

Symbolic and Algebraic Methods for LPDOs [DIFFOP]

Project Lead:
Project Duration: 01/05/2008 - 30/04/2011
More

Institute e-Austria Timisoara: Mathematical Theory Exploration for Industrial Applications [iEAT]

Project Lead:
Project Duration: 01/03/2008 - 28/02/2011
More

CENREC [CENREC]

Project Lead:
Project Duration: 01/01/2009 - 31/12/2010
More

Introducing Syntactical Constraints in Object-Oriented Programming Supporting Design Pattern Principles

Project Lead:
Project Duration: 01/01/2009 - 31/12/2010
More

Discrete resonances in nonlinear wavesystems [DIRNOW]

Project Lead:
Project Duration: 01/10/2007 - 30/10/2010
More

RISC PhD Fellowship 2009/2010 [PhD 2009/10]

Project Lead:
Project Duration: 01/10/2009 - 30/09/2010
More

Technologietransfer 2009/10 [TechTrans 2009/10]

Project Lead:
Project Duration: 01/07/2009 - 30/06/2010
More

Austrian Grid 2: Distributed Supercomputing in the Grid [AGRID2]

Project Lead:
Project Duration: 01/10/2007 - 31/12/2009
More

Practical Formal Verification Using Automated Reasoning and Model Checking [INTAS]

Project Lead:
Project Duration: 01/09/2006 - 31/05/2009
More

Symbolic Summation/Integration and Algebraic Relations [SSIAR]

Project Lead:
Project Duration: 01/04/2007 - 30/03/2009
More

Analzying Real-Time Systems by Combining Temporal Logic and Statistical Models

Project Lead:
Project Duration: 01/01/2007 - 31/12/2008
More

ALgorithmically Integrable Systems in Action [ALISA]

Project Lead:
Project Duration: 01/10/2006 - 30/09/2008
More

Proving and Solving in Special Function Domains [SFB F1305-3]

Project Lead:
Project Duration: 01/04/2004 - 30/09/2008
More

Proving and Solving Over the Reals [SFB F1303-3]

Project Lead:
Project Duration: 01/04/2004 - 30/09/2008
More

SFB Coordination and Service Project [SFB F1301-3]

Project Lead:
Project Duration: 01/04/2004 - 30/09/2008
More

Symbolic Differential Computation [SFB F1304-3]

Project Lead:
Project Duration: 01/04/2004 - 30/09/2008
More

THEOREMA: Proving, Solving and Computing in the Theory of Hilbert Spaces [SFB F1302-3]

Project Lead:
Project Duration: 01/04/2004 - 30/09/2008
More

Enabling Grids for E-sciencE [EGEE-II]

Project Lead:
Project Duration: 01/04/2006 - 30/04/2008
More

Program Verification using Algebraic Methods

Project Lead:
Project Duration: 01/01/2007 - 31/12/2007
More

Differential Elimination Theory [DET]

Project Lead:
Project Duration: 01/09/2003 - 30/04/2007
More

Symbolische Summation in Differenzkörpern (Symbolic Summation in Difference Fields)

Project Lead:
Project Duration: 01/12/2003 - 31/01/2007
More

CREACOMP e-Schulung von Kreativität und Problemlösungskompetenz [CreaComp]

Project Lead:
Project Duration: 01/04/2004 - 31/12/2006
More

Explicit Resolution and Related Methods in Algebraic Geometry and Number Theory

Project Lead:
Project Duration: 01/10/2002 - 01/10/2005
More

e-Austria Timisoara: Pilot Phase II

Project Lead:
Project Duration: 01/03/2004 - 30/06/2005
More

DAAD: Differenzengleichungen und Computeralgebra

Project Lead:
Project Duration: 01/01/2004 - 31/12/2004
More

Computational Methods for Algebraic and Differential Varieties [SFB F1304-2]

Project Lead:
Project Duration: 01/04/2001 - 31/03/2004
More

Proving and Solving over the Reals [SFB F1303-2]

Project Lead:
Project Duration: 01/04/2001 - 31/03/2004
More

Symbolic Summation and Combinatorial Identities [SFB F1305-2]

Project Lead:
Project Duration: 01/04/2001 - 31/03/2004
More

THEOREMA: Proving, Solving, Computing in the Theory of Hilbert Spaces [SFB F1302-2]

Project Lead:
Project Duration: 01/04/2001 - 31/03/2004
More

Computer Aided Geometric Design by Symbolic-Numerical Methods

Project Lead:
Project Duration: 01/01/2002 - 31/12/2003
More

Programm Amadeus 2002 bis 2003 – Wiss. -Techn. Abkommen Österreich-Frankreich [AMADEUS]

Project Lead:
Project Duration: 01/01/2002 - 31/12/2003
More

MKMNET Mathematical Knowledge Management Network [MKM]

Project Lead:
Project Duration: 01/09/2002 - 30/11/2003
More

e-Austria Timisoara: Pilot Phase I

Project Lead:
Project Duration: 01/03/2002 - 30/06/2003
More

Algebraische Analyse von Differentialgleichungen

Project Lead:
Project Duration: 01/01/2001 - 31/12/2002
More

Effective Methods in Algebraic Geometry [EMAG]

Project Lead:
Project Duration: 01/01/2001 - 31/12/2002
More

Integrating Temporal Specifications as Runtime Assertions into Parallel Debugging Tools

Project Lead:
Project Duration: 01/01/2001 - 31/12/2002
More

Algorithmic Methods for Curves and Surfaces [AMCS]

Project Lead:
Project Duration: 01/01/2000 - 31/12/2001
More

Computations on Algebraic Curves and Surfaces [SFB F1304-1]

Project Lead:
Project Duration: 10/04/1998 - 31/03/2001
More

PROVE Project: Interactive Software for Mathematical Proof Learning [PROVE]

Project Lead:
Project Duration: 01/04/1998 - 31/03/2001
More

Proving and Solving in General Domains [SFB F1302-1]

Project Lead:
Project Duration: 01/04/1998 - 31/03/2001
More

Proving and Solving over the Reals [SFB F1303-1]

Project Lead:
Project Duration: 01/04/1998 - 31/03/2001
More

Symbolic Summation and Combinatorial Identities [SFB F1305-1]

Project Lead:
Project Duration: 01/04/1998 - 31/03/2001
More

Medical Representative On-line Simulation Training [MOST]

Project Lead:
Project Duration: 01/01/1999 - 31/12/2000
More

Rewriting Techniques and Efficient Theorem Proving [RTETP]

Project Lead:
Project Duration: 01/01/1998 - 31/12/2000
More

Computation of Adjoints for Surfaces

Project Lead:
Project Duration: 01/01/1998 - 30/04/2000
More

Hybrid Software for Algebraic Geometry in X-windows Environment [HySaX]

Project Lead:
Project Duration: 30/11/1995 - 30/11/1999
More

COAST extended renewal [COASTER]

Project Lead:
Project Duration: 01/01/1998 - 31/12/1999
More

Distributed Constraint Solving for Functional Logic Programming

Project Lead:
Project Duration: 01/07/1997 - 30/06/1999
More

Algebraic Curves-A Computational Approach

Project Lead:
Project Duration: 01/01/1997 - 31/12/1998
More

Symbolic and Algebraic Computation

Project Lead:
Project Duration: 01/01/1995 - 31/12/1998
More

Automated Meeting Minutes Generator [COOPERATE]

Project Lead:
Project Duration: 01/06/1998 - 30/09/1998
More

High-Performance Generic Programming [HPGP]

Project Lead:
Project Duration: 01/09/1996 - 28/02/1998
More

Constraint Logic Programming [ACCLAIM]

Project Lead:
Project Duration: 01/07/1992 - 30/06/1996
More

Parallel Symbolic Computation on Shared Memory Machine

Project Lead:
Project Duration: 01/07/1991 - 30/06/1996
More

Hybrid Evolutionary Programming Techniques

Project Lead:
Project Duration: 01/10/1993 - 31/03/1996
More

The MEDLAR project [MEDLAR-II]

Project Lead:
Project Duration: 01/10/1992 - 30/06/1995
More

Parallel Computer Graphics and Geometry [PARAGRAPH]

Project Lead:
Project Duration: 01/04/1993 - 31/03/1995
More

Polynomial System Solving [POSSO]

Project Lead:
Project Duration: 30/11/1991 - 30/11/1994
More

Symbolic Geometric Computation-Mathematical Foundations and Algorithms [SGC]

Project Lead:
Project Duration: 01/01/1992 - 31/12/1994
More

Anwenudngen der Computer-Algebra in Algebraischer Geometrie

Project Lead:
Project Duration: 01/01/1991 - 31/12/1993
More

Algebraic and Computational Combinatorics

Project Lead:
Project Duration: 01/10/1989 - 31/12/1992
More

Mechanizing Deduction in the Logics of Practical Reasoning [MEDLAR]

Project Lead:
Project Duration: 01/10/1989 - 28/02/1992
More

Computer-Aided Molecular Synthesis

Project Lead:
Project Duration: 01/06/1986 - 30/06/1991
More

Solution of Algebraic Equations by Puiseux Series

Project Lead:
Project Duration: 01/04/1989 - 31/05/1991
More

Algorithmic Algebraic Geometry

Project Lead:
Project Duration: 01/05/1989 - 30/04/1991
More