These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.
110 related articles for article (PubMed ID: 34587083)
1. Visual Analysis of Hyperproperties for Understanding Model Checking Results. Horak T; Coenen N; Metzger N; Hahn C; Flemisch T; Mendez J; Dimov D; Finkbeiner B; Dachselt R IEEE Trans Vis Comput Graph; 2022 Jan; 28(1):357-367. PubMed ID: 34587083 [TBL] [Abstract][Full Text] [Related]
2. Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems. Liu Y; Ma Y; Yang Y; Zheng T Micromachines (Basel); 2021 Aug; 12(9):. PubMed ID: 34577703 [TBL] [Abstract][Full Text] [Related]
3. Mutation testing with hyperproperties. Fellner A; Tabaei Befrouei M; Weissenbacher G Softw Syst Model; 2021; 20(2):405-427. PubMed ID: 34720800 [TBL] [Abstract][Full Text] [Related]
4. Monitoring hyperproperties. Finkbeiner B; Hahn C; Stenger M; Tentrup L Form Methods Syst Des; 2019; 54(3):336-363. PubMed ID: 31806925 [TBL] [Abstract][Full Text] [Related]
5. Under-approximating loops in C programs for fast counterexample detection. Kroening D; Lewis M; Weissenbacher G Form Methods Syst Des; 2015; 47():75-92. PubMed ID: 26900259 [TBL] [Abstract][Full Text] [Related]
8. How information visualization novices construct visualizations. Grammel L; Tory M; Storey MA IEEE Trans Vis Comput Graph; 2010; 16(6):943-52. PubMed ID: 20975131 [TBL] [Abstract][Full Text] [Related]
9. Para Konnov I; Lazić M; Veith H; Widder J Form Methods Syst Des; 2017; 51(2):270-307. PubMed ID: 32009739 [TBL] [Abstract][Full Text] [Related]
10. Evaluation of properties over phylogenetic trees using stochastic logics. Requeno JI; Colom JM BMC Bioinformatics; 2016 Jun; 17(1):235. PubMed ID: 27301397 [TBL] [Abstract][Full Text] [Related]
11. Synthesis from hyperproperties. Finkbeiner B; Hahn C; Lukert P; Stenger M; Tentrup L Acta Inform; 2020; 57(1):137-163. PubMed ID: 32189717 [TBL] [Abstract][Full Text] [Related]
14. Design Exposition Discussion Documents for Rich Design Discourse in Applied Visualization. Beecham R; Dykes J; Rooney C; Wong W IEEE Trans Vis Comput Graph; 2021 Aug; 27(8):3451-3462. PubMed ID: 32149641 [TBL] [Abstract][Full Text] [Related]
15. Data2Vis: Automatic Generation of Data Visualizations Using Sequence-to-Sequence Recurrent Neural Networks. Dibia V; Demiralp C IEEE Comput Graph Appl; 2019; 39(5):33-46. PubMed ID: 31247545 [TBL] [Abstract][Full Text] [Related]
16. Aging, rule-violation checking strategies, and strategy combination: An EEG study in arithmetic. Hinault T; Lemaire P Int J Psychophysiol; 2017 Oct; 120():23-32. PubMed ID: 28709829 [TBL] [Abstract][Full Text] [Related]
17. The future of Cochrane Neonatal. Soll RF; Ovelman C; McGuire W Early Hum Dev; 2020 Nov; 150():105191. PubMed ID: 33036834 [TBL] [Abstract][Full Text] [Related]
18. Declarative language design for interactive visualization. Heer J; Bostock M IEEE Trans Vis Comput Graph; 2010; 16(6):1149-56. PubMed ID: 20975153 [TBL] [Abstract][Full Text] [Related]
19. Lyra 2: Designing Interactive Visualizations by Demonstration. Zong J; Barnwal D; Neogy R; Satyanarayan A IEEE Trans Vis Comput Graph; 2021 Feb; 27(2):304-314. PubMed ID: 33048697 [TBL] [Abstract][Full Text] [Related]
20. StructGraphics: Flexible Visualization Design through Data-Agnostic and Reusable Graphical Structures. Tsandilas T IEEE Trans Vis Comput Graph; 2021 Feb; 27(2):315-325. PubMed ID: 33048753 [TBL] [Abstract][Full Text] [Related] [Next] [New Search]