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

Bruno Courcelle

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

2009
142EEBruno Courcelle: Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications. LATA 2009: 19-22
2008
141EEBruno Courcelle, Cyril Gavoille, Mamadou Moustapha Kanté: Efficient First-Order Model-Checking Using Short Labels. FAW 2008: 159-170
140EEBruno Courcelle: Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects. ICALP (1) 2008: 1-13
139EEBruno Courcelle, Cyril Gavoille, Mamadou Moustapha Kanté: Compact Labelings For Efficient First-Order Model-Checking CoRR abs/0811.4713: (2008)
138EEBruno Courcelle, Cyril Gavoille, Mamadou Moustapha Kanté, Andrew Twigg: Connectivity check in 3-connected planar graphs with obstacles. Electronic Notes in Discrete Mathematics 31: 151-155 (2008)
137EEBruno Courcelle: Circle graphs and monadic second-order logic. J. Applied Logic 6(3): 416-442 (2008)
136EEBruno Courcelle, Christian Delhommé: The modular decomposition of countable graphs. Definition and construction in monadic second-order logic. Theor. Comput. Sci. 394(1-2): 1-38 (2008)
2007
135EEBruno Courcelle, Andrew Twigg: Compact Forbidden-Set Routing. STACS 2007: 37-48
134EEBruno Courcelle, Mamadou Moustapha Kanté: Graph Operations Characterizing Rank-Width and Balanced Graph Expressions. WG 2007: 66-75
133EEBruno Courcelle: A multivariate interlace polynomial CoRR abs/cs/0702016: (2007)
132EEBruno Courcelle, Sang-il Oum: Vertex-minors, monadic second-order logic, and a conjecture by Seese. J. Comb. Theory, Ser. B 97(1): 91-126 (2007)
2006
131EEBruno Courcelle, Pascal Weil: The recognizability of sets of graphs is a robust property CoRR abs/cs/0609109: (2006)
130EEAchim Blumensath, Bruno Courcelle: Recognizability, hypergraph operations, and logical types. Inf. Comput. 204(6): 853-919 (2006)
129EEBruno Courcelle: The monadic second-order logic of graphs XV: On a conjecture by D. Seese. J. Applied Logic 4(1): 79-114 (2006)
128EEBruno Courcelle: The monadic second-order logic of graphs XVI : Canonical graph decompositions. Logical Methods in Computer Science 2(2): (2006)
2005
127EEBruno Courcelle, Christian Delhommé: The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic. CSL 2005: 325-338
126EEBruno Courcelle: The monadic second-order logic of graphs XVI : Canonical graph<br> decompositions CoRR abs/cs/0510066: (2005)
125EEBruno Courcelle: Graph decompositions definable in monadic second-order logic. Electronic Notes in Discrete Mathematics 22: 13-19 (2005)
124EEBruno Courcelle, Pascal Weil: The recognizability of sets of graphs is a robust property. Theor. Comput. Sci. 342(2-3): 173-228 (2005)
2004
123EEBruno Courcelle: Recognizable Sets of Graphs, Hypergraphs and Relational Structures: A Survey. Developments in Language Theory 2004: 1-11
122EEBruno Courcelle, David Janin: Workshop on Logic, Graph Transformations, Finite and Infinite Structures. ICGT 2004: 448-450
121EEBruno Courcelle: Clique-width of countable graphs: a compactness property. Discrete Mathematics 276(1-3): 127-148 (2004)
2003
120EEBruno Courcelle, R. Vanicat: Query efficient implementation of graphs of bounded clique-width. Discrete Applied Mathematics 131(1): 129-150 (2003)
119EEBruno Courcelle: The monadic second-order logic of graphs XIV: uniformly sparse graphs and edge set quantifications. Theor. Comput. Sci. 1-3(299): 1-36 (2003)
2002
118EEBruno Courcelle: Semantical Evaluations as Monadic Second-Order Compatible Structure Transformations. FoSSaCS 2002: 1-4
117EEBruno Courcelle, Pascal Weil: Workshop on Logic, Graph Transformations and Discrete Structures. ICGT 2002: 455-458
116EEBruno Courcelle, V. Dussaux: Map Genus, Forbidden Maps, and Monadic Second-Order Logic. Electr. J. Comb. 9(1): (2002)
115EEBruno Courcelle: A Monadic Second-Order Definition of the Structure of Convex Hypergraphs. Inf. Comput. 178(2): 391-411 (2002)
114 Bruno Courcelle, Johann A. Makowsky: Fusion in Relational Structures and the Verification of Monadic Second-Order Properties. Mathematical Structures in Computer Science 12(2): 203-235 (2002)
113EEBruno Courcelle, Teodor Knapik: The evaluation of first-order substitution is monadic second-order compatible. Theor. Comput. Sci. 281(1-2): 177-206 (2002)
2001
112 Bruno Courcelle, Johann A. Makowsky, Udi Rotics: On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic. Discrete Applied Mathematics 108(1-2): 23-52 (2001)
111EEBruno Courcelle: Graph Operations, Graph Transformations and Monadic Second-Order Logic: a survey. Electr. Notes Theor. Comput. Sci. 51: (2001)
2000
110EEBruno Courcelle: Graph Operations and Monadic Second-Order Logic: A Survey. LPAR 2000: 20-24
109 Bruno Courcelle, Stephan Olariu: Upper bounds to the clique width of graphs. Discrete Applied Mathematics 101(1-3): 77-114 (2000)
108EEBruno Courcelle: Clique-width of countable graphs: a compactness property. Electronic Notes in Discrete Mathematics 5: 75-76 (2000)
107EEBruno Courcelle: The monadic second-order logic of graphs XII: planar graphs and planar maps. Theor. Comput. Sci. 237(1-2): 1-32 (2000)
106EEBruno Courcelle: The monadic second-order logic of graphs XIII: Graph drawings with edge crossings. Theor. Comput. Sci. 244(1-2): 63-94 (2000)
105EEBruno Courcelle, Johann A. Makowsky, Udi Rotics: Linear Time Solvable Optimization Problems on Graphs of Bounded Clique-Width. Theory Comput. Syst. 33(2): 125-150 (2000)
1999
104EEBruno Courcelle: Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas. RTA 1999: 90-91
103EEBruno Courcelle: The Monadic Second-Order Logic of Graphs XI: Hierarchical Decompositions of Connected Graphs. Theor. Comput. Sci. 224(1-2): 35-58 (1999)
1998
102EEBruno Courcelle, Denis Lapoire: Facial Circuits of Planar Graphs and Context-Free Languages. MFCS 1998: 616-624
101 Bruno Courcelle, Johann A. Makowsky, Udi Rotics: Linear Time Solvable Optimization Problems on Graphs of Bounded Clique Width. WG 1998: 1-16
100 Bruno Courcelle, Igor Walukiewicz: Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems. Ann. Pure Appl. Logic 92(1): 35-62 (1998)
99EEBruno Courcelle, Géraud Sénizergues: The obstructions of a minor-closed set of graphs defined by a context-free grammar. Discrete Mathematics 182(1-3): 29-51 (1998)
1997
98 Bruno Courcelle: The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic. Handbook of Graph Grammars 1997: 313-400
97 Bruno Courcelle: Finite Model Theory, Universal Algebra and Graph Grammars. LFCS 1997: 53-55
96EEBruno Courcelle, Rodney G. Downey, Michael R. Fellows: A Note on the Computability of Graph Minor Obstruction Sets for Monadic Second Order Ideals. J. UCS 3(11): 1194-1198 (1997)
1996
95 Bruno Courcelle: On the Expression of Graph Properties in some Fragments of Monadic Second-Order Logic. Descriptive Complexity and Finite Models 1996: 33-62
94 Bruno Courcelle, Jens Lagergren: Equivalent Definitions of Recognizability for Sets of Graphs of Bounded Tree-Width. Mathematical Structures in Computer Science 6(2): 141-165 (1996)
93EEBruno Courcelle: The Monadic Second-Order Logic of Graphs X: Linear Orderings. Theor. Comput. Sci. 160(1&2): 87-143 (1996)
92EEBruno Courcelle: Basic Notions of Universal Algebra for Language Theory and Graph Grammars. Theor. Comput. Sci. 163(1&2): 1-54 (1996)
1995
91 Bruno Courcelle: The Monadic Second-Order Logic of Graphs VIII: Orientations. Ann. Pure Appl. Logic 72(2): 103-143 (1995)
90EEBruno Courcelle: The Monadic Second-order Logic of Graphs VI: On Several Representations of Graphs by Relational Structures. Discrete Applied Mathematics 63(2): 199-200 (1995)
89EEBruno Courcelle: Logic and graphs. Electr. Notes Theor. Comput. Sci. 2: (1995)
88 Bruno Courcelle, A. Pariès: Mineurs d'arbres avec racines. ITA 29(5): 401-422 (1995)
87 Bruno Courcelle: Structural Properties of Context-Free Sets of Graphs Generated by Vertex Replacement Inf. Comput. 116(2): 275-293 (1995)
86 Bruno Courcelle, Joost Engelfriet: A Logical Characterization of the Sets of Hypergraphs Defined by Hyperedge Replacement Grammars. Mathematical Systems Theory 28(6): 515-552 (1995)
85EEBruno Courcelle: The Monadic Second-Order Logic of Graphs IX: Machines and their Behaviours. Theor. Comput. Sci. 151(1): 125-162 (1995)
1994
84 Bruno Courcelle: Monadic Second-Order Logic and Linear Orderings of Finite Structures. CSL 1994: 163-176
83 Bruno Courcelle, Géraud Sénizergues: The Obstructions of a Minor-Closed Set of Graphs Defined by Hyperedge Replacement can be Constructed. TAGT 1994: 351-367
82 Bruno Courcelle: The Definition in Monadic Second-Order Logic of Modular Decompositions of Ordered Graphs. TAGT 1994: 487-501
81EEBruno Courcelle: The Monadic Second order Logic of Graphs VI: on Several Representations of Graphs By Relational Structures Discrete Applied Mathematics 54(2-3): 117-149 (1994)
80EEBruno Courcelle, Yves Métivier: Coverings and Minors: Application to Local Computations in Graphs. Eur. J. Comb. 15(2): 127-138 (1994)
79 Bruno Courcelle: Recognizable Sets of Graphs: Equivalent Definitions and Closure Properties. Mathematical Structures in Computer Science 4(1): 1-32 (1994)
78 Bruno Courcelle: Monadic Second-Order Definable Graph Transductions: A Survey. Theor. Comput. Sci. 126(1): 53-75 (1994)
1993
77 Bruno Courcelle, Jens Lagergren: Recognizable Sets of Graphs of Bounded Tree-Width. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 138-152
76 Bruno Courcelle: Context-Free Graph Grammars: Separating Vertex Replacement from Hyperedge Replacement. FCT 1993: 181-193
75 Bruno Courcelle: Monadic Second-Order Logic and Hypergraph Orientation LICS 1993: 179-190
74 Bruno Courcelle: Graph Rewriting: A Bibliographical Guide. Term Rewriting 1993: 74
73 Bruno Courcelle: Graphs and Monadic Second-Order Logic: Some Open Problems. Bulletin of the EATCS 49: 110-124 (1993)
72EEStefan Arnborg, Bruno Courcelle, Andrzej Proskurowski, Detlef Seese: An Algebraic Theory of Graph Reduction. J. ACM 40(5): 1134-1164 (1993)
71 Bruno Courcelle, Joost Engelfriet, Grzegorz Rozenberg: Handle-Rewriting Hypergraph Grammars. J. Comput. Syst. Sci. 46(2): 218-270 (1993)
70 Bruno Courcelle, Mohamed Mosbah: Monadic Second-Order Evaluations on Tree-Decomposable Graphs. Theor. Comput. Sci. 109(1&2): 49-82 (1993)
1992
69 Bruno Courcelle: Monadic Second-Order Graph Transductions. CAAP 1992: 124-144
68 Bruno Courcelle: Recognizable sets of unrooted trees. Tree Automata and Languages 1992: 141-158
67 Bruno Courcelle: The monadic second-order logic of graphs III: tree-decompositions, minor and complexity issues. ITA 26: 257-286 (1992)
66 Bruno Courcelle: The Monadic Second-Order Logic of Graphs VII: Graphs as Relational Structures. Theor. Comput. Sci. 101(1): 3-33 (1992)
1991
65 Bruno Courcelle: Graph grammars, monadic second-order logic and the theory of graph minors. Graph Structure Theory 1991: 565-590
64 Bruno Courcelle, Mohamed Mosbah: Monadic Second-Order Evaluations on Tree-Decomposable Graphs. WG 1991: 13-24
63 Bruno Courcelle: On Constructing Obstruction Sets of Words. Bulletin of the EATCS 44: 178-186 (1991)
62 Bruno Courcelle, Damian Niwinski, Andreas Podelski: A Geometrical View of the Determinization and Minimization of Finite-State Automata. Mathematical Systems Theory 24(2): 117-146 (1991)
61 Bruno Courcelle: Recursive Queries and Context-free Graph Grammars. Theor. Comput. Sci. 78(1): 217-244 (1991)
60 Bruno Courcelle: The Monadic Second-Order Logic of Graphs V: On Closing the Gap Between Definability and Recognizability. Theor. Comput. Sci. 80(2): 153-202 (1991)
1990
59 Bruno Courcelle: Graphs as Relational Structures: An Algebraic an Logical Approach. Graph-Grammars and Their Application to Computer Science 1990: 238-252
58 Bruno Courcelle, Joost Engelfriet, Grzegorz Rozenberg: Context-free Handle-rewriting Hypergraph Grammars. Graph-Grammars and Their Application to Computer Science 1990: 253-268
57 Bruno Courcelle: The Logical Exprssion of Graph Properties (Abstract). Graph-Grammars and Their Application to Computer Science 1990: 38-40
56 Stefan Arnborg, Bruno Courcelle, Andrzej Proskurowski, Detlef Seese: An Algebraic Theory of Graph Reduction. Graph-Grammars and Their Application to Computer Science 1990: 70-83
55 Bruno Courcelle: On the Expression of Monadic Second-Order Graph Properties Without Quantifications Over Sets of Edges (Extended Abstract) LICS 1990: 190-196
54 Bruno Courcelle: Graph Rewriting: An Algebraic and Logic Approach. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 193-242
53 Bruno Courcelle: Recursive Applicative Program Schemes. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 459-492
52 Bruno Courcelle: The Monadic Second-Order Logic of Graphs IV: Definability Properties of Equational Graphs. Ann. Pure Appl. Logic 49(3): 193-255 (1990)
51 Bruno Courcelle: The Monadic Second-Order Logic of Graphs. I. Recognizable Sets of Finite Graphs Inf. Comput. 85(1): 12-75 (1990)
1989
50 Bruno Courcelle: The Definability of Equational Graphs in Monadic Second-Order Logic. ICALP 1989: 207-221
49 Bruno Courcelle: Monadic Second-Order Logic and Context-Free Graph-Grammars. MFCS 1989: 18-34
48 Bruno Courcelle: The Monadic Second-Order Logic of Graphs, II: Infinite Graphs of Bounded Width. Mathematical Systems Theory 21(4): 187-221 (1989)
1988
47 Bruno Courcelle: An Axiomatic Definition of Context-Free Rewriting and its Application to NLC Graph Grammars. STACS 1988: 237-247
46 Bruno Courcelle: The Monadic Second-Order Logic of Graphs: Definable Sets of Finite Graphs. WG 1988: 30-53
45 Bruno Courcelle, Pierre Deransart: Proofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming Inf. Comput. 78(1): 1-55 (1988)
1987
44 Bruno Courcelle, Jean H. Gallier: Decidable Subcases of The Equivalence Problem for Recursive Program Schemes. ITA 21(3): 245-286 (1987)
43 Michel Bauderon, Bruno Courcelle: Graph Expressions and Graph Rewritings. Mathematical Systems Theory 20(2-3): 83-127 (1987)
42 Bruno Courcelle: An Axiomatic Definition of Context-Free Rewriting and its Application to NLC Graph Grammars. Theor. Comput. Sci. 55(2-3): 141-181 (1987)
1986
41 Michel Bauderon, Bruno Courcelle: An Algebraic Formalism for Graphs. CAAP 1986: 74-84
40 Bruno Courcelle: A representation of graphs by algebraic expressions and its use for graph rewriting systems. Graph-Grammars and Their Application to Computer Science 1986: 112-132
39 Bruno Courcelle: On context-free sets of graphs and their monadic second-order theory. Graph-Grammars and Their Application to Computer Science 1986: 133-146
38 Bruno Courcelle: Equivalences and Transformations of Regular Systems-Applications to Recursive Program Schemes and Grammars. Theor. Comput. Sci. 42: 1-122 (1986)
1985
37 Bruno Courcelle: Equivalences and Transformations of Recursive Definitions FOCS 1985: 354-359
36 Bruno Courcelle: Proofs of partial correctness for iterative and recursive computations. Logic Colloquium 1985: 89-110
1984
35 Jean-Pierre Braquelaire, Bruno Courcelle: The solution of two star height problems for regular trees. Automata on Infinite Words 1984: 108-117
34 Bruno Courcelle, F. Lavandier: Définitions Récursives Par Cas. ITA 18(2): 91-129 (1984)
33 Bruno Courcelle: Some Negative Results Concerning DPDA's. Inf. Process. Lett. 18(5): 285-289 (1984)
32 Jean-Pierre Braquelaire, Bruno Courcelle: The Solutions of Two Star-Height Problems for Regular Trees. Theor. Comput. Sci. 30: 205-239 (1984)
1983
31 Bruno Courcelle, F. Lavandier: A Class of Program Schemes Based on Tree Rewriting Systems. CAAP 1983: 191-204
30 Bruno Courcelle: Attribute Grammars: Definitions, Analysis of Dependencies, Proof Methods. Method and tools for compiler construction 1983: 81-102
29 Bruno Courcelle: An Axiomatic Approach to the Korenjak-Hopcroft Algorithms. Mathematical Systems Theory 16(3): 191-231 (1983)
28 Bruno Courcelle: Fundamental Properties of Infinite Trees. Theor. Comput. Sci. 25: 95-169 (1983)
1982
27 Bruno Courcelle, Paul Franchi-Zannettacci: On the Equivalence Problem for Attribute Systems Information and Control 52(3): 275-305 (1982)
26 Bruno Courcelle, Paul Franchi-Zannettacci: Attribute Grammars and Recursive Program Schemes I. Theor. Comput. Sci. 17: 163-191 (1982)
25 Bruno Courcelle, Paul Franchi-Zannettacci: Attribute Grammars and Recursive Program Schemes II. Theor. Comput. Sci. 17: 235-257 (1982)
1981
24 Bruno Courcelle: An Axiomatic Approach to the Korenjak-Hopcroft Algorithms. ICALP 1981: 393-407
23 Bruno Courcelle: Attribute Grammars: Theory and Applications. ICFPC 1981: 75-95
22 Bruno Courcelle: The Simultaneous Accessibility of Two Configurations of Two Equivalent DPDA's. Inf. Process. Lett. 12(3): 111-114 (1981)
21 Luc Boasson, Bruno Courcelle, Maurice Nivat: The Rational Index: A Complexity Measure for Languages. SIAM J. Comput. 10(2): 284-296 (1981)
1980
20 Bruno Courcelle, Paul Franchi-Zannettacci: On the Expressive Power of Attribute Grammars FOCS 1980: 161-172
19 Bruno Courcelle, Jean-Claude Raoult: Completions of ordered magmas. Fundam. Inform. 3(1): 105- (1980)
1979
18 Bruno Courcelle: Arbes infinis et systèmes d'équations. ITA 13(1): (1979)
17 Bruno Courcelle: Infinite Trees in Normal Form and Recursive Equations Having a Unique Solution. Mathematical Systems Theory 13: 131-180 (1979)
1978
16 Bruno Courcelle: On Recursive Equations Having a Unique Solution FOCS 1978: 201-213
15 Bruno Courcelle, Maurice Nivat: The Algebraic Semantics of Recursive Program Schemes. MFCS 1978: 16-30
14 Bruno Courcelle: Frontiers of Infinite Trees. ITA 12(4): (1978)
13 Bruno Courcelle, Irène Guessarian: On Some Classes of Interpretations. J. Comput. Syst. Sci. 17(3): 406-431 (1978)
12 Bruno Courcelle: A Representation of Trees by Languages I. Theor. Comput. Sci. 6: 255-279 (1978)
11 Bruno Courcelle: A Representation of Trees by Languages II. Theor. Comput. Sci. 7: 25-55 (1978)
1977
10 Bruno Courcelle: On the Definition of Classes of Interpretations. ICALP 1977: 554-569
9 Bruno Courcelle: On a description of tree-languages by languages. Theoretical Computer Science 1977: 45-50
8 Bruno Courcelle: On Jump-Deterministic Pushdown Automata. Mathematical Systems Theory 11: 87-109 (1977)
1976
7 Bruno Courcelle, Maurice Nivat: Algebraic Families of Interpretations FOCS 1976: 137-146
6 Gérard Berry, Bruno Courcelle: Program Equivalence and Canonical Forms in Stable Discrete Interpretations. ICALP 1976: 168-188
5 Bruno Courcelle, Jean Vuillemin: Completeness Results for the Equivalence of Recursive Schemas. J. Comput. Syst. Sci. 12(2): 179-197 (1976)
1974
4 Bruno Courcelle: Recursive Schemes, Algebraic Trees and Deterministic Languages FOCS 1974: 52-62
3 Bruno Courcelle, Gilles Kahn, Jean Vuillemin: Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples. ICALP 1974: 200-213
2 Bruno Courcelle, Jean Vuillemin: Semantics and Axiomatics of a Simple Recursive Language STOC 1974: 13-26
1 Bruno Courcelle, Jean Vuillemin: Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques. Symposium on Programming 1974: 234-252

Coauthor Index

1Stefan Arnborg [56] [72]
2Michel Bauderon [41] [43]
3Gérard Berry [6]
4Achim Blumensath [130]
5Luc Boasson [21]
6Achille J.-P. Braquelaire (Jean-Pierre Braquelaire) [32] [35]
7Christian Delhommé [127] [136]
8Pierre Deransart [45]
9Rodney G. Downey (Rod Downey) [96]
10V. Dussaux [116]
11Joost Engelfriet [58] [71] [86]
12Michael R. Fellows (Mike Fellows) [96]
13Paul Franchi-Zannettacci [20] [25] [26] [27]
14Jean H. Gallier [44]
15Cyril Gavoille [138] [139] [141]
16Irène Guessarian [13]
17David Janin [122]
18Gilles Kahn [3]
19Mamadou Moustapha Kanté [134] [138] [139] [141]
20Teodor Knapik [113]
21Jens Lagergren [77] [94]
22Denis Lapoire [102]
23F. Lavandier [31] [34]
24Johann A. Makowsky (Janos Makowsky) [101] [105] [112] [114]
25Yves Métivier [80]
26Mohamed Mosbah [64] [70]
27Maurice Nivat [7] [15] [21]
28Damian Niwinski [62]
29Stephan Olariu [109]
30Sang-il Oum [132]
31A. Pariès [88]
32Andreas Podelski [62]
33Andrzej Proskurowski [56] [72]
34Jean-Claude Raoult [19]
35Udi Rotics [101] [105] [112]
36Grzegorz Rozenberg [58] [71]
37Detlef Seese [56] [72]
38Géraud Sénizergues [83] [99]
39Andrew Twigg [135] [138]
40R. Vanicat [120]
41Jean Vuillemin [1] [2] [3] [5]
42Igor Walukiewicz [100]
43Pascal Weil [117] [124] [131]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)