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.

 

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

Statically and Dynamically Verifiable SLA Metrics., , , и . Theory and Practice of Formal Methods, том 9660 из Lecture Notes in Computer Science, стр. 211-225. Springer, (2016)Towards Type-Based Optimizations in Distributed Applications Using ABS and JAVA 8., , , , и . ARMS-CC@PODC, том 8907 из Lecture Notes in Computer Science, стр. 103-112. Springer, (2014)Monitoring Method Call Sequences Using Annotations., , , и . FACS, том 6921 из Lecture Notes in Computer Science, стр. 53-70. Springer, (2010)Programming with Actors in Java 8., и . ISoLA (2), том 8803 из Lecture Notes in Computer Science, стр. 37-53. Springer, (2014)Monitoring method call sequences using annotations., , , , и . Sci. Comput. Program., (2014)Web Page Classification Using Social Tags., , , и . CSE (4), стр. 588-593. IEEE Computer Society, (2009)Collaboration-based Social Tag Prediction in the Graph of Annotated Web Pages., , и . NyNaK, том 655 из CEUR Workshop Proceedings, CEUR-WS.org, (2010)The Future of a Missed Deadline., , и . COORDINATION, том 7890 из Lecture Notes in Computer Science, стр. 181-195. Springer, (2013)Formal Verification of Service Level Agreements Through Distributed Monitoring., , и . ESOCC, том 9306 из Lecture Notes in Computer Science, стр. 125-140. Springer, (2015)A design pattern for optimizations in data intensive applications using ABS and JAVA 8., , , , и . Concurr. Comput. Pract. Exp., 28 (2): 374-385 (2016)