Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Security and Reliability Requirements for Advanced Security Event Management

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Safe and Efficient Strategies for Updating Firewall Policies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Axiomatization and Computability of a Variant of Iteration-Free PDL With Fork

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Inference in a Partial Differential Equations Model of Pulmonary Arterial and Venous Blood Circulation Using Statistical Emulation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Collective Information Extraction With Context-Specific Consistencies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A New ER-MCDA Mapping for Decision-Making Based on Imperfect Information

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Detection of the Vanishing Line of the Ocean Surface From Pairs of Scale-Invariant Keypoints

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Minimalist Grammars in the Light of Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Patterns and Logic for Reasoning With Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy