Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

Stateful Protocol Composition

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Cellular Automata and Discrete Complex Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

An Algebra of Hierarchical Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Derivation of Dissipative Boussinesq Equations Using the Dirichlet-To-Neumann Operator Approach

Mathematics and Computers in Simulation
Numerical AnalysisApplied MathematicsSimulationComputer ScienceModelingTheoretical Computer Science
2016English

Using Program Synthesis for Program Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Improving the Performance of Facial Expression Recognition Using Dynamic, Subtle and Regional Features

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

VerifyThis – Verification Competition With a Human Factor

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Formal Analysis of the Norwegian E-Voting Protocol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Building Subjectivity Lexicon(s) From Scratch for Essay Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Software Development Process Simulation: Multi Agent-Based Simulation Versus System Dynamics

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