Find information:
[2020-01-14]Groebner Bases: Universality, Parametricity and Canonicity 2020-01-13
[2019-12-26] Interaction with Large and Multiple Displays 2020-01-13
[2019-12-20] Proving that Programs are Differentially Private" "Quantitative information flow: when is one leak worse than another?" 2019-12-23
[2019-12-18] Quantum Computing Engineering: Challenges and Opportunities 2019-12-23
[12-10] Compositional Techniques for the Verification of a Separation Micro-kernel for Multi-Core Architectures 2019-12-23
[12-20] Toward AI-Assisted UX Analysis Methods: Leveraging Subtle Verbalization and Speech Patterns to Help Evaluators Identify UX Problems in Think-Aloud Usability Testing 2019-12-23
[11-20] Logipedia: towards a Wikipedia of formal proofs 2019-12-23
[10-25] Software Engineering Issues in Cyber-Physical Systems 2019-12-23
[09-23] View-Centric Performance Optimization for Database-Backed Web Applications 2019-12-23
[9-17] On Solving String Constraints 2019-12-23
[08-14] High-Performance Software Development Challenges in the Post-Moore Era 2019-12-23
[08-21] Scalable Analysis and Control of Boolean Networks 2019-12-23
[07-16] Sapienz deployment at Facebook 2019-12-23
[07-17] Beyond NP Revolution 2019-12-23
[07-03] Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and Isabelle 2019-12-23
  30 Page(s)   12345NextFinal