Vasiliki Hartonas-Garmhausen

Statistics

Publications

Citations

H-Index

Active since

1991

Affiliations

Pittsburgh Supercomputing Center(Current)

Vasiliki Hartonas-Garmhausen is an author at Pittsburgh Supercomputing Center specializing in formal verification, finite state machine modeling, and high-performance computing.

Publications per year

1991–1998

Publications

Distributing the comparison of DNA and protein sequences across heterogeneous supercomputers

Hugh B. Nicholas, Grace Giras, Vasiliki Hartonas-Garmhausen et al. · 1991 · 17 citations

Life Sciences, Bioinformatics, High-performance Computing +8

Probabilistic symbolic model checking with engineering models and applications

Vasiliki Hartonas-Garmhausen · 1998 · 12 citations

Engineering, Computer Science, Systems Engineering +16

1–2 of 2