A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “Z3” 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski

0

citations
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski

0

citations
Daham-Mustaf/odrl-ufol-grounding: Mechanized verification benchmark and OWL profile for ODRL grounded in UFO-L
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

Daham Mohammed Mustafa, Christoph Lange, Giancarlo Guizzardi, Diego Collarana, Christoph Quix, Stefan Decker

0

citations
Daham-Mustaf/odrl-ufol-grounding: Mechanized verification benchmark and OWL profile for ODRL grounded in UFO-L
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

Daham Mohammed Mustafa, Christoph Lange, Giancarlo Guizzardi, Diego Collarana, Christoph Quix, Stefan Decker

0

citations

4 results