Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Verifying Timed BPMN Processes Using Maude

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Comparison of User Performance in Mixed 2d-3d Multi-Display Environments

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

An Empirical Study on Evolution of API Documentation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Planning and Optimising Organisational Travel Plans Using an Evolutionary Algorithm

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Design of Correlation Filters for Pattern Recognition Using a Noisy Training Image

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Detecting and Correcting Conservativity Principle Violations in Ontology-To-Ontology Mappings

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

CICE-BCubed: A New Evaluation Measure for Overlapping Clustering Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Planar Lombardi Drawings for Subcubic Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Random Walks With Adaptive Cylinder Flux Based Connectivity for Vessel Segmentation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Design of Embedded Systems With Complex Task Dependencies and Shared Resource Interference (Short Paper)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy