( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Webs of Archived Distributed Computations for Asynchronous Collaboration.

, , , и . J. Supercomput., 11 (2): 101-118 (1997)

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.

Joseph Safferling

Joseph Müller

Joseph Specht

Joseph Carroll

Joseph Demleitner

 

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

Verified Visualisation of Textual Modelling Languages., и . ECEASST, (2010)Modeling dynamic/emergent distributed object systems.. OOPSLA Addendum, ACM, (1998)Kind Theory.. California Institute of Technology, USA, (2002)Wavelength Division Multiplexing: Ultra High Speed Fiber Optics.. IEEE Internet Comput., 2 (2): 13-15 (1998)Formally Counting Electronic Votes (But Still Only Trusting Paper).. ICECCS, стр. 261-269. IEEE Computer Society, (2007)How Do Developers Use APIs? A Case Study in Concurrency., , и . ICECCS, стр. 212-221. IEEE Computer Society, (2013)Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments.. UITP@TPHOLs, том 103 из Electronic Notes in Theoretical Computer Science, стр. 81-103. Elsevier, (2003)Program Safety via Programmer Safety.. ISoLA, стр. 8. IEEE Computer Society, (2006)Java Program Verification Challenges., , и . FMCO, том 2852 из Lecture Notes in Computer Science, стр. 202-219. Springer, (2002)Strongest postcondition of unstructured programs., , , и . FTfJP@ECOOP, стр. 6:1-6:7. ACM, (2009)