Results: 5
Neighborhood mutual remainder: self-stabilizing distributed implementation and applications.
- Published in:
- Acta Informatica, 2024, v. 61, n. 1, p. 83, doi. 10.1007/s00236-023-00450-8
- By:
- Publication type:
- Article
n-PS-codes, 2-infix-outfix codes and some related classes of codes.
- Published in:
- Acta Informatica, 2024, v. 61, n. 1, p. 67, doi. 10.1007/s00236-023-00449-1
- By:
- Publication type:
- Article
Balancing m-ary search trees with compressions on the fringe.
- Published in:
- Acta Informatica, 2024, v. 61, n. 1, p. 53, doi. 10.1007/s00236-023-00448-2
- By:
- Publication type:
- Article
A decision procedure for string constraints with string/integer conversion and flat regular constraints.
- Published in:
- Acta Informatica, 2024, v. 61, n. 1, p. 23, doi. 10.1007/s00236-023-00446-4
- By:
- Publication type:
- Article
Discovering workflow nets of concurrent iterative processes.
- Published in:
- Acta Informatica, 2024, v. 61, n. 1, p. 1, doi. 10.1007/s00236-023-00445-5
- By:
- Publication type:
- Article