Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Checking Deadlock-Freedom of Parametric Component-Based Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Evaluating the Benefits of Key-Value Databases for Scientific Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Coexisting Graphical and Structured Textual Representations of Requirements: Insights and Suggestions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Optimal Stem Identification in Presence of Suffix List

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Simulation Tool for Evaluating Attack Impact in Cyber Physical Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Tight Worst-Case Bounds for Polynomial Loop Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Model-Driven Information Flow Security for Component-Based Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Application Mapping Algorithms for Mesh-Based Network-On-Chip Architectures

Journal of Supercomputing
HardwareInformation SystemsTheoretical Computer ScienceArchitectureSoftware
2014English

PhASAR: An Inter-Procedural Static Analysis Framework for C/C++

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Policy-Based Design and Verification for Mission Assurance

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy