Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

A Comparative Study of Decision Diagrams for Real-Time Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Automatic Generation of Model Checking Scripts Based on Environment Modeling

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

PoolParty: SKOS Thesaurus Management Utilizing Linked Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Resource Discovery

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Demographic Data and Remote Sensing to Monitor Urban Growth: The Ho Chi Minh City (Vietnam) Case Study

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

A Novel Rate Control Algorithm for H.264/Avc Based on Human Visual System

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Using Agents in Virtual Environments to Assist Controllers to Manage Multiple Assets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Four-Bar Linkage Synthesis Using Non-Convex Optimization

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Joint T1 and Brain Fiber Diffeomorphic Registration Using the Demons

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Approximate Repeated Administration Models for Pharmacometrics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy