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


2001 | Conference Paper | LibreCat-ID: 15106
Hüllermeier E. Implication-based fuzzy association rules. In: Raedt D, Siebes A, eds. In Proceedings PKDD-01  5th European Conference on Principles and Practise of Knowledge Discovery in Databases, Freiburg, Germany. Vol 2168. LNAI. Springer; 2001:241-252.
LibreCat
 

2001 | Book Chapter | LibreCat-ID: 16231
Hüllermeier E. Machinelles Lernen und Komplexität. In: Haslinger F, Weise P, eds. Ökonomie Und Gesellschaft, Jahrbuch 17: Komplexität Und Lernen. Metropolis; 2001:255-288.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 2554
Karl H. Relaying ñ bad for energy,  good for capacity? In: Rom/Italy: Eork-in-progress session of mobicom 2001; 2001.
LibreCat | Files available
 

2001 | Journal Article | LibreCat-ID: 7395
Engels G, Gaulke J, Sauer S. Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil. Forschungsforum Paderborn. 2001;4:24-29.
LibreCat
 

2001 | Conference (Editor) | LibreCat-ID: 7787
Mehner K, Mezini M, Pulvermüller E, Speck A, eds. Proceedings of the Workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany). Vol tr-ri-01-223. University of Paderborn; 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8127
Krauter S. New façade system consisting of combined photovoltaic and solar thermal generators with building insulation. In: Proceedings of the 7th International Building Performance Simulation Association Conference, Rio de Janeiro (Brasilien), 13.–15. August 2001, S. 619–626. ; 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8139
Krauter S, Depping T, Ochs F. A Satellite Monitoring System for Remote Renewable Energy Systems in Brazil. In: Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australien), 25.–.30 November 2001, S. 1485–1490. ; 2001.
LibreCat
 

2001 | Report | LibreCat-ID: 8211
Engels G, Küster J, Groenewegen L. On the Specification and Analysis of Protocols in UML-RT. University of Paderborn, Department of Computer Science; 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7883
Depke R, Heckel R. Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform. In: Proceedings of the 9. Kolloquium Software-Entwicklung Für Internet Und Intranet, Ostfildern (Germany). Technische Akademie Esslingen; 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7888
Hendrik Hausmann J, Heckel R, Sauer S. Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams. In: Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy). Washington, DC, USA: IEEE Computer Society; 2001:80-87.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7890
Heckel R. Open Petri Nets as Semantic Model for Business Process Integration. In: Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems. DFG Research Group “Petri Net Technology”; 2001:129-134.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8355
Lohmann M, Wagner A. Using an XML-capable mailtool for the communication in software development projects. In: Proceedings of the Workshop on XML Technologies and Software Engineering (XSE; Satellite Event of the ICSE 2001), Toronto (Canada). ; 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8362
Mehner K, Weymann B. Visualization and Debugging of Concurrent Java Programs with UML. In: Proceedings of the Workshop on Software Visualization (Satellite Event of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada). ; 2001.
LibreCat
 

2001 | Journal Article | LibreCat-ID: 16193
Hüllermeier E. Similarity-based inference as evidential reasoning. International Journal of Approximate Reasoning. 2001;26:67-100.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 15710
Schulte C, Scheel O. Aufgabenbereiche der Medienbildung im Informatikunterricht. In: INFOS. Vol P-8. LNI. {GI}; 2001:157-171.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 2428
Plessl C, Platzner M. Instance-Specific Accelerators for Minimum Covering. In: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press; 2001:85-91.
LibreCat
 

2001 | Mastersthesis | LibreCat-ID: 2430
Plessl C. Reconfigurable Accelerators for Minimum Covering. Computer Engineering and Networks Lab, ETH Zurich, Switzerland; 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7884
Engels G, Heckel R, Küster J. Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. In: Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada). Vol 2185. Berlin/Heidelberg: Springer; 2001:272-287. doi:http://dx.doi.org/10.1007/3-540-45441-1_21
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 7889
Hendrik Hausmann J, Heckel R. Use Cases as views: A formal approach to Requirements engineering in the Unified Process. In: Proceedings of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit (2001), Wien (Österreich). Vol 1. Wien (Österreich): Österreichische Computer Gesellschaft; 2001:595-599.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7891
Heckel R, Sauer S. Strengthening UML Collaboration Diagrams by State Transformations. In: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy). Vol 2029. LNCS. London, UK: Springer; 2001:109-123. doi:http://dx.doi.org/10.1007/3-540-45314-8_9
LibreCat | DOI
 

2001 | Journal Article | LibreCat-ID: 7391
Padberg J, Jansen L, Ehrig H, Schnieder E, Heckel R. Cooperability in Train Control Systems: Specification of Scenarios using Open Nets. Transactions of the Society for Design and Process Science. 2001;5(1):3-21.
LibreCat
 

2001 | Conference (Editor) | LibreCat-ID: 7788
Engels G, Oberweis A, Zündorf A, eds. Modellierung 2001. Vol 1. Bonn: Gesellschaft für Informatik (GI); 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8128
Krauter S, Ochs F, Depping T. Satellite Monitoring of Remote PV-Systems. In: Proceedings of the 17th European Photovoltaic Solar Energy Conference and Exhibition, München (Deutschland), 22.–26. Oktober 2001, Band 3, S. 2598–2599. ; 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8130
Ochs F, Krauter S. Online Energy Monitoring and Control of a School Building. In: Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 2, S. 917–919. ; 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8356
Schattkowsky T, Mehner K, Depke R. Using UML models for the Description of Concurrent Behavior in Component Interfaces. In: Proceedings of the Workshop on Concurrency Issues of the UML (Satellite Event of the International Conference on the Unified Modeling Language - UML 2001), Toronto (Canada). ; 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 995
Karl H, Mengesha S. Analysing capacity improvements in wireless networks by relaying. In: Proc. of IEEE Intl. Conf. on Wireless LANs and Home Networks. ; 2001:339--348.
LibreCat
 

2001 | Journal Article | LibreCat-ID: 16617
Junge O. An adaptive subdivision technique for the approximation of attractors and invariant measures: proof of convergence. Dynamical Systems. 2001:213-222. doi:10.1080/14689360109696233
LibreCat | DOI
 

2000 | Misc | LibreCat-ID: 13094
Hellebrand S, Wunderlich H-J. Hardwarepraktikum Im Diplomstudiengang Informatik. Handbuch Lehre, Berlin, Raabe Verlag; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15108
Hüllermeier E. A method for predicting solutions in case-based problem solving. In: Blanzieri E, Portinale L, eds. In Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy. Springer; 2000:124-135.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 14845
Hüllermeier E. Focusing search by using problem solving experience. In: Horn W, ed. In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany. IOS Press; 2000:55-59.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 16497
Meyer auf der Heide F, Kutyłowski M, Ragde P. Complexity Theory and Algorithms. In: Euro-Par 2000 Parallel Processing. Berlin, Heidelberg; 2000. doi:10.1007/3-540-44520-x_59
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 2145
Scheideler C, Vöcking B. From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols. SIAM J Comput. 2000;30(4):1126--1155. doi:10.1137/S0097539799353431
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 3023
Blömer J. Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices. In: Automata, Languages and Programming. Berlin, Heidelberg: Springer Berlin Heidelberg; 2000:248-259. doi:10.1007/3-540-45022-x_22
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 3251
Wehrheim H. Behavioural Subtyping and Property Preservation. In: F. Smith S, L. Talcott C, eds. Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}. {IFIP} Conference Proceedings. ; 2000:213--231. doi:10.1007/978-0-387-35520-7_11
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 3249
Fischer C, Wehrheim H. Behavioural Subtyping Relations for Object-Oriented Formalisms. In: Rus T, ed. Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings. Lecture Notes in Computer Science. ; 2000:469--483. doi:10.1007/3-540-45499-3_33
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 6692
Bendfeld J, Gruffke M, Ortjohann E, Voss J. Der Solar-Igel Neue Möglichkeiten der Steuerung solarstrahlungsabhängiger Anlagen und Geräte. Bundes Bau Blatt. 2000;3.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7520
Engels G, Kelter U, Depke R, Mehner K. Unterstützende Angebote der Softwarebegleitgruppe. In: Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht. Münster: LIT; 2000:27-56.
LibreCat
 

2000 | Conference (Editor) | LibreCat-ID: 7791
Rolim JDP, Broder AZ, Corradini A, et al., eds. Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland). Waterloo, Ontario, Canada: Carleton Scientific; 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 7397
Corradini A, Heckel R. Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. Bulletin of the EATCS. 2000;(72):69-76.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7861
Lohmann M, Wagner A. Konzeption eines XML-fähigen Mailtools. In: Proceedings of Net.Object Days 2000, Erfurt (Germany). ; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7873
Engels G, Heckel R, Sauer S. UML - A Universal Modeling Language? In: Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark). Vol 1825. LNCS. Berlin/Heidelberg: Springer; 2000:24-38.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7878
Depke R, Heckel R, Küster J. Integrating visual modeling of agent-based and object-oriented systems. In: Proceedings of the Conference on Autonomous Agents (AGENTS 2000), Barcelona (Spain). New York, NY, USA: ACM Press; 2000:82-83. doi:http://dx.doi.org/10.1145/336595.337052
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8124
Krauter S, Araujo RG. New Power Conditioning Unit Incorporating Charge Controller, Energy Flow Monitor, Data Logger, DC/AC Converter for Stand-Alone and Combined PV-Diesel Operation. In: Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow (UK), 1.–5. Mai 2000, S. 2575–2577. . ; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8333
Corradini A, Heckel R, Montanari U. Graphical Operational Semantics. In: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland). Carleton Scientific; 2000:411-418.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8338
Depke R, Heckel R. Formalizing the Development of Agent-Based Systems Using Graph Processes. In: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland). Carleton Scientific; 2000:419-426.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8340
Engels G, Küster J, Groenewegen L. Modeling Concurrent Behavior through Consistent Statechart Views. In: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany). Munich (Germany): Ludwig-Maximilians-University; 2000:44-49.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8345
Küster J, Stroop J. Towards Consistency of Dynamic Models and Analysis of Timing Constraints. In: Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK). York, UK: University of York; 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 17010
Czumaj A, Meyer auf der Heide F, Stemann V. Contention Resolution in Hashing Based Shared Memory Simulations. SIAM Journal on Computing. 2000:1703-1739. doi:10.1137/s009753979529564x
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 11758
Duin RPW, Loog M, Haeb-Umbach R. Multi-class Linear Feature Extraction by Nonlinear PCA. In: International Conference on Pattern Recognition (ICPR 2000). ; 2000.
LibreCat | Download (ext.)
 

2000 | Misc | LibreCat-ID: 13095
Hellebrand S, Liang H-G, Wunderlich H-J. A Mixed Mode BIST Scheme Based on Reseeding of Folding Counters. IEEE European Test Workshop, Cascais, Portugal; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 13610
Eisenring M, Platzner M. Optimization of Run-time Reconfigurable Embedded Systems. In: Proceedings of the 10th International Workshop on Field Programmable Logic and Applications (FPL). Springer; 2000:565-574.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15301
Hüllermeier E. Fuzzy dynamics: Methodological framework and applications of compartmental modeling. In: Dubois DM, ed. In Proceedings CASYS-2000, 4th International Conference on Computing Anticipatory Systems Liège, Belgium. ; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15109
Dubois D, Hüllermeier E, Prade H. Flexible control of case-based prediction in the framework of possibility theory. In: Blanzieri E, Portinale L, eds. In Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy. Springer; 2000:61-73.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15231
Hüllermeier E, Dubois D, Prade H. Knowledge-based extrapolution of cases: A possibilistic approach. In: In Proceedings IPMU-2000 8th International Conference on Information Processing and Management  of Uncertainty in Knowledge-Based Systems, Madrid, Spain. ; 2000:1575-1582.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 16234
Dubois D, Hüllermeier E, Prade H. Formalizing case-based inference using fuzzy rules. In: Pal SK, So DY, Dillon T, eds. Soft Computing in Case-Based Reasoning. Springer; 2000:47-72.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 2146
Berenbrink P, Brinkmann A, Scheideler C. Distributed Path Selection for Storage Networks. In: PDPTA. ; 2000.
LibreCat | Files available
 

2000 | Conference Paper | LibreCat-ID: 2211
Czumaj A, Scheideler C. A New Algorithmic Approach to the General Lovász Local Lemma with Applications to Scheduling and Satisfiability Problems . In: 32nd ACM Symposium on Theory of Computing. ; 2000:38-47.
LibreCat | Files available
 

2000 | Journal Article | LibreCat-ID: 7398
Depke R, Heckel R, Küster J, Langham M. Agenten im Auftrag des Bankkunden. Geldinstitute. 2000;31(1-2):32-33.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7862
Thöne S. Entwicklung eines Übersetzers von Nachrichtenaustauschformaten für Bankselbstbedienungssysteme in XML-Formate. In: Proceedings of the Informatiktage 2000, Bad Schussenried (Germany). Leinfelden - Echterdingen: Konradin-Verlag; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7874
Engels G, Groenewegen L. Object-Oriented Modeling - A Roadmap. In: Proceedings of the Conference on The Future of Software Engineering - Special Track at 22nd International Conference on Software Engineering (ICSE 2000), Limerick (Ireland). New York, NY, USA: ACM Press; 2000:103-116.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7521
Engels G, Depke R, Mehner K. Ergebnisse - vergleichende Darstellung. In: Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht. Münster: LIT; 2000:277-294.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8125
Krauter S, Herold H. PV in Brazil. In: Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow (UK), 1.–5. Mai 2000, S. 2909–2911. ; 2000.
LibreCat
 

2000 | Report | LibreCat-ID: 8207
Depke R, Engels G, Küster J. On the Integration of Roles in the UML. University of Paderborn, Department of Computer Science; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8334
Depke R, Heckel R. Towards Role-based Modeling of Autonomous Agents. 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). ; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8339
Engels G, Heckel R. From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation. In: Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (Satellite Events of the ICALP 2000), Geneva(Switzerland). Carleton Scientific; 2000:373-382.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8341
Gadducci F, Heckel R, Koch M. A Fully Abstract Model for Graph-Interpreted Temporal Logic. In: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany). Vol 1764. LNCS. London, UK: Springer; 2000:310-322. doi:http://dx.doi.org/10.1007/b75045
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8346
Mehner K, Schattkowsky T. Methodische Aspekte von Modellierungssprachen für nebenläufige Software. In: Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany). Vol 24. Universität Münster; 2000:14-18.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 16513
Aston PJ, Dellnitz M. The Computation of Lyapunov Exponents via Spatial Integration Using Vector Norms. In: Equadiff 99. ; 2000. doi:10.1142/9789812792617_0196
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 10725
Platzner M, Rinner B, Weiss R. Toward embedded qualitative simulation: a specialized computer architecture for QSim. IEEE Intelligent Systems. 2000;15(2):62-68. doi:10.1109/5254.850829
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 13609
Eisenring MH, Platzner M. An Implementation Framework for Run-time Reconfigurable Systems. In: Proceedings of the 2nd International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE). CSREA Press; 2000:151-157.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15302
Gueroguieva I, Nestorov I, Rowland M, Hüllermeier E. In vitro-in vivo hepatic clearance prediction using fuzzy sets. In: In Proceedings EUFEPS-2000, 6th European Congress of Pharmaceutical Sciences, Supplement 1 . Vol 11. European Journal of Pharmaceutical Sciences; 2000:S22.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 16196
Hüllermeier E, Giersch C. Fuzzy dynamics and applications in biological systems modelling. Systems Analysis,  Modelling, Simulation. 2000;38:29-50.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 2147
Czumaj A, Scheideler C. Coloring non-uniform hypergraphs: a new algorithmic approach to the general Lovász local lemma. In: SODA. ; 2000:30--39.
LibreCat | Files available
 

2000 | Mastersthesis | LibreCat-ID: 2433
Plessl C, Maurer S. Hardware/Software Codesign in Speech Compression Applications. Computer Engineering and Networks Lab, ETH Zurich, Switzerland; 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7522
Engels G, Groenewegen L, Kappel G. Coordinated Collaboration of Objects. In: Proceedings of Advances in Object-Oriented Modeling. The MIT Press; 2000:307-332.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8126
Krauter S. Sistemas híbridos termo-solares/fotovoltaicos. In: Proceedings of Workshop “Formas Não-Convencionais de Geração e Uso Racional de Energia”, UFSC, Florianópolis, Santa Catarina (Brasilien), 9.–11. November 2000. ; 2000.
LibreCat
 

2000 | Report | LibreCat-ID: 8208
Depke R, Heckel R, Küster J. Modeling Agent-Based Systems with Graph Transformation. University of Paderborn, Department of Computer Science; 2000.
LibreCat
 

2000 | Report | LibreCat-ID: 8210
Mehner K, Wagner A. Ablaufvisualisierung Für Nebenläufige Java-Programme Mit UML Interaktionsdiagrammen. University of Saarbrücken; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7863
Cherchago A, Alexandrova N. A Model of a Physician’s Decision-Making Process using Electropunctural Methods of Diagnostics. In: Proceedings of the All-Russia Students, Young Scientists and Specialists Scientific and Technical Conference on Biotechnical, Medical and Environmental Systems and Complexes (Ryazan, Russia). ; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7875
Engels G, Hendrik Hausmann J, Heckel R, Sauer S. Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In: Proceedings of the 3rd International Conference on the Unified Modeling Language (UML 2000), York (UK). Vol 1939. LNCS. Berlin/Heidelberg: Springer; 2000:323-337. doi:http://dx.doi.org/10.1007/3-540-40011-7_23
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8330
Depke R, Heckel R, Küster J. Modeling Agent-Based Systems with Graph Transformation and UML: From Requirement Specifcation to Object-Oriented Design. In: Proceedings of the Workshop on Graph Transformation Systems (GraTra 2000), Berlin (Germany). Berlin, Germany; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8335
Depke R, Heckel R, Küster J. Requirement Specification and Design of Agent-Based Systems with Graph Transformation, Roles and UML. In: Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (Satellite Event of the ICSE 2000), Limerick (Ireland). Limerick, Ireland: University of Limerick; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8342
Engels G, Zamperoni A. Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?! In: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands). Vol 1779. LNCS. Berlin/Heidelberg: Springer; 2000:359-368. doi:http://dx.doi.org/10.1007/3-540-45104-8_28
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8347
Mehner K, Wagner A. Visualisierung der Synchronisation von Java-Threads mit UML. In: Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany). Vol 15. Koblenzer Schriften zur Informatik. Fölbach; 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 10606
Eisenring M, Platzner M. Synthesis of Interfaces and Communication in Reconfigurable Embedded Systems. IEE Proceedings -- Computers & Digital Techniques. 2000;147:159-165. doi:10.1049/ip-cdt:20000496
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 11779
Haeb-Umbach R. Data-driven Phonetic Regression Class Tree Estimation for MLLR Adaptation. In: International Conference on Spoken Language Processing (ICSLP 2000). ; 2000.
LibreCat | Download (ext.)
 

2000 | Journal Article | LibreCat-ID: 15389
Henning B, Daur P-C, Prange S, Dierks K, Hauptmann P. In-line concentration measurement in complex liquids using ultrasonic sensors. Ultrasonics. 2000:799-803. doi:10.1016/s0041-624x(99)00190-0
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 14999
Volbracht S, Domik G. Developing effective navigation techniques in virtual 3d environments. In: Virtual Environments 2000. Springer; 2000:55-64.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15808
Dubois D, Hüllermeier E, Prade H. Flexible control of case-based prediction in the framework of possibility theory. In: In Proceedings RàPC-2000, Raisonnement à Partir de Cas, Toulouse, France. ; 2000:7-16.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 16495
Meyer auf der Heide F, Räcke H, Westermann M. Data management in hierarchical bus networks. In: Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’00. ; 2000. doi:10.1145/341800.341814
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 2143
Adler M, Scheideler C. Efficient Communication Strategies for Ad Hoc Wireless Networks. Theory Comput Syst. 2000;33(5/6):337--391. doi:10.1007/s002240010006
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 2148
Czumaj A, Scheideler C. Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma. Random Struct Algorithms. 2000;17(3-4):213--237.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 2150
Czumaj A, Scheideler C. A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract). In: STOC. ACM; 2000:38--47.
LibreCat | Files available
 

2000 | Journal Article | LibreCat-ID: 3247
Fischer C, Wehrheim H. Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. Bulletin of the {EATCS}. 2000:92--101.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 6690
Bendfeld J, Gruffke M, Ortjohann E, Peters T, Voss J. FULL AREA COVERAGE MEASURING NETWORK FOR RECORDING THE DISTRIBUTION OF INCIDENT SOLAR RADIATION. In: Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom. ; 2000.
LibreCat
 

2000 | Book | LibreCat-ID: 7509
Doberkat E-E. Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht. LIT Verlag Münster; 2000.
LibreCat
 

2000 | Report | LibreCat-ID: 8209
Heckel R, Llabrés M, Ehrig H, Orejas F. On the Concurrent Semantics of Open Graph Transformation Systems and Views.; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7864
Depke R, Langham M, Lütkemeier B, Thöne S. Ein Konzept zur Generierung von XSL-Transformationen und dessen Anwendung bei Bankselbstbedienungssystemen. In: Proceedings of the Net.ObjectDays (2000), Erfurt (Germany). ; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7876
Hendrik Hausmann J. Graphtransitionsregeln zur Beschreibung der Semantik von UML. In: Proceedings of the Informatiktage 2000, Bad Schussenried (Germany). Leinfelden - Echterdingen: Konradin Verlag; 2000:103-107.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8329
Hendrik Hausmann J, Heckel R, Sauer S. Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung. 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). ; 2000.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed