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

Jianwen Su Vis

苏建文

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
120 Jan Paredaens, Jianwen Su: Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 19 - July 1, 2009, Providence, Rhode Island, USA ACM 2009
119EEChristian Fritz, Richard Hull, Jianwen Su: Automatic construction of simple artifact-based business processes. ICDT 2009: 225-238
118EEXiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu: Enforcing Constraints on Life Cycles of Business Artifacts. TASE 2009: 111-118
2008
117EEHoda Mokhtar, Jianwen Su: QUESTO: A Query Language for Uncertain and Exact Spatio-temporal Objects. ADBIS 2008: 184-198
116EEMark Wiley, Aihua Wu, Jianwen Su: WSDL-D: A Flexible Web Service Invocation Mechanism for Large Datasets. CEC/EEE 2008: 157-164
115EEAnna Sibirtseva, Zhongnan Shen, Jianwen Su, Fuliang Weng, Baoshi Yan, Yao Meng: SSWiM: A Semantic Service, Wrapper and Invocation Manager. CEC/EEE 2008: 175-182
114EEBin Lin, Jianwen Su: One Way Distance: For Shape Based Similarity Search of Moving Object Trajectories. GeoInformatica 12(2): 117-142 (2008)
113EEJianwen Su: Letter from the Special Issue Editor. IEEE Data Eng. Bull. 31(3): 2 (2008)
112EECagdas Evren Gerede, Oscar H. Ibarra, Bala Ravikumar, Jianwen Su: Minimum-cost delegation in service composition. Theor. Comput. Sci. 409(3): 417-431 (2008)
2007
111 Christian Becker, Christian S. Jensen, Jianwen Su, Daniela Nicklas: 8th International Conference on Mobile Data Management (MDM 2007), Mannheim, Germany, May 7-11, 2007 IEEE 2007
110EEKamal Bhattacharya, Cagdas Evren Gerede, Richard Hull, Rong Liu, Jianwen Su: Towards Formal Analysis of Artifact-Centric Business Process Models. BPM 2007: 288-304
109EEAriane Gravel, Xiang Fu, Jianwen Su: An Analysis Tool for Execution of BPEL Services. CEC/EEE 2007: 429-432
108EECagdas E. Gerede, Jianwen Su: Specification and Verification of Artifact Behaviors in Business Process Models. ICSOC 2007: 181-192
107EEZhongnan Shen, Jianwen Su: On Completeness of Web Service Compositions. ICWS 2007: 800-807
106EECagdas E. Gerede, Kamal Bhattacharya, Jianwen Su: Static Analysis of Business Artifact-centric Operational Models. SOCA 2007: 133-140
105EEZhongnan Shen, Jianwen Su: On Complexity of The Tightening Problem for Web Service Discovery. SOCA 2007: 29-38
104EEJianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao: Towards a Theory of Web Service Choreographies. WS-FM 2007: 1-16
103EEZhongnan Shen, Jianwen Su: On automated composition for web services. WWW 2007: 1261-1262
102EETevfik Bultan, Xiang Fu, Jianwen Su: Analyzing Conversations: Realizability, Synchronizability, and Verification. Test and Analysis of Web Services 2007: 57-85
101EECui Yu, Bin Cui, Shuguang Wang, Jianwen Su: Efficient index-based KNN join processing for high-dimensional data. Information & Software Technology 49(4): 332-344 (2007)
100EEGabriel M. Kuper, Jianwen Su: A representation independent language for planar spatial databases with Euclidean distance. J. Comput. Syst. Sci. 73(6): 845-874 (2007)
2006
99EETevfik Bultan, Jianwen Su, Xiang Fu: Analyzing Conversations of Web Services. IEEE Internet Computing 10(1): 18-25 (2006)
2005
98EEBin Lin, Jianwen Su: Handling frequent updates of moving objects. CIKM 2005: 493-500
97EEJianwen Su: Web Service Interactions: Analysis and Design. CIT 2005: 3
96EEBin Lin, Jianwen Su: Shapes based trajectory queries for moving objects. GIS 2005: 21-30
95EEOzgur D. Sahin, Cagdas Evren Gerede, Divyakant Agrawal, Amr El Abbadi, Oscar H. Ibarra, Jianwen Su: SPiDeR: P2P-Based Web Service Discovery. ICSOC 2005: 157-169
94EECagdas Evren Gerede, Oscar H. Ibarra, Bala Ravikumar, Jianwen Su: Online and Minimum-Cost Ad Hoc Delegation in e-Service Composition. IEEE SCC 2005: 103-112
93EEZhongnan Shen, Jianwen Su: Web Service Discovery Based on Behavior Signatures. IEEE SCC 2005: 279-286
92 Hoda Mokhtar, Jianwen Su: A Query Language for Moving Object Trajectories. SSDBM 2005: 173-182
91EEBin Cui, Beng Chin Ooi, Jianwen Su, Kian-Lee Tan: Indexing High-Dimensional Data for Efficient In-Memory Similarity Search. IEEE Trans. Knowl. Data Eng. 17(3): 339-353 (2005)
90EEXiang Fu, Tevfik Bultan, Jianwen Su: Synchronizability of Conversations among Web Services. IEEE Trans. Software Eng. 31(12): 1042-1055 (2005)
89EEXiang Fu, Tevfik Bultan, Jianwen Su: Realizability of Conversation Protocols with Message Contents. Int. J. Web Service Res. 2(4): 68-93 (2005)
88EERichard Hull, Jianwen Su: Tools for composite web services: a short overview. SIGMOD Record 34(2): 86-95 (2005)
87EEZhe Dang, Oscar H. Ibarra, Jianwen Su: On composition and lookahead delegation of e-services modeled by automata, . Theor. Comput. Sci. 341(1-3): 344-363 (2005)
2004
86EETevfik Bultan, Xiang Fu, Jianwen Su: Tools for Automated Verification of Web Services. ATVA 2004: 8-10
85EEXiang Fu, Tevfik Bultan, Jianwen Su: WSAT: A Tool for Formal Analysis of Web Services. CAV 2004: 510-514
84EECagdas Evren Gerede, Richard Hull, Oscar H. Ibarra, Jianwen Su: Automated composition of e-services: lookaheads. ICSOC 2004: 252-262
83EEXiang Fu, Tevfik Bultan, Jianwen Su: Realizability of Conversation Protocols With Message Contents. ICWS 2004: 96-
82EEZhe Dang, Oscar H. Ibarra, Jianwen Su: Composability of Infinite-State Activity Automata. ISAAC 2004: 377-388
81EEXiang Fu, Tevfik Bultan, Jianwen Su: Model checking XML manipulating software. ISSTA 2004: 252-262
80EEBin Lin, Jianwen Su: On Bulk Loading TPR-Tree. Mobile Data Management 2004: 114-124
79EEHoda Mokhtar, Jianwen Su: Universal Trajectory Queries for Moving Object Databases. Mobile Data Management 2004: 133-
78EERichard Hull, Jianwen Su: Tools for Design of Composite Web Services. SIGMOD Conference 2004: 958-961
77EEJorge Cardoso, John A. Miller, Jianwen Su, Jeff Pollock: Academic and Industrial Research: Do Their Approaches Differ in Adding Semantics to Web Services? SWSWPC 2004: 14-21
76EEXiang Fu, Tevfik Bultan, Jianwen Su: Analysis of interacting BPEL web services. WWW 2004: 621-630
75EEBin Cui, Beng Chin Ooi, Jianwen Su, Kian-Lee Tan: Main Memory Indexing: The Case for BD-Tree. IEEE Trans. Knowl. Data Eng. 16(7): 870-874 (2004)
74EEXiang Fu, Tevfik Bultan, Jianwen Su: Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci. 328(1-2): 19-37 (2004)
2003
73EEXiang Fu, Tevfik Bultan, Jianwen Su: Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. CIAA 2003: 188-200
72EERichard Hull, Michael Benedikt, Vassilis Christophides, Jianwen Su: E-services: a look behind the curtain. PODS 2003: 1-14
71 Tolga Can, Yujun Wang, Yuan-Fang Wang, Jianwen Su: FPV: Fast Protein Visualization Using Java 3D. SAC 2003: 88-95
70EEBin Cui, Beng Chin Ooi, Jianwen Su, Kian-Lee Tan: Contorting High Dimensional Data for Efficient Main Memory Processing. SIGMOD Conference 2003: 479-490
69EETevfik Bultan, Xiang Fu, Richard Hull, Jianwen Su: Conversation specification: a new approach to design and analysis of e-service composition. WWW 2003: 403-410
68 Tolga Can, Yujun Wang, Yuan-Fang Wang, Jianwen Su: FPV: Fast Protein Visualization Using Java 3DTM. Bioinformatics 19(8): 913-922 (2003)
2002
67 Xiaofeng Meng, Jianwen Su, Yujun Wang: Advances in Web-Age Information Management, Third International Conference, WAIM 2002, Beijing, China, August 11-13, 2002, Proceedings Springer 2002
66EEHongjun Zhu, Jianwen Su, Oscar H. Ibarra: Trajectory queries and octagons in moving object databases. CIKM 2002: 413-421
65EEHoda Mokhtar, Jianwen Su, Oscar H. Ibarra: On Moving Object Queries. PODS 2002: 188-198
64EEXiang Fu, Tevfik Bultan, Jianwen Su: Formal Verification of e-Services and Workflows. WES 2002: 188-202
63 Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer: Counter Machines and Verification Problems. Theor. Comput. Sci. 289(1): 165-189 (2002)
62 Oscar H. Ibarra, Jianwen Su: Augmenting the discrete timed automaton with other data structures. Theor. Comput. Sci. 289(1): 191-204 (2002)
2001
61EEHongjun Zhu, Jianwen Su, Oscar H. Ibarra: On Multi-way Spatial Joins with Direction Predicates. SSTD 2001: 217-235
60EEJianwen Su, Haiyan Xu, Oscar H. Ibarra: Moving Objects: Logical Relationships and Queries. SSTD 2001: 3-19
59EEXiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su: Verification of Vortex Workflows. TACAS 2001: 143-157
58 Oscar H. Ibarra, Tevfik Bultan, Jianwen Su: On Reachability and Safety in Infinite-State Systems. Int. J. Found. Comput. Sci. 12(6): 821-836 (2001)
2000
57EELixian Han, Hongjun Zhu, Jianwen Su: Experimental evaluation evaluation of filter effectiveness (extended abstract). ACM-GIS 2000: 189-190
56 Zhe Dang, Oscar H. Ibarra, Tevfik Bultan, Richard A. Kemmerer, Jianwen Su: Binary Reachability Analysis of Discrete Pushdown Timed Automata. CAV 2000: 69-84
55EEOscar H. Ibarra, Jianwen Su: Generalizing the Discrete Timed Automaton. CIAA 2000: 157-169
54EEOscar H. Ibarra, Tevfik Bultan, Jianwen Su: Reachability Analysis for Some Models of Infinite-State Transition Systems. CONCUR 2000: 183-198
53 Stéphane Grumbach, Gabriel M. Kuper, Jianwen Su: Expressive Power: The Infinite Case. Constraint Databases 2000: 89-107
52EERichard Hull, François Llirbat, Bharat Kumar, Gang Zhou, Guozhu Dong, Jianwen Su: Optimization Techniques for Data-Intensive Decision Flows. ICDE 2000: 281-292
51EEOscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer: Conter Machines: Decidable Properties and Applications to Verification Problems. MFCS 2000: 426-435
50EEHongjun Zhu, Jianwen Su, Oscar H. Ibarra: Toward Spatial Joins for Polygons. SSDBM 2000: 231-244
49EEHongjun Zhu, Jianwen Su, Oscar H. Ibarra: Extending Rectangle Join Algorithms for Rectilinear Polygons. Web-Age Information Management 2000: 247-258
48EEGuozhu Dong, Jianwen Su: Incremental Maintenance of Recursive Views Using Relational Calculus/SQL. SIGMOD Record 29(1): 44-51 (2000)
1999
47EERichard Hull, Jianwen Su: The Vortex Approach to Integration and Coordination of Workflows. Cross-Organisational Workflow Management and Co-ordination 1999
46EEGuozhu Dong, Richard Hull, Bharat Kumar, Jianwen Su, Gang Zhou: A Framework for Optimizing Distributed Workflow Executions. DBPL 1999: 152-167
45EEGabriel M. Kuper, Jianwen Su: A Representation Independent Language for Planar Spatial Databases with Euclidean Distance. DBPL 1999: 239-251
44EEXun Cheng, Guozhu Dong, Tzekwan Lau, Jianwen Su: Data Integration by Describing Sources with Constraint Databases. ICDE 1999: 374-381
43EEHongjun Zhu, Jianwen Su, Oscar H. Ibarra: An Index Structure for Spatial Joins in Linear Constraint Databases. ICDE 1999: 636-643
42 Oscar H. Ibarra, Jianwen Su: Counter Machines: Decision Problems and Applications. Jewels are Forever 1999: 84-96
41EERobert Prince, Jianwen Su, Hong Tang, Yonggang Zhao: The design of an interactive online help desk in the Alexandria Digital Library. WACC 1999: 217-226
40EERichard Hull, François Llirbat, Eric Simon, Jianwen Su, Guozhu Dong, Bharat Kumar, Gang Zhou: Declarative workflows that support easy modification and dynamic browsing. WACC 1999: 69-78
39EESabina Beraha, Jianwen Su: Support for Modeling Relationships in Object-Oriented Databases. Data Knowl. Eng. 29(3): 227-257 (1999)
38 Oscar H. Ibarra, Jianwen Su: A Technique for Proving Decidability of Containment and Equivalence of Linear Constraint Queries. J. Comput. Syst. Sci. 59(1): 1-28 (1999)
1998
37EEGabriel M. Kuper, Sridhar Ramaswamy, Kyuseok Shim, Jianwen Su: A Constraint-Based Spatial Extension to SQL. ACM-GIS 1998: 112-117
36 Guozhu Dong, Jianwen Su: Arity Bounds in First-Order Incremental Evaluation and Definition of Polynomial Time Database Queries. J. Comput. Syst. Sci. 57(3): 289-308 (1998)
35 Richard Hull, Jianwen Su: Deductive Query Languages for Recursively Typed Complex Objects. J. Log. Program. 35(3): 231-261 (1998)
1997
34EEX. Cheng, Ron Dolin, Michael O. Neary, Sunil Prabhakar, Kothuri Venkata Ravi Kanth, Daniel Wu, Divyakant Agrawal, Amr El Abbadi, Michael Freeston, Ambuj K. Singh, Terence R. Smith, Jianwen Su: Scalable Access Within the Context of Digital Libraries. ADL 1997: 70-81
33EEOscar H. Ibarra, Jianwen Su: On the Containment and Equivalence of Database Queries with Linear Constraints. PODS 1997: 32-43
32 Guozhu Dong, Jianwen Su: Deterministic FOIES are Strictly Weaker. Ann. Math. Artif. Intell. 19(1-2): 127-146 (1997)
31EEX. Cheng, Ron Dolin, Michael O. Neary, Sunil Prabhakar, Kothuri Venkata Ravi Kanth, Daniel Wu, Divyakant Agrawal, Amr El Abbadi, Michael Freeston, Ambuj K. Singh, Terence R. Smith, Jianwen Su: Scalable Access Within the Context of Digital Libraries. Int. J. on Digital Libraries 1(4): 358-376 (1997)
30 Stéphane Grumbach, Jianwen Su: Finitely Representable Databases. J. Comput. Syst. Sci. 55(2): 273-298 (1997)
29EEStéphane Grumbach, Jianwen Su: Queries with Arithmetical Constraints. Theor. Comput. Sci. 173(1): 151-181 (1997)
28EEJianwen Su: Dynamic Constraints and Object Migration. Theor. Comput. Sci. 184(1-2): 195-236 (1997)
1996
27EEAmitabh Saran, Divyakant Agrawal, Amr El Abbadi, Terence R. Smith, Jianwen Su: Scientific Modeling Using Distributed Resources. ACM-GIS 1996: 68-75
26EEStéphane Grumbach, Jianwen Su: Towards Practical Constraint Databases. PODS 1996: 28-39
25EEGuozhu Dong, Jianwen Su: Conjunctive Query Containment with Respect to Views and Constraints. Inf. Process. Lett. 57(2): 95-102 (1996)
1995
24 Stéphane Grumbach, Jianwen Su: First-order Definability over Constraint Databases. CP 1995: 121-136
23EEGuozhu Dong, Jianwen Su: Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries. ICDT 1995: 397-410
22EEGuozhu Dong, Jianwen Su: Space-Bounded FOIES. PODS 1995: 139-150
21EEStéphane Grumbach, Jianwen Su: Dense-Order Constraint Databases. PODS 1995: 66-77
20 Guozhu Dong, Jianwen Su, Rodney W. Topor: Nonrecursive Incremental Evaluation of Datalog Queries. Ann. Math. Artif. Intell. 14(2-4): 187-223 (1995)
19 Guozhu Dong, Jianwen Su: Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries Inf. Comput. 120(1): 101-106 (1995)
18EETerence R. Smith, Jianwen Su, Amr El Abbadi, Divyakant Agrawal, Gustavo Alonso, Amitabh Saran: Computational modeling systems. Inf. Syst. 20(2): 127-153 (1995)
1994
17EETerence R. Smith, Jianwen Su, Amitabh Saran: Virtual Structures - A Technique for Supporting Scientific Database Applications. ER 1994: 491-512
16 Stéphane Grumbach, Jianwen Su, Christophe Tollu: Linear Constraint Query Languages: Expressive Power and Complexity. LCC 1994: 426-446
15EEStéphane Grumbach, Jianwen Su: Finitely Representable Databases. PODS 1994: 289-300
14 Jianwen Su: Dependency Preservation in Semantic Databases. Acta Inf. 31(1): 27-54 (1994)
13 Richard Hull, Jianwen Su: Domain Independence and the Relational Calculus. Acta Inf. 31(6): 513-524 (1994)
1993
12EEGuozhu Dong, Jianwen Su: First-Order Incremental Evaluation of Datalog Queries. DBPL 1993: 295-308
11 Amitabh Saran, Keith K. Park, Yongmao Chen, Ana Paula de Aguiar, Terence R. Smith, Jianwen Su: Developing Applications with CORAL. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 87-96
10EETerence R. Smith, Jianwen Su, Divyakant Agrawal, Amr El Abbadi: Database and Modeling Systems for the Earth Sciences. IEEE Data Eng. Bull. 16(1): 33-37 (1993)
9 Richard Hull, Jianwen Su: Algebraic and Calculus Query Languages for Recursively Typed Complex Objects. J. Comput. Syst. Sci. 47(1): 121-156 (1993)
1991
8EEGuozhu Dong, Jianwen Su: Object Behaviors and Scripts. DBPL 1991: 383-398
7EEJianwen Su: Dynamic Constraints and Object Migration. VLDB 1991: 233-242
6 Richard Hull, Jianwen Su: On the Expressive Power of Database Queries with Intermediate Types. J. Comput. Syst. Sci. 43(1): 219-267 (1991)
1989
5EERichard Hull, Jianwen Su: On Bulk Data type Constructors and Manipulation Primitives: A Framework for Analyzing Power and Complexity. DBPL 1989: 396-410
4EERichard Hull, Jianwen Su: Untyped Sets, Invention, and Computable Queries. PODS 1989: 347-359
3EERichard Hull, Jianwen Su: On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (Extended Abstract). SIGMOD Conference 1989: 147-158
1988
2EERichard Hull, Jianwen Su: On the Expressive Power of Database Queries with Intermediate Types. PODS 1988: 39-51
1986
1EEJianwen Su: Safety of Non-Well-Locked Trasnaction Systems. PODS 1986: 47-52

Coauthor Index

1Amr El Abbadi [10] [18] [27] [31] [34] [95]
2Divyakant Agrawal [10] [18] [27] [31] [34] [95]
3Ana Paula de Aguiar [11]
4Gustavo Alonso [18]
5Christian Becker [111]
6Michael Benedikt [72]
7Sabina Beraha [39]
8Kamal Bhattacharya [106] [110]
9Tevfik Bultan [51] [54] [56] [58] [59] [63] [64] [69] [73] [74] [76] [81] [83] [85] [86] [89] [90] [99] [102] [104]
10Tolga Can [68] [71]
11Jorge Cardoso [77]
12Yongmao Chen [11]
13X. Cheng [31] [34]
14Xun Cheng [44]
15Vassilis Christophides [72]
16Bin Cui [70] [75] [91] [101]
17Zhe Dang [51] [56] [63] [82] [87]
18Ron Dolin [31] [34]
19Guozhu Dong [8] [12] [19] [20] [22] [23] [25] [32] [36] [40] [44] [46] [48] [52]
20Michael Freeston [31] [34]
21Christian Fritz [119]
22Xiang Fu [59] [64] [69] [73] [74] [76] [81] [83] [85] [86] [89] [90] [99] [102] [104] [109]
23Cagdas Evren Gerede (Cagdas E. Gerede) [84] [94] [95] [106] [108] [110] [112]
24Ariane Gravel [109]
25Stéphane Grumbach [15] [16] [21] [24] [26] [29] [30] [53]
26Lixian Han [57]
27Richard Hull [2] [3] [4] [5] [6] [9] [13] [35] [40] [46] [47] [52] [59] [69] [72] [78] [84] [88] [110] [119]
28Oscar H. Ibarra [33] [38] [42] [43] [49] [50] [51] [54] [55] [56] [58] [60] [61] [62] [63] [65] [66] [82] [84] [87] [94] [95] [112]
29Christian S. Jensen [111]
30Kothuri Venkata Ravi Kanth [31] [34]
31Richard A. Kemmerer [51] [56] [63]
32Bharat Kumar [40] [46] [52]
33Gabriel M. Kuper [37] [45] [53] [100]
34Tzekwan Lau [44]
35Bin Lin [80] [96] [98] [114]
36Rong Liu [110]
37François Llirbat [40] [52]
38Xiaofeng Meng [67]
39Yao Meng [115]
40John A. Miller [77]
41Hoda Mokhtar [65] [79] [92] [117]
42Michael O. Neary [31] [34]
43Daniela Nicklas [111]
44Beng Chin Ooi [70] [75] [91]
45Jan Paredaens [120]
46Keith K. Park [11]
47Jeff Pollock [77]
48Sunil Prabhakar [31] [34]
49Robert Prince [41]
50Zongyan Qiu [118]
51Sridhar Ramaswamy [37]
52Bala Ravikumar [94] [112]
53Ozgur D. Sahin [95]
54Amitabh Saran [11] [17] [18] [27]
55Zhongnan Shen [93] [103] [105] [107] [115]
56Kyuseok Shim [37]
57Anna Sibirtseva [115]
58Eric Simon [40]
59Ambuj K. Singh [31] [34]
60Terence R. Smith [10] [11] [17] [18] [27] [31] [34]
61Kian-Lee Tan [70] [75] [91]
62Hong Tang [41]
63Christophe Tollu [16]
64Rodney W. Topor [20]
65Shuguang Wang [101]
66Yuan-Fang Wang [68] [71]
67Yujun Wang [67] [68] [71]
68Fuliang Weng [115]
69Mark Wiley [116]
70Daniel Wu [31] [34]
71Aihua Wu [116]
72Haiyan Xu [60]
73Baoshi Yan [115]
74Hongli Yang [118]
75Cui Yu [101]
76Xiangpeng Zhao [104] [118]
77Yonggang Zhao [41]
78Gang Zhou [40] [46] [52]
79Hongjun Zhu [43] [49] [50] [57] [61] [66]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)