pith. sign in

Iceland)

Identifiers

  • name variant Iceland) 0.60 · backfill

Papers (10)

  1. Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story cs.LO · 2015 · author #6
  2. Reconstructing eruptive source parameters from tephra deposit: a numerical approach for medium-sized explosive eruptions physics.geo-ph · 2015 · author #14
  3. Meta SOS - A Maude Based SOS Meta-Theory Framework cs.LO · 2013 · author #4
  4. Algebraic Meta-Theory of Processes with Data cs.LO · 2013 · author #6
  5. Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture cs.LO · 2012 · author #4
  6. Axiomatizing GSOS with Predicates cs.LO · 2011 · author #2
  7. Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca cs.SE · 2011 · author #2
  8. Proceedings Seventh Workshop on Structural Operational Semantics cs.LO · 2010 · author #2
  9. The Hofstadter Energy Spectrum for an Interacting 2DEG cond-mat · 1995 · author #4
  10. Spin effects in a confined 2DEG: Enhancement of the g-factor, spin-inversion states and their far-infrared absorption cond-mat · 1995 · author #4

Mentions

  • 1307.7446 #4 · backfill · confidence 0.70 Iceland)
  • 1307.7444 #6 · backfill · confidence 0.70 Iceland)
  • 1210.2479 #4 · backfill · confidence 0.70 Iceland)
  • 1108.3124 #2 · backfill · confidence 0.70 Iceland)
  • 1108.0228 #2 · backfill · confidence 0.70 Iceland)
  • 1008.1906 #2 · backfill · confidence 0.70 Iceland)

Frequent Coauthors