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
2008 | Conference Paper | LibreCat-ID: 8427
Ellerweg, Jens, et al. “Modellbasierter Komponententest Mit Visuellen Kontrakten.” INFORMATIK 2008, Beherrschbare Systeme - Dank Informatik, Band 1, Beiträge Der 38. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), vol. 133, Gesellschaft für Informatik (GI), 2008, pp. 211–14.
LibreCat
2008 | Conference Paper | LibreCat-ID: 8428
von der Maßen, Thomas, and Andreas Wübbeke. “Modellierung von Variabilität in Der Geschäftsanalyse – Eine Industrielle Fallstudie.” Produktlinien Im Kontext: Technologie, Prozesse, Business Und Organisation (PiK 2008), vol. 122, Gesellschaft für Informatik (GI), 2008, pp. 285–96.
LibreCat
2008 | Conference Paper | LibreCat-ID: 8429
Küster, Jochen, et al. “A Tool for Process Merging in Business-Driven Development.” Proceedings of the Forum at the CAiSE’08 Conference on Advanced Information Systems Engineering, vol. 344, CEUR-WS.org, 2008, pp. 89–92, doi:http://ceur-ws.org/Vol-344/paper23.pdf.
LibreCat
| DOI
| Download (ext.)
2008 | Conference Paper | LibreCat-ID: 8430
Schattkowsky, Tim, and Tao Xie. “UML and IP-XACT for Integrated SPRINT IP Management.” Proceedings of the 5th International UML for SoC Design Workshop (UML-SoC 2008), Anaheim, CA (USA), 2008.
LibreCat
2008 | Book Chapter | LibreCat-ID: 16463
Meyer auf der Heide, Friedhelm, and Barbara Schneider. “Local Strategies for Connecting Stations by Small Robotic Networks.” Biologically-Inspired Collaborative Computing, 2008, doi:10.1007/978-0-387-09655-1_9.
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 16464
Gehweiler, Joachim, and Friedhelm Meyer auf der Heide. “Bin Packing Oder „Wie Bekomme Ich Die Klamotten in Die Kisten?“.” Taschenbuch Der Algorithmen, 2008, doi:10.1007/978-3-540-76394-9_40.
LibreCat
| DOI
2008 | Conference (Editor) | LibreCat-ID: 16466
Meyer auf der Heide, Friedhelm, and Nir Shavit, editors. Proceedings of the Twentieth Annual Symposium on Parallelism in Algorithms and Architectures - SPAA ’08. ACM, 2008, doi:10.1145/1378533.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 16863
Elsner, A., et al. Semiautomatische Klassifizierung von CT-Datensätzen Zur Kombinierten PET/CT Darstellung. 2008.
LibreCat
2008 | Bachelorsthesis | LibreCat-ID: 10628
Boschmann, Alexander. Aufbau Und Experimentelle Bewertung Eines Systems Zur Langzeitklassifikation von EMG-Signalen. Paderborn University, 2008.
LibreCat
2008 | Bachelorsthesis | LibreCat-ID: 10641
Breitlauch, Daniel. Selbstoptimierender Cache-Kontroller. Paderborn University, 2008.
LibreCat
2008 | Bachelorsthesis | LibreCat-ID: 10644
Ceylan, Toni, and Coni Yalcin. Verteilte Simulation von Mobilen Robotern Mit EyeSim. Paderborn University, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 10653
Glette, Kyrre, et al. “Comparing Evolvable Hardware to Conventional Classifiers for Electromyographic Prosthetic Hand Control.” IEEE Adaptive Hardware and Systems (AHS), IEEE, 2008, pp. 32–39.
LibreCat
2008 | Conference Paper | LibreCat-ID: 10656
Glette, Kyrre, et al. “A Comparison of Evolvable Hardware Architectures for Classification Tasks.” IEEE Intl. Conf. on Evolvable Systems (ICES), vol. 5216, Springer, 2008, pp. 22–33.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 10669
Happe, Markus. Parallelisierung Und Hardware- / Software - Codesign von Partikelfiltern. Paderborn University, 2008.
LibreCat
2008 | Preprint | LibreCat-ID: 10690
Torresen, Jim, et al. Evolvable Hardware - Tutorial at Architecture of Computing Systems (ARCS). 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 10691
Kaufmann, Paul, and Marco Platzner. “Advanced Techniques for the Creation and Propagation of Modules in Cartesian Genetic Programming.” Genetic and Evolutionary Computation (GECCO), ACM Press, 2008, pp. 1219–26.
LibreCat
2008 | Bachelorsthesis | LibreCat-ID: 10696
Knieper, Tobias. Implementierung Und Bewertung Des Multikriteriellen Optimierungsverfahrens IBEA Für Den Automatisierten Schaltungsentwurf. Paderborn University, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 10698
Knieper, Tobias, et al. “On Robust Evolution of Digital Hardware.” Biologically Inspired Collaborative Computing (BICC), vol. 268, Springer, 2008, pp. 2313–222.
LibreCat
2008 | Bachelorsthesis | LibreCat-ID: 10718
Niklas, Jörg. Eine Monitoring- Und Debugging-Infrastruktur Für Hybride HW/SW-Systeme. Paderborn University, 2008.
LibreCat
2008 | Bachelorsthesis | LibreCat-ID: 10721
Östermann, Marco. Raytracing on a Custom Instruction Set CPU. Paderborn University, 2008.
LibreCat
2008 | Bachelorsthesis | LibreCat-ID: 10751
Westerheide, Nico. Design and Evaluation of MicroBlaze Multi-Core Architectures. Paderborn University, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 10778
Ghasemzadeh Mohammadi, Hassan, et al. “A Cost-Effective Error Detection and Roll-Back Recovery Technique for Embedded Microprocessor Control Logic.” 2008 International Conference on Microelectronics, IEEE, 2008, pp. 444–47, doi:10.1109/ICM.2008.5393497.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 11972
Awad, Abdalkarim, et al. “Virtual Cord Protocol (VCP): A Flexible DHT-like Routing Service for Sensor Networks.” 2008 5th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2008, doi:10.1109/mahss.2008.4660079.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 11991
Dressler, Falko, et al. “Requirements and Objectives for Secure Traffic Information Systems.” 2008 5th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2008, doi:10.1109/mahss.2008.4660135.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 12052
Sommer, Christoph, et al. “Realistic Simulation of Network Protocols in VANET Scenarios.” 2007 Mobile Networking for Vehicular Environments, 2008, doi:10.1109/move.2007.4300819.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 12053
Sommer, Christoph, et al. “On the Need for Bidirectional Coupling of Road Traffic Microsimulation and Network Simulation.” Proceeding of the 1st ACM SIGMOBILE Workshop on Mobility Models - MobilityModels ’08, 2008, doi:10.1145/1374688.1374697.
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 12054
Sommer, Christoph, and Falko Dressler. “Progressing toward Realistic Mobility Models in VANET Simulations.” IEEE Communications Magazine, 2008, pp. 132–37, doi:10.1109/mcom.2008.4689256.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 15687
Schulte, Carsten. “Block Model: An Educational Model of Program Comprehension as a Tool for a Scholarly Approach to Teaching.” ICER, ACM, 2008, pp. 149–60.
LibreCat
2008 | Conference Paper | LibreCat-ID: 15688
Schulte, Carsten. “Duality Reconstruction - Teaching Digital Artifacts from a Socio-Technical Perspective.” ISSEP, vol. 5090, Springer, 2008, pp. 110–21.
LibreCat
2008 | Conference Paper | LibreCat-ID: 15689
Dörge, Christina, and Carsten Schulte. “What Are Information Technology’s Key Qualifications?” ITiCSE, ACM, 2008, pp. 296–300.
LibreCat
2008 | Conference Paper | LibreCat-ID: 15690
Schulte, Carsten, and Christina Dörge. “Digitale Artefakte Und Schlüsselkompetenzen Im Informatikunterricht Der Sekundarstufe I.” DDI, vol. P-135, GI, 2008, pp. 13–22.
LibreCat
2008 | Conference Paper | LibreCat-ID: 15779
Hüllermeier, Eyke, and S. Vanderlooy. “Weighted Voting as Approximate MAP Prediction in Pairwise Classification.” In Proceedings Workshop LWA-2008, Lernen-Wissensentdeckung-Adaptivität, Würzburg, Germany, 2008, pp. 34–41.
LibreCat
2008 | Conference Paper | LibreCat-ID: 15780
Fober, T., et al. “Evolutionary Construction of Multiple Graph Alignments for Mining Structured Biomolecular Data .” In Proceedings Workshop LWA-2008, Lernen-Wissensentdeckung-Adaptivität, Würzburg, Germany, 2008, pp. 27–33.
LibreCat
2008 | Conference Paper | LibreCat-ID: 15781
Fober, T., et al. “Evolutionary Construction of Multiple Graph Alignments for the Structural Analysis of Biomolecules.” IIn Proceedings GCB-2008, Germany Conference on Bioinformatics, Dresden 2008, edited by A. Beyer and M. Schroeder, 2008, pp. 44–53.
LibreCat
2008 | Journal Article | LibreCat-ID: 14994
Zukic, D., et al. “Neural Networks in 3D Medical Scan Visualization.” Proceedings of 11th International Conference on Computer Graphics and Artificial Intelligence, 2008, pp. 183–90.
LibreCat
2008 | Dissertation | LibreCat-ID: 15140
Hartel, Rita. Navigierbare Kompression von XML-Datenströmen. University of Paderborn, Germany, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 15141
Böttcher, Stefan, et al. “Detecting Suspicious Relational Database Queries.” Third International Conference on Availability, Reliability and Security, IEEE, 2008, pp. 771–78, doi:10.1109/ares.2008.125.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 15142
Böttcher, Stefan, et al. “BSBC: Towards a Succinct Data Format for XML Streams.” WEBIST 2008, Proceedings of the Fourth International Conference on Web Information Systems and Technologies, INSTICC, 2008, pp. 13–21.
LibreCat
2008 | Conference Paper | LibreCat-ID: 15143
Böttcher, Stefan, et al. “Compressing XML Data Streams with DAG+BSBC.” Web Information Systems and Technologies, 4th International Conference, WEBIST 2008, Revised Selected Papers, Springer, 2008, pp. 65–79, doi:10.1007/978-3-642-01344-7_6.
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 16164
Hühn, J., and Eyke Hüllermeier. “Is an Ordinal Class Structure Useful in Classifier Learning?” International Journal of Data Mining, Modeling and Management , vol. 1, no. 1, 2008, pp. 45–67.
LibreCat
2008 | Journal Article | LibreCat-ID: 16166
Hüllermeier, Eyke, et al. “Label Ranking by Learning Pairwise Preferences.” Artificial Intelligence, vol. 172, 2008, pp. 1897–917.
LibreCat
2008 | Journal Article | LibreCat-ID: 16167
Vanderlooy, S., and Eyke Hüllermeier. “A Critical Analysis of Variants of the AUC.” Machine Learning, vol. 72, 2008, pp. 247–72.
LibreCat
2008 | Journal Article | LibreCat-ID: 16168
Fürnkranz, J., et al. “Multilabel Classification via Calibrated Label Ranking.” Machine Learning, vol. 73, no. 2, 2008, pp. 133–53.
LibreCat
2008 | Journal Article | LibreCat-ID: 16169
Hüllermeier, Eyke, and K. Brinker. “Learning Valued Preference Structures for Solving Classification Problems.” Fuzzy Sets and Systems, vol. 159, no. 18, 2008, pp. 2337–52.
LibreCat
2008 | Journal Article | LibreCat-ID: 16184
Beringer, J., and Eyke Hüllermeier. “Case-Based Learning in a Bipolar Possibilistic Framework.” International Journal of Intelligent Systems, vol. 23, no. 10, 2008, pp. 1119–34.
LibreCat
2008 | Book Chapter | LibreCat-ID: 16225
Hüllermeier, Eyke. “Granular Computing in Machine Learning and Data Mining.” Handbook on Granular Computing, edited by W. Pedrycz et al., John Wiley and Sons, 2008, pp. 889–906.
LibreCat
2008 | Conference Paper | LibreCat-ID: 1003
Platz, Daniel, et al. “Random Network Coding in Wireless Sensor Networks: Energy Efficiency via Cross-Layer Approach.” Spread Spectrum Techniques and Applications, 2008 IEEE 10th International Symposium On, 2008, pp. 654--660.
LibreCat
2008 | Conference Paper | LibreCat-ID: 1007
Valentin, Stefan, et al. “Enabling Partial Forwarding by Decoding-Based One and Two-Stage Selective Cooperation.” Communications Workshops, 2008. ICC Workshops’ 08. IEEE International Conference On, 2008, pp. 129--133.
LibreCat
2008 | Book Chapter | LibreCat-ID: 10154
Hüllermeier, Eyke. “Fuzzy Methods in Data Mining.” Encyclopedia of Data Warehousing and Mining - Second Edition, Idea Group, Inc.,Hershey, USA, 2008, pp. 907–12.
LibreCat
2008 | Book Chapter | LibreCat-ID: 10185
Hüllermeier, Eyke, and J. Fürnkranz. “Learning Preference Models from Data: On the Problem of Label Ranking and Its Variants.” Preferences and Similarities, edited by G. Della Riccia et al., Springer, 2008, pp. 283–304.
LibreCat
2008 | Conference Paper | LibreCat-ID: 13599
Hüllermeier, Eyke, et al. “Supporting Case-Based Retrieval by Similarity Skylines: Basic Concepts and Extensions.” In Proceedings ECCBR-2008 9th European Conference on Case-Based Reasoning, Trier, Germany, edited by K.D. Althoff et al., no. LNAI 5239, 2008, pp. 240–54.
LibreCat
2008 | Conference Paper | LibreCat-ID: 13600
Cheng, W., and Eyke Hüllermeier. “Learning Similarity Functions from Qualitative Feedback.” In Proceedings ECCBR-2008 9th European Conference on Case-Based Reasoning, Trier, Germany, edited by K.D. Althoff et al., no. LNAI 5239, Springer, 2008, pp. 120–34.
LibreCat
2008 | Conference Paper | LibreCat-ID: 13629
Giefers, Heiner, and Marco Platzner. “Realizing Reconfigurable Mesh Algorithms on Softcore Arrays.” Proceedings of the International Symposium on Systems, Architectures, Modeling and Simulation (SAMOS), IEEE, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 13630
Lübbers, Enno, and Marco Platzner. “Communication and Synchronization in Multithreaded Reconfigurable Computing Systems.” Proceedings of the 8th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 13631
Lübbers, Enno, and Marco Platzner. “A Portable Abstraction Layer for Hardware Threads.” Proceedings of the 18th International Conference on Field Programmable Logic and Applications (FPL), IEEE, 2008, doi:10.1109/fpl.2008.4629901.
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34563
Vanderperren, Yves, et al. “UML for Electronic Systems Design – A Comprehensive Overview.” Design Automation for Embedded Systems, vol. 12, Springer-Verlag, 2008, pp. 261–92, doi:10.1007/s10617-008-9028-9.
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34564
Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles.” Journal on Multimodal User Interfaces, vol. 2, no. 1, Springer-Verlag, 2008, pp. 25–41, doi:10.1007/s12193-008-0003-3.
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 33815
Großmann, Jürgen, et al. “TestML – A Test Exchange Language for Model-Based Testing of Embedded Software.” ASWSD 2006: Model-Driven Development of Reliable Automotive Services, edited by Manfred Broy et al., Springer Verlag, 2008, pp. 98–117, doi:10.1007/978-3-540-70930-5_7.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37075
Zabel, Henning, and Wolfgang Müller. An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. Edited by L. Kleinjohann and B. Kleinjohann, vol. 271, Springer Verlag, 2008, doi:10.1007/978-0-387-09661-2_18.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37072
Zabel, Henning, and Wolfgang Müller. “Präzises Interrupt Scheduling in Abstrakten RTOS Modellen in SystemC.” Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System, edited by Ch. Scholl and S. Disch, Shaker Verlag, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 2370
Woehrle, Matthias, et al. “EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks.” IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC), IEEE Computer Society, 2008, pp. 201–08, doi:10.1109/SUTC.2008.24.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 2364
Schumacher, Tobias, et al. “A Hardware Accelerator for K-Th Nearest Neighbor Thinning.” Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2008, pp. 245–51.
LibreCat
2008 | Conference Paper | LibreCat-ID: 2372
Schumacher, Tobias, et al. “IMORC: An Infrastructure for Performance Monitoring and Optimization of Reconfigurable Computers.” Many-Core and Reconfigurable Supercomputing Conference (MRSC), 2008.
LibreCat
2008 | Misc | LibreCat-ID: 47685 | 
Schrieb, Jonas. Construction and Applications of Identity-Based Encryption without Pairings. 2008.
LibreCat
| Files available
2008 | Conference Paper | LibreCat-ID: 46420
Trautmann, Heike, et al. “A Convergence Criterion for Multiobjective Evolutionary Algorithms Based on Systematic Statistical Testing.” Parallel Problem Solving from Nature – PPSN X, edited by Günter Rudolph et al., Springer Berlin Heidelberg, 2008, pp. 825–836.
LibreCat
2008 | Conference Paper | LibreCat-ID: 46419
Mehnen, J., and Heike Trautmann. “Robust Multi-Objective Optimisation of Weld Bead Geometry for Additive Manufacturing.” Proceedings of the 6$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’08), edited by R Teti, Copyright C.O.C. Com. org. Conv., 2008.
LibreCat
2007 | Report | LibreCat-ID: 2515
Eitzen, Falk, et al. Experimental Evaluation of IEEE 802.11a-Based WLANs for Medium Range Communication. 2007.
LibreCat
| Files available
2007 | Conference Paper | LibreCat-ID: 19689
Briest, Patrick, and Piotr Krysta. “Buying Cheap Is Expensive: Hardness of Non-Parametric Multi-Product Pricing.” Proceedings of the 18th ACM-SIAM Symposium on Discrete Algorithms (SODA), 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 19725
Bonorden, Olaf. “Load Balancing in the Bulk-Synchronous-Parallel Setting Using Process Migrations.” 2007 IEEE International Parallel and Distributed Processing Symposium, 2007, doi:10.1109/ipdps.2007.370330.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 19809
Ooi, Chia Ching, and Christian Schindelhauer. “Minimal Energy Path Planning for Wireless Robots.” ROBOCOMM’07: Proc. of the 1st International Conference on Robot Communication and Coordination, 2007, pp. 309–21, doi:10.1007/s11036-008-0150-5.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 19853
Schomaker, Gunnar. “DHHT-RAID: A Distributed Heterogeneous Scalable Architecture for Dynamic Storage Environments.” Advanced Information Networking and Applications (AINA-07), vol. 21, 2007, pp. 331–39, doi:10.1109/aina.2007.59.
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 2017
Bagchi, Amitabha, et al. “Algorithms for Fault-Tolerant Routing in Circuit-Switched Networks.” SIAM J. Discrete Math., no. 1, 2007, pp. 141--157, doi:10.1137/S0895480102419743.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2020
Onus, Melih, et al. “Linearization: Locally Self-Stabilizing Sorting in Graphs.” Proceedings of the Nine Workshop on Algorithm Engineering and Experiments, ALENEX 2007, New Orleans, Louisiana, USA, January 6, 2007, 2007, doi:10.1137/1.9781611972870.10.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2022 |
Awerbuch, Baruch, and Christian Scheideler. “Towards Scalable and Robust Overlay Networks.” 6th International Workshop on Peer-To-Peer Systems, IPTPS 2007, Bellevue, WA, USA, February 26-27, 2007, 2007.
LibreCat
| Files available
2007 | Conference Paper | LibreCat-ID: 2023 |
Awerbuch, Baruch, and Christian Scheideler. “A Denial-of-Service Resistant DHT.” Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007, ACM, 2007, pp. 370--371, doi:10.1145/1281100.1281178.
LibreCat
| Files available
| DOI
2007 | Conference Paper | LibreCat-ID: 2024
Awerbuch, Baruch, and Christian Scheideler. “A Denial-of-Service Resistant DHT.” Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings, vol. 4731, Springer, 2007, pp. 33--47, doi:10.1007/978-3-540-75142-7_6.
LibreCat
| DOI
2007 | Conference (Editor) | LibreCat-ID: 2025
Aspnes, James, et al., editors. Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings. Vol. 4549, 2007, doi:10.1007/978-3-540-73090-3.
LibreCat
| DOI
2007 | Conference (Editor) | LibreCat-ID: 2027
B. Gibbons, Phillip, and Christian Scheideler, editors. SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Diego, California, USA, June 9-11, 2007. ACM, 2007.
LibreCat
2007 | Book Chapter | LibreCat-ID: 2028
W. Richa, Andrea, and Christian Scheideler. “Overlay Networks for Peer-to-Peer Networks.” Handbook of Approximation Algorithms and Metaheuristics., 2007, doi:10.1201/9781420010749.ch72.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 24276
Bienkowski, Marcin, and Jarosław Kutyłowski. “The K-Resource Problem on Uniform and on Uniformly Decomposable Metric Spaces.” Lecture Notes in Computer Science, 2007, doi:10.1007/978-3-540-73951-7_30.
LibreCat
| DOI
2007 | Book | LibreCat-ID: 24366
Mahlmann, Peter, and Christian Schindelhauer. Peer-to-Peer-Netzwerke. Springer, 2007, doi:10.1007/978-3-540-33992-2.
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 3211
Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking Refinements.” Acta Inf., no. 1, 2007, pp. 41--71, doi:10.1007/s00236-007-0042-3.
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 3212
Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification Language with Time.” Electr. Notes Theor. Comput. Sci., no. 2, 2007, pp. 47--67, doi:10.1016/j.entcs.2006.02.031.
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 3213
Estler, H. .. }Christian, et al. “Modelchecking Correctness of Refactorings - Some Experiments.” Electr. Notes Theor. Comput. Sci., 2007, pp. 3--17, doi:10.1016/j.entcs.2006.08.041.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3214
Engels, Gregor, et al. “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.” Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, edited by Andy Sch{\"{u}}rr et al., 2007, pp. 17--31, doi:10.1007/978-3-540-89020-1_2.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3215
Engels, Gregor, et al. “Analysis of {UML} Activities Using Dynamic Meta Modeling.” Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 2007, pp. 76--90, doi:10.1007/978-3-540-72952-5_5.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3216
Ruhroth, Thomas, and Heike Wehrheim. “Refactoring Object-Oriented Specifications with Data and Processes.” Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 2007, pp. 236--251, doi:10.1007/978-3-540-72952-5_15.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3221
Schäfer, Wilhelm, and Heike Wehrheim. “The Challenges of Building Advanced Mechatronic Systems.” International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}, edited by Lionel C. Briand and Alexander L. Wolf, 2007, pp. 72--84, doi:10.1109/FOSE.2007.28.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3222
Derrick, John, et al. “Proving Linearizability Via Non-Atomic Refinement.” Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, edited by Jim Davies and Jeremy Gibbons, 2007, pp. 195--214, doi:10.1007/978-3-540-73210-5_11.
LibreCat
| DOI
2007 | Dissertation | LibreCat-ID: 2912
Krummel, Volker. Tamper Resistance of AES -- Models, Attacks and Countermeasures. Universität Paderborn, 2007.
LibreCat
| Download (ext.)
2007 | Book Chapter | LibreCat-ID: 3002 |
Blömer, Johannes, and Volker Krummel. “Analysis of Countermeasures Against Access Driven Cache Attacks on AES.” Selected Areas in Cryptography, Springer Berlin Heidelberg, 2007, pp. 96–109, doi:10.1007/978-3-540-77360-3_7.
LibreCat
| DOI
| Download (ext.)
2007 | Book Chapter | LibreCat-ID: 3019
May, Alexander. “Cryptanalysis of Unbalanced RSA with Small CRT-Exponent.” Advances in Cryptology — CRYPTO 2002, Springer Berlin Heidelberg, 2007, pp. 242–56, doi:10.1007/3-540-45708-9_16.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3020
Blömer, Johannes, and Alexander May. “Low Secret Exponent RSA Revisited.” Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2007, pp. 4–19, doi:10.1007/3-540-44670-2_2.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3021
Blömer, Johannes, and Alexander May. “Key Revocation with Interval Cover Families.” Selected Areas in Cryptography, Springer Berlin Heidelberg, 2007, pp. 325–41, doi:10.1007/3-540-45537-x_26.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3022
May, Alexander, and Joseph H. Silverman. “Dimension Reduction Methods for Convolution Modular Lattices.” Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2007, pp. 110–25, doi:10.1007/3-540-44670-2_10.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3026
Blömer, Johannes. “A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers.” Algorithms — ESA’ 98, Springer Berlin Heidelberg, 2007, pp. 151–62, doi:10.1007/3-540-68530-8_13.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 20949
Delic, A., et al. “Program Evaluation Using Fuzzy Logic with Bad Smells as Inputs.” Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina, Faculty of Electrical Engineering, University of Sarajevo, 2007.
LibreCat
2007 | Journal Article | LibreCat-ID: 17567
Leonardi, Stefano, et al. “Guarding Our Digital Society’s Well-Being.” E-Strategies, Www.Britishpublishers.Com, vol. 3-10–2007, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 18928
Dynia, Miroslaw, et al. “Why Robots Need Maps.” Proc. of the 14th Colloquium on Structural Information and Communication Complexity (SIROCCO), 2007, pp. 37-- 46, doi:10.1007/978-3-540-72951-8_5.
LibreCat
| DOI