researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2008
Filter by Tag
OR
AND
NOT
1
Meta-Environment
completeness
database
design
e-science
graph-rewriting
meta-model
optimization
p2p
relational database
rewriting
rule-based
synchronization
termination
Filter by Author
[+]
OR
AND
NOT
1
António Malheiro
António Ravara
Bhanu Prasad
D. Bhattacharjee
Debra J. Knisley
Duran Williams
Frank J. Balbach
Haruhiko Sato
Hsun-Wen Chang
Hui Chen
Jeff Knisley
Joana Martinho
Kamala Krithivasan
L. Jeganathan
Li-Quan Zhao
Ling Zhang
Lubov Bazylevych
Masahito Kurihara
Masaki Murakami
Zoran Majkic
Filter by Top terms
[+]
OR
AND
NOT
1
1
2008
7-10
abelian
abstract
acceptance
algorithms
approximations
arithmetical
calculus
category
database
finite
graph
graphs
model
query
regular
rewriting
systems
TMFCS (tmfcs)
Editions
Publications
Viewing Publication 1 - 17 from 17
2008
On the Universality of Normalized Metrics
Frank J. Balbach
.
tmfcs 2008
:
64-71
Decomposition and Scanning Optimization Algorithms for TSP
Roman Bazylevych
,
Bhanu Prasad
,
Roman Kutelmakh
,
Lubov Bazylevych
.
tmfcs 2008
:
110-116
On Some New Arithmetical Convolutions-1
D. Bhattacharjee
,
Bhanu Prasad
.
tmfcs 2008
:
88-94
Chromatic Numbers of Kneser-Related Graphs
Hsun-Wen Chang
,
Meng-Chu Kuo
.
tmfcs 2008
:
49-53
The Complexity of Identifying Finite Abelian Groups
Walid E. Gomaa
.
tmfcs 2008
:
1-8
Regular Languages up to Star Height 1 and the Difference Shrinking Acceptance Probability
Michael Hartwig
,
Somnuk Phon-Amnuaisuk
.
tmfcs 2008
:
41-48
Graph Splicing Systems
L. Jeganathan
,
Kamala Krithivasan
,
Raghavan Rama
.
tmfcs 2008
:
72-79
Network Properties of (t, r)-regular graphs for small t
Debra J. Knisley
,
Jeff Knisley
,
Duran Williams
.
tmfcs 2008
:
54-58
International Conference on Theoretical and Mathematical Foundations of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008
Zoran Majkic
,
Michael Sipser
,
R. Radha
,
Daming Wei
, editors,
ISRST,
2008.
Coalgebraic Specification of Query Computation in Intensional P2P Database Systems
Zoran Majkic
.
tmfcs 2008
:
14-23
Abstract Database Category Based on Relational-query Observations
Zoran Majkic
.
tmfcs 2008
:
24-32
On Finite Semigroup Cross-Sections and Complete Rewriting Systems
António Malheiro
.
tmfcs 2008
:
59-63
Encoding cryptographic primitives in a calculus with polyadic synchronization
Joana Martinho
,
António Ravara
.
tmfcs 2008
:
102-109
A Graph Rewriting Model of Concurrent Programs with Higher-Order Communication
Masaki Murakami
.
tmfcs 2008
:
80-87
Design and Implementation of Multi-Completion Procedures with Termination Checking
Haruhiko Sato
,
Masahito Kurihara
.
tmfcs 2008
:
33-40
The rational approximations of a class of continued fractions
Xiuyuan Yu
,
Zhonghua Shen
,
Hui Chen
.
tmfcs 2008
:
9-13
Model of Granular Computing
Li-Quan Zhao
,
Ling Zhang
.
tmfcs 2008
:
95-101
Sign in
or
sign up
to see more results.