Personal tools
You are here: Home / Publications

Publications

File P. Paule and S. Radu. Infinite Families of Strange Partition Congruences for Broken 2-Diamonds
In Ramanujan Journal 23, pp. 409-416. 2010. ISSN 1382-4090
File M. Erascu and T. Jebelean. A Purely Logical Approach to the Termination of Imperative Loops.
In: Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, T. Ida, V. Negru, T. Jebelean, D. Petcu, S. M. Watt, D. Zaharie (ed.), pp. 142-149. September 2010. IEEE Computer Society, 978-0-7695-4324-6.
File DK Report 2010-09, V. Pillwein and S. Takacs
Computing smoothing rates of collective point smoothers for optimal control problems using symbolic computation
File DK Report 2010-08, C. Koukouvinos, V. Pillwein, D.E. Simos, Z. Zafeirakopoulos
A Note on the Average Complexity Analysis of the Computation of Periodic and Aperiodic Ternary Complementary Pairs
File DK Report 2010-07, M. Hodorog and J. Schicho
Computational geometry and combinatorial algorithms for the genus computation problem
File DK Report 2010-06, M. Hodorog and J. Schicho
A symbolic-numeric algorithm for genus computation
File DK Report 2010-05, C. Hofreither, U. Langer and C. Pechstein
Analysis of a non-standard finite element method based on boundary integral operators
File DK Report 2010-04, S. Beuchler, V. Pillwein and S. Zaglmayr
Sparsity optimized high order finite element functions for H(div) on simplices
File M. Erascu and T. Jebelean. A Purely Logical Approach to Program Termination.
In: Proceedings of the 11th International Workshop on Termination, Peter Schneider-Kamp (ed.), Proceedings of Federated Logic Conference, Edinburgh, 9-21 July, 2010
L.X.C. Ngo and F. Winkler. Rational general solutions of first order non-autonomous parametrizable ODEs.
J. Symbolic Computation, 45/12:1426-1441, 2010.
C. Hofreither, U. Langer and S. Tomar. Boundary element simulation of linear water waves in a model basin.
In I. Lirkov, S. Margenov, and J. Wasniewski, editors, Large-Scale Scientific Computing: Proceedings of LSSC 2009, volume 5910 of Lecture Notes in Computer Science, pages132-139. Springer Verlag, 2010.
File DK Report 2010-03, Y. Huang and L.X.C. Ngo
Rational General Solutions of High Order Non-autonomous ODEs
File DK Report 2010-02, P.G. Gruber
Adaptive Strategies in High Order FEM in Elastoplasticity
File DK Report 2010-01, S. Radu and J. Sellers
Parity Results for Broken k-diamond Partitions and (2k+1)-cores
File S. Béla and B. Jüttler. Fat arcs for implicitly defined curves.
In Mathematical Methods for Curves and Surfaces, Volume 5862 of Lecture Notes in Computer Science, pages 26-40. Springer 2010.
File DK Report 2009-13, P.G. Gruber, D. Knees, S. Nesenenko and M. Thomas
Analytical and Numerical Aspects of Time-Dependent Models with Internal Variables
File DK Report 2009-12, P.G. Gruber, J. Kienesberger, U. Langer, J. Schoeberl and J. Valdman
Fast solvers and a posteriori error estimates in elastoplasticity
File DK Report 2009-11, C. Pechstein
Shape-explicit constants for some boundary integral operators
File DK Report 2009-10, P. Paule and S. Radu
Infinite Families of Strange Partition Congruences for Broken 2-diamonds
File DK Report 2009-09, M. Aigner and B. Jüttler
Distance Regression by Gauss-Newton-type Methods and Iteratively Re-weighted Least-Squares