pith. sign in

Aalborg University)

Identifiers

  • name variant Aalborg University) 0.60 · backfill

Papers (9)

  1. Context-Free Session Types for Applied Pi-Calculus cs.LO · 2018 · author #2
  2. Inferring Types for Parallel Programs cs.PL · 2017 · author #8
  3. Broadcast and aggregation in BBC cs.LO · 2016 · author #2
  4. Modeling Populations of Thermostatic Loads with Switching Rate Actuation cs.SY · 2014 · author #3
  5. Parameterized Metatheory for Continuous Markovian Logic cs.LO · 2012 · author #2
  6. A rigorous proof of the Landau-Peierls formula and much more math-ph · 2010 · author #3
  7. Diamagnetism of quantum gases with singular potentials math-ph · 2010 · author #3
  8. On the skeleton method and an application to a quantum scissor math-ph · 2008 · author #2
  9. Rigorous perturbation theory versus variational methods in the spectral study of carbon nanotubes math-ph · 2006 · author #2

Mentions

  • 1411.2864 #3 · backfill · confidence 0.70 Aalborg University)
  • 1212.3872 #2 · backfill · confidence 0.70 Aalborg University)
  • 1011.6499 #3 · backfill · confidence 0.70 Aalborg University)
  • 1005.1584 #3 · backfill · confidence 0.70 Aalborg University)
  • 0801.2627 #2 · backfill · confidence 0.70 Aalborg University)

Frequent Coauthors