 [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 |
| [06-25] Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions
|
2019-12-23 |
| [07-05] Trustworthy Cyber-Physical Systems: Dream or Reality?
|
2019-12-23 |
| [6-20] Wearable Interactions Using Touch without a Touchscreen
|
2019-12-23 |
| [06-12] Classification Program for Counting Problems
|
2019-12-23 |
| [05-30] The mCRL2 behavioural specification language and tools, including new developments
|
2019-12-23 |
| [05-21] Symbolic semantics for Open Systems and their Bisimulation algorithms.
|
2019-12-23 |
| [05-17] Matching mu-logic: A powerful logic for specifying and reasoning about fixpoints and induction, programming languages, and program specification and verification.
|
2019-12-23 |
| [05-20] Developing Game-Changing Embedded Intelligence
|
2019-12-23 |
| [05-06] Towards Safety Verification of Autonomous Systems
|
2019-12-23 |
| [04-29] Orthogonal arrays, covering arrays, and combinatorial testing
|
2019-12-23 |
| [04-23] Dense Regions: A Different Type of Event in Graph Streams
|
2019-12-23 |
