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.

5685 Publications


2009 | Conference Paper | LibreCat-ID: 15775
Fober, T., et al. “Graph-Kernels for the Comparative Analysis of Protein Active Sites.” In Proceedings GCB-2009 German Conference on Bioinformatics Halle (Saale), Germany, edited by I. Grosse et al., 2009, pp. 21–31.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 15776
Senge, Robin, and Eyke Hüllermeier. “Learning Pattern Tree Classifiers Using a Co-Evolutionary Algorithm.” In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Darmstadt, Germany, 2009, pp. 105–10.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 15778
Fober, T., et al. “Extension and Empirical Comparison of Graph-Kernels for the Analysis of Protein Active Sites.” In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Darmstadt, Germany, 2009, pp. 30–36.
LibreCat
 

2009 | Journal Article | LibreCat-ID: 15076
Böttcher, Stefan, and Rita Hartel. “Information Disclosure by Answers to XPath Queries.” Journal of Computer Security, vol. 17, no. 1, IOS Press, 2009, pp. 69–99, doi:10.3233/jcs-2009-0318.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 15120
Fober, T., et al. “Efficient Construction of Multiple Geometrical Alignments for the Comparison of Protein Binding Sites.” In Proceedings ISDA-2009, 9th International Conference on Intelligent Systems Design and Applications, Pisa, Italy, 2009, pp. 1251–56.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 15138
Böttcher, Stefan, and Rita Hartel. “CSC: Supporting Queries on Compressed Cached XML.” Database Technologies 2009, Twentieth Australasian Database Conference, ADC 2009, Australian Computer Society, Inc., 2009, pp. 153–60.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 15139
Böttcher, Stefan, et al. “XML Stream Data Reduction by Shared KST Signatures.” 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., et al. “Similarity Analysis of Protein Binding Sites: A Generalization of the Maximum Common Subgraph Measure Based on Quasi-Clique Detection.” In Proceedings IDA-2009, 9th International Symposium on Intelligent Data Analysis, Pisa / Italy, 2009, pp. 1245–50.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 15195
Fober, T., and Eyke Hüllermeier. “Fuzzy Modeling of Labeled Point Cloud Superposition  for the Comparison of Protein Binding Sites.” In Proceedings IFSA / EUSFLAT-2009 World Congress of  the Fuzzy Systems Association, Lissabon, Portugal, 2009, pp. 1299–304.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 15196
Hüllermeier, Eyke, and M. Rifqi. “A Fuzzy Variant of the Rand Index for Comparing Clustering Structures.” In Proceedings IFSA / EUSFLAT-2009 World Congress of  the Fuzzy Systems Association, Lissabon, Portugal, 2009, pp. 1294–98.
LibreCat
 

2009 | Journal Article | LibreCat-ID: 15255
Domik, Gitta. “Interdisciplinary Collaboration in a Visualization Course.” Informatics Education Europe IV, November, 2009, pp. 5–9.
LibreCat
 

2009 | Journal Article | LibreCat-ID: 16154
Weskamp, N., et al. “Merging Chemical and Biological Space: Structural Mapping of Enzyme Binding Pocket Space.” Proteins, vol. 76, no. 2, 2009, pp. 317–30.
LibreCat
 

2009 | Journal Article | LibreCat-ID: 16158
Hühn, J., and Eyke Hüllermeier. “FURIA: An Algorithm for Unordered Fuzzy Rule Induction.” Data Mining and Knowledge Discovery , vol. 19, 2009, pp. 293–319.
LibreCat
 

2009 | Journal Article | LibreCat-ID: 16159
Hüllermeier, Eyke, and S. Vanderlooy. “Why Fuzzy Decision Trees Are Good Rankers.” IEEE Transactions on Fuzzy Systems, vol. 17, no. 6, 2009, pp. 1233–44.
LibreCat
 

2009 | Journal Article | LibreCat-ID: 16161
Yi, Y., et al. “Fuzzy Operator Trees for Modeling Rating Functions.” International Journal of Computational Intelligence and Applications, vol. 8, no. 4, 2009, pp. 413–28.
LibreCat
 

2009 | Journal Article | LibreCat-ID: 16162
Fober, T., et al. “Evolutionary Construction of Multiple Graph Alignments for the Structural Analysis of Biomolecules.” Bioinformatics, vol. 25, no. 16, 2009, pp. 2110–17.
LibreCat
 

2009 | Journal Article | LibreCat-ID: 16163
Hühn, J., and Eyke Hüllermeier. “FR3: A Fuzzy Rule Learner for Inducing Reliable Classifiers.” IEEE Transactions on Fuzzy Systems, vol. 17, no. 1, 2009, pp. 138–49.
LibreCat
 

2009 | Journal Article | LibreCat-ID: 16165
Hüllermeier, Eyke, et al. “Supporting Case-Based Retrieval by Similarity Skylines: Basic Concepts and Extensions.” Künstliche Intelligenz, vol. 1, no. 09, 2009, pp. 24–29.
LibreCat
 

2009 | Journal Article | LibreCat-ID: 16398
Bienkowski, Marcin, et al. “Optimal Algorithms for Page Migration in Dynamic Networks.” Journal of Discrete Algorithms, 2009, pp. 545–69, doi:10.1016/j.jda.2008.07.006.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 1005
Biermann, Thorsten, et al. “Cooperation and Coding Framework.” Communications Workshops, 2009. ICC Workshops 2009. IEEE International Conference On, 2009, pp. 1--5.
LibreCat | Download (ext.)
 

2009 | Conference Paper | LibreCat-ID: 1010
Valentin, Stefan, et al. “Combining for Cooperative WLANs-a Reality Check Based on Prototype Measurements.” Communications Workshops, 2009. ICC Workshops 2009. IEEE International Conference On, 2009, pp. 1--5.
LibreCat | Files available
 

2009 | Conference Paper | LibreCat-ID: 1011
Volkhausen, Tobias, et al. “Improving Network Coded Cooperation by Soft Information.” Sensor, Mesh and Ad Hoc Communications and Networks Workshops, 2009. SECON Workshops’ 09. 6th Annual IEEE Communications Society Conference On, 2009, pp. 1--6.
LibreCat | Download (ext.)
 

2009 | Book Chapter | LibreCat-ID: 10188
Hüllermeier, Eyke. “On the Usefulness of Fuzzy Sets in Data Mining.” Views on Fuzzy Sets and Systems from Different Perspectives: Philosophy and Logic, Criticisms and Applications, edited by R. Seising, Springer, 2009, pp. 457–70.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 1032
Warneke, Daniel, and Christian Dannewitz. “Statistics-Based ID Management for Load Balancing in Structured P2P Networks.” 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., et al. “Decision Tree and Instance-Based Learning for Label Ranking.” In Proceedings ICML-2009, 26th International Conference on Machine Learning, Montreal, Canada, 2009, pp. 161–68.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 13596
Fürnkranz, J., et al. “Binary Decomposition Methods for Multipartite Ranking.” 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., and Eyke Hüllermeier. “A New Instance-Based Label Ranking Approach Using the Mallows Model. In Advances in Neural Networks.” In Proceedings 6th International Symposium on Neural Networks, Wuhan, China, no. LNCS 5551, Springer, 2009, pp. 707–16.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 13632
Happe, Markus, et al. “A Multithreaded Framework for Sequential Monte Carlo Methods on CPU/FPGA Platforms.” Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC), Springer, 2009.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 13634
Giefers, Heiner, and Marco Platzner. “Towards Models for Many-Cores: The Case for the Reconfigurable Mesh.” Proceedings of the Workshop on Many-Cores, International Conference on Architecture of Computing Systems (ARCS), 2009.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 13635
Giefers, Heiner, and Marco Platzner. “ARMLang: A Language and Compiler for Programming Reconfigurable Mesh Many-Cores.” Reconfigurable Architectures Workshop (RAW), Proceedings of the International Parallel and Distributed Processing Symposium, IEEE, 2009.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 13636
Lübbers, Enno, and Marco Platzner. “Cooperative Multithreading in Dynamically Reconfigurable Systems.” Proceedings of the 19th International Workshop on Field Programmable Logic and Applications (FPL) , IEEE, 2009.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 13637
Giefers, Heiner, and Marco Platzner. “Program-Driven Fine-Grained Power Management for the Reconfigurable Mesh.” Proceedings of the 19th International Workshop on Field Programmable Logic and Applications (FPL) , IEEE, 2009.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 13638
Happe, Markus, et al. “An Adaptive Sequential Monte Carlo Framework with Runtime HW/SW Repartitioning.” 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, Stephanie, et al. “Proof-Carrying Hardware: Towards Runtime Verification of Reconfigurable Modules.” Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2009.
LibreCat
 

2009 | Book Chapter | LibreCat-ID: 33813
Zabel, Henning, et al. “Accurate RTOS Modelling and Analysis with SystemC.” Hardware Dependent Software - Principles and Practice, edited by Wolfgang Ecker et al., Springer Verlag, 2009, pp. 233–60, doi:10.1007/978-1-4020-9436-1_9.
LibreCat | DOI
 

2009 | Book Chapter | LibreCat-ID: 33814
Ecker, Wolfgang, et al. “Hardware-Dependent Software - Introduction and Overview.” Hardware Dependent Software - Principles and Practice, edited by Wolfgang Ecker et al., Springer Verlag, 2009, pp. 1–14, doi:10.1007/978-1-4020-9436-1_1.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky, Tim, et al. “A UML Frontend for IP-XACT-Based IP Management.” Proceedings of DATE’09, IEEE, 2009, doi:10.1109/DATE.2009.5090664.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37066
Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.” Proceedings of DATE’09, 2009, doi:10.1109/DATE.2009.5090925.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37063
Klobedanz, Kay, et al. “Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.” Proceedings of IESS09, Springer Verlag, 2009, doi:10.1007/978-3-642-04284-3_20.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37064
Becker, Markus, et al. Integration Abstrakter RTOS-Simulation in Den Entwurf Eingebetteter Automobiler E/E-Systeme. 2009.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 37061
Krupp, Alexander, and Wolfgang Müller. “Systematic Model-in-the-Loop Test of Embedded Control Systems.” Proceedings of IESS09, 2009.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 37068
Doemer, R., et al. “Hardware-Dependent Software for Multi- and Many-Core Embedded Systems.” Proceedings of ASP-DAC’09, 2009.
LibreCat
 

2009 | Journal Article | LibreCat-ID: 8180 | OA
Gharibian, Sevag, et al. “On Global Effects Caused by Locally Noneffective Unitary Operations.” Quantum Information & Computation, vol. 9, no. 11, 2009, pp. 1013–29.
LibreCat | Download (ext.) | arXiv
 

2009 | Journal Article | LibreCat-ID: 8181 | OA
Datta, Animesh, and Sevag Gharibian. “Signatures of Nonclassicality in Mixed-State Quantum Computation.” Physical Review A, vol. 79, no. 4, American Physical Society (APS), 2009, doi:10.1103/physreva.79.042325.
LibreCat | DOI | Download (ext.) | arXiv
 

2009 | Conference Paper | LibreCat-ID: 2350
Schumacher, Tobias, et al. “IMORC: Application Mapping, Monitoring and Optimization for High-Performance Reconfigurable Computing.” Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), IEEE Computer Society, 2009, pp. 275–78, doi:10.1109/FCCM.2009.25.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 2262
Kaufmann, Paul, et al. “EvoCaches: Application-Specific Adaptation of Cache Mapping.” Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS), IEEE Computer Society, 2009, pp. 11–18.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 2352
Beutel, Jan, et al. “PermaDAQ: A Scientific Instrument for Precision Sensing and Data Recovery in Environmental Extremes.” Proc. Int. Conf. on Information Processing in Sensor Networks (IPSN), IEEE Computer Society, 2009, pp. 265–76.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 2238
Schumacher, Tobias, et al. “Communication Performance Characterization for Reconfigurable Accelerator Design on the XD1000.” Proc. Int. Conf. on ReConFigurable Computing and FPGAs (ReConFig), IEEE Computer Society, 2009, pp. 119–24, doi:10.1109/ReConFig.2009.32.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 2261
Schumacher, Tobias, et al. “An Accelerator for K-Th Nearest Neighbor Thinning Based on the IMORC Infrastructure.” Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), IEEE, 2009, pp. 338–44.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 2263
Grad, Mariusz, and Christian Plessl. “Woolcano: An Architecture and Tool Flow for Dynamic Instruction Set Extension on Xilinx Virtex-4 FX.” Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2009, pp. 319–22.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 46414
Wagner, Tobias, et al. “OCD: Online Convergence Detection for Evolutionary Multi-Objective Algorithms Based on Statistical Testing.” Evolutionary Multi-Criterion Optimization, edited by Matthias Ehrgott et al., Springer Berlin Heidelberg, 2009, pp. 198–215, doi:https://doi.org/10.1007/978-3-642-01020-0_19.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 46415
Trautmann, Heike, et al. “Pareto-Dominance in Noisy Environments.” 2009 IEEE Congress on Evolutionary Computation, 2009, pp. 3119–26, doi:10.1109/CEC.2009.4983338.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 46413
Naujoks, Boris, and Heike Trautmann. “Online Convergence Detection for Multiobjective Aerodynamic Applications.” 2009 IEEE Congress on Evolutionary Computation, 2009, pp. 332–39, doi:10.1109/CEC.2009.4982966.
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 46416
Trautmann, Heike, and J. Mehnen. “Statistical Methods for Improving Multi-Objective Evolutionary Optimisation.” International Journal of Computational Intelligence Research, vol. 5, no. 2, 2009, pp. 72–78.
LibreCat
 

2009 | Journal Article | LibreCat-ID: 46418
Trautmann, Heike, et al. “Statistical Methods for Convergence Detection of Multi-Objective Evolutionary Algorithms.” Evolutionary Computation, vol. 17, no. 4, 2009, pp. 493–509, doi:10.1162/evco.2009.17.4.17403.
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 46417
Trautmann, Heike, and Jörn Mehnen. “Preference-Based Pareto Optimization in Certain and Noisy Environments.” Engineering Optimization, vol. 41, no. 1, Taylor & Francis, 2009, pp. 23–38, doi:10.1080/03052150802347926.
LibreCat | DOI
 

2008 | Report | LibreCat-ID: 2513
Biermann, Thorsten, et al. 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, Gunnar. Distributed Resource Allocation and Management in Heterogeneous Networks. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat | Files available
 

2008 | Conference Paper | LibreCat-ID: 19686
Briest, Patrick. “Uniform Budgets and the Envy-Free Pricing Problem.” 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, Patrick, et al. “On the Approximability of Combinatorial Exchange Problems.” Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT), 2008, doi:https://doi.org/10.1007/978-3-540-79309-0_9.
LibreCat | DOI
 

2008 | Report | LibreCat-ID: 19688
Briest, Patrick, et al. Approximate Equilibria in Games with Few Players. 2008.
LibreCat | arXiv
 

2008 | Conference Paper | LibreCat-ID: 19812
Schindelhauer, Christian, and Peter Mahlmann. “Random Graphs for Peer-to-Peer Overlays.” The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS), Proceedings of the Final Workshop, no. 222, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008, pp. 1–22.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 19813
Ooi, Chia Ching, and Christian Schindelhauer. “Detours Save Energy in Mobile Wireless Networks.” 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, Chia Ching, and Christian Schindelhauer. “Energy-Efficient Distributed Target Tracking Using Wireless Relay Robots.” 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, Peter. Lokale Strategien Zur Optimierung von Kommunikationsketten. 2008.
LibreCat | Files available
 

2008 | Dissertation | LibreCat-ID: 20262
Hamann, Heiko. 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, Martin, and Wouter M. Koolen. “Kolmogorov Complexity Theory over the Reals.” ArXiv:0802.2027, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 26243
Köhler, Sven, and Martin Ziegler. “On the Stability of Fast Polynomial Arithmetic.” Proc. 8th Conference on Real Numbers and Computers, 2008, pp. 147–56.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26255
Ziegler, Martin. “Physically-Relativized Church-Turing Hypotheses.” Applied Mathematics and Computation, 2008.
LibreCat | arXiv
 

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

2008 | Journal Article | LibreCat-ID: 26280
Meer, Klaus, and Martin Ziegler. “An Explicit Solution to Post’s Problem over the Reals.” Journal of Complexity, 2008, pp. 3–15, doi:10.1016/j.jco.2006.09.004.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3203
Wehrheim, Heike. “Refinement in the Presence of Unknowns.” Electr. Notes Theor. Comput. Sci., 2008, pp. 255--264, doi:10.1016/j.entcs.2008.02.023.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3204
Estler, H. .. }Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?” Electr. Notes Theor. Comput. Sci., 2008, pp. 331--357, doi:10.1016/j.entcs.2008.06.015.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3205
Möller, Michael, et al. “Integrating a Formal Method into a Software Engineering Process with {UML} and Java.” Formal Asp. Comput., no. 2, 2008, pp. 161--204, doi:10.1007/s00165-007-0042-7.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3206
Brückner, Ingo, et al. “Slicing Abstractions.” Fundam. Inform., no. 4, 2008, pp. 369--392.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3207
Engels, Gregor, et al. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.” Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, edited by Ina Schieferdecker and Alan Hartman, 2008, pp. 94--109, doi:10.1007/978-3-540-69100-6_7.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
Derrick, John, et al. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.” Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, edited by Gilles Barthe and Frank S. de Boer, 2008, pp. 78--95, doi:10.1007/978-3-540-68863-1_6.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3209
Metzler, Björn, et al. “Decomposition for Compositional Verification.” Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu et al., 2008, pp. 105--125, doi:10.1007/978-3-540-88194-0_9.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald et al., 2008, pp. 380--394, doi:10.1007/978-3-540-85762-4_26.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3001
Stern, Claudius, et al. “Reliable Evidence of Data Integrity from an Untrusted Storage Service.” 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, Sebastian, et al. “A Browser-Based Kerberos Authentication Scheme.” Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings, 2008, pp. 115--129, doi:10.1007/978-3-540-88313-5_8.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3144
Altmann, Kristina, et al. “On Black-Box Ring Extraction and Integer Factorization.” 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, doi:10.1007/978-3-540-70583-3_36.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3145
Jager, Tibor, and Jörg Schwenk. “On the Equivalence of Generic Group Models.” Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings, 2008, pp. 200--209, doi:10.1007/978-3-540-88733-1_14.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3146
Jager, Tibor, et al. “Nutzung von Selbstsignierten Client-Zertifikaten Zur Authentifikation Bei SSL/TLS.” 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
Tichy, Matthias, et al. “Safety of Component-Based Systems: Analysis and Improvement Using Fujaba4Eclipse.” Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 20957
Kindler, Ekkart, and David Schmelter. “Aspect-Oriented Modelling from a Different Angle.” 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örg, and Matthias Tichy. “Component Story Diagrams in Fujaba4Eclipse.” Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 2008, pp. 44–47.
LibreCat
 

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

2008 | Conference Paper | LibreCat-ID: 20966
Tichy, Matthias, et al. “Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems.” Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, vol. 236, Heinz Nixdorf Institut, 2008, pp. 27–38.
LibreCat
 

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

2008 | Conference Paper | LibreCat-ID: 17416
Suess, Tim, et al. “A System for Aggregated Visualization of Multiple Parallel Discrete Event Simulations.” 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, Friedhelm. The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS). Vol. 222, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 17868
Dangelmaier, Wilhelm, et al. “Aggregated 3D-Visualization of a Distributed Simulation Experiment of a Queuing System.” 2008 Winter Simulation Conference, 2008, pp. 2012–20, doi:10.1109/wsc.2008.4736296.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 19003
Degener, Bastian, et al. “The Kinetic Facility Location Problem.” Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT), 2008, pp. 378–89, doi:10.1007/978-3-540-69903-3_34.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 19004
Gehweiler, Joachim, et al. “The Kinetic Facility Location Problem.” Proceedings of the 24th European Workshop on Computational Geometry, 2008, pp. 251–54.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 1926
Scheideler, Christian, et al. “An O(Log n) Dominating Set Protocol for Wireless Ad-Hoc Networks under the Physical Interference Model.” 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, doi:10.1145/1374618.1374632.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 1937
Scheideler, Christian. “Algorithms for Overlay Networks.” Bulletin of the EATCS, 2008, pp. 130--152.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 1938
Awerbuch, Baruch, et al. “A Jamming-Resistant MAC Protocol for Single-Hop Wireless Networks.” 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, doi:10.1145/1400751.1400759.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 1940 | OA
Mense, Mario, and Christian Scheideler. “SPREAD: An Adaptive Scheme for Redundant and Fair Storage in Dynamic Heterogeneous Storage Systems.” 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
Clouser, Thomas, et al. “Tiara: A Self-Stabilizing Deterministic Skip List.” Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, vol. 5340, Springer, 2008, pp. 124--140, doi:10.1007/978-3-540-89335-6_12.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed