Submissions from 2013
Social Compass Curriculum: Three Descriptive Case Studies of Social Skills Outcomes for Students With Autism, LouAnne E. Boyd and Deborah M. Ward
Plastic Deformation, Wrinkling, and Recovery in Microgel Multilayers, Jeffrey C. Gaulding, Mark W. Spears Jr., and L. Andrew Lyon
Dynamic Epistemic Logic Displayed, Giuseppe Greco, Alexander Kurz, and Alessandra Palmigiano
Dynamic Sequent Calculus for the Logic of Epistemic Actions and Knowledge, Giuseppe Greco, Alexander Kurz, and Alessandra Palmigiano
Spatiotemporal Fluorescent Detection Measurements Using Embedded Waveguide Sensors, Mark C. Harrison and Andrea M. Armani
Epistemic Updates on Algebras, Alexander Kurz and Alessandra Palmigiano
Nominal Coalgebraic Data Types with Applications to Lambda Calculus, Alexander Kurz, Daniela Petrişan, Paula Severi, and Fer-Jan de Vries
Nominal Regular Expressions for Languages over Infinite Alphabets, Alexander Kurz, Tomoyuki Suzuki, and Emilio Tuosto
Physics of Unbounded, Broadband Absorption/Gain Efficiency in Plasmonic Nanoparticles, Nasim Mohammadi Estrakhri and Andrea Alù
Full Control of Nanoscale Optical Transmission with a Composite Metascreen, Francesco Monticone, Nasim Mohammadi Estrakhri, and Andrea Alù
Development of Self-Assembling Mixed Protein Micelles with Temperature-Modulated Avidities, Allyson S.C. Soon, Michael H. Smith, Emily S. Herman, L. Andrew Lyon, and Thomas H. Barker
Submissions from 2012
Structural Properties of Thermoresponsive Poly(N-isopropylacrylamide)-poly(ethyleneglycol) Microgels, J. Clara-Rahola, A. Fernandez-Nieves, B. Sierra-Martin, A. B. South, L. Andrew Lyon, J. Kohlbrecher, and A. F. Barbero
Coalgebraic Logics (Dagstuhl Seminar 12411), Ernst-Erich Doberkat and Alexander Kurz
Completeness for the Coalgebraic Cover Modality, Clemens Kupke, Alexander Kurz, and Yde Venema
Expressiveness of Positive Coalgebraic Logic, Clemens Kupke, Alexander Kurz, and Yde Venema
Modalities in the Stone Age: A Comparison of Coalgebraic Logics, Alexander Kurz and Raul Leal
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus, Alexander Kurz, Daniela Petrişan, Paula Severi, and Fer-Jan de Vries
Strongly Complete Logics for Coalgebras, Alexander Kurz and Jiří Rosický
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions, Alexander Kurz, Tomoyuki Suzuki, and Emilio Tuosto
On Nominal Regular Languages with Binders, Alexander Kurz, Tomoyuki Suzuki, and Emilio Tuosto
Serpentine Low Loss Trapezoidal Silica Waveguides on Silicon, Xiaomin Zhang, Mark Harrison, Audrey Harker, and Andrea M. Armani
Submissions from 2011
On Coalgebras over Algebras, Adriana Balan and Alexander Kurz
Relation Liftings on Preorders and Posets, Marta Bílková, Alexander Kurz, Daniela Petrişan, and Jiří Velebil
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
Synthesis and Physicochemical Properties of Cationic Microgels Based on Poly(N-isopropylmethacrylamide), Xiaobo Hu, Zhen Tong, and L. Andrew Lyon
Generic Trace Logics, Christian Kissig and Alexander Kurz
Towards Nominal Formal Languages, Alexander Kurz, Tomoyuki Suzuki, and Emilio Tuosto
An Upper Limit for Macromolecular Crowding Effects, Andrew C. Miklos, Congang Li, Courtney D. Sorell, L. Andrew Lyon, and Gary J. Pielak
Network Deconstruction Reveals Network Structure in Responsive Microgels, Michael H. Smith, Emily S. Herman, and L. Andrew Lyon
Tunable Encapsulation of Proteins within Charged Microgels, Michael H. Smith and L. Andrew Lyon
Submissions from 2010
On Coalgebras over Algebras, Adriana Balan and Alexander Kurz
Bitopological Duality for Distributive Lattices and Heyting Algebras, Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, and Alexander Kurz
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
Families of Symmetries as Efficient Models of Resource Binding, Vincenzo Ciancia, Alexander Kurz, and Ugo Montanari
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
Microgel Translocation through Pores under Confinement, Grant R. Hendrickson and L. Andrew Lyon
On Universal Algebra Over Nominal Sets, Alexander Kurz and Daniela Petrişan
Presenting Functors on Many-Sorted Varieties and Applications, Alexander Kurz and Daniela Petrişan
Algebraic Theories over Nominal Sets, Alexander Kurz, Daniela Petrişan, and Jiří Velebil
Coalgebraic Lindström Theorems, Alexander Kurz and Yde Venema
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
Peptide-Functionalized Nanogels for Targeted siRNA Delivery, William H. Blackburn, Erin B. Dickerson, Michael H. Smith, John F. McDonald, and L. Andrew Lyon
Equational Coalgebraic Logic, Alexander Kurz and Raul Leal
Physical Aging and Phase Behavior of Multiresponsive Microgel Colloidal Dispersions, Zhiyong Meng, Jae Kyu Cho, Victor Breedveld, and L. Andrew Lyon
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
Size-Controlled Synthesis of Monodisperse Core/Shell Nanogels, William H. Blackburn and L. Andrew Lyon
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
Direct Observation of Phase Transition Dynamics in Suspensions of Soft Colloidal Hydrogel Particles, Jae Kyu Cho, Zhiyong Meng, L. Andrew Lyon, and Victor Breedveld
Modal Logics are Coalgebraic, Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, and Yde Venema
Completeness of the Finitary Moss Logic, Alexander Kurz
Functorial Coalgebraic Logic: The Case of Many-Sorted Varieties, Alexander Kurz and Daniela Petrişan
Synthesis of Multifunctional Nanogels Using a Protected Macromonomer Approach, Neetu Singh and L. Andrew Lyon
Submissions from 2007
Free Modal Algebras: A Coalgebraic Perspective, Nick Bezhanishvili and Alexander Kurz
Pi-Calculus in Logical Form, Marcello M. Bonsangue and Alexander Kurz
The Goldblatt-Thomason Theorem for Coalgebras, Alexander Kurz and Jiří Rosický
Books from 2006
Amphiphilic, Peptide-Modified Core/Shell Microgels, Daoji Gan and L. Andrew Lyon
Coalgebras and Their Logics, Alexander Kurz
Presenting Functors by Operations and Equations, Alexander Kurz and Marcello M. Bonsangue
Submissions from 2005
Ultrafilter Extensions for Coalgebras, Clemens Kupke, Alexander Kurz, and Dirk Pattinson
Weak Factorizations, Fractions and Homotopies, Alexander Kurz and Jiří Rosický
Books from 2004
Application of Microgels for Optical Tagging, J. Michael Carthcart, L. Andrew Lyon, Marcus Weck, and Robert D. Bock
Preface, Thomas Hildebrandt and Alexander Kurz
Algebraic Semantics for Coalgebraic Logics, Clemens Kupke, Alexander Kurz, and Dirk Pattinson
Stone Coalgebras, Clemens Kupke, Alexander Kurz, and Yde Venema
Coalgebras and Modal Expansions of Logics, Alexander Kurz and Alessandra Palmigiano
Submissions from 2003
Observational Logic, Constructor-Based Logic, and Their Duality, Michael Bidoit, Rolf Hennicker, and Alexander Kurz
Stone Coalgebras, Clemens Kupke, Alexander Kurz, and Yde Venema
Submissions from 2002
On Institutions for Modular Coalgebraic Specifications, Alexander Kurz
Preface, Alexander Kurz
Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic, Alexander Kurz and Dirk Pattinson
Modal Predicates and Coequations, Alexander Kurz and Jiří Rosický
Submissions from 2001
Modal Rules are Co-Implications, Alexander Kurz
Specifying Coalgebras with Modal Logic, Alexander Kurz
Submissions from 2000
Notes on Coalgebras, Cofibrations and Concurrency, Alexander Kurz and Dirk Pattinson
Submissions from 1999
(Ω, Ξ)-Logic: On the Algebraic Extension of Coalgebraic Specifications, Rolf Hennicker and Alexander Kurz
Submissions from 1998
Specifying Coalgebras with Modal Logic, Alexander Kurz