The SFB program expired on September 30, 2008. For the link to the successor project click DK Computational Mathematics
Home
Appointments
Papers
Misc
Contact

Technical Reports

Publication Lists

Annual Reports


Publications of the Project F1302


UnpublishedUnInvited - 2005


September 27, 2008

Bibliography

1
L. Kovacs.
Imperative program verification in Theorema.
Contributed talk at Theorema-Ultra-Omega'05 Workshop, Department of Computer Science, University of Saarbruecken, Germany, November 14-15 2005.
2
L. Kovacs and T. Jebelean.
An algorithm for automated generation of invariants for loops with conditionals.
Contributed talk at 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05), September 25-29 2005.
3
L. Kovacs and T. Jebelean.
Generating Invariance Properties by Recurrence Solving and Groebner Basis Computation in the Theorema System.
Contributed talk at Dagstuhl Seminar 05311: Verifying Optimizing Compilers, July 2005.
4
L. Kovacs and T. Jebelean.
Polynomial invariant generation by algebraic and combinatorial methods.
Contributed talk at SFB Cooperation Meeting, Johannes Kepler University Linz, December 19 2005.
5
L. Kovacs and T. Jebelean.
Using combinatorial and algebraic techniques for automatic generation of loop invariants.
Contributed talk at SFB Statusseminar, Strobl, Austria, April 1 2005.
6
L. Kovacs, N. Popov, and T. Jebelean.
A verification environment for imperative and functional programs in the Theorema system.
Contributed talk at 2nd South-East European Workshop on Formal Methods (SEEFM05), Ohrid, Macedonia, 18-19 November 2005.
7
T. Kutsia.
Context sequence matching for XML.
Contributed talk at the 1th International Workshop on Automated Specification and Verification of Web Sites (WWV'05), Valencia, Spain, March 15 2005.
8
T. Kutsia and M. Marin.
Can context sequence matching be used for XML querying?
Contributed talk at the 19th International Workshop on Unification (UNIF'05), Nara, Japan, April 22 2005.
9
T. Kutsia and M. Marin.
Matching with regular constraints.
Contributed talk at Theorema-Omega'05 Workshop, Saarbrucken, Germany, November 14 2005.
10
T. Kutsia and M. Marin.
Matching with regular constraints.
Contributed talk at 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'05), Montego Bay, Jamaica, December 2 2005.
11
F. Piroi and B. Buchberger.
Label management in Theorema.
Contributed talk at 4th International Conference on Mathematical Knowledge Management, July 2005.
12
F. Piroi and T. Kutsia.
The Theorema environment for interactive proof development.
Contributed talk at 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'05), Montego Bay, Jamaica, December 3 2005.
13
N. Popov.
Functional program verification in Theorema.
Contributed talk at Theorema-Ultra-Omega'05 Workshop, Saarbruecken, Germany, November 14 2005.
14
N. Popov and T. Jebelean.
The role of algebraic simplification in the verification of functional programs.
Contributed talk at SFB Statusseminar, Strobl, Austria, April 01 2005.
15
C. Rosenkranz, R. Hemmecke, T. Jebelean, and B. Buchberger.
Mathematical knowledge management in the frame of verification and synthesis of generic algorithms for Gröbner Bases.
Contributed talk at SFB Statusseminar, Strobl, Austria, April 1 2005.
16
C. Rosenkranz and F. Piroi.
Organizational tools in Theorema.
Contributed talk at Theorema-Ultra-Omega Workshop, Saarbruecken, Germany, November 14-15 2005.
17
R. Vajda.
Finding Witness Terms in ETRCF by Quantifier Elimination Techniques.
Contributed talk at Theorema-Ultra-Omega'05 Workshop, Saarbruecken, Germany, November 14 2005.
18
W. Windsteiger.
The creacomp project: Theorema for computer-supported teaching and learning of mathematics.
Contributed talk at Theorema-Ultra-Omega'05 Workshop, Saarbrucken, Germany, November 14 2005.
19
W. Windsteiger.
Symbolic solution techniques for the elastoplasticity problem.
Contributed talk at SFB Statusseminar, Strobl, Austria, March 31 2005.




Please direct your comments or eventual problem reports to webmaster.

SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund