Displayed Monoidal Categories for the Semantics of Linear Logic

Decision-making strategies implemented in SolFinder 1.0 to identify eco-efficient aircraft trajectories: application study in AirTraf 3.0

Robust 4D climate-optimal aircraft trajectory planning under weather-induced uncertainties: Free-routing airspace

Predicting the climate impact of aviation for en-route emissions: The algorithmic climate change function submodel ACCF 1.0 of EMAC 2.53

An inconsistency in aviation emissions between CMIP5 and CMIP6 and the implications for short-lived species and their radiative forcing

Operational Improvements to Reduce the Climate Impact of Aviation—A Comparative Study from EU Project ClimOP

Univalent Monoidal Categories

A Python library for computing individual and merged non-CO2 algorithmic climate change functions: CLIMaCCF V1.0

Climate assessment of single flights: Deduction of route specific equivalent CO₂ emissions

The analysis of the climate mitigation potential in terms of O3-Radiative Forcing from aviation NOx using O3 algorithmic climate change functions

Implementing a Category-Theoretic Framework for Typed Abstract Syntax

A Comprehensive Survey on Climate Optimal Aircraft Trajectory Planning

Case Study for Testing the Validity of NOx-Ozone Algorithmic Climate Change Functions for Optimising Flight Trajectories

Seasonal Variability of Aircraft Trajectories reducing NOx-climate Impacts under a Multitude of Weather Patterns

COVID-19 induced lower-tropospheric ozone changes

Influence of weather situation on non-CO2 aviation climate effects: The REACT4C climate change functions

Analysis of aircraft routing strategies for north atlantic flights by using airtraf 2.0

Climate impact mitigation potential of European air traffic in a weather situation with strong contrail formation

Mitigation of non-CO₂ aviation’s climate impact by changing cruise altitudes

Climate impact mitigation potential of formation flight