The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- Two-Way Automata Characterizations of L/poly versus NL (Q2907503) (← links)
- Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods (Q2908198) (← links)
- Decomposing Process Mining Problems Using Passages (Q2908200) (← links)
- Cost Soundness for Priced Resource-Constrained Workflow Nets (Q2908202) (← links)
- Passion Plays: Melodramas about Mathematics (Q2908535) (← links)
- Fixed-Parameter Tractability of Treewidth and Pathwidth (Q2908539) (← links)
- Backdoors to Satisfaction (Q2908542) (← links)
- Computer Science Unplugged and Related Projects in Math and Computer Science Popularization (Q2908546) (← links)
- State-size hierarchy for finite-state complexity (Q2909179) (← links)
- Product of Parikh matrices and commutativity (Q2909192) (← links)
- On-line construction of a small automaton for a finite set of words (Q2909196) (← links)
- Compact reconstruction schemes with weighted ENO limiting for hyperbolic conservation laws (Q2909283) (← links)
- Certified reduced basis method for the electric field integral equation (Q2909288) (← links)
- Discrete-time output feedback sliding-mode control design for uncertain systems using linear matrix inequalities (Q2909414) (← links)
- Vibration control of an Euler–Bernoulli beam under unknown spatiotemporally varying disturbance (Q2909416) (← links)
- Online robust tube-based MPC for time-varying systems: a practical approach (Q2909437) (← links)
- Team-building with answer set programming in the Gioia-Tauro seaport (Q2909524) (← links)
- Tableaux for structural abduction (Q2909833) (← links)
- Space-Filling Curves (Q2910838) (← links)
- Area-universal and constrained rectangular layouts (Q2910852) (← links)
- A multipatch malaria model with logistic growth populations (Q2910864) (← links)
- Global stabilization of feedforward systems under perturbations in sampling schedule (Q2910909) (← links)
- Cops and robber with constraints (Q2910936) (← links)
- Extending fractional precolorings (Q2910941) (← links)
- Non-three-colourable common graphs exist (Q2911071) (← links)
- Higher-Dimensional Box Integrals (Q2911518) (← links)
- Almost local metrics on shape space of hypersurfaces in n-space (Q2912271) (← links)
- Approximating symmetric positive semidefinite tensors of even order (Q2912277) (← links)
- The natural vectorial total variation which arises from geometric measure theory (Q2912281) (← links)
- Intrinsic feature extraction on hippocampal surfaces and its applications (Q2912292) (← links)
- Efficient Modelling and Generation of Markov Automata (Q2912690) (← links)
- On the Complexity of Ontological Reasoning under Disjunctive Existential Rules (Q2912705) (← links)
- Decentralized Dynamic Broadcast Encryption (Q2912793) (← links)
- Active Security in Multiparty Computation over Black-Box Groups (Q2912815) (← links)
- Kinetic Compressed Quadtrees in the Black-Box Model with Applications to Collision Detection for Low-Density Scenes (Q2912856) (← links)
- An Experimental Study of Dynamic Dominators (Q2912868) (← links)
- Extending Partial Representations of Function Graphs and Permutation Graphs (Q2912884) (← links)
- Online Graph Exploration with Advice (Q2913217) (← links)
- Pattern formation in a model of acute inflammation (Q2913841) (← links)
- Dark solitons, dispersive shock waves, and transverse instabilities (Q2913930) (← links)
- Quantum to Classical Randomness Extractors (Q2914300) (← links)
- Fáry’s Theorem for 1-Planar Graphs (Q2914338) (← links)
- Constant Time Enumeration of Bounded-Size Subtrees in Trees and Its Application (Q2914339) (← links)
- Error-Driven Refinement of Multi-scale Gaussian Maps (Q2914922) (← links)
- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers (Q2914985) (← links)
- Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics (Q2915037) (← links)
- Distributed Defeasible Speculative Reasoning in Ambient Environment (Q2915041) (← links)
- A Formal Semantics for Agent (Re)Organization (Q2915042) (← links)
- Conditional Epistemic Planning (Q2915062) (← links)
- On the Pseudorandom Function Assumption in (Secure) Distance-Bounding Protocols (Q2915117) (← links)
