Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

Mechanized Refinement of Communication Models With TLA $$^+$$ +

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Deciding Agent Orientation on Ontology Mappings

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Self-Tracking Reloaded: Applying Process Mining to Personalized Health Care From Labeled Sensor Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Natural Language Processing and Information Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Predicting Reaction Times in Word Recognition by Unsupervised Learning of Morphology

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Partially Specified Nearest Neighbor Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

On Secure Embedded Token Design

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Correction To: Toward Adaptive Rough Sets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

New Results on Equilibria in Strategic Candidacy

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy