Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Digital Profiling: A Computer Forensics Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Social Media Strategies for Companies: A Comprehensive Framework

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Injective Encodings to Elliptic Curves

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

On Monadic Parametricity of Second-Order Functionals

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Logical Foundations of Secure Resource Management in Protocol Implementations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Foundations of Coloring Algebra With Consequences for Feature-Oriented Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Network Element Stability Aware Method for Verifying Configuration Changes in Mobile Communication Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

A Formal Library for Elliptic Curves in the Coq Proof Assistant

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Supervised Learning in Parallel Universes Using Neighborgrams

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Cryptanalysis of a Generalized Unbalanced Feistel Network Structure

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy