The semantics of name resolution in Grace

Combining impedance spectroscopy with optical absorption spectroscopy in the UV for biofuel composition measurement

A scalable infrastructure for teaching concepts of programming languages in Scala with WebLab: An experience report

Principled Syntactic Code Completion using Placeholders

Scopes describe frames: A uniform model for memory layout in dynamic semantics

IceDust: Incremental and eventual computation of derived values in persistent object graphs

Green energy based inductive Self-Healing highways of the future

Bootstrapping Domain-Specific Meta-Languages in Language Workbenches

Evaluation of feasible machine learning techniques for predicting the time to fly and aircraft speed profile on final approach: Predictive dynamic support tool on final approach

A Decentralized Approach to Formation Flight Routing

Why aircraft will fly more fuel-efficiently on FRIDAY: The FRIDAY route charges method

System Identification using the Multivariate Simplotope B-Spline

Trends in distribution centres and their locations: sprawl and polarization

A Constraint Language for Static Semantic Analysis Based on Scope Graphs

Unveiling the consequences of your breach growth model choice

Software that meets its intent

Quadrotor system identification using the multivariate multiplex b-spline

Conf.Researchr.Org: Towards a Domain-Specific Content Management System for Managing Large Conference Websites

Dynsem: A DSL for dynamic semantics specification

A SWOT analysis of hydrodynamic models with respect to simulating breaching