СТ |
An optimal parallel adaptive sorting algorithm |
1991 |
Carlsson S., Chen J. |
|
|
|
Information Processing Letters |
24.10.1991 |
СТ |
Improved Parallel Sorting of Presorted Sequences |
1992 |
Chen J., Levcopoulos C. |
|
|
|
Lecture Notes in Computer Science |
01.10.1992 |
СТ |
InterBase: A Multidatabase Prototype System |
1993 |
Bukhres O. A., Chen J., Elmagarmid A. K., Liu X., Mullen J. G. |
|
|
|
SIGMOD Record |
13.09.1993 |
СТ |
An InterBase System at BNR |
1993 |
Bukhres O., Chen J., Pezzoli R. |
|
|
|
SIGMOD Record |
13.09.1993 |
СТ |
Defining Soft Sortedness by Abstract Interpretation |
1993 |
Chen J., Staples J. |
|
|
|
Lecture Notes in Computer Science |
20.10.1993 |
СТ |
On the Amount of Nondeterminism and the Power of Verifying |
1993 |
Cai L., Chen J. |
|
|
|
Lecture Notes in Computer Science |
20.10.1993 |
СТ |
A Customized Multidatabase Transaction Management Strategy |
1993 |
Chen J., Bukhres O. A., Sharif-Askary J. |
|
|
|
Lecture Notes in Computer Science |
19.11.1993 |
СТ |
Average Cost to Produce Partial Orders |
1994 |
Chen J. |
|
|
|
Lecture Notes in Computer Science |
24.08.1994 |
СТ |
Fuzzy Logic or Lukasiewicz Logic: A Clarification |
1994 |
Kundu S., Chen J. |
|
|
|
Lecture Notes in Artificial Intelligence |
05.11.1994 |
СТ |
The Generalized Logic of only Knowing (GOL) that Covers the Notion of Epistemic Specifications |
1994 |
Chen J. |
|
|
|
Lecture Notes in Artificial Intelligence |
16.11.1994 |
СТ |
Parallel Heap Construction Using Multiple Selection |
1994 |
Chen J. |
|
|
|
Lecture Notes in Computer Science |
19.11.1994 |
СТ |
Integrating Static and Dynamic Sort Checking in Logic Programming |
1994 |
Chen J. |
|
|
Czech Society for Computer Science, Slovak Society for Computer Science |
XXI SOFSEM 94: Contributed Talks |
12.09.1995 |
СТ |
Mostly-copying Reachability-based Orthogonal Persistence |
1999 |
Hosking A. L., Chen J. |
|
|
|
SIGPLAN Notices |
21.12.1999 |
СТ |
The Spatial Database of the 3D Network Based on Connectivity and Proximity |
2000 |
Zhang Y., Zhou L., Chen J. |
|
|
|
16th World Computer Congress 2000 |
06.03.2001 |
СТ |
On Using Static Analysis in Distributed System Testing |
2001 |
Chen J. |
|
|
|
Lecture Notes in Computer Science |
06.04.2001 |
СТ |
Towards Specification-Based Web Testing |
2002 |
Chen J., Chovanec S. |
|
|
|
Lecture Notes in Computer Science |
23.10.2002 |
СТ |
A Transactional Model for Data Warehouse Maintenance |
2002 |
Chen J., Chen S., Rundensteiner E. A. |
|
|
|
Lecture Notes in Computer Science |
31.10.2002 |
СТ |
Formal Modeling of Java GUI Event Handling |
2002 |
Chen J. |
|
|
|
Lecture Notes in Computer Science |
20.11.2002 |
СТ |
Using Formal Methods to Serialize Synchronization Events |
2003 |
Chen J. |
|
|
|
Lecture Notes in Computer Science |
09.01.2004 |
СТ |
Translation from Adapted UML to Promela for CORBA-Based Applications |
2004 |
Chen J., Cui H. |
|
|
|
Lecture Notes in Computer Science |
29.04.2004 |
СТ |
Identifying Parallel Web Documents by Filenames |
2004 |
Chen J., Yeh C. -H., Chau R. |
|
|
|
Lecture Notes in Computer Science |
20.05.2004 |
СТ |
Conditions for Resolving Observability Problems in Distributed Testing |
2004 |
Chen J., Hierons R. M., Ural H. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.01.2005 |