Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Lexical Chains Using Distributional Measures of Concept Distance

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Deadlock Detection for Actor-Based Coroutines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Embedded Network Protocols for Mobile Devices

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Metric for Testing Program Verification Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Towards a Model for the Multidimensional Analysis of Field Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Support for Reusable Explorations of Linked Data in the Semantic Web

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Online Scheduling of Parallel Jobs on Hypercubes: Maximizing the Throughput

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Vector Barrier Certificates and Comparison Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Platform Oriented Semantic Description of Pattern-Based Learning Scenarios

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy