Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Trace Spaces: An Efficient New Technique for State-Space Reduction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Multiple Cortical Surface Correspondence Using Pairwise Shape Similarity

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Speaking to See: A Feasibility Study of Voice-Assisted Visual Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Ranking the Linked Data: The Case of DBpedia

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Automated Resource Assignment in BPMN Models Using RACI Matrices

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

StarFlow: A Script-Centric Data Analysis Environment

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

On the Performance of Baseline Evolutionary Algorithms on the Dynamic Knapsack Problem

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Player Control in a Real-Time Mobile Augmented Reality Game

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Interactive 3D Visualization of a Single-View X-Ray Image

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy