( en | de | ru )

 

Disambiguation of "Verstoep, Kees"

Author of the publication

copydeleteadd this publication to your clipboard
Programming environments for high-performance Grid computing: the Albatross project.

, , , , , , and . Future Gener. Comput. Syst., 18 (8): 1113-1125 (2002)

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.

Brigitte Kees

Brigitte Kees

Sabine Kees

Andreas Kees

Norbert Kees

 

Other publications of authors with the same name

Efficient Large-Scale Model Checking., , , and . Distributed Verification and Grid Computing, volume 08332 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)Interpretable Multivariate Time Series Forecasting with Temporal Attention Convolutional Neural Networks., , and . SSCI, page 1687-1694. IEEE, (2020)CAPTURE: Memory-Centric Partitioning for Distributed DNN Training with Hybrid Parallelism., , , and . HiPC, page 76-86. IEEE, (2023)Multivariate Time Series Early Classification Across Channel and Time Dimensions., , , and . CoRR, (2023)Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs., , , , and . FORTE, volume 8461 of Lecture Notes in Computer Science, page 17-32. Springer, (2014)Using Group Communication to Implement a Fault-Tolerant Directory Service., , and . ICDCS, page 130-139. IEEE Computer Society, (1993)Using Model Checking to Analyze the System Behavior of the LHC Production Grid., , , , , and . CCGRID, page 335-343. IEEE Computer Society, (2012)Using model checking to analyze the system behavior of the LHC production grid., , , , and . Future Gener. Comput. Syst., 29 (8): 2239-2251 (2013)From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems., , , , , , and . NASA Formal Methods, volume 7871 of Lecture Notes in Computer Science, page 244-260. Springer, (2013)Taking ROCKET on an Efficiency Mission: Multivariate Time Series Classification with LightWaveS., , , and . DCOSS, page 149-152. IEEE, (2022)