Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Taking Cooperative Decisions in Group-Based Wireless Sensor Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Improving Spider Recognition Based on Biometric Web Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Static Versus Dynamic Verification in Why3, Frama-C and SPARK 2014

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Testing Polymorphic Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Viability Principles for Constrained Optimization Using a (1+1)-Cma-Es

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

QA4MRE 2011-2013: Overview of Question Answering for Machine Reading Evaluation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

The Tower Number Field Sieve

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Energy-Efficient Elliptic Curve Cryptography for MSP430-Based Wireless Sensor Nodes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Real-Time Line Detection Using Accelerated High-Resolution Hough Transform

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