The following pages link to COSTA (Q12930):
Displaying 22 items.
- Mining supervised classification performance studies: a meta-analytic investigation (Q734360) (← links)
- A non-deterministic view on non-classical negations (Q813081) (← links)
- Locally regular coloured graphs (Q1184574) (← links)
- Multiple solutions of boundary value problems: An elementary approach via the shooting method (Q1346260) (← links)
- Existence and multiplicity of solutions for semilinear elliptic systems (Q1346271) (← links)
- On the number of singularities, zero curvature points and vertices of a simple convex space curve (Q1347012) (← links)
- A type-based complexity analysis of object oriented programs (Q1640983) (← links)
- Critical point theorems and applications to a semilinear elliptic problem (Q1914383) (← links)
- A framework for computing finite SLD trees (Q2258840) (← links)
- Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs (Q2331068) (← links)
- Closed-form upper bounds in static cost analysis (Q2429987) (← links)
- On the Termination of Integer Loops (Q2891402) (← links)
- Automatic Inference of Resource Consumption Bounds (Q2891436) (← links)
- Validating Timed Models of Deployment Components with Parametric Concurrency (Q3067533) (← links)
- A Hoare Logic for Energy Consumption Analysis (Q3460506) (← links)
- Amortised Resource Analysis with Separation Logic (Q3558217) (← links)
- Efficient Type-Checking for Amortised Heap-Space Analysis (Q3644757) (← links)
- (Q5020657) (← links)
- Analysis of Executable Software Models (Q5175771) (← links)
- Automatic Type Inference for Amortised Heap-Space Analysis (Q5326309) (← links)
- Ranking Functions for Linear-Constraint Loops (Q5501930) (← links)
- Comparing Cost Functions in Resource Analysis (Q5747627) (← links)
