search result

Cover von Field Types for Deep Characterization in Multi-Level Modeling
article in 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
Search for this author
Year: 2023
Publisher: Los Alamitos, IEEE
Media group: ARTICLE
Cover von A Characterization of Spartan Graphs and New Lower Bounds for Eternal Vertex Cover

A Characterization of Spartan Graphs and New Lower Bounds for Eternal Vertex Cover

Year: 2025
Media group: LIPIcs
Cover von A Myhill-Nerode Style Characterization for Timed Automata with Integer Resets

A Myhill-Nerode Style Characterization for Timed Automata with Integer Resets

Year: 2024
Media group: LIPIcs
Cover von A Characterization of Optimal-Rate Linear Homomorphic Secret Sharing Schemes, and Applications

A Characterization of Optimal-Rate Linear Homomorphic Secret Sharing Schemes, and Applications

Year: 2024
Media group: LIPIcs
Cover von Characterization of Matrices with Bounded Graver Bases and Depth Parameters and Applications to Integer Programming

Characterization of Matrices with Bounded Graver Bases and Depth Parameters and Applications to Integer Programming

Year: 2022
Media group: LIPIcs
Cover von Characterization of matrices with bounded Graver bases and depth parameters and applications to integer programming
Search for this author
Year: 2022
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
Cover von A Recursion-Theoretic Characterization of the Probabilistic Class PP

A Recursion-Theoretic Characterization of the Probabilistic Class PP

Year: 2021
Media group: LIPIcs
Cover von Computational Characterization of Surface Entropies for ?² Subshifts of Finite Type

Computational Characterization of Surface Entropies for ?² Subshifts of Finite Type

Year: 2021
Media group: LIPIcs
Cover von Optimized Routine of Machining Distortion Characterization Based on Gaussian Surface Curvature

Optimized Routine of Machining Distortion Characterization Based on Gaussian Surface Curvature

Year: 2021
Media group: OASICS
Cover von Recursion Schemes, Discrete Differential Equations and Characterization of Polynomial Time Computations

Recursion Schemes, Discrete Differential Equations and Characterization of Polynomial Time Computations

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0