VOLUME 16 | 2011 | NUMBER 1 |
Sergey Avgustinovich, Sergey Kitaev, Artem Pyatkin, Alexander Valyuzhenich: | |
On Square-Free Permutations | 3–10 |
Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot: | |
Multi-Bar and Multi-Tilde Regular Operators | 11–36 |
Michael Soltys: | |
Feasible Proofs of Szpilrajn's Theorem – A Proof-Complexity Framework for Concurrent Automata | 37–48 |
Ariel Stulman: | |
Generating Optimal Distinguishing Sequences for Testing Timed Protocols | 49–65 |