University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

Graduate Dissertations and Theses at Illinois 6480
College of Engineering 3855
College of Liberal Arts and Sciences 1978
Dept. of Electrical and Computer Engineering 954
Dept. of Chemistry 774
Dept. of Computer Science 731
Dept. of Civil and Environmental Engineering 465
Dept. of Mechanical Science and Engineering 437
Dept. of Physics 413
Dept. of Materials Science and Engineering 400

Collection

Graduate Dissertations and Theses at Illinois 6480
Dissertations and Theses - Electrical and Computer Engineering 905
Dissertations and Theses - Chemistry 771
Dissertations and Theses - Computer Science 603
Dissertations and Theses - Mechanical Science and Engineering 422
Dissertations and Theses - Physics 413
Dissertations and Theses - Materials Science and Engineering 400
Dissertations and Theses - Civil and Environmental Engineering 381
Research publications from the University of Illinois at Urbana-Champaign 286
Dissertations and Theses - Chemical and Biomolecular Engineering 184

Author(s)

University of Illinois at Urbana-Champaign 49
Liu, Si 13
Illinois State Geological Survey 12
Meseguer, José 12
University of Illinois at Urbana-Champaign. Deptartment of Chemistry 10
Abdelzaher, Tarek F. 8
Gupta, Indranil 6
Havera, Stephen P. 6
Olveczky, Peter C. 6
Cai, Deng 5

Keyword(s)

Engineering, Electronics and Electrical 415
Computer Science 383
Engineering, Materials Science 257
Chemistry, Organic 199
Engineering, Civil 148
Physics, Condensed Matter 148
Engineering, Mechanical 137
Biology, Molecular 130
Chemistry, Biochemistry 128
Chemistry, Inorganic 102

Type of Resource

text 5900
Thesis 564
image 19
other 11
still image 5
Text 4
Image 3
Dissertation / Thesis 1
dataset / spreadsheet 1
video 1

↑ ↓

Showing 1–30 of 7,546 items

1 (current)
2
3
4
5

Thumbnail for Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude

Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude

Liu, Si

Thumbnail for All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions

All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions

Liu, Si

Thumbnail for Exploring Design Alternatives for Replicated RAMP Transactions Using Maude

Exploring Design Alternatives for Replicated RAMP Transactions Using Maude

Liang, Lei; Liu, Si

Thumbnail for Formal Modeling and Analysis of Leader Election in MANETs

Formal Modeling and Analysis of Leader Election in MANETs

Liu, Si; Olveczky, Peter C.; Meseguer, José

Thumbnail for A Formal Framework for Mobile Ad hoc Networks in Real-Time Maude

A Formal Framework for Mobile Ad hoc Networks in Real-Time Maude

Liu, Si; Olveczky, Peter C.; Meseguer, José

Thumbnail for Formal Modeling and Analysis of the Walter Transactional Data Store

Formal Modeling and Analysis of the Walter Transactional Data Store

Liu, Si; Olveczky, Peter C.; Wang, Qi; Meseguer, José

Thumbnail for Formal Modeling and Analysis of Mobile Ad hoc Networks in Real-Time Maude

Formal Modeling and Analysis of Mobile Ad hoc Networks in Real-Time Maude

Liu, Si; Olveczky, Peter C.; Meseguer, José

Thumbnail for Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs

Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs

Liu, Si; Sandur, Atul; Meseguer, Jose; Ölveczky, Peter; Wang, Qi

Thumbnail for Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude

Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude

Liu, Si; Ölveczky, Peter; Zhang, Min; Wang, Qi; Meseguer, José

Thumbnail for Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis

Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis

Liu, Si; Olveczky, Peter C.; Wang, Qi; Gupta, Indranil; Meseguer, José

Thumbnail for Exploring Design Alternatives for RAMP Transactions through Statistical Model Checking

Exploring Design Alternatives for RAMP Transactions through Statistical Model Checking

Liu, Si; Olveczky, Peter C.; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José

Thumbnail for A New Distributed Transaction Protocol and Its Formal Analysis in Maude

A New Distributed Transaction Protocol and Its Formal Analysis in Maude

Liu, Si; Olveczky, Peter C.; Santhanam, Keshav; Wang, Qi; Gupta, Indranil; Meseguer, José

Thumbnail for Formal Modeling and Analysis of RAMP Transaction Systems in Maude

Formal Modeling and Analysis of RAMP Transaction Systems in Maude

Liu, Si; Olveczky, Peter C.; Rahman, Muntasir Raihan; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José

Thumbnail for Processes and challenges for the adoption of blockchain technology in food supply chains: A thematic analysis

Processes and challenges for the adoption of blockchain technology in food supply chains: A thematic analysis

Chen, Si; Yan, Jiaqi; Tan, Bowen; Liu, Xingchen; Li, Yang

Thumbnail for Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude

Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude

Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, José; Olveczky, Peter C.; Skeirik, Stephen

Thumbnail for Cubic phase gallium nitride photonics integrated on silicon(100) for next-generation solid state lighting

Cubic phase gallium nitride photonics integrated on silicon(100) for next-generation solid state lighting

Liu, Richard Dicky

Thumbnail for Multi-Dimensional Dopant Profiling With Atomic Resolution by Scanning Tunneling Microscopy

Multi-Dimensional Dopant Profiling With Atomic Resolution by Scanning Tunneling Microscopy

Liu, Lequn

Thumbnail for Printed microscale mono-crystalline silicon on flexible substrates for photovoltaic, strain sensors, and neural interface applications

Printed microscale mono-crystalline silicon on flexible substrates for photovoltaic, strain sensors, and neural interface applications

Yu, Ki Jun

Thumbnail for Scanning tunneling microscopy characterization and metallic nanocontacts for atomically precise graphene nanoribbons

Scanning tunneling microscopy characterization and metallic nanocontacts for atomically precise graphene nanoribbons

Liu, Ximeng

Thumbnail for Subwavelength nanostructures for optical biosensing and rapid photochemical reactions

Subwavelength nanostructures for optical biosensing and rapid photochemical reactions

Jin, Hyunjong

Thumbnail for SIE: Characterize iSchool research territory via scholarly data

SIE: Characterize iSchool research territory via scholarly data

Liu, Xiaozhong; Lu, Wei; Ding, Ying; Wunells, Sam

Thumbnail for Structural and optical properties of phase transition cubic phase gallium nitride for photonic devices

Structural and optical properties of phase transition cubic phase gallium nitride for photonic devices

Liu, Richard Dicky

Thumbnail for Radiation-induced microstructural and mechanical property modifications in advanced alloys

Radiation-induced microstructural and mechanical property modifications in advanced alloys

Liu, Xiang

Thumbnail for SI-traceable scale for measurements of radiocarbon concentration

SI-traceable scale for measurements of radiocarbon concentration

Hodges, Joseph T.

Thumbnail for Angle-resolved photoemission studies of two-dimensional electron systems

Angle-resolved photoemission studies of two-dimensional electron systems

Liu, Yang

Thumbnail for Ion oxide silicon capacitor based pH sensing

Ion oxide silicon capacitor based pH sensing

Syed, Usman

Thumbnail for Measurement And Excited State Prediction Of Photoexcited Electron And Hole Dynamics In Znte With Transient Ultraviolet Reflection Spectroscopy

Measurement And Excited State Prediction Of Photoexcited Electron And Hole Dynamics In Znte With Transient Ultraviolet Reflection Spectroscopy

Liu, Hanzhe

Thumbnail for Improvement of Silicon Solar Cell Conversion Efficiency with High Throughput Surface Nano-Texturing

Improvement of Silicon Solar Cell Conversion Efficiency with High Throughput Surface Nano-Texturing

Jiang, Jing

Thumbnail for Metal complexes with ω-alkenyl ligands. synthesis, structure, reactivity, and applications in chemical vapor deposition (CVD) and hydrosilylation catalysis

Metal complexes with ω-alkenyl ligands. synthesis, structure, reactivity, and applications in chemical vapor deposition (CVD) and hydrosilylation catalysis

Liu, Sumeng

Thumbnail for Nanophotonic supercontinuum-based mid-infrared dual-comb spectroscopy

Nanophotonic supercontinuum-based mid-infrared dual-comb spectroscopy

Schmidt, Dag

1 (current)
2
3
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 4 + 8?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)