arXiv 2003-09-01 EN Model Checking Linear Logic Specifications Bozzano, M. · Delzanno, G. · Martelli, M.
arXiv 2003-04-01 EN TCTL Inevitability Analysis of Dense-time Systems Wang, Farn · Hwang, Geng-Dian · Yu, Fang
arXiv 2003-03-25 EN Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems Wang, Farn · Hwang, Geng-Dian · Yu, Fang
arXiv 2003-01-25 EN A comparison of four approaches to the calculation of conservation laws Wolf, Thomas
arXiv 2002-08-20 EN Parameterized Type Definitions in Mathematica: Methods and Advantages Andreica, Alina
arXiv 2002-07-03 EN Orthonormal RBF wavelet and ridgelet-like series and transforms for high-dimensional problems Chen, W.
arXiv 2000-11-06 EN A Lambda-Calculus with letrec, case, constructors and non-determinism Schmidt-Schauß, Manfred · Huber, Michael
arXiv 2000-04-27 EN Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language Bauer, Christian · Frink, Alexander · Kreckel, Richard
