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


InProceedingsReferred - 2005


September 27, 2008

Bibliography

1
T. Jebelean and L. Szakacs.
Functional-based synthesis of systolic online multipliers.
In D. Zaharie, D. Petcu, V. Negru, and T. Jebelean, editors, International Symposium on Symbolic and Numeric Scientific Computing (SYNASC'05), Timisoara, Romania, pages 267-275. IEEE Computer Society, 2005.
2
A. Kovacs and L. Kovacs.
The lagrange interpolation formula in determining the fluid's velocity potential through profile grids.
In F. Fazekas et al., editors, Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-147/148, Balatonalmadi, Hungary, 26-29 May 2005. Technical University of Budapest, PAMM-Centre.
3
L. Kovacs and T. Jebelean.
An algorithm for automated generation of invariants for loops with conditionals.
In T. Jebelean and V. Negru, editors, 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05), Timisoara, Romania, pages 16-19, September 25-28 2005.
4
L. Kovacs, T. Jebelean, and A. Kovacs.
Practical aspects of algebraic invariant generation for loops with conditionals.
volume CVIII/2251, pages 116-125. Technical University of Budapest, PAMM-Centre, 2005.
ISSN 0133-3526. Proc. of Pannonian Applied Mathematical Meetings, PC-147/148, Balatonalmadi, Hungary, 26-29 May 2005.
5
T. Kutsia.
Context sequence matching for XML.
In M. Alpuente, S. Escobar, and M. Falaschi, editors, Proceedings of the 1th International Workshop on Automated Specification and Verification of Web Sites (WWV'05), pages 103-119, Valencia, Spain, March 14-15 2005.
(Final version to appear in Elsevier ENTCS).
6
T. Kutsia and M. Marin.
Can context sequence matching be used for querying XML?
In L. Vigneron, editor, Proceedings of the 19th International Workshop on Unification (UNIF'05), pages 77-92, Nara, Japan, 2005.
7
T. Kutsia and M. Marin.
Matching with regular constraints.
In G. Sutcliffe and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning. Proceedings of the 12th International Conference LPAR'05, volume 3835 of Lecture Notes in Artificial Intelligence, pages 215-229, Montego Bay, Jamaica, 2005. Springer Verlag.
8
F. Piroi and B. Buchberger.
Label management in Theorema.
In M. Kohlhase, editor, Informal proceedings of the 4th International Conference on Mathematical Knowledge Management (MKM'05), July 2005.
Bremen, Germany.
9
F. Piroi and T. Kutsia.
The Theorema environment for interactive proof development.
In G. Sutcliffe and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning. Proceedings of the 12th International Conference (LPAR'05), volume 3835 of Lecture Notes in Artificial Intelligence, pages 261-275, Montego Bay, Jamaica, 2005. Springer Verlag.




Please direct your comments or eventual problem reports to webmaster.

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