researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: SIGLOG News
Home
Index
Info
Volume
Volume
2
, Issue
4
3
--
15
Mikolaj Bojanczyk
.
Automata column
17
--
25
Darren D. Cofer
.
You keep using that word
Volume
2
, Issue
3
4
--
17
Thomas Place
,
Marc Zeitoun
.
The tale of the quantifier alternation hierarchy of first-order logic over words
19
--
44
Jakob Nordström
.
On the interplay between proof complexity and SAT solving
46
--
69
Konstantinos Chatzikokolakis
,
Catuscia Palamidessi
,
Marco Stronati
.
Location privacy via geo-indistinguishability
72
--
84
Prakash Panangaden
.
Probabilistic bisimulation
Volume
2
, Issue
2
3
--
0
Mikolaj Bojanczyk
.
Automata column
4
--
13
Joël Ouaknine
,
James Worrell
.
On linear recurrence sequences and loop termination
14
--
15
Michael W. Mislove
.
Semantics column
16
--
27
Alexandra Silva 0001
.
A short introduction to the coalgebraic method
28
--
0
Neha Rungta
.
Verification column
29
--
38
Arie Gurfinkel
,
Temesghen Kahsai
,
Jorge A. Navas
.
Algorithmic logic-based verification
Volume
2
, Issue
1
5
--
6
Mikolaj Bojanczyk
.
McNaughton's theorem
8
--
21
Anuj Dawar
.
The nature and power of fixed-point logic with counting
23
--
24
Catalin Hritcu
.
The Joint EasyCrypt-F*-CryptoVerif School 2014
25
--
34
Véronique Cortier
.
Formal verification of e-voting: solutions and challenges
37
--
44
Steve Awodey
,
Robert Harper
.
Homotopy type theory: unified foundations of mathematics and computation
46
--
51
Rajeev Alur
,
Thomas A. Henzinger
,
Moshe Y. Vardi
.
Theory in practice for system design and verification