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.
5937 Publications
1997 | Conference Paper | LibreCat-ID: 7841
Heckel, Reiko, et al. “Integrating the Specification Techniques of Graph Transformation and Temporal Logic.” Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), Springer, 1997, pp. 219–28, doi:http://dx.doi.org/10.1007/BFb0029965.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7842
Knoke, Stefan, et al. “Einfrequenzbetrieb von Nd:YAG-Stablasersystemen Hoher Ausgangsleistung.” Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany), vol. 32, no. 3, Physik-Verlag, 1997.
LibreCat
1997 | Report | LibreCat-ID: 8201
Heckel, Reiko, et al. Loose Semantics and Constraints for Graph Transformation Systems. 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8276
Gadducci, Fabio, and Reiko Heckel. “A 2-Categorical Presentation of Distributed Graph Transformation.” Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8277
Gadducci, Fabio, et al. “Combining Graph Transformations with Temporal Logic.” Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8278
Gadducci, Fabio, and Reiko Heckel. “An Inductive View of Graph Transformation.” Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy), vol. 1376, Springer, 1997, pp. 223–37.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8279
Heckel, Reiko. “Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration.” Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
1997 | Journal Article | LibreCat-ID: 7402
Engels, Gregor, and Hans Jürgen Schneider. “Guest Editors’ Introduction.” International Journal on Software Engineering and Knowledge Engineering (IJSEKE), vol. 7, no. 4, 1997, pp. 397–400, doi:http://dx.doi.org/10.1142/S0218194097000230.
LibreCat
| DOI
1997 | Journal Article | LibreCat-ID: 7403
Engels, Gregor, et al. “A Combined Reference Model- and View-Based Approach to System Specification.” Int. Journal of Software and Knowledge Engeneering, vol. 7, no. 4, 1997, pp. 457–77.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7515
Ehrig, Hartmut, et al. “Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach.” Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations, World Scientific, 1997, pp. 247–312.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7516
Engels, Gregor, et al. “How to Represent a Visual Specification.” Visual Language Theory, Springer, 1997, pp. 241–55.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7517
Corradini, Andrea, et al. “Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach.” Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations, World Scientific, 1997, pp. 163–245.
LibreCat
1997 | Journal Article | LibreCat-ID: 16564
Grigoriev, Dima, et al. “A Lower Bound for Randomized Algebraic Decision Trees.” Computational Complexity, 1997, pp. 357–75, doi:10.1007/bf01270387.
LibreCat
| DOI
1997 | Journal Article | LibreCat-ID: 16565
Czumaj, Artur, et al. “Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Architectures.” Information and Computation, 1997, pp. 103–20, doi:10.1006/inco.1997.2642.
LibreCat
| DOI
1997 | Journal Article | LibreCat-ID: 16567
Meyer auf der Heide, Friedhelm, et al. “Optimal Tradeoffs Between Size and Slowdown for Universal Parallel Networks.” Theory of Computing Systems, 1997, pp. 627–44, doi:10.1007/s002240000071.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 16568
Fischer, Matthias, et al. “Dynamic Data Structures for Realtime Management of Large Geometric Scenes.” 5th Annual European Symposium on Algorithms (ESA ’97), vol. 1284, Springer, 1997, pp. 1157–70, doi:10.1007/3-540-63397-9_13.
LibreCat
| DOI
1997 | Book Chapter | LibreCat-ID: 16569
Meyer auf der Heide, Friedhelm, and Berthold Vöcking. “Static and Dynamic Data Management in Networks.” Euro-Par’97 Parallel Processing, 1997, doi:10.1007/bfb0002716.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 16604
Berenbrink, Petra, et al. “Allocating Weighted Jobs in Parallel.” Proceedings of the Ninth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’97, 1997, doi:10.1145/258492.258522.
LibreCat
| DOI
1997 | Book Chapter | LibreCat-ID: 16605
Bäumker, Armin, and Friedhelm Meyer auf der Heide. “Communication Efficient Parallel Searching.” Solving Irregularly Structured Problems in Parallel, 1997, doi:10.1007/3-540-63138-0_21.
LibreCat
| DOI
1997 | Book Chapter | LibreCat-ID: 16687
Karaivazoglou, Efstratios, and Friedhelm Meyer auf der Heide. “Routing on Asyncronous Processor Networks.” Euro-Par’97 Parallel Processing, 1997, doi:10.1007/bfb0002741.
LibreCat
| DOI