Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Amalgamation of Domain Specific Languages With Behaviour

Journal of Logical and Algebraic Methods in Programming
SociologyInternational RelationsLogicCultural StudiesPolitical ScienceMathematicsComputational TheoryTheoretical Computer ScienceSoftware
2017English

Learning by Reviewing Paper-Based Programming Assessments

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Kummer Strikes Back: New DH Speed Records

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Temporal Expertise Profiling

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

MARL-Ped+Hitmap: Towards Improving Agent-Based Simulations With Distributed Arrays

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

New Approximation Results for Resource Replication Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Compliant Robot Actuation by Feedforward Controlled Emulated Spring Stiffness

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Convolutional Neural Networks for Image Recognition in Mixed Reality Using Voice Command Labeling

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Probability Estimation for Multi-Class Classification Based on Label Ranking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy