Semantic search
No value
- Tuning SAT Solvers for LTL Model Checking (News year 2022, Has title Tuning SAT Solvers for LTL Model Checking, Published in Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22))
- Towards Better Heuristics for Solving Bounded Model Checking Problems (News year 2022, Has title Towards Better Heuristics for Solving Bounded Model Checking Problems, Published in Constraints)
- Go2Pins: A framework for the LTL verification of Go programs (Extended Version) (News year 2022, Has title Go2Pins: A framework for the LTL verification of Go programs (Extended Version), Published in International Journal on Software Tools for Technology Transfer (STTT))
- Introduction to the Special Issue on Distributed Hybrid Systems (News year 2022, Has title Introduction to the Special Issue on Distributed Hybrid Systems, Published in Leibniz Transactions on Embedded Systems)
- Higher-Dimensional Timed and Hybrid Automata (News year 2022, Has title Higher-Dimensional Timed and Hybrid Automata, Published in Leibniz Transactions on Embedded Systems)
- CosySEL: Improving SAT Solving Using Local Symmetries (News year 2022, Has title CosySEL: Improving SAT Solving Using Local Symmetries, Published in 24th International Conference on Verification, Model Checking, and Abstract Interpretation)
- Energy Problems in Finite and Timed Automata with Büchi Conditions (News year 2022, Has title Energy Problems in Finite and Timed Automata with Büchi Conditions, Published in International Symposium on Formal Methods (FM))
- Diversifying a Parallel SAT Solver with Bayesian Moment Matching (News year 2022, Has title Diversifying a Parallel SAT Solver with Bayesian Moment Matching, Published in Symposium on Dependable Software Engineering TheoriesTools and Applications)
- The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images (News year 2022, Has title The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images, Published in Pattern Recognition)
- Featured Games (News year 2022, Has title Featured Games, Published in Science of Computer Programming)
- In Pursuit of the Hidden Features of GNN's Internal Representations (News year 2022, Has title In Pursuit of the Hidden Features of GNN's Internal Representations, Published in Data & Knowledge Engineering)
- Topology-Aware Method to Segment 3D Plan Tissue Images (News year 2022, Has title Topology-Aware Method to Segment 3D Plan Tissue Images, Published in 36th Conference on Neural Information Processing SystemsAI for Science Workshop)
- On GNN Explainability with Activation Rules (News year 2022, Has title On GNN Explainability with Activation Rules, Published in Data Mining and Knowledge Discovery)
- The Cost of Dynamism in Static Languages for Image Processing (News year 2022, Has title The Cost of Dynamism in Static Languages for Image Processing, Published in Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022))
- A Modern C++ Point of View of Programming in Image Processing (News year 2022, Has title A Modern C++ Point of View of Programming in Image Processing, Published in Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022))
- Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor (News year 2022, Has title Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor, Published in 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems)
- Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery (News year 2022, Has title Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery, Published in Machine Learning and Data Mining for Sports Analytics - 9th International Workshop, MLSA 2022)
- Improving the Quality of Rule-Based GNN Explanations (News year 2022, Has title Improving the Quality of Rule-Based GNN Explanations, Published in Workshop on eXplainable Knowledge Discovery in Data Mining. Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2022, GrenobleFrance, September 19-23, 2022, Proceedings, Part I)
- A Kleene Theorem for Higher-Dimensional Automata (News year 2022, Has title A Kleene Theorem for Higher-Dimensional Automata, Published in 33rd International Conference on Concurrency Theory (CONCUR 2022))
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map (News year 2022, Has title Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map, Published in Symposium on Implementation and Application of Functional Languages)