RISC Activity Database - Search Results

RISC

JKU

RISC Publications & Reports		RISC Report Series		Search	Gröbner Bases Bibliography
Publications in the frame of project 'MathBroker II'		Technical Reports in the frame of project 'MathBroker II'		Talks in the frame of project 'MathBroker II'

Search for:
Research Project: MathBroker II

Found 18 matching records

2010

Temur Kutsia, Wolfgang Schreiner. PPDP 2010, The 12th International Symposium on Principles and Practice of Declarative Programming (general chair), http://www.risc.uni-linz.ac.at/about/conferences/ppdp2010/, 2010. [bib]

2009

Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger. Automated Reasoning. 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.), pp. 63-101. 2009. Springer Dordrecht Heidelberg London New York, ISBN 978-3-642-02126-8. [url] [bib]
Temur Kutsia, Wolfgang Schreiner. 5th International Workshop on Automated Specification and Verification of Web Systems (WWV'09) (general chair), 2009. [bib]

2008

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]

All Years >>