scientific article; zbMATH DE number 3651705
From MaRDI portal
Publication:3851570
Cited in
(20)- On randomized algorithms for the majority problem
- A path integral approach to data structure evolution
- Online edge coloring of paths and trees with a fixed number of colors
- Guessing fractions of online sequences
- Online two-way trading: randomization and advice
- Fifty years of Hoare's logic
- Streaming \(k\)-mismatch with error correcting and applications
- Lower bounds for number-in-hand multiparty communication complexity, made easy
- The Birth of Model Checking
- A New Heuristic for Minimum Weight Triangulation
- LTL-specification of bounded counter machines
- LTL-Specification of Counter Machines
- Beep-and-sleep: message and energy efficient set cover
- On computing discretized Ricci curvatures of graphs: local algorithms and (localized) fine-grained reductions
- Design and verification of pipelined circuits with timed Petri nets
- Dynamic event-triggered prescribed performance control for nonlinear systems with signal temporal logic
- On the computation of r-th roots in finite fields
- Abstraction modulo stability
- SAT-based bounded model checking for propositional projection temporal logic
- Set semantics for asynchronous TeamLTL: expressivity and complexity
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3851570)
