|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 12 keywords
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
69 | Gerald M. Karam, Raymond J. A. Buhr |
Temporal Logic-Based Deadlock Analysis For Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(10), pp. 1109-1125, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers |
40 | Zheng Chu, Jingchang Chen, Qianglong Chen, Weijiang Yu, Haotian Wang 0007, Ming Liu 0004, Bing Qin 0001 |
TimeBench: A Comprehensive Evaluation of Temporal Reasoning Abilities in Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.17667, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
40 | Alexander Rind, Tim Lammarsch, Wolfgang Aigner, Bilal Alsallakh, Silvia Miksch |
TimeBench: A Data Model and Software Library for Visual Analytics of Time-Oriented Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 19(12), pp. 2247-2256, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Raymond J. A. Buhr, Gerald M. Karam, C. Murray Woodside, Ronald S. Casselman, Greg Franks, H. Scott, D. Bailey |
TimeBench: a CAD tool for real-time system design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETA ![In: Proceedings of the Second International Symposium on Environments and Tools for Ada, SETA 1994, Washington, D.C., USA, 1994, pp. 3-15, 1994, ACM, 978-1-4503-7305-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|