Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Comparing Formal Verification Approaches of Interlocking Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Interactive Digital Gameplay Can Lower Stress Hormone Levels in Home Alone Dogs — A Case for Animal Welfare Informatics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Improved Security for Linearly Homomorphic Signatures: A Generic Framework

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

C-Map: Framework for Multi-Agent Planning in Cyber Physical Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Modelling Co-Creation Ecosystem for Public Open Spaces

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

GAMA 1.6: Advancing the Art of Complex Agent-Based Modeling and Simulation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Improved Dual System ABE in Prime-Order Groups via Predicate Encodings

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

The Static and Stochastic VRP With Time Windows and Both Random Customers and Reveal Times

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

An Intelligent Hot-Desking Model Based on Occupancy Sensor Data and Its Potential for Social Impact

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy