Search results
From MaRDI portal
- Publication Date of Publication Type Software development practices, software complexity, and software maintenance performance: A field study 2002-10-16...10 bytes (15 words) - 17:21, 6 October 2023
- Gradients 2024-07-09 Software The complexity of geometric scaling 2024-06-17 Paper ZIB-IOL/OptimalDesignWithBoscia: v0.1.1 2024-05-10 Software On a Frank-Wolfe...10 bytes (15 words) - 02:56, 7 October 2023
- Paper Software transactional memory 2017-09-29 Paper Towards a topological characterization of asynchronous complexity 2017-09-29 Paper A Complexity-Based...10 bytes (15 words) - 17:00, 9 December 2023
- knowledge 2025-01-14 Paper Kolmogorov complexity characterizes statistical zero knowledge 2024-09-25 Paper Circuit complexity before the dawn of the new millennium...10 bytes (16 words) - 04:39, 9 December 2023
- PART II: SPECIFICATION OF SOFTWARE MODULES 2011-01-06 Paper Quotient complexity of closed languages 2010-06-22 Paper Complexity in Convex Languages 2010-05-26...10 bytes (16 words) - 22:55, 11 December 2023
- 2018-11-23 Paper On the Complexity of the Orbit Problem 2018-08-02 Paper Model Checking Real-Time Systems 2018-07-20 Paper On the Complexity of Linear Arithmetic...10 bytes (16 words) - 21:27, 11 December 2023
- Combination Framework for Complexity 2017-02-01 Paper Tyrolean Complexity Tool: Features and Usage. 2017-02-01 Paper The complexity of interaction 2016-10-24...10 bytes (13 words) - 09:43, 6 October 2023
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 2005-08-12 Paper FSTTCS 2004: Foundations of Software Technology and Theoretical...10 bytes (15 words) - 08:42, 7 October 2023
- structure of complexity classes 2023-07-26 Paper Asymptotic Divergences and Strong Dichotomy. 2023-02-07 Paper Equivalence of measures of complexity classes...10 bytes (15 words) - 18:47, 11 December 2023
- computational complexity of linear transforms 2015-07-30 Paper Arithmetic complexity of certain linear transformations 2015-07-03 Paper The complexity and depth...10 bytes (15 words) - 23:46, 10 December 2023
- 2017-06-13 Paper Empirical software metrics for benchmarking of verification tools 2017-05-15 Paper On the Structure and Complexity of Rational Sets of Regular...10 bytes (15 words) - 15:43, 24 September 2023
- varieties with intrinsic complexity 2015-08-04 Paper Degeneracy loci and polynomial equation solving 2015-04-20 Paper Intrinsic complexity estimates in polynomial...10 bytes (13 words) - 23:42, 8 December 2023
- comparison of two lower bound methods for communication complexity 2022-08-18 Paper On the complexity of approximating the independent set problem 2022-08-16...10 bytes (15 words) - 16:56, 9 December 2023
- The Complexity of Theorem Proving in Autoepistemic Logic 2013-08-05 Paper Proof Complexity of Non-classical Logics 2012-11-01 Paper The complexity of reasoning...10 bytes (15 words) - 05:44, 7 October 2023
- Paper The complexity space of partial functions: a connection between complexity analysis and denotational semantics 2011-06-15 Paper Complexity spaces as...10 bytes (13 words) - 00:15, 10 December 2023
- Problem. 2017-07-13 Paper The arithmetical complexity of dimension and randomness 2017-07-12 Paper Kolmogorov Complexity in Randomness Extraction 2015-09-24 Paper...10 bytes (15 words) - 09:24, 7 October 2023
- Publication Type The Power of One Clean Qubit in Communication Complexity 2023-08-08 Paper The complexity of quantum disjointness 2020-05-26 Paper Quadratically...10 bytes (15 words) - 08:43, 7 October 2023
- Paper Types for complexity of parallel computation in pi-calculus 2021-10-18 Paper Combining linear logic and size types for implicit complexity 2020-04-21...10 bytes (13 words) - 09:43, 6 October 2023
- 2018-08-10 Paper Decidability and Complexity for Quiescent Consistency 2018-04-23 Paper Decidability and complexity for quiescent consistency and its variations...10 bytes (15 words) - 04:03, 9 December 2023
- 2021-01-20 Paper The polynomial complexity of vector addition systems with states 2020-09-23 Paper From Shapes to Amortized Complexity 2020-07-07 Paper Parameterized...10 bytes (13 words) - 11:21, 7 October 2023
