Author of the publication

Automated Reasoning Contributed to Mathematics and Logic.

, , , , , , and . CADE, volume 449 of Lecture Notes in Computer Science, page 485-499. Springer, (1990)

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

HPCS 2011 keynotes: Tuesday keynote I: High-performance computing and biology: The quest for a predictive biological theory.. HPCS, IEEE, (2011)Blending Imitation and Reinforcement Learning for Robust Policy Improvement., , , , and . CoRR, (2023)Prophesy: An Infrastructure for Analyzing and Modeling the Performance of Parallel and Distributed Applications., , , , , , , and . HPDC, page 302-303. IEEE Computer Society, (2000)Capability matching of data streams with network services., , , , , and . CCGRID, page 419-425. IEEE Computer Society, (2004)The Argonne Voyager Multimedia Server., , , and . HPDC, page 71-80. IEEE Computer Society, (1997)Performance model of the Argonne Voyager multimedia server., , and . ASAP, page 316-327. IEEE Computer Society, (1997)Virtual Reality Over High-Speed Networks., , and . IEEE Computer Graphics and Applications, 16 (4): 42 (1996)Capstone Address: ActiveSpaces - The Access Grid, Active Mural and Advanced Visualization Systems.. IEEE Visualization, page 16. IEEE Computer Society and ACM, (1999)iBsu1103: a new genome-scale metabolic model of Bacillus subtilis based on SEED annotations, , , and . Genome Biol., (2009)Developing a Distributed Collaborative Radiological Visualization Application., , , , , and . HealthGrid, volume 112 of Studies in Health Technology and Informatics, page 70-79. IOS Press, (2005)