Search results

Type Functional differentiation of computer programs 2019-09-26 Paper Functional differentiation of computer programs 2017-08-21 Paper Comparative Approach...

Logic Programs 2009-11-10 Paper Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs 2009-11-10 Paper Logic Programming 2009-08-06...

Concurrent Programs 2019-09-16 Paper Abstract semantic diffing of evolving concurrent programs 2019-09-04 Paper Model Checking Procedural Programs 2018-07-20...

2023-10-24 Paper Layered concurrent programs 2023-05-26 Paper On the completeness of verifying message passing programs under bounded asynchrony 2023-05-05...

for Static Cost Analysis of Parallel Logic Programs 2022-08-25 Paper Incremental Analysis of Logic Programs with Assertions and Open Predicates 2022-08-25...

predicting the execution time of optimized programs 2002-10-29 Paper Synthesizing structures of real-time computer systems using genetic algorithms 2001-01-15...

for mixed integer nonlinear programs 2009-04-24 Paper An algorithmic framework for convex mixed integer nonlinear programs 2008-10-29 Paper A note on the...

support for stochastic programs 1998-11-03 Paper On the formulation of stochastic linear programs using algebraic modelling languages 1997-01-19 Paper Solving...

recursive programs 2017-03-28 Paper Model Checking with Multi-threaded IC3 Portfolios 2016-03-23 Paper Regression verification for multi-threaded programs (with...

well-moded programs 1999-07-20 Paper https://portal.mardi4nfdi.de/entity/Q5688899 1997-03-19 Paper Differential logic programs: Programming methodologies...

checking the equivalence of programs in interrupt handling models 2008-10-21 Paper On the Concept of Software Obfuscation in Computer Security 2008-06-24 Paper...

optimization 2015-12-28 Paper Epidemics of computer viruses: a complex-network approach 2014-06-06 Paper A novel computer virus propagation model and its dynamics...

Uncertainty in the Correctness of Computer Programs 1985-01-01 Paper A methodology for assessing the correctness of control programs 1984-01-01 Paper Performance...

Multiprocessor System 1972-01-01 Paper Rollback and Recovery Strategies for Computer Programs 1972-01-01 Paper Optimization of Memory Hierarchies in Multiprogrammed...

Synthesis for Real-Time Programs using Refinement of Trace Abstraction* 2021-05-21 Paper Refinement of trace abstraction for real-time programs 2017-12-20 Paper...

stochastic chemical systems 2024-01-25 Paper Generalized derivatives of computer programs 2022-09-30 Paper Mediation and strategic delay in bargaining and markets...

with mixed integer programs and constraint programs 2015-01-28 Paper Solving Wind Farm Layout Optimization with Mixed Integer Programming and Constraint Programming...

Publication Date of Publication Type Toward a theory of maximally concurrent programs (shortened version) 2015-03-03 Paper Establishing flight software reliability:...

of Recursive Probabilistic Programs 2024-01-23 Paper Model Checking Temporal Properties of Recursive Probabilistic Programs 2024-01-16 Paper The probabilistic...

Properties of Functional Programs 1970-01-01 Paper The correctness of nondeterministic programs 1970-01-01 Paper Properties of Programs and the First-Order...