:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Leißa, Roland, Griebler, Johannes
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.19069679
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SSA without Dominance for Higher-Order Programs
by: Leißa, Roland, et al.
Published: (2026)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
by: Leißa, Roland, et al.
Published: (2024)

Interventional Cooperative Agreement Program (SSA)
Published: (2024)

Higher-Order Stochastic Dominance Constraints in Optimization
by: Lakshmanan, Rajmadan, et al.
Published: (2025)

StochasticDominance.jl: A Julia Package for Higher Order Stochastic Dominance
by: Lakshmanan, Rajmadan, et al.
Published: (2025)

Novas tecnologias, novas mídias, velhas dificuldades: aprimorando a interface com o usuário para a escolha de base de dados ou periódicos
by: Ana Cristina de Freitas Griebler
Published: (2007)

A Higher-Order Multiscale Method for the Wave Equation
by: Krumbiegel, Felix, et al.
Published: (2023)

PySSA
by: Kullik, Hannah, et al.
Published: (2026)

PySSA
by: Kullik, Hannah, et al.
Published: (2025)

PRESENCIAL, REMOTE AND BLENDED CLASSES: WHAT DO STUDENT THINK?
by: Griebler, Gustavo, et al.
Published: (2023)

Nace SSA México
by: Rodríguez, G
Published: (2003)

The Denotational Semantics of SSA
by: Ghalayini, Jad Elkhaleq, et al.
Published: (2024)

Bialgebraic Reasoning on Higher-Order Program Equivalence
by: Goncharov, Sergey, et al.
Published: (2024)

The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version)
by: Niederhauser, Johannes, et al.
Published: (2025)

Unification of Deterministic Higher-Order Patterns (Full Version)
by: Niederhauser, Johannes, et al.
Published: (2026)

A Generalized Framework for Higher-Order Localized Orthogonal Decomposition Methods
by: Hauck, Moritz, et al.
Published: (2025)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
by: Haselwarter, Philipp G., et al.
Published: (2024)

Expectation-based Analysis of Higher-Order Quantum Programs
by: Avanzini, Martin, et al.
Published: (2025)

The Stable Model Semantics for Higher-Order Logic Programming
by: Bogaerts, Bart, et al.
Published: (2024)

LOG.io: Unified Rollback Recovery and Data Lineage Capture for Distributed Data Pipelines
by: Simon, Eric, et al.
Published: (2025)

Revealing Higher-Order Interactions in Complex Networks: A U.S. Diplomacy Case Study
by: Rondeau, Arthur, et al.
Published: (2025)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
by: Charalambidis, Angelos, et al.
Published: (2026)

Functional Program Synthesis with Higher-Order Functions and Recursion Schemes
by: Fernandes, Matheus Campos
Published: (2025)

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
by: Nicola, Mihai, et al.
Published: (2024)

JWTurn/caribou_WBI_iSSA
by: Julie Turner
Published: (2025)

Revisiting Small‐Scale Aquaculture ( SSA )
by: Liliana Sierra Castillo, et al.
Published: (2025)

Higher Order Automatic Differentiation of Higher Order Functions
by: Huot, Mathieu, et al.
Published: (2021)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
by: Ciccalè, Marco, et al.
Published: (2025)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
by: Li, Kwing Hei, et al.
Published: (2025)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
by: Young, David, et al.
Published: (2024)

An experimental evaluation of choices of SSA forecasting parameters
by: Knapik, Teodor, et al.
Published: (2024)

Verifying Peephole Rewriting In SSA Compiler IRs
by: Bhat, Siddharth, et al.
Published: (2024)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
by: Niederhauser, Johannes, et al.
Published: (2024)

Artifact for paper: Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
by: Nicola, Mihai, et al.
Published: (2025)

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
by: Watanabe, Kazuki, et al.
Published: (2025)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
by: Foo, Darius, et al.
Published: (2023)

Developing a dementia care and support needs framework for Culturally and Linguistically Diverse populations: A whole‐of‐community co‐design approach
by: Nina Bala, et al.
Published: (2025)

Higher-Order Components Dictate Higher-Order Contagion Dynamics in Hypergraphs
by: Kim, Jung-Ho, et al.
Published: (2022)

SSA: Improving Performance With a Better Scoring Function
by: Naim, Omar, et al.
Published: (2025)

Higher-Order Responsibility
by: Jiang, Junli, et al.
Published: (2025)