Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Design and Evaluation of a Socket Emulator for Publish/Subscribe Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Generation of Operational Transformation Rules From Examples of Model Transformations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Secure and Efficient Protocols for Iris and Fingerprint Identification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Using Causal Relationships to Deal With the Ramification Problem in Action Formalisms Based on Description Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

MeterPU: A Generic Measurement Abstraction API

Journal of Supercomputing
HardwareInformation SystemsTheoretical Computer ScienceArchitectureSoftware
2016English

Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Comparative Evaluation of JavaScript Execution Behavior

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Service-Oriented Computing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Coordinating Distributed Operations

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