Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- CosySEL: Improving SAT Solving Using Local Symmetries + (24th International Conference on Verification, Model Checking, and Abstract Interpretation)
- A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers + (25th IEEE Symposium on Computer Arithmetic)
- An Experience Report on the Optimization of the Product Configuration System of Renault + (26th International Conference on Engineering of Complex Computer Systems)
- Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique + (28e Colloque sur le traitement du signal et des images)
- Généricité dynamique pour des algorithmes morphologiques + (28e Colloque sur le traitement du signal et des images)
- A Kleene Theorem for Higher-Dimensional Automata + (33rd International Conference on Concurrency Theory (CONCUR 2022))
- Topology-Aware Method to Segment 3D Plan Tissue Images + (36th Conference on Neural Information Processing SystemsAI for Science Workshop)
- New Security Protocols for Offline Point-of-Sale Machines + (36th International Conference on Advanced Information Networking and Applications (AINA))
- On Robustness for the Skolem and Positivity Problems + (39th International Symposium on Theoretical Aspects of Computer Science STACS)
- C-Transformers — A Framework to Write C Program Transformations + (ACM Crossroads)
- Probabilistic abstraction for model checking: an approach based on property testing + (ACM Transactions on Computational Logic)
- A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams + (ACM Transactions on Computational Logic)