Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

Pinaka: Symbolic Execution Meets Incremental Solving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Do Usability Professionals Think About User Experience in the Same Way as Users and Developers Do?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Learning Parameters in Deep Belief Networks Through Firefly Algorithm

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Formal Testing of Timed and Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Klaim-Db: A Modeling Language for Distributed Database Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Real-Time Dynamic Lighting Control of an AR Model Based on a Data-Glove With Accelerometers and NI-DAQ

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Why Realization Mismatches Expectations of E-Government Project Benefits? Towards Benefit Realization Planning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Spatial Models for Virtual Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Towards a Methodological Tool Support for Modeling Security-Oriented Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

PTAS for Densest K-Subgraph in Interval Graphs

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