◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Institute for International Studies and Training

Japan

3 papers here
fields
  • cs.LG1
  • cs.SE1
  • nlin.PS1
ROR 05kfafn92OpenAlex

affiliations via OpenAlex

researchers with a paper here

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

  • Ali Mohammad-Djafari1 · h 3
  • Andreas Griesmayer1 · h 12
  • Charles Morisset1 · h 17
  • Hiroya Nakao1 · h 5
  • Marie Dorchain1 · h 2
  • Riccardo Muolo1 · h 14
  • Ruochen Wang1 · h 3
  • Seyedeh Azadeh Fallah Mortezanejad1 · h 3
  • Shuling Wang1 · h 17
  • Timoteo Carletti1 · h 7
  • Wilfried Segnou1 · h 1
  • Zhiming Liu1 · h 27
collaborating institutions
  • Center for Theoretical PhysicsPL1 paper
  • Imperial College LondonGB1 paper
  • Institute of SoftwareCN1 paper
  • RIKEN Center for Interdisciplinary Theoretical and Mathematical SciencesJP1 paper
  • Tokyo Institute of TechnologyJP1 paper
  • United Nations University Institute on Computing and SocietyCN1 paper
  • University of NamurBE1 paper
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2011

A Framework for Automated and Certified Refinement Steps

Andreas Griesmayer, Zhiming Liu, Charles Morisset +1

The refinement calculus provides a methodology for transforming an abstract specification into a concrete implementation, by following a succession of refinement rules. These rules…

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