976 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centre National de la Recherche ScientifiqueFR49 papers
- Technical University of DenmarkDK38 papers
- Aarhus UniversityDK29 papers
- University of CopenhagenDK23 papers
- Tokyo Institute of TechnologyJP19 papers
- University of ManchesterGB18 papers
- École Polytechnique Fédérale de LausanneCH17 papers
- University of OxfordGB16 papers
- Centre de Physique ThéoriqueFR14 papers
- East China Normal UniversityCN14 papers
- IMAR - Institutul de Matematică „Simion Stoilow” al Academiei RomâneRO14 papers
- Imperial College LondonGB14 papers
4 papers · 2 filters
Sum and Tensor of Quantitative Effects
Giorgio Bacci, Radu Mardare, Prakash Panangaden +1
Inspired by the seminal work of Hyland, Plotkin, and Power on the combination of algebraic computational effects via sum and tensor, we develop an analogous theory for the combinat…
A Generic Type System for Higher-Order -calculi
Alex Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel +1
The Higher-Order -calculus framework (HO) is a generalisation of many first- and higher-order extensions of the -calculus. It was proposed by Parrow et al. who showed that…
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
Satya Prakash Nayak, Daniel Neider, Martin Zimmermann
While most of the current synthesis algorithms only focus on correctness-by-construction, ensuring robustness has remained a challenge. Hence, in this paper, we address the robust-…
Robust Computation Tree Logic
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy +1
It is widely accepted that every system should be robust in that ``small'' violations of environment assumptions should lead to ``small'' violations of system guarantees, but it is…