Davor Runje

According to our database1, Davor Runje authored at least 7 papers between 1998 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
ALIME: Autoencoder Based Approach for Local Interpretability.
Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2019, 2019

2009
Verification of Causality Requirements in Java Memory Model Is Undecidable.
Proceedings of the Parallel Processing and Applied Mathematics, 2009

2008
An Enhancement of Futures Runtime in Presence of Cache Memory Hierarchy.
J. Comput. Inf. Technol., 2008

2005
Model-Based Testing of Cryptographic Protocols.
Proceedings of the Trustworthy Global Computing, International Symposium, 2005

2004
The Cryptographic Abstract Machine.
Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2003
Privacy, Abstract Encryption and Protocols: An ASM Model - Part I.
Proceedings of the Abstract State Machines, 2003

1998
Universal Strong Encryption FPGA Core Implementation.
Proceedings of the 1998 Design, 1998


  Loading...