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.

4504 Publications


2000 | Conference Paper | LibreCat-ID: 8331
Heckel R, Llabrés M, Ehrig H, Orejas F. Concurrency of Double-Pullback Graph Transitions. In: Proceedings of Workshop on Graph Transformation Systems (GraTra; Satellite Event of the ETAPS 2000), Berlin (Germany). ; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8336
Depke R, Heckel R, Küster J. Deploying Agents in an Electronic Banking Environment. In: Proceedings of the Workshop on Agents in Industry (Agents 2000; Satellite Event of the 4th International Conference on Autonomous Agents), Barcelona (Spain). ; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8343
Heckel R, Sauer S. Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML. In: Proceedings of the 7th GI-Workshop GROOM. Vol 20. University of Koblenz-Landau; 2000:43-44.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 16553
Dellnitz M, Froyland G, Sertl S. A Conjecture on the Existence of Isolated Eigenvalues of the Perron-Frobenius Operator. In: Equadiff 99. ; 2000. doi:10.1142/9789812792617_0199
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 16616
Junge O. Rigorous discretization of subdivision techniques. In: Equadiff 99. ; 2000. doi:10.1142/9789812792617_0178
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 17018
Dellnitz M, Junge O, Rumpf M, Strzodka R. The computation of an unstable invariant set inside a cylinder containing a knotted flow. In: Equadiff 99. ; 2000:1053--1059. doi:10.1142/9789812792617_0204
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 11869
Lieb M, Haeb-Umbach R. LDA derived cepstral trajectory filters in adverse environmental conditions. In: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2000). Vol 2. ; 2000:II1105-II1108 vol.2. doi:10.1109/ICASSP.2000.859157
LibreCat | DOI | Download (ext.)
 

2000 | Conference Paper | LibreCat-ID: 11871
Loog M, Haeb-Umbach R. Multi-class Linear Dimension Reduction by Generalized Fisher Criteria. In: International Conference on Spoken Language Processing (ICSLP 2000). ; 2000.
LibreCat | Download (ext.)
 

2000 | Conference Paper | LibreCat-ID: 13005
Hellebrand S, Liang H-G, Wunderlich H-J. A Mixed Mode BIST Scheme Based on Reseeding of Folding Counters. In: {IEEE International Test Conference (ITC’00)}. Atlantic City, NJ, USA: {IEEE}; 2000:778-784. doi:10.1109/test.2000.894274
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 15018
Domik G. Do we need formal education in visualization? IEEE Computer Graphics and Applications. 2000;20(4):16-19.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15063
Hüllermeier E. Change detection in heuristic search. In: Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas. ; 2000:898-903.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 14844
Hüllermeier E. Similarity-based inference as evidential reasoning. In: Horn W, ed. In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany. IOS Press; 2000:50-54.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 16496
Meyer auf der Heide F, Vöcking B, Westermann M. Caching in networks (extended abstract). In: SODA ’00: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms. ; 2000:430–439.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 16198
Hüllermeier E, Kraft M, Weise P. Evaluation and specification of a synergetic business cycle model with German data. Homo Oeconomicus XVI. 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 1920
Karl H, Polze A, Werner M. Predictable Network Computing using Message-driven Scheduling. In: Proc. the Workshop on Run-Time Systems for Parallel Programming. ; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 2149
Brinkmann A, Salzwedel K, Scheideler C. Efficient, distributed data placement strategies for storage area networks (extended abstract). In: SPAA. ; 2000:119--128.
LibreCat | Files available
 

2000 | Conference Paper | LibreCat-ID: 3250
Wehrheim H. Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods. In: S. E. Maibaum T, ed. Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Lecture Notes in Computer Science. ; 2000:334--348. doi:10.1007/3-540-46428-X_23
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 3248
Wehrheim H. Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. Formal Asp Comput. 2000;(3):147--164. doi:10.1007/s001650070026
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 6507
Platzner M. Reconfigurable accelerators for combinatorial problems. Computer. 2000;33(4):58-60. doi:10.1109/2.839322
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 6691
Bendfeld J, Bettenwort G, Drilling C, et al. MODEL FOR EVALUATING MPP METHODS FOR GRID-CONNECTED PV PLANTS. In: Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom. ; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7872
Engels G, Heckel R. Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution. In: Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland). Vol 1853. LNCS. Berlin/Heidelberg: Springer; 2000:127-150. doi:http://dx.doi.org/10.1007/3-540-45022-X_12
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 7877
Mehner K, Wagner A. Visualizing the Synchronization of Java-Threads with UML. In: Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington). Washington, DC, USA: IEEE Computer Society; 2000:199-206.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 7396
Engels G, Heckel R. Graph Transformation and Visual Modeling Techniques. Bulletin of the EATCS. 2000;(71):186-202.
LibreCat
 

2000 | Conference (Editor) | LibreCat-ID: 7790
Ehrig H, Engels G, Kreowksi H-J, Taentzer G, eds. Special Issue: Selected Papers of GRATRA 2000. Vol 44. Amsterdam, The Netherlands: Elsevier; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8332
Busatto G, Engels G, Mehner K, Wagner A. A Framework for Adding Packages to Graph Transformation Approaches. In: Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT ’98), Paderborn (Germany). Vol 1764. LNCS. Berlin/Heidelberg: Springer; 2000:352-367. doi:http://dx.doi.org/10.1007/b75045
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8337
Depke R, Heckel R, Küster J. Rollenbasierte Modellierung autonomer Agenten. In: Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany). Münster: Universität Münster; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8344
Heckel R, Sauer S. Strengthening the Semantics of UML Collaboration Diagrams. In: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany). Munich (Germany): Ludwig-Maximilians-University; 2000:63-69.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 16554
Dellnitz M, Froyland G, Sertl S. On the isolated spectrum of the Perron-Frobenius operator. Nonlinearity. 2000:1171-1188. doi:10.1088/0951-7715/13/4/310
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 13006
Hellebrand S, Wunderlich H-J, A. Ivaniuk A, V. Klimets Y, N. Yarmolik V. Error Detecting Refreshment for Embedded DRAMs. In: {17th IEEE VLSI Test Symposium (VTS’99)}. Dana Point, CA, USA: {IEEE (Comput. Soc.)}; 1999:384-390. doi:10.1109/vtest.1999.766693
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 13607
Mencer O, Platzner M. Dynamic circuit generation for Boolean satisfiability in an object-oriented design environment. In: Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences (HICSS-32). IEEE CS Press; 1999. doi:10.1109/hicss.1999.772883
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 16199
Hüllermeier E. Numerical methods for fuzzy initial value problems. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems. 1999;7(5):439-461.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 15711
Schulte C, Selke H, Huth C. Kooperative Arbeitsplattformen - CSCW-Systeme in Lehr- und Lernkontexten. LOG IN. 1999;19(3/4):40.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 2164
Berenbrink P, Scheideler C. Locally Efficient On-Line Strategies for Routing Packets Along Fixed Paths. In: SODA. ; 1999:112--121.
LibreCat | Files available
 

1999 | Conference Paper | LibreCat-ID: 2210
Berenbrink P, Riedel M, Scheideler C. Design of the PRESTO Multimedia Storage Network (Extended Abstract). In: International Workshop on Communication and Data Management in Large Networks (CDMLarge). ; 1999:2-12.
LibreCat | Files available
 

1999 | Conference Paper | LibreCat-ID: 6673
Bendfeld J, Bettenwort G, Ortjohann E, Voss J. Layout for a wind-power-driven, reverse osmosis installation for desalting brackish water in operation on an island. In: Proceedings of the 1999 European Wind Energy Conference, 1-5 March 1999 Nice, France, Pp975-978. ; 1999.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 7518
Heckel R, Engels G, Ehrig H, Taentzer G. A View-based Approach to System Modeling Based on Open Graph Transformation Systems. In: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools. Singapore: World Scientific; 1999:639-668.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 7400
Cherchago A, Finaev V. Formalization of the development process for a software-hardware reflexodiagnostic tool. Scientific bulletin of Academy of Information Technologies in Education, Science and Balneology. 1999;3.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 7859
Heckel R. Modeling Agent-Based Systems with Graph Transformation and UML. In: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems. ; 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8117
Salhi MJ, Krauter S, Lemoine R, Triebel C, Schroer S, Araújo RG. Combined Photovoltaic and Solar Thermal Systems for Facade Integration and Building Insulation. In: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999, II-88. ; 1999.
LibreCat
 

1999 | Report | LibreCat-ID: 8206
Engels G, Dassen R, Groenewegen L, G. Sprinkhuizen-Kuyper I, Koopman P, Jan t’Hoen P. A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science; 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8321
Sauer S, Engels G. UML-basierte Modellierung von Multimediaanwendungen. In: Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe. Karlsruhe, Germany: Teubner, Stuttgart; 1999:155-170.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8326
Engels G, Sauer S. MVC-Based Modeling Support for Embedded Real-Time Systems. In: Proceedings of OMER Workshop, Herrsching, Germany. Herrsching, Universität der Bundeswehr München, Fakultät für Informatik; 1999:11-14.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 16889
Lenz C, Stüwe JD, Domik-Kienegger G, Gaulke J. Ein Internet-Client für ein Geo-Informationssystem zur Visualisierung geowissenschaftlicher Daten. In: Vol Heft Nr. 8. Universität Rostock; 1999.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 17053
Meyer auf der Heide F, Vöcking B, Westermann M. Provably Good and Practical Strategies for Non-uniform Data Management in Networks. In: Algorithms - ESA’ 99. Berlin, Heidelberg; 1999. doi:10.1007/3-540-48481-7_9
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 11791
Haeb-Umbach R, Loog M. An Investigation of Cepstral Parameterisations for Large Vocabulary Speech Recognition. In: Eurospeech. ; 1999.
LibreCat | Download (ext.)
 

1999 | Conference Paper | LibreCat-ID: 13608
Eisenring M, Platzner M, Thiele L. Communication Synthesis for Reconfigurable Embedded Systems. In: Proceedings of the 9th International Workshop on Field Programmable Logic and Applications (FPL). Vol 1673. LCS. Springer; 1999:205-214. doi:10.1007/978-3-540-48302-1_21
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 15712
Hampel T, Magenheim J, Schulte C. Dekonstruktion von Informatiksystemen als Unterrichtsmethode - Zugang zu objektorientierten Sichtweisen im Informatikunterricht. In: INFOS. Informatik Aktuell. Springer; 1999:149-164.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 16501
Meyer auf der Heide F, Vöcking B. Shortest-Path Routing in Arbitrary Networks. Journal of Algorithms. 1999:105-131. doi:10.1006/jagm.1998.0980
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 2165
Berenbrink P, Riedel M, Scheideler C. Simple Competitive Request Scheduling Strategies. In: SPAA. ; 1999:33--42.
LibreCat | Files available
 

1999 | Conference Paper | LibreCat-ID: 3024
Blömer J, Seifert J-P. On the complexity of computing short linearly independent vectors and short bases in a lattice. In: Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing  - STOC ’99. ACM Press; 1999. doi:10.1145/301250.301441
LibreCat | Files available | DOI
 

1999 | Journal Article | LibreCat-ID: 3252
Wehrheim H. Partial order reductions for failures refinement. Electr Notes Theor Comput Sci. 1999:71--84. doi:10.1016/S1571-0661(05)80296-8
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 7401
Andries M, Engels G, Habel A, et al. Graph Transformation for Specification and Programming. Science of Computer Programming. 1999;34(1):1-54. doi:http://dx.doi.org/10.1016/S0167-6423(98)00023-9
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 7850
Corradini A, Heckel R, Montanari U. Tile Transition Systems as Structured Coalgebras. In: Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99). Vol 1684. LNCS. Berlin/Heidelberg: Springer; 1999:13-38.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 7519
Heckel R, Engels G, Ehrig H, Taentzer G. Classification and Comparison of Module Concepts for Graph Transformation Systems. In: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools. Vol 2. Singapore: World Scientific; 1999:669-689.
LibreCat
 

1999 | Conference (Editor) | LibreCat-ID: 7792
Engels G, Beiersdörfer K, Schäfer W, eds. Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany). Berlin/Heidelberg: Springer; 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8118
Krauter S, Stephan R, Bastos L. Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro. In: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288. ; 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8120
Krauter S. The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics. In: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375. ; 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8322
Sauer S, Engels G. OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems. In: Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA). Indian Wells, California, USA; 1999:64-71.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8327
Mehner K, Wagner A. An Assessment of Aspect Language Design. In: Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany). ; 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 16537
Dellnitz M, Junge O. On the Approximation of Complicated Dynamical Behavior. SIAM Journal on Numerical Analysis. 1999:491-515. doi:10.1137/s0036142996313002
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 11780
Haeb-Umbach R. Investigations on inter-speaker variability in the feature space. In: ICASSP99 Phoenix, AZ. ; 1999.
LibreCat | Download (ext.)
 

1999 | Conference Paper | LibreCat-ID: 11805
Harris MJ, Aubert XL, Haeb-Umbach R, Beyerlein P. A study of broadcast news audio stream segmentation and segment clustering. In: Eurospeech. ; 1999.
LibreCat | Download (ext.)
 

1999 | Conference Paper | LibreCat-ID: 11728
Beyerlein P, Aubert XL, Haeb-Umbach R, et al. The Philips/RWTH system for transcription of broadcast news. In: Eurospeech. ; 1999.
LibreCat | Download (ext.)
 

1999 | Book | LibreCat-ID: 13065
Hellebrand S. Selbsttestbare Steuerwerke - Strukturen Und Syntheseverfahren. Verlag Dr. Kovac, Hamburg: Verlag Dr. Kovac, Hamburg; 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 15232
Hüllermeier E, Dubois D, Prade H. Extensions of a qualitative approach to case-based decision making: Unvertainty and fuzzy quantification in act evaluation. In: Zimmermann HJ, ed. In Proceedings EUFIT-99 7th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany. ; 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 16502
Berenbrink P, Meyer auf der Heide F, Schröder K. Allocating Weighted Jobs in Parallel. Theory of Computing Systems. 1999:281-300. doi:10.1007/s002240000119
LibreCat | DOI
 

1999 | Book Chapter | LibreCat-ID: 16235
Hüllermeier E. Qualitatives Schließen und Qualitative Simulation. In: Szczerbicka H, Uthmann T, eds. Modellierung, Simulation Und Künstliche Intelligenz. SCS Publishing House, Erlangen; 1999:277-310.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 2166
Scheideler C, Vöcking B. From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols. In: STOC. ; 1999:215--224.
LibreCat | Files available
 

1999 | Conference Paper | LibreCat-ID: 3253
Wehrheim H. Data Abstraction for {CSP-OZ}. In: M. Wing J, Woodcock J, Davies J, eds. FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}. Lecture Notes in Computer Science. ; 1999:1028--1047. doi:10.1007/3-540-48118-4_5
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 7399
Depke R, Engels G, Mehner K, Sauer S, Wagner A. Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen. Informatik Forschung und Entwicklung. 1999;14(2):83-94. doi:http://dx.doi.org/10.1007/s004500050128
LibreCat | DOI
 

1999 | Book | LibreCat-ID: 7510
Ehrig H, Engels G, Kreowski HJ, Rozenberg G. Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools. River Edge, NJ, USA: World Scientific Publishing Co., Inc.; 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8119
Krauter S, Schmid U. Cooling and Less Reflections at Photovoltaic Modules by a Frontside Water Film. In: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999,. ; 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8121
Krauter S, Schmid U. Optical and Thermal Improvements of PV Performance by a Flowing Film of Water at the Frontside of PV Generators. . In: Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126. ; 1999.
LibreCat
 

1999 | Report | LibreCat-ID: 8203
Ehrig H, Heckel R, Llabrés M, Orejas F. Basic Properties of Double Pullback Graph Transitions. Technical University of Berlin; 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 7849
Deugo D, Küster J, Oppacher F, von Otte I. Patterns as a Means for Intelligent Software Engineering. In: Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA). Vol 2. CSREA Press; 1999:605-611.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 7851
Cherchago A. Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development. In: Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia). ; 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 7856
Engels G, Hücking R, Sauer S, Wagner A. UML Collaboration Diagrams and Their Transformation to Java. In: Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA. Vol 1723. LNCS. Berlin/Heidelberg: Springer; 1999:473-488.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8323
Corradini A, Große-Rhode M, Heckel R. An Algebra of Graph Derivations using Finite (co-) limit Double Theories. In: Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal). Vol 1589. LNCS. Berlin/Heidelberg: Springer; 1999:92-106. doi:http://dx.doi.org/10.1007/3-540-48483-3_7
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 8328
Mehner K, Wagner A. On the Role of Method Families in Aspect Oriented Programming. In: Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain). Vol 1743. LNCS. Berlin/Heidelberg: Springer; 1999:305-306.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 17017
Bürkle D, Dellnitz M, Junge O, Rumpf M, Spielberg M. Visualizing Complicated Dynamics. Proceedings of Visualization 99. 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 11729
Beyerlein P, Aubert XL, Haeb-Umbach R, et al. The Philips/RWTH System for Transcription of Broadcast News. In: Broadcast News Transcription and Understanding Workshop, Washington. ; 1999.
LibreCat | Download (ext.)
 

1999 | Conference Paper | LibreCat-ID: 13066
N. Yarmolik V, V. Bykov I, Hellebrand S, Wunderlich H-J. Transparent Word-Oriented Memory BIST Based on Symmetric March Algorithms. In: {Third European Dependable Computing Conference (EDCC-3)}. Prague, Czech Republic; 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 15233
Hüllermeier E. Toward models of case-based decision making. In: Zimmermann HJ, ed. In Proceedings EUFIT-99 7th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany. ; 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 15062
Hüllermeier E. Toward a probabilistic formalization of case-based inference. In: Dean T, ed. In Proceedings IJCAI-99, 16th International Joint Conference on Artificial Intelligence, Stockholm, Sweden. Morgan Kaufmann; 1999:248-253.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 16200
Hüllermeier E. Approximation of uncertain funtional relationships. Fuzzy Sets and Systems. 1999;101(2):227-240.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 3254
Fischer C, Wehrheim H. Model-Checking {CSP-OZ} Specifications with {FDR}. In: Araki K, Galloway A, Taguchi K, eds. Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999. ; 1999:315--334.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8122
Krauter S. Híbridos Termo/Solares Fotovoltaicos (Combined Solar–Thermal/Photovoltaic Systems). In: Proceedings of Workshop Energias Alternativas Para Produção de Calor, Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis, Santa Catarina (Brasilien), 6.–9. Dezember 1999. ; 1999.
LibreCat
 

1999 | Report | LibreCat-ID: 8204
Engels G, Hücking R, Sauer S, Wagner A. UML Collaboration Diagrams and Their Transformation to Java. University of Paderborn, Department of Computer Science; 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 7852
Engels G, Depke R, Borowski C. Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung. In: Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen. Vol 8. Ostfildern: Technische Akademie Esslingen; 1999:531-540.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 874
Karl H. Towards Quality of Service for Parallel Computing: An Overview of the MILAN Project. In: High-Performance Computing and Networking, 7th International Conference, HPCN Europe 1999, Amsterdam, The Netherlands, April 12-14, 1999, Proceedings. ; 1999:841--850. doi:10.1007/BFb0100644
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 8324
Corradini A, Heckel R, Montanari U. From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. In: Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99). Vol 19. Electronic Notes in TCS. Amsterdam, The Netherlands: Elsevier; 1999:118-141. doi:http://dx.doi.org/10.1016/S1571-0661(05)80273-7
LibreCat | DOI
 

1999 | Book Chapter | LibreCat-ID: 16584
Deuflhard P, Dellnitz M, Junge O, Schütte C. Computation of Essential Molecular Dynamics by Subdivision Techniques. In: Computational Molecular Dynamics: Challenges, Methods, Ideas. Berlin, Heidelberg; 1999. doi:10.1007/978-3-642-58360-5_5
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 13067
Hellebrand S, Wunderlich H-J, N. Yarmolik V. Symmetric Transparent BIST for RAMs. In: {Design, Automation and Test in Europe (DATE’99)}. Munich, Germany; 1999:702-707.
LibreCat
 

1999 | Misc | LibreCat-ID: 13093
Hellebrand S, Wunderlich H-J, N. Yarmolik V. Exploiting Symmetries to Speed Up Transparent BIST. 11th GI/ITG/GMM/IEEE Workshop; 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 15234
Hüllermeier E. A possibilistic formalization of case-based reasoning and decision making. In: Reusch B, ed. In Proceedings of the 6th International Conference on Computational Intelligence, Dortmund, Germany. Vol 1625. LNCS. Springer; 1999:411-420.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 15107
Hüllermeier E. Exploiting similarity for supporting data analysis and problem solving. In: Hand DJ, Kok JN, Berthold MR, eds. In Proceedings IDA-1999, 3th International Symposium on Intelligent Data Analysis, Amsterdam, Netherlands. Vol 1642. LNCS. Springer; 1999:257-268.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 15809
Hüllermeier E, Dubois D, Prade H. Fuzzy rules in case-based reasoning. In: In Proceedings RàPC-1999, Raisonnement à Partir de Cas, Paris Palaiseau, France, In Conferences AFIA-1999. ; 1999:45-54.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 2151
Flammini M, Scheideler C. Simple, Efficient Routing Schemes for All-Optical Networks. Theory Comput Syst. 1999;32(3):387--420. doi:10.1007/s002240000123
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 7858
Gadducci F, Heckel R, Llabrés M. A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. In: Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK). Vol 29. Electronic Notes in Theoretical Computer Science. Elsevier; 1999:80-100. doi:http://dx.doi.org/10.1016/S1571-0661(05)80309-3
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 7860
Sauer S, Engels G. Extending UML for Modeling of Multimedia Applications. In: Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan). Tokyo, Japan: IEEE Computer Society; 1999:80-87. doi:http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed