 [2026-07-27］Counting (with) homomorphisms
|
2026-07-23 |
| [2026-07-07］Scalable Current-State Estimation of Discrete-Timed Automata
|
2026-07-05 |
| [2026-03-24］KLSS Workshop on Automated Formal Verification
|
2026-03-20 |
| [2026-02-27］Stateful Differential Operators for Incremental Computing
|
2026-02-25 |
| [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 |
