Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Scott F. Smith
Modular Reasoning for Actor Specification Diagrams
Refactoring Programs to Secure Information Flows
Related publications
Reasoning With Spider Diagrams
Modular Specification of Process Algebras
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Reasoning With Concept Diagrams About Antipatterns
Description Logic Reasoning With Decision Diagrams
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Coalgebraic Semantic Framework for Reasoning About UML Sequence Diagrams
A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies
Aspect-Oriented Programming and Modular Reasoning
Modular Specification of Hybrid Systems in Charon
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modular Specification of Frame Properties in JML
Concurrency Computation Practice and Experience
Computer Networks
Communications
Computer Science Applications
Computational Theory
Mathematics
Theoretical Computer Science
Software
