dblp.uni-trier.dewww.uni-trier.de

Alexei P. Stolboushkin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
20EEScott B. Huffman, April Rasala Lehman, Alexei P. Stolboushkin, Howard Wong-Toi, Fan Yang, Hein Röhrig: Multiple-signal duplicate detection for search evaluation. SIGIR 2007: 223-230
1999
19 Oleg V. Belegradek, Alexei P. Stolboushkin, Michael A. Taitslin: Extended Order-Generic Queries. Ann. Pure Appl. Logic 97(1-3): 85-125 (1999)
18EEAlexei P. Stolboushkin, Michael A. Taitslin: Normalizable linear orders and generic computations in finite models. Arch. Math. Log. 38(4-5): 257-271 (1999)
17 Alexei P. Stolboushkin, Michael A. Taitslin: Finite Queries Do Not Have Effective Syntax. Inf. Comput. 153(1): 99-116 (1999)
1998
16EEAlexei P. Stolboushkin, Michael A. Taitslin: Safe Stratified Datalog with Integer Order Does Not Have Syntax. ACM Trans. Database Syst. 23(1): 100-109 (1998)
1997
15 Oleg V. Belegradek, Alexei P. Stolboushkin, Michael A. Taitslin: Generic Queries over Quasy-o-minimal Domains. LFCS 1997: 21-32
14 A. J. Kfoury, Alexei P. Stolboushkin: An Infinite Pebble Game and Applications. Inf. Comput. 136(1): 53-66 (1997)
13 Alexei P. Stolboushkin, Damian Niwinski: y = 2x vs. y = 3x. J. Symb. Log. 62(2): 661-672 (1997)
1996
12EEAlexei P. Stolboushkin, Michael A. Taitslin: Linear vs. Order Contstrained Queries Over Rational Databases. PODS 1996: 17-27
1995
11 Alexei P. Stolboushkin: Finitely Monotone Properties LICS 1995: 324-330
10EEAlexei P. Stolboushkin, Michael A. Taitslin: Finite Queries do not Have Effective Syntax. PODS 1995: 277-285
1994
9 Alexei P. Stolboushkin, Michael A. Taitslin: Is First Order Contained in an Initial Segment of PTIME? CSL 1994: 242-248
1993
8 Damian Niwinski, Alexei P. Stolboushkin: y = 2x vs. y = 3x LICS 1993: 172-178
1992
7 Alexei P. Stolboushkin: Axiomatizable Classes of Finite Models and Definability of Linear Order LICS 1992: 64-70
6 Alexei P. Stolboushkin: On the Computing Power of Programs with Sets. Int. J. Found. Comput. Sci. 3(2): 161-186 (1992)
1989
5 Alexei P. Stolboushkin: Some Complexity Bounds for Dynamic Logics LICS 1989: 324-332
1988
4 Alexei P. Stolboushkin: Flow-diagrams with sets. Conference on Computer Logic 1988: 286-299
1983
3 Alexei P. Stolboushkin, Michael A. Taitslin: Deterministic Dynamic Logic is Strictly Weaker than Dynamic Logic Information and Control 57(1): 48-55 (1983)
2 Alexei P. Stolboushkin: Regular Dynamic Logic Is Not Interpretable in Deterministic Context-Free Dynamic Logic Information and Control 59(1-3): 94-107 (1983)
1 Alexei P. Stolboushkin, Michael A. Taitslin: The Comparison of the Expressive Power of First-Order Dynamic Logics. Theor. Comput. Sci. 27: 197-209 (1983)

Coauthor Index

1Oleg V. Belegradek [15] [19]
2Scott B. Huffman [20]
3Assaf J. Kfoury (A. J. Kfoury) [14]
4April Rasala Lehman (April Rasala) [20]
5Damian Niwinski [8] [13]
6Hein Röhrig [20]
7Michael A. Taitslin [1] [3] [9] [10] [12] [15] [16] [17] [18] [19]
8Howard Wong-Toi [20]
9Fan Yang [20]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)