| Publication | Date of Publication | Type |
|---|
Fast parallel IGA-AdS solver for time-dependent Maxwell's equations
Computers & Mathematics with Applications | 2024-01-05 | Paper |
Tuning three-dimensional tumor progression simulations on a cluster of GPGPUs
Journal of Computational and Applied Mathematics | 2022-05-25 | Paper |
Supermodeling, a convergent data assimilation meta-procedure used in simulation of tumor progression
Computers & Mathematics with Applications | 2022-04-07 | Paper |
Parallel fast isogeometric L2 projection solver with Galois system for 3D tumor growth simulations
Computer Methods in Applied Mechanics and Engineering | 2020-04-08 | Paper |
IGA-ADS: isogeometric analysis FEM using ADS solver
Computer Physics Communications | 2019-04-23 | Paper |
Applications of a hyper-graph grammar system in adaptive finite-element computations
International Journal of Applied Mathematics and Computer Science | 2018-10-22 | Paper |
Algorithms for computing the static single assignment form
Journal of the ACM | 2015-11-12 | Paper |
A shape analysis for optimizing parallel graph programs
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Languages and Compilers for Parallel Computing
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Look left, look right, look left again: An application of fractal symbolic analysis to linear algebra code restructuring
International Journal of Parallel Programming | 2005-01-12 | Paper |
| scientific article; zbMATH DE number 1863271 (Why is no real title available?) | 2003-02-04 | Paper |
| scientific article; zbMATH DE number 1760021 (Why is no real title available?) | 2002-11-06 | Paper |
Synthesizing transformations for locality enhancement of imperfectly-nested loop nests
International Journal of Parallel Programming | 2002-09-18 | Paper |
Date movement and control substrate for parallel adaptive applications
Concurrency and Computation: Practice and Experience | 2002-07-11 | Paper |
Data-centric transformations for locality enhancement
International Journal of Parallel Programming | 2001-08-30 | Paper |
A singular loop transformation framework based on non-singular matrices
International Journal of Parallel Programming | 1995-02-19 | Paper |
Accumulators: New logic variable abstractions for functional languages
Theoretical Computer Science | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4180815 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4092731 (Why is no real title available?) | 1988-01-01 | Paper |
Efficient demand-driven evaluation. Part 2
ACM Transactions on Programming Languages and Systems | 1986-01-01 | Paper |
Efficient demand-driven evaluation. Part 2
ACM Transactions on Programming Languages and Systems | 1986-01-01 | Paper |
Efficient demand-driven evaluation. Part 1
ACM Transactions on Programming Languages and Systems | 1985-01-01 | Paper |
