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.
5711 Publications
2009 | Conference Paper | LibreCat-ID: 15683
Brinda T, Puhlmann H, Schulte C. Bridging ICT and CS: educational standards for computer science in lower secondary education. In: ITiCSE. ACM; 2009:288-292.
LibreCat
2009 | Conference Paper | LibreCat-ID: 15684
Ehlert A, Schulte C. Unterschiede im Lernerfolg von Schülerinnen und Sch\üern in Abhängigkeit von der zeitlichen Reihenfolge der Themen (OOP-First bzw. OOP-Later). In: INFOS. Vol P-156. LNI. GI; 2009:121-132.
LibreCat
2009 | Conference Paper | LibreCat-ID: 15685
Koubek J, Schulte C, Schulze P, Witten H. Informatik im Kontext (IniK) - Ein integratives Unterrichtskonzept für den Informatikunterricht. In: INFOS. Vol P-156. LNI. GI; 2009:268-279.
LibreCat
2009 | Conference Paper | LibreCat-ID: 15686
Schulte C. Dualitätsrekonstruktion als Hilfsmittel zur Entwicklung und Planung von Informatikunterricht. In: INFOS. Vol P-156. LNI. GI; 2009:355-366.
LibreCat
2009 | Conference Paper | LibreCat-ID: 15773
Cheng W, Hüllermeier E. A simple instance-based approach to multilabel classification using the Mallows model. In: In Proceedings MLD-2009 1st International Workshop on Learning from Multi-Label Data, Bled, Slovenia. ; 2009:28-38.
LibreCat
2009 | Conference Paper | LibreCat-ID: 15774
Senge R, Hüllermeier E. Learning pattern tree classifiers using a co-evolutionary algorithm. In: Hoffmann F, Hüllermeier E, eds. In Proceedings 19th Workshop Computational Intelligence, Dortmund Germany. KIT Scientific Publishing; 2009:22-33.
LibreCat
2009 | Conference Paper | LibreCat-ID: 15775
Fober T, Mernberger M, Moritz R, Hüllermeier E. Graph-kernels for the comparative analysis of protein active sites. In: Grosse I, Neumann S, Posch S, Schreiber F, Stadler P., eds. In Proceedings GCB-2009 German Conference on Bioinformatics Halle (Saale), Germany. ; 2009:21-31.
LibreCat
2009 | Conference Paper | LibreCat-ID: 15776
Senge R, Hüllermeier E. Learning pattern tree classifiers using a co-evolutionary algorithm. In: In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Darmstadt, Germany. ; 2009:105-110.
LibreCat
2009 | Conference Paper | LibreCat-ID: 15778
Fober T, Mernberger M, Melnikov V, Moritz R, Hüllermeier E. Extension and empirical comparison of graph-kernels for the analysis of protein active sites. In: In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Darmstadt, Germany. ; 2009:30-36.
LibreCat
2009 | Journal Article | LibreCat-ID: 15076
Böttcher S, Hartel R. Information disclosure by answers to XPath queries. Journal of Computer Security. 2009;17(1):69-99. doi:10.3233/jcs-2009-0318
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 15120
Fober T, Klebe G, Hüllermeier E. Efficient construction of multiple geometrical alignments for the comparison of protein binding sites. In: In Proceedings ISDA-2009, 9th International Conference on Intelligent Systems Design and Applications, Pisa, Italy. ; 2009:1251-1256.
LibreCat
2009 | Conference Paper | LibreCat-ID: 15138
Böttcher S, Hartel R. CSC: Supporting Queries on Compressed Cached XML. In: Database Technologies 2009, Twentieth Australasian Database Conference, ADC 2009. Australian Computer Society, Inc.; 2009:153-160.
LibreCat
2009 | Conference Paper | LibreCat-ID: 15139
Böttcher S, Hartel R, Messinger C. XML Stream Data Reduction by Shared KST Signatures. In: 2009 42nd Hawaii International Conference on System Sciences. IEEE; 2009. doi:10.1109/hicss.2009.513
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 15194
Boukhris I, Elouedi Z, Fober T, Mernberger M, Hüllermeier E. Similarity analysis of protein binding sites: A generalization of the maximum common subgraph measure based on quasi-clique detection. In: In Proceedings IDA-2009, 9th International Symposium on Intelligent Data Analysis, Pisa / Italy. ; 2009:1245-1250.
LibreCat
2009 | Conference Paper | LibreCat-ID: 15195
Fober T, Hüllermeier E. Fuzzy modeling of labeled point cloud superposition for the comparison of protein binding sites. In: In Proceedings IFSA / EUSFLAT-2009 World Congress of the Fuzzy Systems Association, Lissabon, Portugal. ; 2009:1299-1304.
LibreCat
2009 | Conference Paper | LibreCat-ID: 15196
Hüllermeier E, Rifqi M. A fuzzy variant of the Rand index for comparing clustering structures. In: In Proceedings IFSA / EUSFLAT-2009 World Congress of the Fuzzy Systems Association, Lissabon, Portugal. ; 2009:1294-1298.
LibreCat
2009 | Journal Article | LibreCat-ID: 15255
Domik G. Interdisciplinary Collaboration in a Visualization Course. Informatics Education Europe IV, November. 2009:5-9.
LibreCat
2009 | Journal Article | LibreCat-ID: 16154
Weskamp N, Hüllermeier E, Klebe G. Merging chemical and biological space: Structural mapping of enzyme binding pocket space. Proteins. 2009;76(2):317-330.
LibreCat
2009 | Journal Article | LibreCat-ID: 16158
Hühn J, Hüllermeier E. FURIA: An Algorithm for unordered fuzzy rule induction. Data Mining and Knowledge Discovery . 2009;19:293-319.
LibreCat
2009 | Journal Article | LibreCat-ID: 16159
Hüllermeier E, Vanderlooy S. Why fuzzy decision trees are good rankers. IEEE Transactions on Fuzzy Systems. 2009;17(6):1233-1244.
LibreCat
2009 | Journal Article | LibreCat-ID: 16161
Yi Y, Fober T, Hüllermeier E. Fuzzy operator trees for modeling rating functions. International Journal of Computational Intelligence and Applications. 2009;8(4):413-428.
LibreCat
2009 | Journal Article | LibreCat-ID: 16162
Fober T, Mernberger M, Klebe G, Hüllermeier E. Evolutionary construction of multiple graph alignments for the structural analysis of biomolecules. Bioinformatics. 2009;25(16):2110-2117.
LibreCat
2009 | Journal Article | LibreCat-ID: 16163
Hühn J, Hüllermeier E. FR3: A fuzzy rule learner for inducing reliable classifiers. IEEE Transactions on Fuzzy Systems. 2009;17(1):138-149.
LibreCat
2009 | Journal Article | LibreCat-ID: 16165
Hüllermeier E, Vladimirskiy I, Prados Suarez B, Stauch E. Supporting case-based retrieval by similarity skylines: Basic concepts and extensions. Künstliche Intelligenz. 2009;1(09):24-29.
LibreCat
2009 | Journal Article | LibreCat-ID: 16398
Bienkowski M, Byrka J, Korzeniowski M, Meyer auf der Heide F. Optimal algorithms for page migration in dynamic networks. Journal of Discrete Algorithms. 2009:545-569. doi:10.1016/j.jda.2008.07.006
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 1005
Biermann T, Polgar ZA, Karl H. Cooperation and coding framework. In: Communications Workshops, 2009. ICC Workshops 2009. IEEE International Conference On. ; 2009:1--5.
LibreCat
| Download (ext.)
2009 | Conference Paper | LibreCat-ID: 1010
Valentin S, Woldegebreal DH, Volkhausen T, Karl H. Combining for cooperative WLANs-a reality check based on prototype measurements. In: Communications Workshops, 2009. ICC Workshops 2009. IEEE International Conference On. ; 2009:1--5.
LibreCat
| Files available
2009 | Conference Paper | LibreCat-ID: 1011
Volkhausen T, Woldegebreal DH, Karl H. Improving network coded cooperation by soft information. In: Sensor, Mesh and Ad Hoc Communications and Networks Workshops, 2009. SECON Workshops’ 09. 6th Annual IEEE Communications Society Conference On. ; 2009:1--6.
LibreCat
| Download (ext.)
2009 | Book Chapter | LibreCat-ID: 10188
Hüllermeier E. On the usefulness of fuzzy sets in data mining. In: Seising R, ed. Views on Fuzzy Sets and Systems from Different Perspectives: Philosophy and Logic, Criticisms and Applications. Springer; 2009:457-470.
LibreCat
2009 | Conference Paper | LibreCat-ID: 1032
Warneke D, Dannewitz C. Statistics-based ID management for load balancing in structured P2P networks. In: 2009 IEEE 34th Conference on Local Computer Networks. IEEE; 2009. doi:10.1109/lcn.2009.5355086
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 13595
Cheng W, Hühn J, Hüllermeier E. Decision tree and instance-based learning for label ranking. In: In Proceedings ICML-2009, 26th International Conference on Machine Learning, Montreal, Canada. ; 2009:161-168.
LibreCat
2009 | Conference Paper | LibreCat-ID: 13596
Fürnkranz J, Hüllermeier E, Vanderlooy S. Binary decomposition methods for multipartite ranking. In: In Proceedings ECML/PKDD-2009, European Conference on Machine Learning and Principles and Knowledge Discovery in Databases, Bled Sloveniaery in Databases, Bled, Slovenia. ; 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 13598
Cheng W, Hüllermeier E. A new instance-based label ranking approach using the Mallows model. In Advances in Neural Networks. In: In Proceedings 6th International Symposium on Neural Networks, Wuhan, China. Springer; 2009:707-716.
LibreCat
2009 | Conference Paper | LibreCat-ID: 13632
Happe M, Lübbers E, Platzner M. A Multithreaded Framework for Sequential Monte Carlo Methods on CPU/FPGA Platforms. In: Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC). Springer; 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 13634
Giefers H, Platzner M. Towards Models for Many-Cores: The Case for the Reconfigurable Mesh. In: Proceedings of the Workshop on Many-Cores, International Conference on Architecture of Computing Systems (ARCS). ; 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 13635
Giefers H, Platzner M. ARMLang: A Language and Compiler for Programming Reconfigurable Mesh Many-Cores. In: Reconfigurable Architectures Workshop (RAW), Proceedings of the International Parallel and Distributed Processing Symposium. IEEE; 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 13636
Lübbers E, Platzner M. Cooperative Multithreading in Dynamically Reconfigurable Systems. In: Proceedings of the 19th International Workshop on Field Programmable Logic and Applications (FPL) . IEEE; 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 13637
Giefers H, Platzner M. Program-driven Fine-grained Power Management for the Reconfigurable Mesh. In: Proceedings of the 19th International Workshop on Field Programmable Logic and Applications (FPL) . IEEE; 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 13638
Happe M, Lübbers E, Platzner M. An adaptive Sequential Monte Carlo framework with runtime HW/SW repartitioning. In: Proceedings of the 2009 International Conference on Field-Programmable Technology (FPT). IEEE; 2009. doi:10.1109/fpt.2009.5377645
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 13639
Drzevitzky S, Kastens U, Platzner M. Proof-carrying Hardware: Towards Runtime Verification of Reconfigurable Modules. In: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig). IEEE; 2009.
LibreCat
2009 | Book Chapter | LibreCat-ID: 33813
Zabel H, Müller W, Gerstlauer A. Accurate RTOS Modelling and Analysis with SystemC. In: Ecker W, Müller W, Dömer R, eds. Hardware Dependent Software - Principles and Practice. Springer Verlag; 2009:233-260. doi:10.1007/978-1-4020-9436-1_9
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 33814
Ecker W, Müller W, Dömer R. Hardware-dependent Software - Introduction and Overview. In: Ecker W, Müller W, Dömer R, eds. Hardware Dependent Software - Principles and Practice. Springer Verlag; 2009:1-14. doi:10.1007/978-1-4020-9436-1_1
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky T, Xie T, Müller W. A UML Frontend for IP-XACT-based IP Management. In: Proceedings of DATE’09. IEEE; 2009. doi:10.1109/DATE.2009.5090664
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
Zabel H, Müller W. Increased Accuracy through Noise Injection in Abstract RTOS Simulation. In: Proceedings of DATE’09. ; 2009. doi:10.1109/DATE.2009.5090925
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37063
Klobedanz K, Kuznik C, Elfeky A, Müller W. Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study. In: Proceedings of IESS09. Springer Verlag; 2009. doi:10.1007/978-3-642-04284-3_20
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37064
Becker M, Zabel H, Müller W. Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. In: ; 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37061
Krupp A, Müller W. Systematic Model-in-the-Loop Test of Embedded Control Systems. In: Proceedings of IESS09. ; 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37068
Doemer R, Gerstlauer A, Müller W. Hardware-dependent Software for Multi- and Many-Core Embedded Systems. In: Proceedings of ASP-DAC’09. ; 2009.
LibreCat
2009 | Journal Article | LibreCat-ID: 8180 | 
Gharibian S, Kampermann H, Bru{\ss} D. On global effects caused by locally noneffective unitary operations. Quantum Information & Computation. 2009;9(11):1013-1029.
LibreCat
| Download (ext.)
| arXiv
2009 | Journal Article | LibreCat-ID: 8181 |
Datta A, Gharibian S. Signatures of nonclassicality in mixed-state quantum computation. Physical Review A. 2009;79(4). doi:10.1103/physreva.79.042325
LibreCat
| DOI
| Download (ext.)
| arXiv
2009 | Conference Paper | LibreCat-ID: 2350
Schumacher T, Plessl C, Platzner M. IMORC: Application Mapping, Monitoring and Optimization for High-Performance Reconfigurable Computing. In: Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM). IEEE Computer Society; 2009:275-278. doi:10.1109/FCCM.2009.25
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 2262
Kaufmann P, Plessl C, Platzner M. EvoCaches: Application-specific Adaptation of Cache Mapping. In: Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS). IEEE Computer Society; 2009:11-18.
LibreCat
2009 | Conference Paper | LibreCat-ID: 2352
Beutel J, Gruber S, Hasler A, et al. PermaDAQ: A Scientific Instrument for Precision Sensing and Data Recovery in Environmental Extremes. In: Proc. Int. Conf. on Information Processing in Sensor Networks (IPSN). IEEE Computer Society; 2009:265-276.
LibreCat
2009 | Conference Paper | LibreCat-ID: 2238
Schumacher T, Süß T, Plessl C, Platzner M. Communication Performance Characterization for Reconfigurable Accelerator Design on the XD1000. In: Proc. Int. Conf. on ReConFigurable Computing and FPGAs (ReConFig). IEEE Computer Society; 2009:119-124. doi:10.1109/ReConFig.2009.32
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 2261
Schumacher T, Plessl C, Platzner M. An Accelerator for k-th Nearest Neighbor Thinning Based on the IMORC Infrastructure. In: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL). IEEE; 2009:338-344.
LibreCat
2009 | Conference Paper | LibreCat-ID: 2263
Grad M, Plessl C. Woolcano: An Architecture and Tool Flow for Dynamic Instruction Set Extension on Xilinx Virtex-4 FX. In: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press; 2009:319-322.
LibreCat
2009 | Conference Paper | LibreCat-ID: 46414
Wagner T, Trautmann H, Naujoks B. OCD: Online Convergence Detection for Evolutionary Multi-Objective Algorithms Based on Statistical Testing. In: Ehrgott M, Fonseca CM, Gandibleux X, Hao J-K, Sevaux M, eds. Evolutionary Multi-Criterion Optimization. Springer Berlin Heidelberg; 2009:198–215. doi:https://doi.org/10.1007/978-3-642-01020-0_19
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 46415
Trautmann H, Mehnen J, Naujoks B. Pareto-dominance in noisy environments. In: 2009 IEEE Congress on Evolutionary Computation. ; 2009:3119-3126. doi:10.1109/CEC.2009.4983338
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 46413
Naujoks B, Trautmann H. Online convergence detection for multiobjective aerodynamic applications. In: 2009 IEEE Congress on Evolutionary Computation. ; 2009:332-339. doi:10.1109/CEC.2009.4982966
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 46416
Trautmann H, Mehnen J. Statistical Methods for Improving Multi-objective Evolutionary Optimisation. International Journal of Computational Intelligence Research. 2009;5(2):72–78.
LibreCat
2009 | Journal Article | LibreCat-ID: 46418
Trautmann H, Wagner T, Naujoks B, Preuss M, Mehnen J. Statistical Methods for Convergence Detection of Multi-Objective Evolutionary Algorithms. Evolutionary Computation. 2009;17(4):493-509. doi:10.1162/evco.2009.17.4.17403
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 46417
Trautmann H, Mehnen J. Preference-based Pareto optimization in certain and noisy environments. Engineering Optimization. 2009;41(1):23-38. doi:10.1080/03052150802347926
LibreCat
| DOI
2008 | Report | LibreCat-ID: 2513
Biermann T, Dannewitz C, Karl H. Extended Results on an Adaptive Resource/Performance Trade-Off for Resolving Complex Queries in P2P Networks.; 2008.
LibreCat
| Files available
2008 | Dissertation | LibreCat-ID: 19615
Schomaker G. Distributed Resource Allocation and Management in Heterogeneous Networks. Vol 259. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2008.
LibreCat
| Files available
2008 | Conference Paper | LibreCat-ID: 19686
Briest P. Uniform Budgets and the Envy-Free Pricing Problem. In: Proceedings of the 35th InternationalColloquium on Automata, Languages and Programming (ICALP). ; 2008. doi:10.1007/978-3-540-70575-8_66
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19687
Briest P, Krysta P, Babaioff M. On the Approximability of Combinatorial Exchange Problems. In: Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT). Cham; 2008. doi:https://doi.org/10.1007/978-3-540-79309-0_9
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19812
Schindelhauer C, Mahlmann P. Random Graphs for Peer-to-Peer Overlays. In: The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS), Proceedings of the Final Workshop. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2008:1-22.
LibreCat
2008 | Conference Paper | LibreCat-ID: 19813
Ooi CC, Schindelhauer C. Detours Save Energy in Mobile Wireless Networks. In: MWCN’08: Proc. of IFIP Joint Conference on Mobile Wireless Communications Networks (MWCN 2008) and Personal Wireless Communications (PWC 2008). Springer; 2008. doi:10.1007/978-0-387-84839-6_6
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19832
Ooi CC, Schindelhauer C. Energy-Efficient Distributed Target Tracking Using Wireless Relay Robots. In: ARS’08: Proc. of the 9th International Symposium on Distributed Autonomous Robotic Systems (DARS 2008). ; 2008. doi:10.1007/978-3-642-00644-9_4
LibreCat
| DOI
2008 | Mastersthesis | LibreCat-ID: 19950
Pietrzyk P. Lokale Strategien Zur Optimierung von Kommunikationsketten.; 2008.
LibreCat
| Files available
2008 | Dissertation | LibreCat-ID: 20262
Hamann H. Space-Time Continuous Models of Swarm Robotic Systems.; 2008. doi:10.1007/978-3-642-13377-0
LibreCat
| DOI
2008 | Preprint | LibreCat-ID: 26235
Ziegler M, Koolen WM. Kolmogorov Complexity Theory over the Reals. arXiv:08022027. Published online 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 26243
Köhler S, Ziegler M. On the Stability of Fast Polynomial Arithmetic. In: Proc. 8th Conference on Real Numbers and Computers. ; 2008:147-156.
LibreCat
2008 | Book Chapter | LibreCat-ID: 26262
Ziegler M. A Meta-Theory of Physics and Computation. In: Verhandlungen Der Deutschen Physikalischen Gesellschaft. Deutsche Physikalische Gesellschaft (DPG); 2008:145.
LibreCat
2008 | Journal Article | LibreCat-ID: 26280
Meer K, Ziegler M. An explicit solution to Post’s Problem over the reals. Journal of Complexity. Published online 2008:3-15. doi:10.1016/j.jco.2006.09.004
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3203
Wehrheim H. Refinement in the Presence of Unknowns. Electr Notes Theor Comput Sci. 2008:255--264. doi:10.1016/j.entcs.2008.02.023
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3204
Estler H.-}Christian, Wehrheim H. Alloy as a Refactoring Checker? Electr Notes Theor Comput Sci. 2008:331--357. doi:10.1016/j.entcs.2008.06.015
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3205
Möller M, Olderog E-R, Rasch H, Wehrheim H. Integrating a formal method into a software engineering process with {UML} and Java. Formal Asp Comput. 2008;(2):161--204. doi:10.1007/s00165-007-0042-7
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3206
Brückner I, Dräger K, Finkbeiner B, Wehrheim H. Slicing Abstractions. Fundam Inform. 2008;(4):369--392.
LibreCat
2008 | Conference Paper | LibreCat-ID: 3207
Engels G, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In: Schieferdecker I, Hartman A, eds. Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:94--109. doi:10.1007/978-3-540-69100-6_7
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3208
Derrick J, Schellhorn G, Wehrheim H. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In: Barthe G, S. de Boer F, 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. Lecture Notes in Computer Science. ; 2008:78--95. doi:10.1007/978-3-540-68863-1_6
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3209
Metzler B, Wehrheim H, Wonisch D. Decomposition for Compositional Verification. In: Liu S, S. E. Maibaum T, Araki K, eds. Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:105--125. doi:10.1007/978-3-540-88194-0_9
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald J, Elisabeth Haxthausen A, Yenig{\"{u}}n H, eds. Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:380--394. doi:10.1007/978-3-540-85762-4_26
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3001
Stern C, Adelt P, Krummel V, Ackermann MR. Reliable Evidence of Data Integrity from an Untrusted Storage Service. In: Fourth International Conference on Networking and Services (Icns 2008). IEEE; 2008. doi:10.1109/icns.2008.28
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3143
Gajek S, Jager T, Manulis M, Schwenk J. A Browser-Based Kerberos Authentication Scheme. In: Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings. ; 2008:115--129. doi:10.1007/978-3-540-88313-5_8
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3144
Altmann K, Jager T, Rupp A. On Black-Box Ring Extraction and Integer Factorization. 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:437--448. doi:10.1007/978-3-540-70583-3_36
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3145
Jager T, Schwenk J. On the Equivalence of Generic Group Models. In: Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings. ; 2008:200--209. doi:10.1007/978-3-540-88733-1_14
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3146
Jager T, Jäkel H, Schwenk J. Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS. 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:127--136.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20938
Tichy M, Henkler S, Meyer M, von Detten M. Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse. In: Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany. ; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20957
Kindler E, Schmelter D. Aspect-oriented modelling from a different angle. In: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08. ; 2008. doi:10.1145/1404920.1404922
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 20964
Holtmann J, Tichy M. Component Story Diagrams in Fujaba4Eclipse. In: Proc. of the 6th International Fujaba Days 2008, Dresden, Germany. ; 2008:44-47.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20965
Holtmann J. Graphtransformationen Für Komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20966
Tichy M, Henkler S, Holtmann J, Oberthür S. Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems. In: Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany. Vol 236. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2008:27-38.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20968
Holtmann J. Graphtransformationen Für Komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 17416
Suess T, Huber D, Fischer M, Laroque C, Dangelmaier W. A System for Aggregated Visualization of Multiple Parallel Discrete Event Simulations. In: IEEE International Symposium on Parallel and Distributed Processing with Applications. ; 2008. doi:10.1109/ispa.2008.30
LibreCat
| DOI
2008 | Book | LibreCat-ID: 17566
Meyer auf der Heide F. The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS). Vol 222. Paderborn: Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 17868
Dangelmaier W, Fischer M, Huber D, Laroque C, Suess T. Aggregated 3D-visualization of a distributed simulation experiment of a queuing system. In: 2008 Winter Simulation Conference. ; 2008:2012-2020. doi:10.1109/wsc.2008.4736296
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19003
Degener B, Gehweiler J, Lammersen C. The Kinetic Facility Location Problem. In: Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT). ; 2008:378-389. doi:10.1007/978-3-540-69903-3_34
LibreCat
| DOI