Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

Making Random Judgments: Automatically Generating Well-Typed Terms From the Definition of a Type-System

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Measuring a LoRa Network: Performance, Possibilities and Limitations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Runtime Verification of Stochastic, Faulty Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Efficient Noninteractive Certification of RSA Moduli and Beyond

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Energy Efficient Caching for Phase-Change Memory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

More Anti-Chain Based Refinement Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Graph-Based Keyword Spotting in Historical Handwritten Documents

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Similarity of Transactions for Customer Segmentation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Verifying Data Authenticity and Integrity in Server-Aided Confidential Forensic Investigation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Integer Representations Towards Efficient Counting in the Bit Probe Model

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