|
|
Technical Reports:
- 03-01 - Discovering Process Models from Empirical Data
Laura Maruster
- 03-02 - Parallel State Space Construction on a Cluster
Dana Petcu, Diana Dubu
- 03-03 - Verification of Imperative Programs in Theorema
Laura Kovacs, Nikolaj Popov, Tudor Jebelean
- 03-04 - Experience with Formal Verification of SDL Protocols
Marius Minea, Cornel Izbasa, Calin Jebelean
- 03-05 - CAVIS 2003
- 03-06 - Managing the Incidents in the Urban Transport
Alexandru Cicortas
- 03-07 - Parallel Implementation of multi-population differential evolution
Daniela Zaharie, Dana Petcu
- 03-08 - Constructing a Grid Portal
Dana Petcu, Adrian Oprean
- 03-09 - Building a Computational Grid: Design Issues
Dana Petcu
- 03-10 - Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema
Bruno Buchberger, Adrian Craciun
- 03-11 - Practical Verification of Imperative Programs in Theorema
Laura Ildiko Kovacs, Tudor Jeb
elean
- 03-12 - A Multi-agent Approach to a Sales Optimization Application
Calin Sandru, Viorel Negru, Daniel
Pop
- 04-01 - CAVIS 2004
- 04-02 - Speedup Involving Differential Equations on Cluster Workstations
Dana Petcu
- 04-03 - An Extension of Maple for Grid and Cluster Computing
Dana Petcu, Diana Dubu
- 04-04 - The meta-architecture of the detection strategies tuning machine
Petru Florin Mihancea
- 04-05 - Experiments on the Local Load Balancing Algorithms
Stefan Maruster
- 04-06 - A Practical Approach to Proving Termination of Recursive Programs in Theorema
Nikolaj Popov, Tudor Jebelean
- 04-07 - Generation of Invariants in Theorema
Laura Ildiko Kovacs, Tudor Jebelean
- 04-08 - Debugging and Verification of Expert Systems
Daniel Pop, Viorel Negru
Applications:
|
|
