Author of the publication

A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs.

, , , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 462-475. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs., , , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 462-475. Springer, (2005)Týr: blob storage meets built-in transactions., , , , and . SC, page 573-584. IEEE Computer Society, (2016)Reproducible Performance Optimization of Complex Applications on the Edge-to-Cloud Continuum., , , , , , and . CLUSTER, page 23-34. IEEE, (2021)Investigating Edge vs. Cloud Computing Trade-offs for Stream Processing., , and . IEEE BigData, page 469-474. IEEE, (2019)A Monitoring Architecture for High-Speed Networks in Large Scale Distributed Collaborations., , , and . ISPDC, page 409-416. IEEE Computer Society, (2008)Monitoring of Complex Applications Execution in Distributed Dependable Systems., , , , and . ISPDC, page 241-244. IEEE Computer Society, (2009)ProvLight: Efficient Workflow Provenance Capture on the Edge-to-Cloud Continuum., , , , , , and . CLUSTER, page 221-233. IEEE, (2023)Adaptive file management for scientific workflows on the Azure cloud., , , , and . IEEE BigData, page 273-281. IEEE Computer Society, (2013)A performance evaluation of Apache Kafka in support of big data streaming applications., , and . IEEE BigData, page 4803-4806. IEEE Computer Society, (2017)Enabling Reproducible Analysis of Complex Workflows on the Edge-to-Cloud Continuum., , , and . CoRR, (2021)