Regular repair of specifications

Regular repair of specifications

Bibliographic Details
Main Authors:	Benedikt, M, Puppis, G, Riveros, C
Format:	Journal article
Published:	2011

Similar Items

Regular Repairs of Specifications
by: Benedikt, M, et al.
Published: (2011)

Bounded reparability for regular tree languages
by: Puppis, G, et al.
Published: (2012)

Which DTDs are streaming repairable?
by: Bourhis, P, et al.
Published: (2013)

The Cost of Traveling Between Languages
by: Benedikt, M, et al.
Published: (2011)

The cost of traveling between languages
by: Benedikt, M, et al.
Published: (2011)

Repairing strings and trees
by: Riveros Jaeger, C
Published: (2013)

Automata for Branching and Layered Temporal Structures: an investigation into regularities of infinite transition systems
by: Puppis, G
Published: (2010)

Regular Languages of Words Over Countable Linear Orderings
by: Carton, O, et al.
Published: (2011)

Mean-payoff games with ω-regular specifications
by: Gutierrez, J, et al.
Published: (2022)

Regular Tree Languages Definable in FO and in FOmod
by: Benedikt, M, et al.
Published: (2009)

Specifications for the repair of diaphragm meters/
by: Institution of Gas Engineers (Great Britain)
Published: (1984)

Automata vs. Logics on Data Words
by: Benedikt, M, et al.
Published: (2010)

Automata vs. Logics on Data Words
by: Benedikt, M, et al.
Published: (2010)

What You Must Remember When Processing Data Words
by: Benedikt, M, et al.
Published: (2010)

Minimal Memory Automata
by: Benedikt, M, et al.
Published: (2010)

What You Must Remember When Processing Data Words
by: Benedikt, M, et al.
Published: (2010)

Positive Higher−Order Queries
by: Benedikt, M, et al.
Published: (2010)

Regularity of solutions to regular shock reflection for potential flow
by: Bae, M, et al.
Published: (2009)

MLVR: Regular Expression-Based Specification for Verified Model Checking of Hardware
by: Kammer, Gabriel A.
Published: (2024)

Edge-regular graphs with regular cliques
by: Greaves, Gary Royden Watson, et al.
Published: (2019)

Querying visible and invisible information
by: Benedikt, M, et al.
Published: (2016)

Regular polytopes/
by: Coxeter, H. S. M. (Harold Scott Macdonald), 1907-
Published: (1948)

Regular polytopes /
by: Coxeter, H. S. M. (Harold Scott Macdonald), 1907-
Published: (1973)

Second−Order Logic over Strings: Regular and Non−regular Fragments
by: Eiter, T, et al.
Published: (2001)

Boundary regularity of minima
by: Kristensen, J, et al.
Published: (2008)

Temporal regularity in speech perception: Is regularity beneficial or deleterious?
by: Geiser, Eveline, et al.
Published: (2017)

Another construction of edge-regular graphs with regular cliques
by: Greaves, Gary Royden Watson, et al.
Published: (2020)

Regular decision processes
by: Brafman, RI, et al.
Published: (2024)

Symmetry Regularization
by: Anselmi, Fabio, et al.
Published: (2017)

Bagging Regularizes
by: Poggio, Tomaso, et al.
Published: (2004)

Regular figures
by: 313388 Toth, L. Fejes
Published: (1964)

Regular complex polytopes /
by: Coxeter, H. S. M. (Harold Scott Macdonald), 1907-
Published: (1974)

The structural basis of specific base-excision repair by uracil-DNA glycosylase.
by: Savva, R, et al.
Published: (1995)

Regular and stochastic motion /
by: 267094 Lichtenberg, Allan J., et al.
Published: (1983)

Boundary Regularity in Variational Problems
by: Kristensen, J, et al.
Published: (2010)

On the regularity of minima of non-autonomous functionals
by: De Filippis, C, et al.
Published: (2019)

Nonparametric Sparsity and Regularization
by: Mosci, Sofia, et al.
Published: (2011)

Cascading Regularized Classifiers
by: Perez-Breva, Luis
Published: (2005)

Nonparametric Sparsity and Regularization
by: Rosasco, Lorenzo Andrea, et al.
Published: (2013)

Regularity of quasiconvex envelopes
by: Ball, J, et al.
Published: (2000)