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 “command and control” 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 Computer Science Formal Methods in Verification 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 Computer Science Formal Methods in Verification Open access

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

0

citations
Zettlr/Zettlr: Release 1.8.0
2020 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Mobile and Web Applications Open access

Hendrik Erz, Tobias Diez, Wieke, Gábor Nagy, actions-user, Matt Jolly, +19 more

0

citations
ronisbr/PrettyTables.jl: v3.4.3
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Data Visualization and Analytics Open access

Ronan Arraes Jardim Chagas, gustavohtc23-sudo, TimG1964, Alberto Mengali, Ben Baumgold, Glen Hertz, +23 more

0

citations

4 results