Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Managing Complexity: Towards Intelligent Error-Handling Assistance Trough Interactive Alarm Flood Reduction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Compositional Computational Reflection

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

How to Overcome Perceptual Aliasing in ASIFT?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Medium-Voltage Distribution Network Expansion Planning With Gene-Pool Optimal Mixing Evolutionary Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Graph Drawing Contest Report

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Exchange and Consumption of Huge RDF Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Secondary Task Method for Workload Measurement in Alarm Monitoring and Identification Tasks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Secure Two-Party Computation Over Unreliable Channels

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Towards Model Construction Based on Test Cases and GUI Extraction

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