output
20092025
most citedHeliospheric modulation of cosmic rays during the neutron monitor era: Calibration using PAMELA data for 2006--2010

182 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2019Show all

2 papers · 1 filter

cs.LO2019★ 5 cited

Parametric Verification: An Introduction

Étienne André, Michał Knapik, Didier Lime +2

This paper constitutes a short introduction to parametric verification of concurrent systems. It originates from two 1-day tutorial sessions held at the Petri nets conferences in T…

math.CV2019

A three dimensional modification of the Gaussian number field

Ján Haluška

For vectors in we introduce an associative, commutative and distributive multiplication. We describe the related algebraic and geometrical properties, and hint some…