Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

Pure Pointer Programs and Tree Isomorphism

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Culturally Independent Gestures for In-Car Interactions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Proving Non-Termination Using Max-SMT

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy