From post

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.

 

Другие публикации лиц с тем же именем

Efficient Large-Scale Model Checking., , , и . Distributed Verification and Grid Computing, том 08332 из Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)Interpretable Multivariate Time Series Forecasting with Temporal Attention Convolutional Neural Networks., , и . SSCI, стр. 1687-1694. IEEE, (2020)CAPTURE: Memory-Centric Partitioning for Distributed DNN Training with Hybrid Parallelism., , , и . HiPC, стр. 76-86. IEEE, (2023)Taking ROCKET on an Efficiency Mission: Multivariate Time Series Classification with LightWaveS., , , и . DCOSS, стр. 149-152. IEEE, (2022)From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems., , , , , , и . NASA Formal Methods, том 7871 из Lecture Notes in Computer Science, стр. 244-260. Springer, (2013)Evaluating Design Alternatives for Reliable Communication on High-Speed Networks., , , , и . ASPLOS, стр. 71-81. ACM Press, (2000)Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs., , , , и . FORTE, том 8461 из Lecture Notes in Computer Science, стр. 17-32. Springer, (2014)Using Group Communication to Implement a Fault-Tolerant Directory Service., , и . ICDCS, стр. 130-139. IEEE Computer Society, (1993)Using Model Checking to Analyze the System Behavior of the LHC Production Grid., , , , , и . CCGRID, стр. 335-343. IEEE Computer Society, (2012)Reinforcement Learning-Guided Channel Selection Across Time for Multivariate Time Series Classification., , , и . SSCI, стр. 1406-1413. IEEE, (2023)