Found: 4
Select item for more details and to access through your institution.
On partial information retrieval: the unconstrained 100 prisoner problem.
- Published in:
- Acta Informatica, 2023, v. 60, n. 2, p. 179, doi. 10.1007/s00236-022-00436-y
- By:
- Publication type:
- Article
Decentralized runtime verification of message sequences in message-based systems.
- Published in:
- Acta Informatica, 2023, v. 60, n. 2, p. 145, doi. 10.1007/s00236-022-00435-z
- By:
- Publication type:
- Article
Pushdown automata and constant height: decidability and bounds.
- Published in:
- Acta Informatica, 2023, v. 60, n. 2, p. 123, doi. 10.1007/s00236-022-00434-0
- By:
- Publication type:
- Article
Weighted throughput in a single machine preemptive scheduling with continuous controllable processing times.
- Published in:
- Acta Informatica, 2023, v. 60, n. 2, p. 101, doi. 10.1007/s00236-022-00430-4
- By:
- Publication type:
- Article