Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Zeno with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1979-1999 (18) 2000-2002 (18) 2003-2005 (30) 2006 (21) 2007-2008 (26) 2009 (23) 2010-2011 (24) 2012 (21) 2013 (19) 2014-2015 (21) 2016 (18) 2017 (16) 2018 (17) 2019 (24) 2020 (29) 2021 (23) 2022 (22) 2023 (29) 2024 (4)
Publication types (Num. hits)
article(177) incollection(6) inproceedings(214) phdthesis(3) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(34) Digit. Investig.(16) HSCC(15) CDC(13) Quantum Inf. Process.(13) ISCRAM(12) IEEE Trans. Autom. Control.(11) ACC(9) Synth.(6) FORMATS(5) Autom.(4) CONCUR(4) Quantum(4) Acta Informatica(3) ICIT(3) ICRA(3) More (+10 of total 225)
Authors
Zeno J. M. H. Geradts(37) Zeno Franco(23) Zeno Gantner(19) Aaron D. Ames(18) Zeno Toffano(16) Lars Schmidt-Thieme(14) Katinka Hooyer(13) Sheikh Iqbal Ahamed(13) Nadiyah Johnson(11) Mark Flower(10) Shankar Sastry 0001(9) Christoph Freudenthaler(8) Praveen Madiraju(8) Zeno Geradts(8) Md Fitrat Hossain(7) Steffen Rendle(7) More (+10 of total 879)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 49 occurrences of 34 keywords
Results
Found 449 publication records. Showing 403 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
15Eric Goubault Durations for Truly-Concurrent Transitions. Search on Bibsonomy ESOP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
15Eugene Asarin, Oded Maler Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. Search on Bibsonomy FSTTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
15Martín Abadi, Leslie Lamport An Old-Fashioned Recipe for Real Time. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #401 - #403 of 403 (100 per page; Change: )
Pages: [<<][1][2][3][4][5]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license