Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Christopher J. Banks

VerC3: A Library for Explicit State Synthesis of Concurrent Systems

2018English

Related publications

A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Formal Framework for Specifying Concurrent Systems

International Journal of Computer Applications
2013English

Design of an IP Library for the Synthesis of Image Compression Systems

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2006English

Table Space Designs for Implicit and Explicit Concurrent Tabled Evaluation

Theory and Practice of Logic Programming
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceArtificial IntelligenceSoftware
2018English

Library for Analysis and Synthesis of Control Systems Using the Graphing Calculator

Transactions of the Institute of Systems, Control and Information Engineers
2007English

Temporal Debugging for Concurrent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

A Standard Stellar Library for Evolutionary Synthesis

Astronomy and Astrophysics
AstrophysicsAstronomyPlanetary ScienceSpace
2002English

Type Systems for Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Synthesis of Concurrent Programs

Teaching Mathematics and Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy