Discover open access scientific publications

Search, annotate, share and cite publications

Publications by TOMÁŠ VOJNAR

Monotonic Abstraction for Programs With Multiply-Linked Structures

International Journal of Foundations of Computer Science
Computer Science
2013English

Related publications

Monotonic Abstraction-Refinement for CTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Verifying Programs With Dynamic 1-Selector-Linked Structures in Regular Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Abstraction of Linked Data’s World

Visión electrónica
2019English

Modeling of Ductile Fracture in Steel Structures for Monotonic and Cyclic Loading

English

DimSUM: Dimension and Scale Unifying Map for Visual Abstraction of DNA Origami Structures

Computer Graphics Forum
Computer NetworksComputer GraphicsComputer-Aided DesignCommunications
2018English

Validation of Linked Simulation for Fire-Exposed Concrete Structures

Acta Polytechnica CTU Proceedings
2018English

Mating Structures for Genomic Selection Breeding Programs in Aquaculture

Genetics, Selection, Evolution
EvolutionEcologyGeneticsSystematicsAnimal ScienceMedicineBehaviorZoology
2016English

Dynamically Cross-Linked Self-Assembled Thermoresponsive Microgels With Homogeneous Internal Structures

English

Automatic Abstraction for Congruences

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy