DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» ACM SIGLOG
ACM SIGLOG
The Abcs of Petri Net Reachability Relaxations
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
1 Employment 2 Education 3 Grants
SIGLOG: Special Interest Group on Logic and Computation a Proposal
Stephanie Weirich –
Model Checking Randomized Distributed Algorithms Nathalie Bertrand
A ACM Transactions on Trans. 1553 TITLE ABBR ISSN ACM Computing Surveys ACM Comput. Surv. 0360‐0300 ACM Journal
ACM JOURNALS S.No. TITLE PUBLICATION RANGE :STARTS PUBLICATION RANGE: LATEST URL 1. ACM Computing Surveys Volume 1 Issue 1
ACM SIGLOG News 1 October 2015, Vol
A Deep Dive Into the Weisfeiler-Leman Algorithm
Verifying Pufferfish Privacy in Hidden Markov Models
Candidate for Chair Frank Pfenning Carnegie Mellon University
Concurrent Separation Logic
Curriculum Vitae1 Rajeev Alur
Dr. Colin S. Gordon
ACM Digital Library LEIDINIŲ SĄRAŠAS
As of Oct 2019
Journal Title ISSN Country 2D Materials 2053-1583 UK 3D
Top View
Candidate for Chair Adam Chlipala Massachusetts Institute Of
Probabilistic Couplings for Probabilistic Reasoning
An Automated Approach to Comprehensive Side-Channel Resistance for Embedded Computing Applications
ACM SIGLOG News 1 January 2015, Vol
Data Movement Optimization for High-Performance Computing
Resource Semantics: Logic As a Modelling Technology
[Publisher Name]
List of Titles Covered in All Database
Moshe Y. Vardi
List of Periodicals (PDF)
Participants
A to Z LIST of SUBSCRIBED ENGINEERING E-JOURNALS/ E-PROCEEDINGS Sl
Formal Methods for Security Download Link