Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

Automated Assume-Guarantee Reasoning Through Implicit Learning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Relatively-Sound NIZKs and Password-Based Key-Exchange

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Impact of ANSI X9.24-1:2009 Key Check Value on ISO/IEC 9797-1:2011 MACs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Improving Real-Time Bidding Using a Constrained Markov Decision Process

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Key Recovery Attack Against 2.5-Round $$\Pi $$ -Cipher

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Modelling Human Gameplay at Pool and Countering It With an Anthropomorphic Robot

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Towards the Verification of Hybrid Co-Simulation Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Chapter 10: Join Methods and Query Optimization

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Introducing Intelligence and Autonomy Into Industrial Robots to Address Operations Into Dangerous Area

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Second-Order Differential Collisions for Reduced SHA-256

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