Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

A Symbolic Model Checker for ACTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Data Mining With Graphical Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Ontology-Driven Management of Semantic Spaces

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Chaotic Neuron Dynamics, Synchronization, and Feature Binding

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

On the Effectiveness of Internal Patching Against File-Sharing Worms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Recent Trends in Algebraic Development Techniques

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Determining QoS of WS-BPEL Compositions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

The Conceptualization of a Configurable Multi-Party Multi-Message Request-Reply Conversation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy