Below you may find selected research articles from faculty in the Fowler School of Engineering.

Follow

Submissions from 2012

PDF

Strongly Complete Logics for Coalgebras, Alexander Kurz and Jiří Rosický

Link

A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions, Alexander Kurz, Tomoyuki Suzuki, and Emilio Tuosto

Link

On Nominal Regular Languages with Binders, Alexander Kurz, Tomoyuki Suzuki, and Emilio Tuosto

PDF

Serpentine Low Loss Trapezoidal Silica Waveguides on Silicon, Xiaomin Zhang, Mark Harrison, Audrey Harker, and Andrea M. Armani

Submissions from 2011

Link

On Coalgebras over Algebras, Adriana Balan and Alexander Kurz

PDF

Relation Liftings on Preorders and Posets, Marta Bílková, Alexander Kurz, Daniela Petrişan, and Jiří Velebil

Link

Control of Poly(N-isopropylacrylamide) Microgel Network Structure by Precipitation Polymerization near the Lower Critical Solution Temperature, Xiaobo Hu, Zhen Tong, and L. Andrew Lyon

PDF

Synthesis and Physicochemical Properties of Cationic Microgels Based on Poly(N-isopropylmethacrylamide), Xiaobo Hu, Zhen Tong, and L. Andrew Lyon

PDF

Generic Trace Logics, Christian Kissig and Alexander Kurz

PDF

Towards Nominal Formal Languages, Alexander Kurz, Tomoyuki Suzuki, and Emilio Tuosto

PDF

An Upper Limit for Macromolecular Crowding Effects, Andrew C. Miklos, Congang Li, Courtney D. Sorell, L. Andrew Lyon, and Gary J. Pielak

Link

Network Deconstruction Reveals Network Structure in Responsive Microgels, Michael H. Smith, Emily S. Herman, and L. Andrew Lyon

Link

Tunable Encapsulation of Proteins within Charged Microgels, Michael H. Smith and L. Andrew Lyon

Submissions from 2010

PDF

On Coalgebras over Algebras, Adriana Balan and Alexander Kurz

PDF

Bitopological Duality for Distributive Lattices and Heyting Algebras, Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, and Alexander Kurz

PDF

Chronic Inflammatory Responses to Microgel-Based Implant Coatings, Amanda W. Bridges, Rachel E. Whitmire, Neetu Singh, Kellie L. Templeman, Julia E. Babensee, L. Andrew Lyon, and Andrés J. García

PDF

Families of Symmetries as Efficient Models of Resource Binding, Vincenzo Ciancia, Alexander Kurz, and Ugo Montanari

PDF

Chemosensitization of Cancer Cells by siRNA Using Targeted Nanogel Delivery, Erin B. Dickerson, William H. Blackburn, Michael H. Smith, Laura B. Kapa, L. Andrew Lyon, and John F. McDonald

Link

Microgel Translocation through Pores under Confinement, Grant R. Hendrickson and L. Andrew Lyon

PDF

On Universal Algebra Over Nominal Sets, Alexander Kurz and Daniela Petrişan

Link

Presenting Functors on Many-Sorted Varieties and Applications, Alexander Kurz and Daniela Petrişan

PDF

Algebraic Theories over Nominal Sets, Alexander Kurz, Daniela Petrişan, and Jiří Velebil

Link

Coalgebraic Lindström Theorems, Alexander Kurz and Yde Venema

Link

Monitoring the Erosion of Hydrolytically-Degradable Nanogels via Multiangle Light Scattering Coupled to Asymmetrical Flow Field-Flow Fractionation, Michael H. Smith, Antoinette B. South, Jeffrey C. Gaulding, and L. Andrew Lyon

Submissions from 2009

Link

Peptide-Functionalized Nanogels for Targeted siRNA Delivery, William H. Blackburn, Erin B. Dickerson, Michael H. Smith, John F. McDonald, and L. Andrew Lyon

PDF

Equational Coalgebraic Logic, Alexander Kurz and Raul Leal

Link

Physical Aging and Phase Behavior of Multiresponsive Microgel Colloidal Dispersions, Zhiyong Meng, Jae Kyu Cho, Victor Breedveld, and L. Andrew Lyon

Link

Centrifugal Deposition of Microgels for the Rapid Assembly of Nonfouling Thin Films, Antoinette B. South, Rachel E. Whitmire, Andrés J. García, and L. Andrew Lyon

Submissions from 2008

PDF

Size-Controlled Synthesis of Monodisperse Core/Shell Nanogels, William H. Blackburn and L. Andrew Lyon

PDF

Reduced Acute Inflammatory Responses to Microgel Conformal Coatings, Amanda W. Bridges, Neetu Singh, Kellie L. Burns, Julia E. Babensee, L. Andrew Lyon, and Andrés J. García

PDF

Direct Observation of Phase Transition Dynamics in Suspensions of Soft Colloidal Hydrogel Particles, Jae Kyu Cho, Zhiyong Meng, L. Andrew Lyon, and Victor Breedveld

Link

Modal Logics are Coalgebraic, Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, and Yde Venema

Link

Completeness of the Finitary Moss Logic, Alexander Kurz

PDF

Functorial Coalgebraic Logic: The Case of Many-Sorted Varieties, Alexander Kurz and Daniela Petrişan

PDF

Synthesis of Multifunctional Nanogels Using a Protected Macromonomer Approach, Neetu Singh and L. Andrew Lyon

Submissions from 2007

Link

Free Modal Algebras: A Coalgebraic Perspective, Nick Bezhanishvili and Alexander Kurz

PDF

Pi-Calculus in Logical Form, Marcello M. Bonsangue and Alexander Kurz

Link

The Goldblatt-Thomason Theorem for Coalgebras, Alexander Kurz and Jiří Rosický

Books from 2006

Link

Amphiphilic, Peptide-Modified Core/Shell Microgels, Daoji Gan and L. Andrew Lyon

PDF

Coalgebras and Their Logics, Alexander Kurz

Link

Presenting Functors by Operations and Equations, Alexander Kurz and Marcello M. Bonsangue

Submissions from 2005

Link

Ultrafilter Extensions for Coalgebras, Clemens Kupke, Alexander Kurz, and Dirk Pattinson

PDF

Weak Factorizations, Fractions and Homotopies, Alexander Kurz and Jiří Rosický

Books from 2004

PDF

Application of Microgels for Optical Tagging, J. Michael Carthcart, L. Andrew Lyon, Marcus Weck, and Robert D. Bock

PDF

Preface, Thomas Hildebrandt and Alexander Kurz

PDF

Algebraic Semantics for Coalgebraic Logics, Clemens Kupke, Alexander Kurz, and Dirk Pattinson

Link

Stone Coalgebras, Clemens Kupke, Alexander Kurz, and Yde Venema

PDF

Coalgebras and Modal Expansions of Logics, Alexander Kurz and Alessandra Palmigiano

Submissions from 2003

Link

Observational Logic, Constructor-Based Logic, and Their Duality, Michael Bidoit, Rolf Hennicker, and Alexander Kurz

PDF

Stone Coalgebras, Clemens Kupke, Alexander Kurz, and Yde Venema

Submissions from 2002

Link

On Institutions for Modular Coalgebraic Specifications, Alexander Kurz

PDF

Preface, Alexander Kurz

PDF

Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic, Alexander Kurz and Dirk Pattinson

PDF

Modal Predicates and Coequations, Alexander Kurz and Jiří Rosický

Submissions from 2001

PDF

Modal Rules are Co-Implications, Alexander Kurz

Link

Specifying Coalgebras with Modal Logic, Alexander Kurz

Submissions from 2000

PDF

Notes on Coalgebras, Cofibrations and Concurrency, Alexander Kurz and Dirk Pattinson

Submissions from 1999

PDF

(Ω, Ξ)-Logic: On the Algebraic Extension of Coalgebraic Specifications, Rolf Hennicker and Alexander Kurz

Submissions from 1998

Link

Specifying Coalgebras with Modal Logic, Alexander Kurz