Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thibaud Hottelier
Invariant and Type Inference for Matrices
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Synthesis of Layout Engines From Relational Constraints
Related publications
Infinite Matrices and Invariant Means
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
From Invariant Checking to Invariant Inference Using Randomized Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Perturbation Bounds for Isotropic Invariant Subspaces of Skew-Hamiltonian Matrices
SIAM Journal on Matrix Analysis and Applications
Analysis
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Hölder Type Inequalities for Matrices
Mathematical Inequalities and Applications
Mathematics
Applied Mathematics
Type Qualifier Inference for Java
The Space of Positive Definite Matrices and Gromov’s Invariant
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Type Inference and Type Checking for Queries on Execution Traces
Proceedings of the VLDB Endowment
Computer Science
Polymorphic Type Inference for Machine Code
ACM SIGPLAN Notices
Computer Science
