Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

Invariant and Type Inference for Matrices

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Nonlinear Negotiation Approaches for Complex-Network Optimization: A Study Inspired by Wi-Fi Channel Assignment

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Online Prediction of People’s Next Point-Of-Interest: Concept Drift Support

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Threshold Broadcast Encryption With Keyword Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Static Analysis Techniques to Verify Mutual Exclusion Situations Within SysML Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Faster Sieving for Shortest Lattice Vectors Using Spherical Locality-Sensitive Hashing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

List.MID: A MIDI-Based Benchmark for Evaluating RDF Lists

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Smartphone Interface for a Wireless EEG Headset With Real-Time 3D Reconstruction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Cover Array String Reconstruction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Solving BDD by Enumeration: An Update

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy