|
СТ |
Reasoning about Grover s Quantum Search Algorithm Using Probabilistic wp |
1999 |
Butler M., Hartel P. |
|
|
|
ACM Trans. on Programming Languages and Systems |
01.02.2000 |
|
СТ |
Developing an Information System using TROLL - An Application Field Study |
1996 |
Knore M., Kowsari M., Hartel P., Denker G., Enrich H. -D. |
|
|
|
Lecture Notes in Computer Science |
05.06.1996 |
|
СТ |
Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment |
1995 |
Kusch J., Hartel P., Hartmann T., Saake G. |
Lecture Notes in Computer Science |
|
|
Database and Expert Systems Applications |
14.11.1995 |
|
СТ |
Specifying Business Process over Objects |
1994 |
Hartel P., Jungclaus R. |
|
|
|
Lecture Notes in Computer Science |
30.12.1994 |
