Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

The Fiat–Shamir Transformation in a Quantum World

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Monitoring the Impact of Norms Upon Organisational Performance: A Simulation Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Approximation Algorithms for Intersection Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Discovering Trip Patterns From Incomplete Passenger Trajectories for Inter-Zonal Bus Line Planning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Automated High-Dimensional Flow Cytometric Data Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Rational Convex Program for Linear Arrow-Debreu Markets

ACM Transactions on Economics and Computation
StatisticsProbabilityMarketingEconomicsComputer ScienceComputational MathematicsEconometrics
2016English

Using Genetic Improvement and Code Transplants to Specialise a C++ Program to a Problem Class

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

On Tight Security Proofs for Schnorr Signatures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Fuzzy Sets for Human Fall Pattern Recognition

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy