Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Realizability of Schedules by Stochastic Time Petri Nets With Blocking Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Formalizing Threat Models for Virtualized Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Investigating Learners’ Views of Assessment Types in Massive Open Online Courses (MOOCs)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Novel AI Strategies for Multi-Player Games at Intermediate Board States

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Purpose Restrictions on Information Use

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Modularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control Management

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Axiomatic Characterization of Trace Reachability for Concurrent Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Gearing Up: How to Eat Your Cryptocake and Still Have It

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

What Is Linked Historical Data?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Insynd: Improved Privacy-Preserving Transparency Logging

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