Michigan State University, United States

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
Michigan State University, United States
 

OrgUnit's Publications


Results 1-6 of 6 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Dobe, Oyendrila ; Schupp, Stefan Alexander ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Legay, Axel ; Pajic, Miroslav ; Wang, Yu Lightweight Verification of HyperpropertiesInproceedings Konferenzbeitrag 19-Oct-2023
2Garlich, Lina ; Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Introducing Asynchronicity to Probabilistic HyperpropertiesInproceedings Konferenzbeitrag 15-Sep-2023
3Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Model checking hyperproperties for Markov decision processesArticle Artikel 2022
4Andersen-2021-Using advanced airborne remote sensing as a sampling tool t...-vor.pdf.jpgAndersen, Hans-Erik ; Strunk, Jacob ; Cook, Bruce ; Morton, Doug ; Alonzo, Mike ; Finley, Andrew O. ; Babcock, Chad ; Cahoon, Sean Using advanced airborne remote sensing as a sampling tool to support forest inventory in interior Alaska, USAKonferenzbeitrag Inproceedings 1-Dec-2021
5MacFarlane-2021-Exploring the effect of leaves on tree woody surface area...-vor.pdf.jpgMacFarlane, David W. ; Arseniou, Georgios ; Burt, Andrew ; Vicari, Matheus Boni ; Disney, Mathias ; Calders, Kim Exploring the effect of leaves on tree woody surface area estimation with quantitative structural modelsKonferenzbeitrag Inproceedings 1-Dec-2021
6Nothdurft-2021-Spatial Prediction of Forest Inventory Results from Portab...-vor.pdf.jpgNothdurft, Arne ; Gollob, Christoph ; Kraßnitzer, Ralf ; Erber, Gernot ; Ritter, Tim ; Stampfer, Karl ; Finley, Andrew O. Spatial Prediction of Forest Inventory Results from Portable Laser Scanning using Airborne Laser Scanning Data and Spatial Hierarchical Bayes ModelsKonferenzbeitrag Inproceedings 1-Dec-2021