Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

Symmetry Breaking for Multi-Criteria Mapping and Scheduling on Multicores

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Testing, Verification and Improvements of Timeliness in ROS Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Combining Dynamic Passive Analysis and Active Fingerprinting for Effective Bot Malware Detection in Virtualized Environments

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Certified Denotational Abstract Interpreter

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Extracting Models From Web API Documentation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Nichesourcing: Harnessing the Power of Crowds of Experts

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Ordered Solution Generation for Implicit AND/OR Search Spaces

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Generic Heuristic Approach to General Game Playing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Permutation Structure in 0-1 Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy