Search results

Recursion Schemes 2020-05-26 Paper ICE-based refinement type discovery for higher-order functional programs 2019-09-16 Paper Higher-order program verification...

Coupling proofs are probabilistic product programs 2017-10-20 Paper Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model 2017-06-13...

2023-11-02 Paper Model Checking Timed Recursive CTL. 2023-10-02 Paper The tail-recursive fragment of timed recursive CTL 2023-09-27 Paper A Decidable Non-Regular...

2004-10-06 Paper PARALLEL ROMBERG INTEGRATION OF MULTIDIMENSIONAL INTEGRALS 2004-10-06 Paper BLOCK PARTITIONING IN THE PARALLEL RECURSIVE DECOUPLING METHOD...

deterministic recursive program schemes 1980-01-01 Paper Metric interpretations of infinite trees and semantics of non deterministic recursive programs 1980-01-01...

proofs of imperative programs 1998-10-06 Paper A mechanical proof of Segall's PIF algorithm 1997-11-10 Paper Safety and progress of recursive procedures 1996-02-01...

pricing of exotics using product recursive quantization 2022-05-27 Paper Weak and strong error analysis of recursive quantization: a general approach with...

Church–Rosser Made Easy 2011-05-18 Paper Halting and equivalence of program schemes in models of arbitrary theories 2010-09-03 Paper Applications of metric...

de/entity/Q3900995 1980-01-01 Paper Formal computations of non deterministic recursive program schemes 1980-01-01 Paper Adherences of languages 1980-01-01 Paper Metric...

society oriented signature scheme with anonymous signers 2007-10-29 Paper Security enhancement of key authentication schemes based on discrete logarithms...

mardi4nfdi.de/entity/Q4145866 1977-01-01 Paper Primitive recursive algebraic theories and program schemes 1977-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4125728...

dynamics of molecules on surfaces: A massively parallel implementation 2002-05-15 Paper Evolution program for parton densities with perturbative heavy flavor...

Node-disjoint paths in incomplete WK-recursive networks 2000-10-26 Paper A Faster Implementation of a Parallel Tree Contraction Scheme and Its Application on Distance-Hereditary...

Engineering parallel string sorting 2017-03-06 Paper Parallel algorithms reconsidered (invited talk) 2017-01-24 Paper Advanced coarsening schemes for graph...

Coupling proofs are probabilistic product programs 2017-10-20 Paper Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model 2017-06-13...

de/entity/Q4630479 2019-03-26 Paper Parallel and Distributed Methods for Constrained Nonconvex Optimization—Part I: Theory 2019-02-08 Paper Parallel and Distributed Methods...

Efficient parallel algorithms for linear recurrence computation 1982-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3327726 1981-01-01 Paper Parallel Prefix...

Data-driven optimal control with a relaxed linear program 2022-01-03 Paper Parallel and Flexible Dynamic Programming via the Randomized Mini-Batch Operator 2021-10-06...

Retransmission Schemes 1979-01-01 Paper The Stutter Go Back-N ARQ Protocol 1979-01-01 Paper Models for parallel processing within programs 1978-01-01 Paper...

Complexity of Algebra on Lattices 1987-01-01 Paper Recursion Schemes and Recursive Programs are Exponentially Hard to Analyze 1986-01-01 Paper Testing for...