Search results
From MaRDI portal
- Publication Date of Publication Type Static contract checking for Haskell 2015-07-03 Paper Probabilistic contracts for component-based design 2014-03-28...10 bytes (18 words) - 09:04, 25 September 2023
- 2014-07-22 Paper Eventually Consistent Transactions 2012-06-22 Paper Static Contract Checking with Abstract Interpretation 2011-01-21 Paper Pentagons: a...10 bytes (16 words) - 14:03, 7 October 2023
- A Reflection on Types 2016-08-17 Paper Boxy types 2015-08-03 Paper Static contract checking for Haskell 2015-07-03 Paper Optimistic evaluation 2015-07-02...10 bytes (21 words) - 05:33, 12 December 2023
- from Intermittent Assertions and Application to Contracts on Collections 2011-02-15 Paper Static Contract Checking with Abstract Interpretation 2011-01-21...10 bytes (16 words) - 14:03, 7 October 2023
- Implications 2016-01-12 Paper TIP: Tons of Inductive Problems 2015-11-20 Paper Static contract checking for Haskell 2015-07-03 Paper Efficient divide-and-conquer parsing...10 bytes (17 words) - 11:26, 6 October 2023
- optimistic multiparty contract signing protocol 2019-11-19 Paper Selection of coordinate transformation matrix for discrete‐time H2/H∞ static‐output‐feedback...10 bytes (17 words) - 14:30, 11 December 2023
- small-scale electronic commerce supply chain operations: a dynamic cost-sharing contract approach 2022-11-15 Paper An enhanced genetic algorithm with an innovative...10 bytes (20 words) - 16:20, 11 December 2023
- Publication Date of Publication Type Smart contract watermarking based on code obfuscation 2024-04-10 Paper Isogeometric shape optimization for widening...10 bytes (17 words) - 01:22, 13 December 2023
- Systems 2008-09-11 Paper Static Analysis for State-Space Reduction of Polygonal Hybrid Systems 2008-07-08 Paper Model Checking Contracts – A Case Study 2008-07-03...10 bytes (18 words) - 22:21, 24 September 2023
- Publication Date of Publication Type Multiparty Contract Signing Over a Reliable Network 2016-05-06 Paper https://portal.mardi4nfdi.de/entity/Q2848146...10 bytes (17 words) - 11:52, 6 October 2023
- Consensus and Information Cascades in Game-Theoretic Imitation Dynamics with Static and Dynamic Network Topologies 2019-06-20 Paper An ultimatum game model...10 bytes (17 words) - 20:29, 24 September 2023
- for static black-peg mastermind with three pegs 2018-11-08 Paper Extending single tolerances to set tolerances 2018-09-06 Paper Bounds for static black-peg...10 bytes (16 words) - 10:05, 6 October 2023
- 2022-08-16 Paper Combining Static and Dynamic Contract Checking for Curry 2020-11-16 Paper Combining static and dynamic contract checking for Curry 2018-09-06...10 bytes (17 words) - 07:17, 7 October 2023
- portfolio management with spot market volatility and option contracts 2018-02-16 Paper The static stochastic knapsack problem with normally distributed item...10 bytes (16 words) - 19:00, 12 December 2023
- and market-consistent actuarial valuation of the participating pension contract 2021-07-21 Paper Pricing and hedging in incomplete markets with model uncertainty...10 bytes (18 words) - 14:47, 7 December 2023
- linear arithmetic by counterexample-guided instantiation 2018-01-08 Paper Contract-based resource verification for higher-order functions with memoization...10 bytes (16 words) - 20:06, 12 December 2023
- 2002-04-16 Paper On the empirical exploitation of consumers' profit functions in static analyses 2001-08-20 Paper Optimal consumption-wealth relationships derived...10 bytes (18 words) - 02:30, 9 December 2023
- of Conditional Information Flow 2012-06-29 Paper Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow...10 bytes (16 words) - 12:42, 7 October 2023
- de/entity/Q2911625 2012-08-31 Paper Reducing equational theories for the decision of static equivalence 2012-07-17 Paper Computing knowledge in security protocols under...10 bytes (16 words) - 06:00, 7 October 2023
- Publication Date of Publication Type Wholesale price contract versus consignment contract in a supply chain considering dynamic advertising 2023-11-16...10 bytes (16 words) - 11:49, 7 October 2023
