University of Illinois Urbana-Champaign

Organization Name (de) Name der Organisation (de)
University of Illinois Urbana-Champaign
 
Country Land
United States
 
Acronym Akronym
UIUC
 
Type of Organization Organisationstyp
Education
Established Gegründet
1867
 
ISNI
0000 0004 1936 9991
 


Results 1-18 of 18 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Barrett-2024-SMT-D New Strategies for Portfolio-Based SMT Solving-vor.pdf.jpgBarrett, Clark ; Chen, Pei-Wei ; Cook, Byron ; Dutertre, Bruno ; Jones, Robert B. ; Le, Nham ; Reynolds, Andrew ; Sheth, Kunal ; Stephens, Christopher ; Whalen, Michael W. SMT-D: New Strategies for Portfolio-Based SMT SolvingInproceedings Konferenzbeitrag Oct-2024
2Netscher, Sebastian ; Hausen, Daniela ; Wiley, Chris ; Anders, Ivonne ; Ashley, Kevin ; Henzen, Christin ; Jones, Sarah ; Miksa, Tomasz ; Praetzellis, Maria Data Management Planning across Disciplines and Infrastructures. Introduction to the Special CollectionArticle Artikel2024
3Dheeraj Adwani ; Pipintakos, Georgios ; Mirwald, Johannes ; Yudi Wang ; Ramez Hajj ; Guo, Meng ; Liang, Meichen ; Ruxin Jing ; Varveri, Aikaterini ; Zhang, Yuan ; Pei, Ke ; Xu, Xiong ; Leng, Zhen ; Li, Danning ; Villamil, William ; Caro, Silvia ; Chailleux, Emmanuel ; Cantot, Justine ; Weigel, Sandra ; Škulteckė, Judita ; Tarsi, Giulia ; Margaritis, Alexandros ; Wang, Haopeng ; Hu, Yongping ; Airey, Gordon ; Sreeram, Anand ; Bhasin, Amit Examining the efficacy of promising antioxidants to mitigate asphalt binder oxidation: insights from a worldwide interlaboratory investigationArticle Artikel 2024
4Arheimer-2024-Hydrological Sciences Journal-vor.pdf.jpgArheimer, Berit ; Cudennec, Christophe ; Castellarin, Attilio ; Grimaldi, Salvatore ; Heal, Kate V. ; Lupton, Claire ; Sarkar, Archana ; Tian, Fuqiang ; Kileshye Onema, Jean-Marie ; Archfield, Stacey ; Blöschl, Günter ; Borges Chaffe, Pedro Luiz ; Croke, Barry ; Dembélé, Moctar ; Leong, Chris ; Mijic, Ana ; Mosquera, Giovanny M. ; Nlend, Bertil ; Olusola, Adeyemi O. ; Polo, María José ; Sandells, Melody ; Sheffield, Justin ; van Hateren, Theresa C. ; Shafiei, Mojtaba ; Adla, Soham ; Agarwal, Ankit ; Aguilar, Cristina ; Andersson, Jafet ; Andraos, Cynthia ; Andreu, Ana ; Avanzi, Francesco ; Bart, Ryan ; Bartosova, Alena ; Batelaan, Okke ; Bennett, James C ; Bertola, Miriam ; Bezak, Nejc ; Boekee, Judith ; Bogaard, Thom ; Booij, Martijn J. ; Brigode, Pierre ; Buytaert, Wouter ; Bziava, Konstantine ; Castelli, Giulio ; Vail Castro, Cyndi ; Ceperley, Natalie ; Chidepudi, Sivarama Krishna Reddy ; Chiew, Francis H. S. ; Chun, Kwok Pan ; Dagnew, Addisu ; Dekongmen, Benjamin Wullobayi ; Del Jesus, Manuel ; Dezetter, Alain ; do Nascimento Batista, José Anderson ; Doble, Rebecca ; Dogulu, Nilay ; Eekhout, Joris ; Elçi, Alper ; Elenius, Maria ; Finger, David C. ; Fiori, Aldo ; Fischer, Svenja ; Förster, Kristian ; Ganora, Daniele ; Gargouri Ellouze, Emna ; Ghoreishi, Mohammad ; Harvey, Natasha ; Hrachowitz, Markus ; Jampani, Mahesh ; Jaramillo, Fernando ; Jongen, Harro J. ; Kareem, Kola Yusuff ; Khan, Usman T ; Khatami, Sina ; Kingston, Daniel ; Koren, Gerbrand ; Krause, Stefan ; Kreibich, Heidi ; Lerat, Julien ; Liu, Junguo ; Liu, Suxia ; Madruga de Brito, Mariana ; Mahé, Gil ; Makurira, Hodson ; Mazzoglio, Paola ; Merheb, Mohammad ; Mishra, Ashish ; Mohammad, Hiba ; Montanari, Alberto ; Mujere, Never ; Nabavi, Ehsan ; Nkwasa, Albert ; Orduna Alegria, Maria E. ; Orieschnig, Christina Anna ; Ovcharuk, Valeriya ; Palmate, Santosh S. ; Pande, Saket ; Pandey, Shachi ; Papacharalampous, Georgia ; Pechlivanidis, Ilias ; Penny, Gopal ; Pimentel, Rafael ; Post, David ; Prieto, Cristina ; Razavi, Saman ; Salazar-Galán, Sergio ; Sankaran Namboothiri, Adarsh ; Santos, Pedro P. ; Savenije, Hubert ; Shanono, Nura J. ; Sharma, Ashutosh ; Sivapalan, Murugesu ; Smagulov, Zhanibek ; Szolgay, Jan ; Teng, Jin ; Teuling, Adriaan ; Teutschbein, Claudia ; Tyralis, Hristos ; van Griensven, Ann ; van Schalkwyk, Andries ; van Tiel, Marit ; Viglione, Alberto ; Volpi, Elena ; Wagener, Thorsten ; Wang, Xiaojun ; Wang-Erlandsson, Lan ; Wens, Marthe ; Xia, Jun The IAHS Science for Solutions decade, with Hydrology Engaging Local People IN one Global world (HELPING)Article Artikel 2024
5Saxena-2023-MediK Towards Safe Guideline-based Clinical Decision Support-vor.pdf.jpgSaxena, Manasvi ; Song, Shuang ; Sha, Lui MediK: Towards Safe Guideline-based Clinical Decision SupportInproceedings Konferenzbeitrag Oct-2023
6Dheeraj Adwani ; Sreeram, Anand ; Pipintakos, Georgios ; Mirwald, Johannes ; Yudi Wang ; Ramez Hajj ; Ruxin Jing ; Bhasin, Amit Global Consortium for Antioxidants Research: Results from Phase 1APresentation Vortrag20-Jul-2023
7Dheeraj Adwani ; Sreeram, Anand ; Pipintakos, Georgios ; Mirwald, Johannes ; Yudi Wang ; Ramez Hajj ; Ruxin Jing ; Bhasin, Amit Interpreting the effectiveness of antioxidants to increase the resilience of asphalt binders: A global interlaboratory studyArticle Artikel 22-Feb-2023
8Dheeraj Adwani ; Sreeram, Anand ; Pipintakos, Georgios ; Mirwald, Johannes ; Yudi Wang ; Ramez Hajj ; Ruxin Jing ; Bhasin, Amit Interpreting the effectiveness of antioxidants to increase the resilience of asphalt binders: A global interlaboratory studyPresentation Vortrag8-Jan-2023
9Irmler, Andreas ; Kanakagiri, Raghavendra ; Ohlmann, Sebastian T. ; Solomonik, Edgar ; Grüneis, Andreas Optimizing Distributed Tensor Contractions Using Node-Aware Processor GridsInproceedings Konferenzbeitrag2023
10Ghoreishi-2023-Hydrology and Earth System Sciences-vor.pdf.jpgGhoreishi, Mohammad ; Elshorbagy, Amin ; Razavi, Saman ; Blöschl, Günter ; Sivapalan, Murugesu ; Abdelkader, Ahmed Cooperation in a transboundary river basin: a large-scale socio-hydrological model of the Eastern NileArticle Artikel 2023
11Pande-2022-Frontiers in Water-vor.pdf.jpgPande, Saket ; Haeffner, Melissa ; Blöschl, Günter ; Alam, Mohammad Faiz ; Castro, Cyndi ; Di Baldassarre, Giuliano ; Frick-Trzebitzky, Fanny ; Hogeboom, Rick ; Kreibich, Heidi ; Mukherjee, Jenia ; Mukherji, Aditi ; Nardi, Fernando ; Nüsser, Marcus ; Tian, Fuqiang ; van Oel, Pieter ; Sivapalan, Murugesu Never Ask for a Lighter Rain but a Stronger UmbrellaArticle Artikel 11-Jan-2022
12Chattopadhyay-2021-Scaling Up Hardware Accelerator Verification using A-Q...-vor.pdf.jpgChattopadhyay, Saranyu ; Lonsing, Florian ; Piccolboni, Luca ; Soni, Deepraj ; Wei, Peng ; Zhang, Xiaofan ; Zhou, Yuan ; Carloni, Luca ; Chen, Deming ; Cong, Jason ; Karri, Ramesh ; Zhang, Zhiru ; Trippel, Caroline ; Barrett, Clark ; Mitra, Subhasish Scaling Up Hardware Accelerator Verification using A-QED with Functional DecompositionInproceedings Konferenzbeitrag Oct-2021
13Pistrol, Johannes ; Hager, Mario ; Adam, Dietmar CCC Systems for Vibratory and Oscillatory Rollers in Theoretical and Experimental ComparisonKonferenzbeitrag Inproceedings 2021
14Blöschl, Günter ; Bierkens, Marc ; Chambel, Antonio ; Cudennec, Christophe ; Destouni, Georgia ; Fiori, Aldo ; Kirchner, James W. ; McDonnell, Jeffrey J. ; Savenije, H. H. G. ; Sivapalan, Murugesu ; Stumpp, Christine ; Toth, Elena ; Volpi, Elena ; Carr, Gemma ; Lupton, Claire ; Salinas Illarena, Jose Luis ; Szeles, Borbala ; Viglione, Alberto ; Aksoy, Hafzullah ; Barendrecht, Marlies Holkje ; Breinl, Korbinian Jakob Michael ; Duethmann, Doris ; Müller-Thomy, Hannes ; Tong, Rui ; Zhang, Yongqiang Twenty-three Unsolved Problems in Hydrology (UPH) - a community perspectiveArtikel Article Aug-2019
15Prabakaran Bharath Srinivas - 2019 - Architectural-Space Exploration of...pdf.jpgPrabakaran, Bharath Srinivas ; Dave, Mihika ; Kriebel, Florian ; Rehman, Semeen ; Shafique, Muhammad Architectural-Space Exploration of Heterogeneous Reliability and Checkpointing Modes for Out-of-Order Superscalar ProcessorsArticle Artikel 2019
16Bartocci Ezio - 2017 - First international Competition on Runtime Verification...pdf.jpgBartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zalinescu, Eugen ; Zhang, Yi First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014Article Artikel 2019
17Di Baldassarre, Giuliano ; Sivapalan, Murugesu ; Cudennec, Christophe ; Rusca, Maria ; Cudennec, Christophe ; Garcia, Margaret ; Kreibich, Heidi ; Konar, Megan ; Mondino, Elena ; Mård, Johanna ; Pande, Saket ; Sanderson, Matthew ; Tian, Fuqiang ; Viglione, Alberto ; Wei, Jing ; Wei, Yongping ; Yu, David J. ; Srinivasan, Veena ; Blöschl, Günter Sociohydrology: Scientific challenges in addressing the sustainable development goals.Artikel Article 2019
18Jillo, Adanech Yared ; Demissie, S.S. ; Viglione, Alberto ; Asfaw, D.H. ; Sivapalan, Murugesu Characterization of regional variability of seasonal water balance within Omo-Ghibe River Basin, EthiopiaArtikel Article 2017