Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

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

On the Public Indifferentiability and Correlation Intractability of the 6-Round Feistel Construction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

QBX: A CASE Tool for Data Mart Design

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

An Ontology Design Pattern for Cartographic Map Scaling

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols

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