Similar Items: An embedded vision-based system for cyclist detection and counting
- Counting CTL
- Termination of Graph Transformation Systems Using Weighted Subgraph Counting
- Anomalous Behavior Detection in IoT Devices Utilizing Embedded Representations of Power Consumption Waveforms
- Descriptive Complexity for Counting Complexity Classes
- Answer Counting under Guarded TGDs
- Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion