Robert Johnson
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2022
Optimizing social and economic activity while containing SARS-CoV-2 transmission using DAEDALUS.
Nat. Comput. Sci., 2022
2018
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018
Proceedings of the 18th ACM/IEEE on Joint Conference on Digital Libraries, 2018
2016
Proceedings of the 13th UAI Bayesian Modeling Applications Workshop (BMAW 2016) co-located with the 32nd Conference on Uncertainty in Artificial Intelligence (UAI 2016), 2016
Proceedings of the 16th Workshop on Computational Models of Natural Argument co-located with IJCAI 2016, 2016
Proceedings of the 16th Workshop on Computational Models of Natural Argument co-located with IJCAI 2016, 2016
2011
Distributed Transactions for Google App Engine: Optimistic Distributed Transactions built upon Local Multi-Version Concurrency Control
CoRR, 2011
2007
Cogn. Technol. Work., 2007
Proceedings of the International Workshop on Systems Development in SOA Environments, 2007
Independent Component Analysis of Functional Magnetic Resonance Imaging Data Using Wavelet Dictionaries.
Proceedings of the Independent Component Analysis and Signal Separation, 2007
2006
2005
Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, USA, July 31, 2005
Proceedings of the IEEE International Workshop on Robot and Human Interactive Communication, 2005
2004
Proceedings of the 13th USENIX Security Symposium, August 9-13, 2004, San Diego, CA, USA, 2004
2002
Proceedings of the Fast Software Encryption, 9th International Workshop, 2002
Proceedings of the Security and Privacy in Digital Rights Management, 2002
2001
Proceedings of the Security and Privacy in Digital Rights Management, 2001
1995
Mach. Vis. Appl., 1995
Graph Structure Management in Parallel Symbolic Systems.
Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995
1992
Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract).
Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992
Proceedings of the 18th International Computer Measurement Group Conference, 1992
1991
Proceedings of the Fifth International Parallel Processing Symposium, Proceedings, Anaheim, California, USA, April 30, 1991
Proceedings of the 17th International Computer Measurement Group Conference, 1991
1990
Parallel, Concurrent Theorem Proving.
Proceedings of the Parallelization in Inference Systems, 1990
1982
Proceedings of the 9th Annual Conference on Computer Graphics and Interactive Techniques, 1982