-
4
-
-
0034349060
-
Querying sequence databases with transducers
-
A. Bonner and G. Mecca. Querying sequence databases with transducers. Acta Informatica, 36:511-544, 2000.
-
(2000)
Acta Informatica
, vol.36
, pp. 511-544
-
-
Bonner, A.1
Mecca, G.2
-
5
-
-
0032928930
-
Wrapping SRS with CORBA: From textual data to distributed objects
-
T. Coupaye. Wrapping SRS with CORBA: from textual data to distributed objects. Bioinformatics, 15(4):333-338, 1999.
-
(1999)
Bioinformatics
, vol.15
, Issue.4
, pp. 333-338
-
-
Coupaye, T.1
-
7
-
-
0029992240
-
PROXIMAL: A database system for the efficient retrieval of genetic information
-
S. Ganguly and M. Noordewier. PROXIMAL: a database system for the efficient retrieval of genetic information. Computers in Biology and Medicine, 26(3):199-207, 1996.
-
(1996)
Computers in Biology and Medicine
, vol.26
, Issue.3
, pp. 199-207
-
-
Ganguly, S.1
Noordewier, M.2
-
8
-
-
0031991956
-
Regular sequence operations and their use in database queries
-
S. Ginsburg and X. Wang. Regular sequence operations and their use in database queries. Journal of Computer and System Sciences, 56(1):1-26, 1998.
-
(1998)
Journal of Computer and System Sciences
, vol.56
, Issue.1
, pp. 1-26
-
-
Ginsburg, S.1
Wang, X.2
-
9
-
-
0003633879
-
AQL: An alignment based query language for querying string databases
-
C. Prabhu, editor, Tata McGraw-Hill Publishing Company Limited
-
G. Grahne, R. Hakli, M. Nykänen, and E. Ukkonen. AQL: An alignment based query language for querying string databases. In C. Prabhu, editor, Databases for the Millennium 2000: Proceedings of the Ninth International Conference on Management of Data (COMAD'98), pages 235-251. Tata McGraw-Hill Publishing Company Limited, 1998.
-
(1998)
Databases for the Millennium 2000: Proceedings of the Ninth International Conference on Management of Data (COMAD'98)
, pp. 235-251
-
-
Grahne, G.1
Hakli, R.2
Nykänen, M.3
Ukkonen, E.4
-
15
-
-
0038007159
-
Implementing a declarative string query language with string restructuring
-
G. Gupta, editor, First International Workshop on Practical Aspects of Declarative Languages (PADL'99), Springer-Verlag, Jan
-
R. Hakli, M. Nykänen, H. Tamm, and E. Ukkonen. Implementing a declarative string query language with string restructuring. In G. Gupta, editor, First International Workshop on Practical Aspects of Declarative Languages (PADL'99), volume 1551 of Lecture Notes in Computer Science, pages 179-195. Springer-Verlag, Jan. 1999.
-
(1999)
Lecture Notes in Computer Science
, vol.1551
, pp. 179-195
-
-
Hakli, R.1
Nykänen, M.2
Tamm, H.3
Ukkonen, E.4
-
18
-
-
0010226894
-
User-defined table operators: Enhancing extensibility for ORDBMS
-
M. Jaedicke and B. Mitschang. User-defined table operators: Enhancing extensibility for ORDBMS. In Very Large Data Bases Conference, pages 494-505, 1999.
-
(1999)
Very Large Data Bases Conference
, pp. 494-505
-
-
Jaedicke, M.1
Mitschang, B.2
-
19
-
-
85051533358
-
Decidability of reachability in vector addition systems
-
S. Kosaraju. Decidability of reachability in vector addition systems. In ACM Symposium on Theory of Computing, pages 267-281, 1982.
-
(1982)
ACM Symposium on Theory of Computing
, pp. 267-281
-
-
Kosaraju, S.1
-
22
-
-
0021474508
-
An algorithm for the general Petri net reachability problem
-
E. Mayr. An algorithm for the general Petri net reachability problem. SIAM Journal on Computing, 13(3):441-460, 1984.
-
(1984)
SIAM Journal on Computing
, vol.13
, Issue.3
, pp. 441-460
-
-
Mayr, E.1
-
23
-
-
84957665679
-
Using acceptors as transducers
-
J.-M. Champarnaud, D. Maurel, and D. Ziadi, editors, Third International Workshop on Implementing Automata (WIA'98), Springer-Verlag, Sept
-
M. Nykänen. Using acceptors as transducers. In J.-M. Champarnaud, D. Maurel, and D. Ziadi, editors, Third International Workshop on Implementing Automata (WIA'98), volume 1660 of Lecture Notes in Computer Science, pages 133-148. Springer-Verlag, Sept. 1999.
-
(1999)
Lecture Notes in Computer Science
, vol.1660
, pp. 133-148
-
-
Nykänen, M.1
-
24
-
-
84964546913
-
Using acceptors as transducers
-
forthcoming special section on WIA'98
-
M. Nykänen. Using acceptors as transducers. To appear in the forthcoming Theoretical Computer Science special section on WIA'98, 2000.
-
(2000)
Theoretical Computer Science
-
-
Nykänen, M.1
-
25
-
-
22644452524
-
Finding paths with the right cost
-
C. Meinel and S. Tison, editors, Symposium on Theoretical Aspects of Computer Science
-
M. Nykänen and E. Ukkonen. Finding paths with the right cost. In C. Meinel and S. Tison, editors, Symposium on Theoretical Aspects of Computer Science, volume 1563 of Lecture Notes in Computer Science, pages 345-355, 1999.
-
(1999)
Lecture Notes in Computer Science
, vol.1563
, pp. 345-355
-
-
Nykänen, M.1
Ukkonen, E.2
-
26
-
-
0022902163
-
A database language for sets, lists and tables
-
P. Pistor and R. Traunmüller. A database language for sets, lists and tables. Information Systems, 11(4):323-336, 1986.
-
(1986)
Information Systems
, vol.11
, Issue.4
, pp. 323-336
-
-
Pistor, P.1
Traunmüller, R.2
-
28
-
-
0003576998
-
Supporting lists in a data model (a timely approach)
-
J. Richardson. Supporting lists in a data model (a timely approach). In Very Large Data Bases Conference, pages 127-138, 1992.
-
(1992)
Very Large Data Bases Conference
, pp. 127-138
-
-
Richardson, J.1
-
29
-
-
0003511049
-
-
Prentice-Hall
-
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, 1991.
-
(1991)
Object-Oriented Modeling and Design
-
-
Rumbaugh, J.1
Blaha, M.2
Premerlani, W.3
Eddy, F.4
Lorensen, W.5
-
30
-
-
58149320930
-
String Variable Grammar: A logic grammar formalism for the biological language of DNA
-
D. Searls. String Variable Grammar: A logic grammar formalism for the biological language of DNA. Journal of Logic Programming, pages 73-102, 1995.
-
(1995)
Journal of Logic Programming
, pp. 73-102
-
-
Searls, D.1
-
35
-
-
0029233238
-
The AQUA approach to querying lists and trees in object-oriented databases
-
B. Subramanian, T. Leung, S. Vandenberg, and S. Zdonik. The AQUA approach to querying lists and trees in object-oriented databases. In IEEE International Conference on Data Engineering, pages 80-89, 1995.
-
(1995)
IEEE International Conference on Data Engineering
, pp. 80-89
-
-
Subramanian, B.1
Leung, T.2
Vandenberg, S.3
Zdonik, S.4
-
36
-
-
0020496645
-
Temporal logic can be more expressive
-
P. Wolper. Temporal logic can be more expressive. Information and Control, 56:72-99, 1983.
-
(1983)
Information and Control
, vol.56
, pp. 72-99
-
-
Wolper, P.1
|