Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

G4ltl-St: Automatic Generation of PLC Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Reduce-By-Feedback: Timing Resistant and DPA-Aware Modular Multiplication Plus: How to Break RSA by DPA

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Computer Aided Diagnosis Using Multilevel Image Features on Large-Scale Evaluation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Compositional Invariant Checking for Overlaid and Nested Linked Lists

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Applicative Bisimulations for Delimited-Control Operators

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Stable Structure From Motion for Unordered Image Collections

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Service-Oriented Computing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

On Detecting Abrupt Changes in Network Entropy Time Series

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Discovering Linguistic Patterns Using Sequence Mining

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Privacy-Respecting Auctions as Incentive Mechanisms in Mobile Crowd Sensing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy