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.

5712 Publications


1998 | Conference Paper | LibreCat-ID: 3256
Gehrke, Thomas, et al. “An Algebraic Semantics for Message Sequence Chart Documents.” Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France, edited by Stanislaw Budkowski et al., 1998, pp. 3--18.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 3257
Huhn, Michaela, et al. “Partial Order Reductions for Bisimulation Checking.” Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, edited by Vikraman Arvind and Ramaswamy Ramanujam, 1998, pp. 271--282, doi:10.1007/978-3-540-49382-2_26.
LibreCat | DOI
 

1998 | Journal Article | LibreCat-ID: 3028
Blömer, Johannes, and Beat Trachsler. “A Lower Bound for a Class of Graph Based Loss Resilient Codes.” Technical Report/Departement of Computer Science, ETH Zürich, 1998.
LibreCat | Files available
 

1998 | Book Chapter | LibreCat-ID: 17412
Fischer, Matthias, et al. “Geometric Searching in Walkthrough Animations with Weak Spanners in Real Time.” Algorithms — ESA’ 98, 1998, doi:10.1007/3-540-68530-8_14.
LibreCat | Files available | DOI
 

1998 | Conference Paper | LibreCat-ID: 17863
Fischer, Matthias, et al. “A Network Based Approach for Realtime Walkthrough of Massive Models.” Algorithm Engineering, 2nd International Workshop, {WAE ’98}, Max-Planck-Institut für Informatik, 1998, pp. 133--142.
LibreCat | Files available
 

1998 | Report | LibreCat-ID: 18145
Ziegler, Martin, et al. Multimediale Entdeckungsreisen Unserer Welt Mit Dem Internet. 1998.
LibreCat
 

1998 | Dissertation | LibreCat-ID: 18445
Oesterdiekhoff, Brigitte. On Periodic Comparator Networks. 1998.
LibreCat
 

1998 | Journal Article | LibreCat-ID: 2168
Scheideler, Christian, and Berthold Vöcking. “Universal Continuous Routing Strategies.” Theory Comput. Syst., vol. 31, no. 4, 1998, pp. 425--449, doi:10.1007/s002240000096.
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 2169 | OA
Adler, Micah, and Christian Scheideler. “Efficient Communication Strategies for Ad-Hoc Wireless Networks (Extended Abstract).” SPAA, 1998, pp. 259--268.
LibreCat | Files available
 

1998 | Conference Paper | LibreCat-ID: 2170 | OA
Feige, Uriel, and Christian Scheideler. “Improved Bounds for Acyclic Job Shop Scheduling (Extended Abstract).” STOC, 1998, pp. 624--633.
LibreCat | Files available
 

1998 | Journal Article | LibreCat-ID: 21784
Domik, Gitta, and S. Vollbracht. “Dreidimensionale Welten Auf Flachen Bildschirmen.” Zeitschrift Forschungsforum Paderborn, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 21785
D. Stuwe, J., et al. “Visualization of Geographic Data Using VRML-an Internet Client, for a Geographic Information System (GIS).” Proceedings. Computer Graphics International (Cat. No.98EX149), vol. 1, 1998, pp. 111–12, doi:10.1109/CGI.1998.694258.
LibreCat | DOI
 

1998 | Book | LibreCat-ID: 2185
Scheideler, Christian. Universal Routing Strategies for Interconnection Networks. Vol. 1390, 1998, doi:10.1007/BFb0052928.
LibreCat | DOI
 

1998 | Conference (Editor) | LibreCat-ID: 7793
Engels, Gregor, et al., editors. Semi-Formal and Formal Specification Techniques. Vol. 218, Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
LibreCat
 

1998 | Conference (Editor) | LibreCat-ID: 7794
Engels, Gregor, et al., editors. 6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers. Vol. 1764, Springer, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 7843
Depke, Ralph, et al. “Ein Ansatz Zur Verbesserung Des Entwicklungsprozesses von Multimedia-Anwendungen.” Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany), vol. 18, no. 3, GI, 1998, pp. 12–19.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 7844
Didrich, Klaus, and Annika Wagner. “Integration of Single Pushout Transformation and Functional Programming.” Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany), vol. 4, Society for Design and Process Science, 1998, pp. 65–73.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 7845
Cherchago, Alexey. “A Generalized Schema of a Decision-Making Process of a SCENAR-Therapeutist.” Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia), 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 7847
Heckel, Reiko. “Compositional Verification of Reactive Systems Specified by Graph Transformation.” Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), vol. 1382, Springer, 1998, pp. 138–53, doi:http://dx.doi.org/10.1007/BFb0053578.
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 7848
Padberg, Julia, et al. “Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets.” Proceedings of the Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany), Society for Design and Process Science, 1998, pp. 17–28.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed