Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5786 Publications


1997 | Book Chapter | LibreCat-ID: 3029
@inbook{Blömer_1997, place={Berlin, Heidelberg}, title={Denesting by bounded degree radicals}, DOI={10.1007/3-540-63397-9_5}, booktitle={Algorithms — ESA ’97}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes}, year={1997}, pages={53–63} }
LibreCat | Files available | DOI
 

1997 | Journal Article | LibreCat-ID: 3033
@article{Blömer_Karp_Welzl_1997, title={The rank of sparse random matrices over finite fields}, DOI={10.1002/(SICI)1098-2418(199707)10:4<407::AID-RSA1>3.0.CO;2-Y}, number={4}, journal={Random Structures \& Algorithms}, author={Blömer, Johannes and Karp, Richard and Welzl, Emo}, year={1997}, pages={407–419} }
LibreCat | DOI
 

1997 | Report | LibreCat-ID: 18955
@book{Strothmann_Lukovszki_1997, place={Paderborn}, title={Decremental Biconnectivity on Planar Graphs}, author={Strothmann, Willy-Bernhard and Lukovszki, Tamás}, year={1997} }
LibreCat | Files available
 

1997 | Conference Paper | LibreCat-ID: 18575
@inproceedings{Sohler_Denny_1997, title={Encoding a Triangulation as a Permutation of its Point Set}, booktitle={Proceedings of the 9th Canadian Conference on Computational Geometry}, author={Sohler, Christian and Denny, Markus}, year={1997}, pages={39–43} }
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 2175 | OA
@inproceedings{Bock_Meyer auf der Heide_Scheideler_1997, title={Optimal Wormhole Routing in the (n, d)-Torus}, booktitle={IPPS}, publisher={IEEE Computer Society}, author={Bock, Stefan and Meyer auf der Heide, Friedhelm and Scheideler, Christian}, year={1997}, pages={326--332} }
LibreCat | Files available
 

1997 | Conference Paper | LibreCat-ID: 2179 | OA
@inproceedings{Flammini_Scheideler_1997, title={Simple, Efficient Routing Schemes for All-Optical Networks}, booktitle={SPAA}, author={Flammini, Michele and Scheideler, Christian}, year={1997}, pages={170--179} }
LibreCat | Files available
 

1997 | Conference (Editor) | LibreCat-ID: 7795
@book{Engels_1997, place={Berlin/Heidelberg}, series={Informatik: Forschung und Entwicklung}, title={Themenheft: Softwaretechnik}, volume={12}, DOI={http://dx.doi.org/10.1007/s004500050085}, number={4}, publisher={Springer}, year={1997}, collection={Informatik: Forschung und Entwicklung} }
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 7839
@inproceedings{Engels_Heckel_Taentzer_Ehrig_1997, place={Berlin/Heidelberg}, title={A View-Oriented Approach to System Modelling Using Graph Transformations}, volume={1301}, DOI={http://dx.doi.org/10.1007/3-540-63531-9}, booktitle={Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Taentzer, Gabriele and Ehrig, Hartmut}, editor={Jazayeri, M. and Schauer, H.Editors}, year={1997}, pages={327–343} }
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 7840
@inproceedings{Depke_Knoke_Schöne_Tünnermann_Welling_1997, place={Weinheim, Germany}, title={Thermooptische Effekte in Nd:YAG-Slablasern}, volume={32}, number={3}, booktitle={Verhandlungen der Deutschen Physikalischen Gesellschaft}, publisher={Physik-Verlag}, author={Depke, Ralph and Knoke, Stefan and Schöne, Wolfram and Tünnermann, Andreas and Welling, H.}, year={1997} }
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 7841
@inproceedings{Heckel_Ehrig_Wolter_Corradini_1997, place={London, UK}, series={LNCS}, title={Integrating the Specification Techniques of Graph Transformation and Temporal Logic}, DOI={http://dx.doi.org/10.1007/BFb0029965}, booktitle={Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)}, publisher={Springer}, author={Heckel, Reiko and Ehrig, Hartmut and Wolter, Uwe and Corradini, Andrea}, year={1997}, pages={219–228}, collection={LNCS} }
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 7842
@inproceedings{Knoke_Depke_Schöne_Brozek_Tünnermann_Welling_1997, title={Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung}, volume={32}, number={3}, booktitle={Verhandlungen der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)}, publisher={Physik-Verlag}, author={Knoke, Stefan and Depke, Ralph and Schöne, Wolfram and Brozek, O.S. and Tünnermann, Andreas and Welling, H.}, year={1997} }
LibreCat
 

1997 | Report | LibreCat-ID: 8201
@book{Heckel_Ehrig_Wolter_Corradini_1997, title={Loose Semantics and Constraints for Graph Transformation Systems}, author={Heckel, Reiko and Ehrig, Hartmut and Wolter, Uwe and Corradini, Andrea}, year={1997} }
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8276
@inproceedings{Gadducci_Heckel_1997, place={Bordeaux}, title={A 2-Categorical Presentation of Distributed Graph Transformation}, booktitle={Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)}, author={Gadducci, Fabio and Heckel, Reiko}, year={1997} }
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8277
@inproceedings{Gadducci_Heckel_Koch_1997, place={Bordeaux}, title={Combining Graph Transformations with Temporal Logic}, booktitle={Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)}, author={Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}, year={1997} }
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8278
@inproceedings{Gadducci_Heckel_1997, place={Berlin/Heidelberg}, series={LNCS}, title={An Inductive View of Graph Transformation}, volume={1376}, booktitle={Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy)}, publisher={Springer}, author={Gadducci, Fabio and Heckel, Reiko}, year={1997}, pages={223–237}, collection={LNCS} }
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8279
@inproceedings{Heckel_1997, title={Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration}, booktitle={Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)}, author={Heckel, Reiko}, year={1997} }
LibreCat
 

1997 | Journal Article | LibreCat-ID: 7402
@article{Engels_Jürgen Schneider_1997, title={Guest Editors’ Introduction}, volume={7}, DOI={http://dx.doi.org/10.1142/S0218194097000230}, number={4}, journal={International Journal on Software Engineering and Knowledge Engineering (IJSEKE)}, author={Engels, Gregor and Jürgen Schneider, Hans}, year={1997}, pages={397–400} }
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 7403
@article{Engels_Heckel_Taentzer_Ehrig_1997, title={A Combined Reference Model- and View-Based Approach to System Specification}, volume={7}, number={4}, journal={Int. Journal of Software and Knowledge Engeneering}, author={Engels, Gregor and Heckel, Reiko and Taentzer, Gabriele and Ehrig, Hartmut}, year={1997}, pages={457–477} }
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 7515
@inbook{Ehrig_Heckel_Korff_Löwe_Ribeiro_Wagner_Corradini_1997, place={Singapore}, title={Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach}, booktitle={Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations}, publisher={World Scientific}, author={Ehrig, Hartmut and Heckel, Reiko and Korff, Martin and Löwe, Michael and Ribeiro, Leila and Wagner, Annika and Corradini, Andrea}, year={1997}, pages={247–312} }
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 7516
@inbook{Engels_Rekers_Andries_1997, place={Berlin/Heidelberg}, title={How to represent a visual specification}, booktitle={Visual Language Theory}, publisher={Springer}, author={Engels, Gregor and Rekers, Jan and Andries, Marc}, year={1997}, pages={241–255} }
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed