◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Space Systems Finland (Finland)

Finland

2 papers here35 citations across 2
fields
  • astro-ph.SR1
  • cs.LO1
ROR 012cahw96OpenAlex

affiliations via OpenAlex

most citedCME Magnetic Structure and IMF Preconditioning Affecting SEP Transport

35 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.

  • A. Isavnin1 · h 14
  • A. Weiss1 · h 15
  • A. Zhukov1 · h 33
  • B. Sánchez‐Cano1 · h 20
  • C. Möstl1 · h 10
  • D. Barnes1 · h 15
  • E. Kilpua1 · h 44
  • E. Palmerio1 · h 20
  • I. Dragomir1 · h 11
  • Jingnan Guo1 · h 33
  • L. Jian1 · h 35
  • L. Turc1 · h 21
collaborating institutions
  • University of California, BerkeleyUS2 papers
  • Aalto UniversityFI1 paper
  • Academia Oamenilor de Știință din RomâniaRO1 paper
  • Austrian Academy of SciencesAT1 paper
  • California Institute of TechnologyUS1 paper
  • Centre National de la Recherche ScientifiqueFR1 paper
  • European Space Research and Technology CentreNL1 paper
  • Goddard Space Flight CenterUS1 paper
  • Graz University of TechnologyAT1 paper
  • Hankasalmi ObservatoryFI1 paper
  • HeliophysicsUS1 paper
  • Heliophysics Science DivisionUS1 paper
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2016

Mechanically Proving Determinacy of Hierarchical Block Diagram Translations

Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis

Hierarchical block diagrams (HBDs) are at the heart of embedded system design tools, including Simulink. Numerous translations exist from HBDs into languages with formal semantics,…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.