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.

9812 Publications


2008 | Conference Paper | LibreCat-ID: 26243
On the Stability of Fast Polynomial Arithmetic
S. Köhler, M. Ziegler, in: Proc. 8th Conference on Real Numbers and Computers, 2008, pp. 147–156.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26255
Physically-Relativized Church-Turing Hypotheses
M. Ziegler, Applied Mathematics and Computation (2008).
LibreCat | arXiv
 

2008 | Book Chapter | LibreCat-ID: 26262
A Meta-Theory of Physics and Computation
M. Ziegler, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Deutsche Physikalische Gesellschaft (DPG), 2008, p. 145.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26280
An explicit solution to Post's Problem over the reals
K. Meer, M. Ziegler, Journal of Complexity (2008) 3–15.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3203
Refinement in the Presence of Unknowns
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 255--264.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3204
Alloy as a Refactoring Checker?
H..-}Christian Estler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 331--357.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3205
Integrating a formal method into a software engineering process with {UML} and Java
M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, Formal Asp. Comput. (2008) 161--204.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3206
Slicing Abstractions
I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim, Fundam. Inform. (2008) 369--392.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3207
From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations
G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (Eds.), Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3209
Decomposition for Compositional Verification
B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3210
Bounded Model Checking for Partial Kripke Structures
H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3001
Reliable Evidence of Data Integrity from an Untrusted Storage Service
C. Stern, P. Adelt, V. Krummel, M.R. Ackermann, in: Fourth International Conference on Networking and Services (Icns 2008), IEEE, 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3143
A Browser-Based Kerberos Authentication Scheme
S. Gajek, T. Jager, M. Manulis, J. Schwenk, in: Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings, 2008, pp. 115--129.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3144
On Black-Box Ring Extraction and Integer Factorization
K. Altmann, T. Jager, A. Rupp, in: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations, 2008, pp. 437--448.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3145
On the Equivalence of Generic Group Models
T. Jager, J. Schwenk, in: Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings, 2008, pp. 200--209.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3146
Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS
T. Jager, H. Jäkel, J. Schwenk, in: Sicherheit 2008: Sicherheit, Schutz Und Zuverlässigkeit. Konferenzband Der 4. Jahrestagung Des Fachbereichs Sicherheit Der Gesellschaft Für Informatik e.V. (GI), 2.-4. April 2008 Im Saarbrücker Schloss., 2008, pp. 127--136.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 20938
Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse
M. Tichy, S. Henkler, M. Meyer, M. von Detten, in: Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 20957
Aspect-oriented modelling from a different angle
E. Kindler, D. Schmelter, in: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08, 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 20964
Component Story Diagrams in Fujaba4Eclipse
J. Holtmann, M. Tichy, in: Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 2008, pp. 44–47.
LibreCat
 

2008 | Mastersthesis | LibreCat-ID: 20965
Graphtransformationen für komponentenbasierte Softwarearchitekturen
J. Holtmann, Graphtransformationen Für Komponentenbasierte Softwarearchitekturen, Software Engineering Group, University of Paderborn, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 20966
Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems
M. Tichy, S. Henkler, J. Holtmann, S. Oberthür, in: Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, Heinz Nixdorf Institut, 2008, pp. 27–38.
LibreCat
 

2008 | Mastersthesis | LibreCat-ID: 20968
Graphtransformationen für komponentenbasierte Softwarearchitekturen
J. Holtmann, Graphtransformationen Für Komponentenbasierte Softwarearchitekturen, Software Engineering Group, University of Paderborn, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 17416
A System for Aggregated Visualization of Multiple Parallel Discrete Event Simulations
T. Suess, D. Huber, M. Fischer, C. Laroque, W. Dangelmaier, in: IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008.
LibreCat | DOI
 

2008 | Book | LibreCat-ID: 17566
The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS)
F. Meyer auf der Heide, The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS), Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, Paderborn, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 17868
Aggregated 3D-visualization of a distributed simulation experiment of a queuing system
W. Dangelmaier, M. Fischer, D. Huber, C. Laroque, T. Suess, in: 2008 Winter Simulation Conference, Miami, FL., USA, 2008, pp. 2012–2020.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 19003
The Kinetic Facility Location Problem
B. Degener, J. Gehweiler, C. Lammersen, in: Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT), 2008, pp. 378–389.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 19004
The Kinetic Facility Location Problem
J. Gehweiler, C. Lammersen, B. Degener, in: Proceedings of the 24th European Workshop on Computational Geometry, 2008, pp. 251–254.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 1926
An O(log n) dominating set protocol for wireless ad-hoc networks under the physical interference model
C. Scheideler, A. W. Richa, P. Santi, in: Proceedings of the 9th {ACM} Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2008, Hong Kong, China, May 26-30, 2008, ACM, 2008, pp. 91--100.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 1937
Algorithms for Overlay Networks
C. Scheideler, Bulletin of the EATCS (2008) 130--152.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 1938
A jamming-resistant MAC protocol for single-hop wireless networks
B. Awerbuch, A. W. Richa, C. Scheideler, in: Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, PODC 2008, Toronto, Canada, August 18-21, 2008, ACM, 2008, pp. 45--54.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 1940 | OA
SPREAD: an adaptive scheme for redundant and fair storage in dynamic heterogeneous storage systems
M. Mense, C. Scheideler, in: Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2008, San Francisco, California, USA, January 20-22, 2008, SIAM, 2008, pp. 1135--1144.
LibreCat | Files available
 

2008 | Conference Paper | LibreCat-ID: 1941
Tiara: A Self-stabilizing Deterministic Skip List
T. Clouser, M. Nesterenko, C. Scheideler, in: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, Springer, 2008, pp. 124--140.
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 1942
Broadcasting: Wie verbreite ich schnell Informationen?
C. Scheideler, in: Taschenbuch Der Algorithmen, Springer, 2008, pp. 229--236.
LibreCat | DOI
 

2008 | Conference (Editor) | LibreCat-ID: 1943
INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8. - 13. September, in München, Deutschland
H.-G. Hegering, A. Lehmann, H. Jürgen Ohlbach, C. Scheideler, eds., INFORMATIK 2008, Beherrschbare Systeme - Dank Informatik, Band 1, Beiträge Der 38. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), 8. - 13. September, in München, Deutschland, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 1945
Taschenbuch der Algorithmen
B. Vöcking, H. Alt, M. Dietzfelbinger, R. Reischuk, C. Scheideler, H. Vollmer, D. Wagner, Taschenbuch Der Algorithmen, 2008.
LibreCat | Download (ext.)
 

2008 | Conference Paper | LibreCat-ID: 2356
Employing WS-BPEL Design Patterns for Grid Service Orchestration using a Standard WS-BPEL Engine and a Grid Middleware
A. Brinkmann, S. Gudenkauf, W. Hasselbring, A. Höing, H. Karl, O. Kao, H. Nitsche, G. Scherp, in: Proc. Cracow Grid Workshop (CGW), 2008, pp. 103–110.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 2358
A method for OSEM PET reconstruction on parallel architectures using STIR
T. Beisel, S. Lietsch, K. Thielemans, in: IEEE Nuclear Science Symposium Conference Record (NSS), IEEE, 2008, pp. 4161–4168.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 2365
The GOmputer: Accelerating GO with FPGAs
M. Platzner, S. Döhre, M. Happe, T. Kenter, U. Lorenz, T. Schumacher, A. Send, A. Warkentin, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2008, pp. 245–251.
LibreCat
 

2008 | Conference (Editor) | LibreCat-ID: 2376
Proceedings of the 1. GI/ITG KuVS Fachgespräch Virtualisierung
A. Brinkmann, H. Karl, eds., Proceedings of the 1. GI/ITG KuVS Fachgespräch Virtualisierung, Paderborn Center for Parallel Computing, Paderborn University, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 20367
Aggregating Robots Compute: An Adaptive Heuristic for the Euclidean Steiner Tree Problem
H. Hamann, H. Wörn, in: The Tenth International Conference on Simulation of Adaptive Behavior (SAB’08), 2008, pp. 447--456.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 20368
Spatial Macroscopic Models of a Bio-Inspired Robotic Swarm Algorithm
H. Hamann, T. Schmickl, H. Wörn, K. Crailsheim, in: IEEE/RSJ 2008 International Conference on Intelligent Robots and Systems (IROS’08), IEEE Press, 2008, pp. 1415--1420.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 20369
A framework of space–time continuous models for algorithm design in swarm robotics
H. Hamann, H. Wörn, Swarm Intelligence 2 (2008) 209–239.
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 20711
Der Alphabeta-Algorithmus für Spielbäume: Wie bringe ich meinen Computer zum Schachspielen?
B. Monien, U. Lorenz, D. Warner, in: Taschenbuch Der Algorithmen, Berlin, Heidelberg, 2008.
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 17978
On Faster Integer Calculations Using Non-arithmetic Primitives
K. Lürwer-Brüggemeier, M. Ziegler, in: Unconventional Computing, Berlin, Heidelberg, 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 18139
Dynamic Control of Animation Schemes for the Efficient 3D-Visualization of Material Flow Simulations
C. Laroque, M. Fischer, W. Dangelmaier, B. Eikel, in: Industrial Simulation Conference (ISC 2008), EUROSIS-ETI, 2008, pp. 306–310.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 18141
Regelung von Animationen in Simulationen von hochdynamischen Fabrikszenen
C. Laroque, M. Fischer, B. Eikel, in: Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008, pp. 193--206.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 18143
Singular Coverings and Non-Uniform Notions of Closed Set Computability
S. Le Roux, M. Ziegler, Electronic Notes in Theoretical Computer Science (2008) 73–88.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 1834
Mobile Cooperative WLANs - MAC and Transceiver Design, Prototyping, and Field Measurements
S. Valentin, H.S. Lichte, D. Warneke, T. Biermann, R. Funke, H. Karl, in: 2008 IEEE 68th Vehicular Technology Conference, IEEE, 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 1839
Integrating Multiuser Dynamic OFDMA into IEEE 802.11 WLANs - LLC/MAC Extensions and System Performance
S. Valentin, T. Freitag, H. Karl, in: 2008 IEEE International Conference on Communications, IEEE, 2008.
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 1841
Network-Coding-Based Cooperative Transmission in Wireless Sensor Networks: Diversity-Multiplexing Tradeoff and Coverage Area Extension
D.H. Woldegebreal, H. Karl, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2008, pp. 141–155.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 18570
Who Should Pay for Forwarding Packets?
H. Ackermann, P. Briest, A. Fanghänel, B. Vöcking, Internet Mathematics 5 (2008) 459–475.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 21775
What Can We Gain from Transdisciplinary Visualization Courses?
G. Domik, A. Chalmers, D. W. Fellner, H. E. Rushmeier, in: S. Cunningham, L. Kjelldahl (Eds.), Eurographics 2008 - Education Papers, Crete, Greece, April 14-18, 2008, Eurographics Association, 2008, pp. 21–24.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 7994
Service-Oriented Enterprise Architectures: Evolution of Concepts and Methods
M. Assmann, G. Engels, in: Proc. of the 12th IEEE International Enterprise Distributed Object Computing Conference 2008 (EDOC 08), Munich (Germany), IEEE Computer Society, Washington, DC, USA, 2008, pp. xxxiv–xliii.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 7995
Transition to Service-Oriented Enterprise Architecture
M. Assmann, G. Engels, in: Proceedings of the Second European Conference on Software Architecture (ECSA 2008), Paphos (Cyprus), Springer, Berlin/Heidelberg, 2008, pp. 346–349.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 7996
Comprehensive Architecture Evaluation and Management in Large Software-Systems
F. Salger, M. Bennicke, G. Engels, C. Lewerentz, in: Quality of Software Architectures. Models and Architectures, Springer, Berlin/Heidelberg, 2008, pp. 205–219.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 7997
Quasar Enterprise - Anwendungslandschaften serviceorientiert gestalten
G. Engels, M. Voß, in: Software Engineering 2008. Fachtagung Des GI-Fachbereichs Softwaretechnik, Gesellschaft für Informatik (GI), Bonn, 2008, pp. 24–27.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 7998
Detecting and Resolving Process Model Differences in the Absence of a Change Log
J. Küster, C. Gerth, A. Förster, G. Engels, in: Proceedings of the 6th International Conference on Business Process Management (BPM’08), Springer, Berlin/Heidelberg, 2008, pp. 244–260.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 7999
A Method for Engineering a true Service-Oriented Architecture
G. Engels, A. Hess, B. Humm, O. Juwig, M. Lohmann, J.-P. Richter, M. Voß, J. Willkomm, in: Proceedings of the Tenth International Conference on Enterprise Information Systems (ICEIS 2008), Barcelona (Spain), Springer, Berlin/Heidelberg, 2008, pp. 272–281.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 8000
Revised Use Case Point Method - Effort Estimation in Development Projects for Business Applications
S. Frohnhoff, G. Engels, in: Setting Quality Standards, Proceedings of the 11th International Conference on Quality Engineering in Software Technology (CONQUEST 2008), Potsdam (Germany), dpunkt Verlag, 2008, pp. 15–32.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 8001
Qualitätssicherung im Business Process Modeling durch automatische Ableitung visueller Kontrakte aus heterogenen UML-Modellen
M. Mlynarski, in: Informatiktage 2008. Fachwissenschaftlicher Informatik-Kongress, 14. Und 15. März 2008, B-IT Bonn-Aachen International Center for Information Technology in Bonn, Gesellschaft für Informatik (GI), Bonn, 2008, pp. 87–90.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 8002
Combining Quality Assurance and Model Transformations in Business-Driven Development
J. Koehler, T. Gschwind, J. Küster, C. Pautasso, K. Ryndina, J. Vanhatalo, H. Völzer, in: Proceedings of the 3rd International Symposium on Applications of Graph Transformations with Industrial Relevance 2007 (AGTIVE ’07), Kassel (Germany), Springer, Berlin/Heidelberg, 2008, pp. 1–16.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 8003
Kontextsensitive Qualitätsplanung für Software-Modelle
H. Voigt, G. Engels, in: Proceedings of Modellierung (2008), Berlin (Germany), Gesellschaft für Informatik (GI), Bonn, 2008, pp. 165–180.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 8004
Ein verfeinerter GQM-Ansatz zur Qualitätsbewertung von Software-Modellen
H. Voigt, G. Engels, in: Proceedings of Software-Qualitätsmodellierung Und -Bewertung (SQMB ’08), München, Germany, Technische Universität München, 2008, pp. 39–46.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 8005
Quality Plans for Measuring the Testability of Models
H. Voigt, B. Güldali, G. Engels, in: Proceedings of the 11th International Conference on Quality Engineering in Software Technology (CONQUEST 2008), Potsdam (Germany), dpunkt.verlag, 2008, pp. 353–370.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 8006
A Quality Circle Tool for Software Models
H. Voigt, T. Ruhroth, in: Proceedings of the 27th International Conference on Conceptual Modeling (ER 2008), Barcelona, Spain, Springer, Berlin/Heidelberg, 2008, pp. 526–527.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 8007
Predicting Coupling of Object-Centric Business Process Implementations
M. Wahler, J. Küster, in: Proceedings of the 6th International Conference on Business Process Management, Springer, Berlin/Heidelberg, 2008, pp. 148–163.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 8008
Towards an Efficient Reuse of Test Cases for Software Product Lines
A. Wübbeke, in: Proceedings of the 12th International Software Product Line Conference (SPLC 2008), Limerick (Ireland), Lero, Limerick, 2008, pp. 361–368.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 822
Network-Coding-Based Cooperative Transmission in Wireless Sensor Networks: Diversity-Multiplexing Tradeoff and Coverage Area Extension
D. H. Woldegebreal, H. Karl, in: Wireless Sensor Networks, 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008, Proceedings, 2008, pp. 141--155.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 823
Integrating Multiuser Dynamic OFDMA into IEEE 802.11 WLANs - LLC/MAC Extensions and System Performance
S. Valentin, T. Freitag, H. Karl, in: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, 2008, pp. 3328--3334.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 824
Design and Evaluation of a Routing-Informed Cooperative MAC Protocol for Ad Hoc Networks
H. S. Lichte, S. Valentin, H. Karl, I. Aad, L. Loyola, J. Widmer, in: INFOCOM 2008. 27th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 13-18 April 2008, Phoenix, AZ, {USA}, 2008, pp. 1858--1866.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 825
Opportunistic relaying vs. selective cooperation: analyzing the occurrence-conditioned outage capacity
S. Valentin, H. S. Lichte, H. Karl, I. Aad, L. Loyola, J. Widmer, in: Proceedings of the 11th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2008, Vancouver, British Columbia, Canada, October 27-31, 2008, 2008, pp. 193--202.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 826
Decoding-based channel estimation for selective cooperation diversity protocols
S. Valentin, T. Volkhausen, F. Atay Onat, H. Yanikomeroglu, H. Karl, in: Proceedings of the IEEE 19th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2008, 15-18 September 2008, Cannes, French Riviera, France, 2008, pp. 1--6.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 827
Mobile Cooperative WLANs - MAC and Transceiver Design, Prototyping, and Field Measurements
S. Valentin, H. S. Lichte, D. Warneke, T. Biermann, R. Funke, H. Karl, in: Proceedings of the 68th IEEE Vehicular Technology Conference, VTC Fall 2008, 21-24 September 2008, Calgary, Alberta, Canada, 2008, pp. 1--5.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 828
Incremental Network Coding in Cooperative Transmission Wireless Networks
D. H. Woldegebreal, S. Valentin, H. Karl, in: Proceedings of the 68th IEEE Vehicular Technology Conference, VTC Fall 2008, 21-24 September 2008, Calgary, Alberta, Canada, 2008, pp. 1--5.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 8314
Inaccuracies of input data relevant for PV yield prediction
S. Krauter, P. Grunow, A. Preiss, S. Rindert, N. Ferretti, in: Proceedings of the 33rd IEEE Photovoltaic Specialists Conference, San Diego (USA), 11.–16. Mai 2008, S. 2105–2109, 2008.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 8315
Wafer, Cell and Module Quality Requirements
S. Krauter, P. Grunow, Photovoltaics International 1 (2008) 59–65.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 8316
PV yield prediction for thin film technologies and the effect of input parameters inaccuracies
S. Krauter, A. Preiss, N. Ferretti, P. Grunow, in: Proceedings of the 23rd European Photovoltaic Solar Energy Conference and Exhibition, Valencia (Spanien), 1.–5. September, 2008, S. 740–743, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 8317
Solar Electric Power Generation – Photovoltaic Energy Systems. Chinese Translation from the English language Edition
S. Krauter, Solar Electric Power Generation – Photovoltaic Energy Systems. Chinese Translation from the English Language Edition, China Machine Press, Beijing, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 8318
Problems of thin-film modules in quality certification tests
S. Krauter, P. Grunow, in: Proceedings of Photon’s 1st PV Thin-Film Conference, San Francisco (USA), 3. Dezember 2008, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 6062
Simulating the Influence of IVC on Road Traffic using Bidirectionally Coupled Simulators
C. Sommer, Z. Yao, R. German, F. Dressler, in: 27th IEEE Conference on Computer Communications (INFOCOM 2008): IEEE Workshop on Mobile Networking for Vehicular Environments (MOVE 2008), IEEE, Phoenix, AZ, 2008, pp. 1–6.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 7369
An Incremental Approach to the Analysis and Transformation of Workflows Using Region Trees
R. Hauser, M. Friess, J. Kuster, J. Vanhatalo, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews) 38 (2008) 347–359.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 7370
Generating Instance Models from Meta Models
K. Ehrig, J. Küster, G. Taentzer, Software and Systems Modeling 8 (2008) 479–500.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 7371 LibreCat
 

2008 | Journal Article | LibreCat-ID: 7372
Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen
B. Güldali, S. Sauer, G. Engels, Softwaretechnik-Trends 28 (2008) 12–16.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 7373
Quasar Enterprise
G. Engels, M. Voß, Informatik-Spektrum 31 (2008) 548–555.
LibreCat | DOI
 

2008 | Book | LibreCat-ID: 7508
Quasar Enterprise: Anwendungslandschaften serviceorientiert gestalten
G. Engels, A. Hess, B. Humm, O. Juwig, M. Lohmann, J.-P. Richter, M. Voß, J. Willkomm, Quasar Enterprise: Anwendungslandschaften Serviceorientiert Gestalten, dpunkt-Verlag, München, 2008.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 7553
Open Source Stacks
F. Christ, S. Sauer, in: M. Asche, W. Bauhus, B. Kaddatz and B. Seel (Ed.), Open Source: Kommerzialisierungsmöglichkeiten Und Chancen Für Die Zusammenarbeit von Hochschulen Und Unternehmen, Waxmann Verlag, 2008, pp. 133–154.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 7554
Eintrag "Modellierungssprache"
G. Engels, in: K. Kurbel, J. Becker, N. Gronau, E. Sinz, L. Suhl (Ed.), Enzyklopädie Der Wirtschaftsinformatik, Oldenbourg Wissenschaftsverlag, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 8427
Modellbasierter Komponententest mit visuellen Kontrakten
J. Ellerweg, G. Engels, B. Güldali, in: INFORMATIK 2008, Beherrschbare Systeme - Dank Informatik, Band 1, Beiträge Der 38. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Gesellschaft für Informatik (GI), Bonn, 2008, pp. 211–214.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 8428
Modellierung von Variabilität in der Geschäftsanalyse – eine industrielle Fallstudie
T. von der Maßen, A. Wübbeke, in: Produktlinien Im Kontext: Technologie, Prozesse, Business Und Organisation (PiK 2008), Gesellschaft für Informatik (GI), Bonn, 2008, pp. 285–296.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 8429
A Tool for Process Merging in Business-Driven Development
J. Küster, C. Gerth, A. Förster, G. Engels, in: Proceedings of the Forum at the CAiSE’08 Conference on Advanced Information Systems Engineering, CEUR-WS.org, 2008, pp. 89–92.
LibreCat | DOI | Download (ext.)
 

2008 | Conference Paper | LibreCat-ID: 8430
UML and IP-XACT for Integrated SPRINT IP Management
T. Schattkowsky, T. Xie, in: Proceedings of the 5th International UML for SoC Design Workshop (UML-SoC 2008), Anaheim, CA (USA), 2008.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 6744
Einspeiseschwankungen von Offshore-Windparks - kann das Wind-Potential auf dem Meer effizient genutzt werden?
J. Bendfeld, M. Splett, R. Ditscherlein, J. Voss, in: Verlag der technischen Universität Graz (Ed.), EnInnov 08 – 10. Symposium Energieinnovation; Energiewende, Graz, 2008.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 6745
Zukunftspotential auf See - Messungen als Grundlage für die Errichtung von Offshore-Windkraftwerken
J. Bendfeld, M. Splett, R. Ditscherlein, J. Voss, in: EnInnov 08 – 10. Symposium Energieinnovation; Energiewende, Verlag der technischen Universität Graz, Graz, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 6746
Input Variabillity of spaciours distributed offshore wind farms in the German North Sea
J. Bendfeld, M. Splett, R. Ditscherlein, J. Voss, in: Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2008), 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 6747
Possibilities of using reanalysis data for the estimation of wind energy output for offshore wind farms in the German Baltic Sea
J. Bendfeld, M. Splett, R. Ditscherlein, in: Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2008), 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 6748
The German Offshore Metmasts Amrumbank West and Arkonabecken Südost
J. Bendfeld, M. Splett, R. Ditscherlein, J. Voss, in: Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2008), 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 6749
ADCP and Waverider Measurements for O&M at offshore wind farm locations
J. Bendfeld, M. Splett, R. Ditscherlein, J. Voss, in: Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2008), 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 6750
Kombinationspotenzial von Offshore-Windkraftwerken und Biogaskraftwerken zur Reduzierung von Einspeisefluktuationen
J. Bendfeld, M. Tigges, M. Splett, J. Voss, in: Proceedings of the World Sustainable Energy Days (WSED 2008), 2008.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed