The following pages link to K. Sagonas (Q1683933):
Displaying 25 items.
- (Q197406) (redirect page) (← links)
- Stateless model checking for TSO and PSO (Q1683934) (← links)
- Semantics-based program analysis for logic-based languages using XSB (Q1856181) (← links)
- Optimal dynamic partial order reduction with observers (Q2324230) (← links)
- Efficient memory management for concurrent programs that use message passing (Q2500688) (← links)
- Efficient access mechanisms for tabled logic programs (Q4223452) (← links)
- (Q4409164) (← links)
- (Q4413059) (← links)
- (Q4494370) (← links)
- (Q4506394) (← links)
- An abstract machine for efficiently computing queries to well-founded models (Q4507851) (← links)
- Source Sets (Q4640276) (← links)
- An abstract machine for fixed-order dynamically stratified programs (Q4647532) (← links)
- (Q4809163) (← links)
- (Q4813393) (← links)
- Stateless Model Checking for TSO and PSO (Q5194956) (← links)
- Comparing Source Sets and Persistent Sets for Partial Order Reduction (Q5217316) (← links)
- Programming Languages and Systems (Q5308694) (← links)
- Optimal dynamic partial order reduction (Q5408432) (← links)
- (Q5691457) (← links)
- Efficient manipulation of binary data using pattern matching (Q5717306) (← links)
- Termination proofs for logic programs with tabling (Q5738911) (← links)
- The limits of fixed-order computation (Q5940930) (← links)
- Parallel Graph-Based Stateless Model Checking (Q6485892) (← links)
- Reproduction Artifact for TACAS 2024 paper "Scalable Tree-based Register Automata Learning" (Q6717506) (← links)
