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.
5714 Publications
2002 | Conference Paper | LibreCat-ID: 15707
Theoriegeleitete Entwicklung und Evaluation von Neuen Medien für die Lehre
C. Schulte, in: GI Jahrestagung, GI, 2002, pp. 408–415.
LibreCat
C. Schulte, in: GI Jahrestagung, GI, 2002, pp. 408–415.
2002 | Conference Paper | LibreCat-ID: 15708
Das Sieben-Schritte-Schema zur Dekonstruktion objektorientierter Software
C. Schulte, U. Block, in: DDI, GI, 2002, pp. 3–12.
LibreCat
C. Schulte, U. Block, in: DDI, GI, 2002, pp. 3–12.
2002 | Conference Paper | LibreCat-ID: 14843
On the representation and combination of evidence in instance-based learning
E. Hüllermeier, in: In Proceedings ECAI-2002, 15th European Conference on Artificial Intelligence, Lyon, France, IOS Press, 2002, pp. 360–364.
LibreCat
E. Hüllermeier, in: In Proceedings ECAI-2002, 15th European Conference on Artificial Intelligence, Lyon, France, IOS Press, 2002, pp. 360–364.
2002 | Conference Paper | LibreCat-ID: 15064
A fuzzy set approach to flexible case-based querying: methodology and experimentation
M. De Calmès, D. Dubois, E. Hüllermeier, H. Prade, F. Sèdes, in: D. Fensel, F. Giunchiglia, D. Mc Guinness, M.A. Williams (Eds.), In Proceedings KR-02, 8th International Conference on Principles of Knowledge Representation and Reasoning, France, Morgan Kaufmann, 2002, pp. 449–458.
LibreCat
M. De Calmès, D. Dubois, E. Hüllermeier, H. Prade, F. Sèdes, in: D. Fensel, F. Giunchiglia, D. Mc Guinness, M.A. Williams (Eds.), In Proceedings KR-02, 8th International Conference on Principles of Knowledge Representation and Reasoning, France, Morgan Kaufmann, 2002, pp. 449–458.
2002 | Conference Paper | LibreCat-ID: 15098
Association rules for expressing gradual dependencies
E. Hüllermeier, in: In Proceedings PKDD-02 6th European Conference on Principles and Practise of Knowledge Discovery in Databases, Helsinki, Finland, Springer, 2002, pp. 200–211.
LibreCat
E. Hüllermeier, in: In Proceedings PKDD-02 6th European Conference on Principles and Practise of Knowledge Discovery in Databases, Helsinki, Finland, Springer, 2002, pp. 200–211.
2002 | Conference Paper | LibreCat-ID: 15101
Possibilistic induction in decision tree learning
E. Hüllermeier, in: In Proceedings ECML-02, 13th European Conference on Machine Learning, Helsinki Finland, Springer, 2002, pp. 173–184.
LibreCat
E. Hüllermeier, in: In Proceedings ECML-02, 13th European Conference on Machine Learning, Helsinki Finland, Springer, 2002, pp. 173–184.
2002 | Conference Paper | LibreCat-ID: 15226
Mining implication-based fuzzy association rules in databases
E. Hüllermeier, in: In Proceedings IPMU-2002 9th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems,Annecy, France, 2002, pp. 101–108.
LibreCat
E. Hüllermeier, in: In Proceedings IPMU-2002 9th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems,Annecy, France, 2002, pp. 101–108.
2002 | Conference Paper | LibreCat-ID: 15227
Exploiting similarity and experience in decision making
E. Hüllermeier, in: In Proceedings FUZZ-IEEE-02, IEEE International Conference on Fuzzy Systems, Honolulu, Hawaii, 2002, pp. 729–734.
LibreCat
E. Hüllermeier, in: In Proceedings FUZZ-IEEE-02, IEEE International Conference on Fuzzy Systems, Honolulu, Hawaii, 2002, pp. 729–734.
2002 | Conference Paper | LibreCat-ID: 15228
Case-based quering and prediction: A fuzzy set approach
M. De Calmès, D. Dubois, E. Hüllermeier, H. Prade, F. Sèdes, in: In Proceedings FUZZ-IEEE-02, IEEE International Conference on Fuzzy Systems, Honolulu, Hawaii, 2002, pp. 735–740.
LibreCat
M. De Calmès, D. Dubois, E. Hüllermeier, H. Prade, F. Sèdes, in: In Proceedings FUZZ-IEEE-02, IEEE International Conference on Fuzzy Systems, Honolulu, Hawaii, 2002, pp. 735–740.
2002 | Journal Article | LibreCat-ID: 16191
Model adaption in possibilistic instance-based reasoning
E. Hüllermeier, D. Dubois, H. Prade, IEEE Transactions on Fuzzy Systems 10 (2002) 333–339.
LibreCat
E. Hüllermeier, D. Dubois, H. Prade, IEEE Transactions on Fuzzy Systems 10 (2002) 333–339.
2002 | Journal Article | LibreCat-ID: 16192
Fuzzy set-based methods in instance-based reasoning
D. Dubois, E. Hüllermeier, H. Prade, IEEE Transactions on Fuzzy Systems 10 (2002) 322–332.
LibreCat
D. Dubois, E. Hüllermeier, H. Prade, IEEE Transactions on Fuzzy Systems 10 (2002) 322–332.
2002 | Book Chapter | LibreCat-ID: 16232
Knowledge-based extrapolation of cases: A possibilistic approach
E. Hüllermeier, D. Dubois, H. Prade, in: B. Bouchon-Meunier, J. Gutierrez-Rios, L. Magdalena, R.R. Yager (Eds.), Technologies for Constructing Intelligent Systems, Springer, 2002, pp. 377–390.
LibreCat
E. Hüllermeier, D. Dubois, H. Prade, in: B. Bouchon-Meunier, J. Gutierrez-Rios, L. Magdalena, R.R. Yager (Eds.), Technologies for Constructing Intelligent Systems, Springer, 2002, pp. 377–390.
2002 | Conference Paper | LibreCat-ID: 1001
Using only Proportional Jitter Scheduling at the boundary of a Differentiated Service Network: simple and efficient
T.N. Quynh, H. Karl, A. Wolisz, K. Rebensburg, in: Universal Multiservice Networks, 2002. ECUMN 2002. 2nd European Conference On, 2002, pp. 116--123.
LibreCat
T.N. Quynh, H. Karl, A. Wolisz, K. Rebensburg, in: Universal Multiservice Networks, 2002. ECUMN 2002. 2nd European Conference On, 2002, pp. 116--123.
2002 | Conference Paper | LibreCat-ID: 1009
Using akaroa2 with omnet++
S. Sroka, H. Karl, in: 2nd International OMNeT++ Workshop, Berlin, Germany, 2002.
LibreCat
| Files available
S. Sroka, H. Karl, in: 2nd International OMNeT++ Workshop, Berlin, Germany, 2002.
2002 | Journal Article | LibreCat-ID: 1014
New scheduling algorithm for providing proportional jitter in differentiated services network
T. Ngo-Quynh, H. Karl, A. Wolisz, K. Rebensburg, Proceedings of IST Mobile Communication and Wireless Telecommunications Summit, Thessaloniki, Greece (2002).
LibreCat
T. Ngo-Quynh, H. Karl, A. Wolisz, K. Rebensburg, Proceedings of IST Mobile Communication and Wireless Telecommunications Summit, Thessaloniki, Greece (2002).
2002 | Conference Paper | LibreCat-ID: 1020
Effects of prediction inaccuracy on the performance of channelstate-aware link layer schedulers
A. Aguiar, H. Karl, A. Wolisz, in: Proc. of 1st Intl. Conf. on Mobile and Ubiquitous Multimedia, 2002, pp. 21--33.
LibreCat
A. Aguiar, H. Karl, A. Wolisz, in: Proc. of 1st Intl. Conf. on Mobile and Ubiquitous Multimedia, 2002, pp. 21--33.
2002 | Conference Paper | LibreCat-ID: 13611
Non-preemptive Multitasking on FPGAs: Task Placement and Footprint Transform
H. Walder, M. Platzner, in: Proceedings of the 2nd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2002, pp. 24–30.
LibreCat
H. Walder, M. Platzner, in: Proceedings of the 2nd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2002, pp. 24–30.
2002 | Book Chapter | LibreCat-ID: 34447
An OCL Extension for Real-Time Constraints
S. Flake, W. Müller, in: T. Clark, J. Warmer (Eds.), Advances in Object Modelling with the OCL, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 150–171.
LibreCat
| DOI
S. Flake, W. Müller, in: T. Clark, J. Warmer (Eds.), Advances in Object Modelling with the OCL, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 150–171.
2002 | Journal Article | LibreCat-ID: 34576
Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken
H.J. Eikerling, W. Müller, J. Wegener, It+ti (2002) 128–136.
LibreCat
H.J. Eikerling, W. Müller, J. Wegener, It+ti (2002) 128–136.
2002 | Conference Paper | LibreCat-ID: 3041
Computing sums of radicals in polynomial time
J. Blömer, in: [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science, IEEE Comput. Soc. Press, 2002.
LibreCat
| Files available
| DOI
J. Blömer, in: [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science, IEEE Comput. Soc. Press, 2002.
2002 | Journal Article | LibreCat-ID: 35857
Denesting by Bounded Degree Radicals
J. Blömer, Algorithmica 28 (2002) 2–15.
LibreCat
| DOI
J. Blömer, Algorithmica 28 (2002) 2–15.
2002 | Conference Paper | LibreCat-ID: 39371
RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents
R. Schäfer, A. Dangberg, W. Müller, in: Proceedings of the VHE Workshop, Paderborn, Germany, 2002.
LibreCat
R. Schäfer, A. Dangberg, W. Müller, in: Proceedings of the VHE Workshop, Paderborn, Germany, 2002.
2002 | Conference Paper | LibreCat-ID: 39370
Distributed Video-on-Demand Services on Peer to Peer Basis
C. Loeser, P. Altenbernd, M. Ditze, W. Müller, in: Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), 2002.
LibreCat
C. Loeser, P. Altenbernd, M. Ditze, W. Müller, in: Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), 2002.
2002 | Conference Paper | LibreCat-ID: 39378
Fuzzy Rules for the Transcoding of HTML Files
R. Schäfer, W. Müller, A. Dangberg, in: Proceedings of the HICSS-35, Hawaii, USA, 2002.
LibreCat
R. Schäfer, W. Müller, A. Dangberg, in: Proceedings of the HICSS-35, Hawaii, USA, 2002.
2002 | Conference Paper | LibreCat-ID: 39398
A UML Profile for Real-Time Constraints with the OCL
S. Flake, W. Müller, in: Proceedings of the UML 2002 - The Unified Modeling Language, Springer-Verlag, Dresden, Germany, 2002.
LibreCat
S. Flake, W. Müller, in: Proceedings of the UML 2002 - The Unified Modeling Language, Springer-Verlag, Dresden, Germany, 2002.
2002 | Conference Paper | LibreCat-ID: 39393
Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen
W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, U. Pape, (2002).
LibreCat
W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, U. Pape, (2002).
2002 | Conference Paper | LibreCat-ID: 39382
The Formal Execution Semantics of SpecC
W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya, Japan, 2002.
LibreCat
| DOI
W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya, Japan, 2002.
2002 | Conference Paper | LibreCat-ID: 39387
Comparing Transcoding Tools for Use with a Generic User Interface Format
J. Plomp, R. Schäfer, W. Müller, in: Proceedings of the Extreme Markup Languages 2002, Montreal, Canada, 2002.
LibreCat
J. Plomp, R. Schäfer, W. Müller, in: Proceedings of the Extreme Markup Languages 2002, Montreal, Canada, 2002.
2002 | Conference Paper | LibreCat-ID: 39403
Specification of Real-Time Properties for UML Models
S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.
2002 | Conference Paper | LibreCat-ID: 39402
Temporale Erweiterungen der OCL - Überblick und Aussichten
S. Flake, W. Müller, (2002).
LibreCat
S. Flake, W. Müller, (2002).
2002 | Misc | LibreCat-ID: 47698 |
Construction of Pseudorandom Functions
B. Fricke, Construction of Pseudorandom Functions, 2002.
LibreCat
| Files available
B. Fricke, Construction of Pseudorandom Functions, 2002.
2002 | Misc | LibreCat-ID: 47697
Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems
D. Deveci, Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems, 2002.
LibreCat
D. Deveci, Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems, 2002.
2002 | Misc | LibreCat-ID: 47699
The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography
A. Helbich, The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography, 2002.
LibreCat
A. Helbich, The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography, 2002.
2002 | Misc | LibreCat-ID: 47700
Timing Attacks for Cryptosystems based on Elliptic Curves
D. Schepers, Timing Attacks for Cryptosystems Based on Elliptic Curves, 2002.
LibreCat
D. Schepers, Timing Attacks for Cryptosystems Based on Elliptic Curves, 2002.
2002 | Bachelorsthesis | LibreCat-ID: 47633 |
Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen
U. Hoppe, Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen, 2002.
LibreCat
| Files available
U. Hoppe, Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen, 2002.
2001 | Conference Paper | LibreCat-ID: 2552
Relaying in Wireless Access Networks – A Capacity and Energy-Efficiency Perspective
H. Karl, in: Proc. Wireless World Research Forum Kickoff Meeting (WWRF), München, 2001.
LibreCat
| Files available
H. Karl, in: Proc. Wireless World Research Forum Kickoff Meeting (WWRF), München, 2001.
2001 | Conference Paper | LibreCat-ID: 2554
Relaying ñ bad for energy, good for capacity?
H. Karl, in: Eork-in-progress session of mobicom 2001, Rom/Italy, 2001.
LibreCat
| Files available
H. Karl, in: Eork-in-progress session of mobicom 2001, Rom/Italy, 2001.
2001 | Conference Paper | LibreCat-ID: 2556
IBMS 2 - Integriertes Bandbreiteneffizientes Mobiles Software-Radio System
H. Karl, T. Hentschel, in: Zukunftsperspektiven Der Mobilkommunikation, Symposium Bundesministerium Für Bildung Und Forschung, 2001.
LibreCat
| Files available
H. Karl, T. Hentschel, in: Zukunftsperspektiven Der Mobilkommunikation, Symposium Bundesministerium Für Bildung Und Forschung, 2001.
2001 | Dissertation | LibreCat-ID: 19622
Balls into Bins: A Paradigm for Job Allocation, Data Distribution Processes, and Routing
K. Schröder, Balls into Bins: A Paradigm for Job Allocation, Data Distribution Processes, and Routing, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
LibreCat
| Files available
K. Schröder, Balls into Bins: A Paradigm for Job Allocation, Data Distribution Processes, and Routing, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
2001 | Conference Paper | LibreCat-ID: 19797
Efficient Parallel Simulations of Pulse-Coded Neural Networks (PCNN)
K. Salzwedel, G. Hartmann, C. Wolff, R. Preis, in: Proceedings of the PDPTA 2001, 2001, pp. 463–470.
LibreCat
K. Salzwedel, G. Hartmann, C. Wolff, R. Preis, in: Proceedings of the PDPTA 2001, 2001, pp. 463–470.
2001 | Conference Paper | LibreCat-ID: 2428
Instance-Specific Accelerators for Minimum Covering
C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2001, pp. 85–91.
LibreCat
C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2001, pp. 85–91.
2001 | Journal Article | LibreCat-ID: 2429
Server-Side-Techniken im Web – ein Überblick
C. Plessl, E. Wilde, IX (2001) 88–93.
LibreCat
C. Plessl, E. Wilde, IX (2001) 88–93.
2001 | Mastersthesis | LibreCat-ID: 2430
Reconfigurable Accelerators for Minimum Covering
C. Plessl, Reconfigurable Accelerators for Minimum Covering, Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2001.
LibreCat
C. Plessl, Reconfigurable Accelerators for Minimum Covering, Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2001.
2001 | Conference Paper | LibreCat-ID: 2432
Reconfigurable Processors for Handhelds and Wearables: Application Analysis
R. Enzler, M. Platzner, C. Plessl, L. Thiele, G. Tröster, in: Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications III, 2001, pp. 135–146.
LibreCat
| DOI
R. Enzler, M. Platzner, C. Plessl, L. Thiele, G. Tröster, in: Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications III, 2001, pp. 135–146.
2001 | Journal Article | LibreCat-ID: 3244
Process algebra with action dependencies
A. Rensink, H. Wehrheim, Acta Inf. (2001) 155--234.
LibreCat
| DOI
A. Rensink, H. Wehrheim, Acta Inf. (2001) 155--234.
2001 | Journal Article | LibreCat-ID: 3245
Jass - Java with Assertions
D. Bartetzko, C. Fischer, M. Möller, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2001) 103--117.
LibreCat
| DOI
D. Bartetzko, C. Fischer, M. Möller, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2001) 103--117.
2001 | Conference Paper | LibreCat-ID: 3246
A {CSP} View on {UML-RT} Structure Diagrams
C. Fischer, E.-R. Olderog, H. Wehrheim, in: H. Hu{\ss}mann (Ed.), Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, 2001, pp. 91--108.
LibreCat
| DOI
C. Fischer, E.-R. Olderog, H. Wehrheim, in: H. Hu{\ss}mann (Ed.), Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, 2001, pp. 91--108.
2001 | Journal Article | LibreCat-ID: 2139
Deterministic Routing With Bounded Buffers: Turning Offline Into Online Protocols
F. Meyer auf der Heide, C. Scheideler, Combinatorica 21 (2001) 95--138.
LibreCat
| DOI
F. Meyer auf der Heide, C. Scheideler, Combinatorica 21 (2001) 95--138.
2001 | Conference Paper | LibreCat-ID: 2140 |
Simple Routing Strategies for Adversarial Systems
B. Awerbuch, P. Berenbrink, A. Brinkmann, C. Scheideler, in: FOCS, IEEE Computer Society, 2001, pp. 158--167.
LibreCat
| Files available
B. Awerbuch, P. Berenbrink, A. Brinkmann, C. Scheideler, in: FOCS, IEEE Computer Society, 2001, pp. 158--167.
2001 | Conference Paper | LibreCat-ID: 2141 |
SIMLAB-A Simulation Environment for Storage Area Networks
P. Berenbrink, A. Brinkmann, C. Scheideler, in: PDP, IEEE Computer Society, 2001, pp. 227--234.
LibreCat
| Files available
P. Berenbrink, A. Brinkmann, C. Scheideler, in: PDP, IEEE Computer Society, 2001, pp. 227--234.
2001 | Conference Paper | LibreCat-ID: 2142 |
Simple on-line algorithms for the maximum disjoint paths problem
P. Kolman, C. Scheideler, in: SPAA, 2001, pp. 38--47.
LibreCat
| Files available
P. Kolman, C. Scheideler, in: SPAA, 2001, pp. 38--47.
2001 | Journal Article | LibreCat-ID: 18749
Testing Hypergraph Coloring
A. Czumaj, C. Sohler, Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP) (2001) 493–505.
LibreCat
| DOI
A. Czumaj, C. Sohler, Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP) (2001) 493–505.
2001 | Conference Paper | LibreCat-ID: 18750
Soft Kinetic Data Structures
C. Sohler, A. Czumaj, in: Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms, 2001, pp. 865–872.
LibreCat
C. Sohler, A. Czumaj, in: Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms, 2001, pp. 865–872.
2001 | Journal Article | LibreCat-ID: 18857
Property Testing with Geometric Queries
C. Sohler, A. Czumaj, Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01) (2001) 266–277.
LibreCat
| DOI
C. Sohler, A. Czumaj, Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01) (2001) 266–277.
2001 | Conference Paper | LibreCat-ID: 18964
I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems
T. Lukovszki, A. Maheshwari, N. Zeh, in: Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS, 2001.
LibreCat
| DOI
T. Lukovszki, A. Maheshwari, N. Zeh, in: Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS, 2001.
2001 | Journal Article | LibreCat-ID: 23731
Factoring a binary polynomial of degree over one million
O. Bonorden, J. von zur Gathen, J. Gerhard, O. Müller, ACM SIGSAM Bulletin (2001) 16–18.
LibreCat
| DOI
O. Bonorden, J. von zur Gathen, J. Gerhard, O. Müller, ACM SIGSAM Bulletin (2001) 16–18.
2001 | Conference Paper | LibreCat-ID: 18152
A Computable Spectral Theorem
M. Ziegler, V. Brattka, in: Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000), Berlin, Heidelberg, 2001, pp. 378–388.
LibreCat
| DOI
M. Ziegler, V. Brattka, in: Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000), Berlin, Heidelberg, 2001, pp. 378–388.
2001 | Conference Paper | LibreCat-ID: 18166
New Bounds for Hypercube Slicing Numbers
M. Ziegler, M.R. Emamy-Khansari, in: Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG’2001), 2001, pp. 155–164.
LibreCat
M. Ziegler, M.R. Emamy-Khansari, in: Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG’2001), 2001, pp. 155–164.
2001 | Conference Paper | LibreCat-ID: 18168
Turing Computability of (Non-)Linear Optimization
V. Brattka, M. Ziegler, in: Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01), 2001, pp. 181–184.
LibreCat
V. Brattka, M. Ziegler, in: Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01), 2001, pp. 181–184.
2001 | Conference Paper | LibreCat-ID: 18370
Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph
J. Klein, M. Fischer, in: Proc. of 3. GI-Informatiktage 2001, Bad Schussenried, 2001, pp. 275–278.
LibreCat
| Files available
J. Klein, M. Fischer, in: Proc. of 3. GI-Informatiktage 2001, Bad Schussenried, 2001, pp. 275–278.
2001 | Conference (Editor) | LibreCat-ID: 7787
Proceedings of the workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)
K. Mehner, M. Mezini, E. Pulvermüller, A. Speck, eds., Proceedings of the Workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany), University of Paderborn, 2001.
LibreCat
K. Mehner, M. Mezini, E. Pulvermüller, A. Speck, eds., Proceedings of the Workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany), University of Paderborn, 2001.
2001 | Conference (Editor) | LibreCat-ID: 7788
Modellierung 2001
G. Engels, A. Oberweis, A. Zündorf, eds., Modellierung 2001, Gesellschaft für Informatik (GI), Bonn, 2001.
LibreCat
G. Engels, A. Oberweis, A. Zündorf, eds., Modellierung 2001, Gesellschaft für Informatik (GI), Bonn, 2001.
2001 | Conference (Editor) | LibreCat-ID: 7789
Proceedings of the 3rd Young Researchers Workshop, satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE '01), Erfurt (Germany)
K. Böllert, D. Streitferdt, D. Heuzeroth, K. Mehner, S. Hanenberg, eds., Proceedings of the 3rd Young Researchers Workshop, Satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany), 2001.
LibreCat
K. Böllert, D. Streitferdt, D. Heuzeroth, K. Mehner, S. Hanenberg, eds., Proceedings of the 3rd Young Researchers Workshop, Satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany), 2001.
2001 | Conference Paper | LibreCat-ID: 7879
Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle
B. Lütkemeier, S. Thöne, in: Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany), Konradin-Verlag, 2001.
LibreCat
B. Lütkemeier, S. Thöne, in: Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany), Konradin-Verlag, 2001.
2001 | Conference Paper | LibreCat-ID: 7880
Compositional Modeling of Reactive Systems Using Open Nets
P. Baldan, A. Corradini, H. Ehrig, R. Heckel, in: Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark), Springer, Berlin/Heidelberg, 2001, pp. 502–518.
LibreCat
P. Baldan, A. Corradini, H. Ehrig, R. Heckel, in: Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark), Springer, Berlin/Heidelberg, 2001, pp. 502–518.
2001 | Conference Paper | LibreCat-ID: 7881
Consistent Design of Embedded Real-Time Systems with UML-RT
J. Küster, J. Stroop, in: Proceedings of the Conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany), IEEE Computer Society, Washington, DC, USA, 2001, pp. 31–40.
LibreCat
| DOI
J. Küster, J. Stroop, in: Proceedings of the Conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany), IEEE Computer Society, Washington, DC, USA, 2001, pp. 31–40.
2001 | Conference Paper | LibreCat-ID: 7882
Improving the Agent-Oriented Modeling Process with Roles
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada), ACM Press, New York, NY, USA, 2001, pp. 640–647.
LibreCat
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada), ACM Press, New York, NY, USA, 2001, pp. 640–647.
2001 | Conference Paper | LibreCat-ID: 7883
Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform
R. Depke, R. Heckel, in: Proceedings of the 9. Kolloquium Software-Entwicklung Für Internet Und Intranet, Ostfildern (Germany), Technische Akademie Esslingen, 2001.
LibreCat
R. Depke, R. Heckel, in: Proceedings of the 9. Kolloquium Software-Entwicklung Für Internet Und Intranet, Ostfildern (Germany), Technische Akademie Esslingen, 2001.
2001 | Conference Paper | LibreCat-ID: 7884
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
G. Engels, R. Heckel, J. Küster, in: Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), Springer, Berlin/Heidelberg, 2001, pp. 272–287.
LibreCat
| DOI
G. Engels, R. Heckel, J. Küster, in: Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), Springer, Berlin/Heidelberg, 2001, pp. 272–287.
2001 | Conference Paper | LibreCat-ID: 7885
A methodology for specifying and analyzing consistency of object-oriented behavioral models
G. Engels, J. Küster, L. Groenewegen, R. Heckel, in: Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria), ACM Press, New York, NY, USA, 2001, pp. 186–195.
LibreCat
| DOI
G. Engels, J. Küster, L. Groenewegen, R. Heckel, in: Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria), ACM Press, New York, NY, USA, 2001, pp. 186–195.
2001 | Conference Paper | LibreCat-ID: 7886
Towards UML-based Analysis and Design of Multi-Agent Systems
C. Geiger, S. Flake, J. Küster, in: Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates), 2001.
LibreCat
C. Geiger, S. Flake, J. Küster, in: Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates), 2001.
2001 | Conference Paper | LibreCat-ID: 7887
Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution
R. Heckel, G. Engels, in: Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, Co-Located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal), Universidade Nova de Lisboa, Lisbon, 2001, pp. 42–47.
LibreCat
R. Heckel, G. Engels, in: Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, Co-Located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal), Universidade Nova de Lisboa, Lisbon, 2001, pp. 42–47.
2001 | Conference Paper | LibreCat-ID: 7888
Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), IEEE Computer Society, Washington, DC, USA, 2001, pp. 80–87.
LibreCat
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), IEEE Computer Society, Washington, DC, USA, 2001, pp. 80–87.
2001 | Conference Paper | LibreCat-ID: 7889
Use Cases as views: A formal approach to Requirements engineering in the Unified Process
J. Hendrik Hausmann, R. Heckel, in: Proceedings of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit (2001), Wien (Österreich), Österreichische Computer Gesellschaft, Wien (Österreich), 2001, pp. 595–599.
LibreCat
J. Hendrik Hausmann, R. Heckel, in: Proceedings of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit (2001), Wien (Österreich), Österreichische Computer Gesellschaft, Wien (Österreich), 2001, pp. 595–599.
2001 | Conference Paper | LibreCat-ID: 7890
Open Petri Nets as Semantic Model for Business Process Integration
R. Heckel, in: Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, DFG Research Group “Petri Net Technology,” 2001, pp. 129–134.
LibreCat
R. Heckel, in: Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, DFG Research Group “Petri Net Technology,” 2001, pp. 129–134.
2001 | Conference Paper | LibreCat-ID: 7891
Strengthening UML Collaboration Diagrams by State Transformations
R. Heckel, S. Sauer, in: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy), Springer, London, UK, 2001, pp. 109–123.
LibreCat
| DOI
R. Heckel, S. Sauer, in: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy), Springer, London, UK, 2001, pp. 109–123.
2001 | Conference Paper | LibreCat-ID: 7892
Towards Behavior Consistent Modeling in UML-RT
J. Küster, in: Proceedings of the Forum on Design Languages (FDL’01), Lyon, France, 2001.
LibreCat
J. Küster, in: Proceedings of the Forum on Design Languages (FDL’01), Lyon, France, 2001.
2001 | Conference Paper | LibreCat-ID: 7893
UML-based Behavior Specification of Interactive Multimedia Applications
S. Sauer, G. Engels, in: Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), IEEE Computer Society, Washington, DC, USA, 2001, pp. 248–255.
LibreCat
| DOI
S. Sauer, G. Engels, in: Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), IEEE Computer Society, Washington, DC, USA, 2001, pp. 248–255.
2001 | Conference Paper | LibreCat-ID: 7894
How to Specify a Graph Transformation Approach - A Meta Model for Fujaba
R. Heckel, A. Zündorf, in: H. Ehrig, J. Padberg (Eds.), Proceeding of the Workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, Satellite Event of the ETAPS 2001), Elsevier, Genova (Italy), 2001, pp. 41–51.
LibreCat
R. Heckel, A. Zündorf, in: H. Ehrig, J. Padberg (Eds.), Proceeding of the Workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, Satellite Event of the ETAPS 2001), Elsevier, Genova (Italy), 2001, pp. 41–51.
2001 | Report | LibreCat-ID: 8211
On the Specification and Analysis of Protocols in UML-RT
G. Engels, J. Küster, L. Groenewegen, On the Specification and Analysis of Protocols in UML-RT, University of Paderborn, Department of Computer Science, 2001.
LibreCat
G. Engels, J. Küster, L. Groenewegen, On the Specification and Analysis of Protocols in UML-RT, University of Paderborn, Department of Computer Science, 2001.
2001 | Journal Article | LibreCat-ID: 7391
Cooperability in Train Control Systems: Specification of Scenarios using Open Nets
J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, R. Heckel, Transactions of the Society for Design and Process Science 5 (2001) 3–21.
LibreCat
J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, R. Heckel, Transactions of the Society for Design and Process Science 5 (2001) 3–21.
2001 | Journal Article | LibreCat-ID: 7392
Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Applied Categorical Structures 9 (2001) 83–110.
LibreCat
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Applied Categorical Structures 9 (2001) 83–110.
2001 | Journal Article | LibreCat-ID: 7393
Roles in Agent-Oriented Modeling
R. Depke, R. Heckel, J. Küster, International Journal of Software Engineering and Knowledge Engineering 11 (2001) 281–302.
LibreCat
| DOI
R. Depke, R. Heckel, J. Küster, International Journal of Software Engineering and Knowledge Engineering 11 (2001) 281–302.
2001 | Journal Article | LibreCat-ID: 7394
A Coalgebraic presentation of structured transition systems
A. Corradini, M. Große-Rhode, R. Heckel, Theoretical Computer Science 260 (2001) 27–55.
LibreCat
| DOI
A. Corradini, M. Große-Rhode, R. Heckel, Theoretical Computer Science 260 (2001) 27–55.
2001 | Journal Article | LibreCat-ID: 7395
Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil
G. Engels, J. Gaulke, S. Sauer, Forschungsforum Paderborn 4 (2001) 24–29.
LibreCat
G. Engels, J. Gaulke, S. Sauer, Forschungsforum Paderborn 4 (2001) 24–29.
2001 | Conference Paper | LibreCat-ID: 8355
Using an XML-capable mailtool for the communication in software development projects
M. Lohmann, A. Wagner, in: Proceedings of the Workshop on XML Technologies and Software Engineering (XSE; Satellite Event of the ICSE 2001), Toronto (Canada), 2001.
LibreCat
M. Lohmann, A. Wagner, in: Proceedings of the Workshop on XML Technologies and Software Engineering (XSE; Satellite Event of the ICSE 2001), Toronto (Canada), 2001.
2001 | Conference Paper | LibreCat-ID: 8356
Using UML models for the Description of Concurrent Behavior in Component Interfaces
T. Schattkowsky, K. Mehner, R. Depke, 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
T. Schattkowsky, K. Mehner, R. Depke, 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.
2001 | Conference Paper | LibreCat-ID: 8357
Agent-oriented Modeling with Graph Transformation
R. Depke, R. Heckel, J. Küster, in: Proceedings of the First International Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick (Ireland), Springer, Berlin/Heidelberg, 2001, pp. 105–120.
LibreCat
| DOI
R. Depke, R. Heckel, J. Küster, in: Proceedings of the First International Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick (Ireland), Springer, Berlin/Heidelberg, 2001, pp. 105–120.
2001 | Conference Paper | LibreCat-ID: 8358
"Separation of Concern" mit Rollen, Subjekten und Aspekten
R. Depke, K. Mehner, in: Proceedings of the Workshop on Aspektorientierung - Workshop Der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany), Universität Paderborn, 2001, pp. 1–7.
LibreCat
R. Depke, K. Mehner, in: Proceedings of the Workshop on Aspektorientierung - Workshop Der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany), Universität Paderborn, 2001, pp. 1–7.
2001 | Conference Paper | LibreCat-ID: 8359
Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models
G. Engels, J. Küster, in: Proceedings of the 1st Workshop on Describing Software Architecture with UML (Satellite Event of the ICSE 2001), Toronto (Canada), 2001.
LibreCat
G. Engels, J. Küster, in: Proceedings of the 1st Workshop on Describing Software Architecture with UML (Satellite Event of the ICSE 2001), Toronto (Canada), 2001.
2001 | Conference Paper | LibreCat-ID: 8360
Identifiying Semantic Dimensions of (UML) Sequence Diagrams
J. Hendrik Hausmann, J. Küster, S. Sauer, in: Proceedings of the Workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the EXtremists (PUML, Colocated with the UML 2001), Toronto (Canada), Gesellschaft für Informatik (GI), Bonn, 2001, pp. 142–157.
LibreCat
J. Hendrik Hausmann, J. Küster, S. Sauer, in: Proceedings of the Workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the EXtremists (PUML, Colocated with the UML 2001), Toronto (Canada), Gesellschaft für Informatik (GI), Bonn, 2001, pp. 142–157.
2001 | Conference Paper | LibreCat-ID: 8361
Behavioral Constraints for Visual Models
R. Heckel, J. Küster, in: Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, Satellite Event of the ICALP 2001), Heraklion (Greece), Elsevier, 2001.
LibreCat
| DOI
R. Heckel, J. Küster, in: Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, Satellite Event of the ICALP 2001), Heraklion (Greece), Elsevier, 2001.
2001 | Conference Paper | LibreCat-ID: 8362
Visualization and Debugging of Concurrent Java Programs with UML
K. Mehner, B. Weymann, in: Proceedings of the Workshop on Software Visualization (Satellite Event of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada), 2001.
LibreCat
K. Mehner, B. Weymann, in: Proceedings of the Workshop on Software Visualization (Satellite Event of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada), 2001.
2001 | Conference Paper | LibreCat-ID: 873
Improving Goodput by Relaying in Transmission-Power-Limited Wireless Systems
S. Mengesha, H. Karl, A. Wolisz, in: GI Jahrestagung (1), 2001, pp. 537--544.
LibreCat
S. Mengesha, H. Karl, A. Wolisz, in: GI Jahrestagung (1), 2001, pp. 537--544.
2001 | Conference Paper | LibreCat-ID: 995
Analysing capacity improvements in wireless networks by relaying
H. Karl, S. Mengesha, in: Proc. of IEEE Intl. Conf. on Wireless LANs and Home Networks, 2001, pp. 339--348.
LibreCat
H. Karl, S. Mengesha, in: Proc. of IEEE Intl. Conf. on Wireless LANs and Home Networks, 2001, pp. 339--348.
2001 | Conference Paper | LibreCat-ID: 996
Relative jitter packet scheduling for differentiated services
T. Quynh, H. Karl, A. Wolisz, K. Rebensburg, in: Proc. 9th IFIP Conf. Perf. Modeling and Eval. of ATM & IP Networks, 2001.
LibreCat
T. Quynh, H. Karl, A. Wolisz, K. Rebensburg, in: Proc. 9th IFIP Conf. Perf. Modeling and Eval. of ATM & IP Networks, 2001.
2001 | Conference Paper | LibreCat-ID: 16492
The randomized z-buffer algorithm
M. Wand, M. Fischer, I. Peter, F. Meyer auf der Heide, W. Straßer, in: Proceedings of the 28th Annual Conference on Computer Graphics and Interactive Techniques - SIGGRAPH ’01, 2001.
LibreCat
| DOI
M. Wand, M. Fischer, I. Peter, F. Meyer auf der Heide, W. Straßer, in: Proceedings of the 28th Annual Conference on Computer Graphics and Interactive Techniques - SIGGRAPH ’01, 2001.
2001 | Book Chapter | LibreCat-ID: 16493
Data Management in Networks
F. Meyer auf der Heide, in: Graph-Theoretic Concepts in Computer Science, Berlin, Heidelberg, 2001.
LibreCat
| DOI
F. Meyer auf der Heide, in: Graph-Theoretic Concepts in Computer Science, Berlin, Heidelberg, 2001.
2001 | Book Chapter | LibreCat-ID: 16494
Parallel Bridging Models and Their Impact on Algorithm Design
F. Meyer auf der Heide, R. Wanka, in: Computational Science - ICCS 2001, Berlin, Heidelberg, 2001.
LibreCat
| DOI
F. Meyer auf der Heide, R. Wanka, in: Computational Science - ICCS 2001, Berlin, Heidelberg, 2001.