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
2008 | Conference Paper | LibreCat-ID: 8430
Schattkowsky T, Xie T. UML and IP-XACT for Integrated SPRINT IP Management. In: 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 F, Schneider B. Local Strategies for Connecting Stations by Small Robotic Networks. In: Biologically-Inspired Collaborative Computing. Boston, MA; 2008. doi:10.1007/978-0-387-09655-1_9
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 16464
Gehweiler J, Meyer auf der Heide F. Bin Packing oder „Wie bekomme ich die Klamotten in die Kisten?“. In: Taschenbuch Der Algorithmen. Berlin, Heidelberg; 2008. doi:10.1007/978-3-540-76394-9_40
LibreCat
| DOI
2008 | Conference (Editor) | LibreCat-ID: 16466
Meyer auf der Heide F, Shavit N, eds. 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, Fricke E, Fricke H, Domik G, Weise R, Burchert W. Semiautomatische Klassifizierung von CT-Datensätzen zur kombinierten PET/CT Darstellung. In: ; 2008.
LibreCat
2008 | Bachelorsthesis | LibreCat-ID: 10628
Boschmann A. Aufbau Und Experimentelle Bewertung Eines Systems Zur Langzeitklassifikation von EMG-Signalen. Paderborn University; 2008.
LibreCat
2008 | Bachelorsthesis | LibreCat-ID: 10641
Breitlauch D. Selbstoptimierender Cache-Kontroller. Paderborn University; 2008.
LibreCat
2008 | Bachelorsthesis | LibreCat-ID: 10644
Ceylan T, Yalcin C. Verteilte Simulation von Mobilen Robotern Mit EyeSim. Paderborn University; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 10653
Glette K, Gruber T, Kaufmann P, Torresen J, Sick B, Platzner M. Comparing Evolvable Hardware to Conventional Classifiers for Electromyographic Prosthetic Hand Control. In: IEEE Adaptive Hardware and Systems (AHS). IEEE; 2008:32-39.
LibreCat
2008 | Conference Paper | LibreCat-ID: 10656
Glette K, Torresen J, Kaufmann P, Platzner M. A Comparison of Evolvable Hardware Architectures for Classification Tasks. In: IEEE Intl. Conf. on Evolvable Systems (ICES). Vol 5216. LNCS. Springer; 2008:22-33.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 10669
Happe M. Parallelisierung Und Hardware- / Software - Codesign von Partikelfiltern. Paderborn University; 2008.
LibreCat
2008 | Preprint | LibreCat-ID: 10690
Torresen J, Glette K, Platzner M, Kaufmann P. Evolvable Hardware - Tutorial at Architecture of Computing Systems (ARCS). 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 10691
Kaufmann P, Platzner M. Advanced Techniques for the Creation and Propagation of Modules in Cartesian Genetic Programming. In: Genetic and Evolutionary Computation (GECCO). ACM Press; 2008:1219-1226.
LibreCat
2008 | Bachelorsthesis | LibreCat-ID: 10696
Knieper T. Implementierung Und Bewertung Des Multikriteriellen Optimierungsverfahrens IBEA Für Den Automatisierten Schaltungsentwurf. Paderborn University; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 10698
Knieper T, Defo B, Kaufmann P, Platzner M. On Robust Evolution of Digital Hardware. In: Biologically Inspired Collaborative Computing (BICC). Vol 268. IFIP International Federation for Information Processing. Springer; 2008:2313-222.
LibreCat
2008 | Bachelorsthesis | LibreCat-ID: 10718
Niklas J. Eine Monitoring- Und Debugging-Infrastruktur Für Hybride HW/SW-Systeme. Paderborn University; 2008.
LibreCat
2008 | Bachelorsthesis | LibreCat-ID: 10721
Östermann M. Raytracing on a Custom Instruction Set CPU. Paderborn University; 2008.
LibreCat
2008 | Bachelorsthesis | LibreCat-ID: 10751
Westerheide N. Design and Evaluation of MicroBlaze Multi-Core Architectures. Paderborn University; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 10778
Ghasemzadeh Mohammadi H, Tabkhi H, Miremadi SG, Ejlali A. A cost-effective error detection and roll-back recovery technique for embedded microprocessor control logic. In: 2008 International Conference on Microelectronics. IEEE; 2008:444-447. doi:10.1109/ICM.2008.5393497
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 11972
Awad A, Sommer C, German R, Dressler F. Virtual Cord Protocol (VCP): A flexible DHT-like routing service for sensor networks. In: 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 F, Sommer C, Gansen T, Wischhof L. Requirements and objectives for secure Traffic Information Systems. In: 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 C, Dietrich I, Dressler F. Realistic Simulation of Network Protocols in VANET Scenarios. In: 2007 Mobile Networking for Vehicular Environments. ; 2008. doi:10.1109/move.2007.4300819
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 12053
Sommer C, Yao Z, German R, Dressler F. On the need for bidirectional coupling of road traffic microsimulation and network simulation. In: 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 C, Dressler F. Progressing toward realistic mobility models in VANET simulations. IEEE Communications Magazine. 2008:132-137. doi:10.1109/mcom.2008.4689256
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 15687
Schulte C. Block Model: an educational model of program comprehension as a tool for a scholarly approach to teaching. In: ICER. ACM; 2008:149-160.
LibreCat
2008 | Conference Paper | LibreCat-ID: 15688
Schulte C. Duality Reconstruction - Teaching Digital Artifacts from a Socio-technical Perspective. In: ISSEP. Vol 5090. Lecture Notes in Computer Science. Springer; 2008:110-121.
LibreCat
2008 | Conference Paper | LibreCat-ID: 15689
Dörge C, Schulte C. What are information technology’s key qualifications? In: ITiCSE. ACM; 2008:296-300.
LibreCat
2008 | Conference Paper | LibreCat-ID: 15690
Schulte C, Dörge C. Digitale Artefakte und Schlüsselkompetenzen im Informatikunterricht der Sekundarstufe I. In: DDI. Vol P-135. {LNI}. GI; 2008:13-22.
LibreCat
2008 | Conference Paper | LibreCat-ID: 15779
Hüllermeier E, Vanderlooy S. Weighted voting as approximate MAP prediction in pairwise classification. In: In Proceedings Workshop LWA-2008, Lernen-Wissensentdeckung-Adaptivität, Würzburg, Germany. ; 2008:34-41.
LibreCat
2008 | Conference Paper | LibreCat-ID: 15780
Fober T, Hüllermeier E, Mernberger M. Evolutionary construction of multiple graph alignments for mining structured biomolecular data . In: In Proceedings Workshop LWA-2008, Lernen-Wissensentdeckung-Adaptivität, Würzburg, Germany. ; 2008:27-33.
LibreCat
2008 | Conference Paper | LibreCat-ID: 15781
Fober T, Hüllermeier E, Mernberger M. Evolutionary construction of multiple graph alignments for the structural analysis of biomolecules. In: Beyer A, Schroeder M, eds. IIn Proceedings GCB-2008, Germany Conference on Bioinformatics, Dresden 2008. ; 2008:44-53.
LibreCat
2008 | Journal Article | LibreCat-ID: 14994
Zukic D, Elsner A, Avdagic Z, Domik G. Neural networks in 3D medical scan visualization. Proceedings of 11th International Conference on Computer Graphics and Artificial Intelligence. 2008:183-190.
LibreCat
2008 | Dissertation | LibreCat-ID: 15140
Hartel R. Navigierbare Kompression von XML-Datenströmen. University of Paderborn, Germany; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 15141
Böttcher S, Hartel R, Kirschner M. Detecting Suspicious Relational Database Queries. In: Third International Conference on Availability, Reliability and Security. IEEE; 2008:771-778. doi:10.1109/ares.2008.125
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 15142
Böttcher S, Hartel R, Heinzemann C. BSBC: Towards a Succinct Data Format for XML Streams. In: WEBIST 2008, Proceedings of the Fourth International Conference on Web Information Systems and Technologies. INSTICC; 2008:13-21.
LibreCat
2008 | Conference Paper | LibreCat-ID: 15143
Böttcher S, Hartel R, Heinzemann C. Compressing XML Data Streams with DAG+BSBC. In: Web Information Systems and Technologies, 4th International Conference, WEBIST 2008, Revised Selected Papers. Springer; 2008:65-79. doi:10.1007/978-3-642-01344-7_6
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 16164
Hühn J, Hüllermeier E. Is an ordinal class structure useful in classifier learning? International Journal of Data Mining, Modeling and Management . 2008;1(1):45-67.
LibreCat
2008 | Journal Article | LibreCat-ID: 16166
Hüllermeier E, Fürnkranz J, Cheng W, Brinker K. Label ranking by learning pairwise preferences. Artificial Intelligence. 2008;172:1897-1917.
LibreCat
2008 | Journal Article | LibreCat-ID: 16167
Vanderlooy S, Hüllermeier E. A critical analysis of variants of the AUC. Machine Learning. 2008;72:247-272.
LibreCat
2008 | Journal Article | LibreCat-ID: 16168
Fürnkranz J, Hüllermeier E, Mencia E, Brinker K. Multilabel classification via calibrated label ranking. Machine Learning. 2008;73(2):133-153.
LibreCat
2008 | Journal Article | LibreCat-ID: 16169
Hüllermeier E, Brinker K. Learning valued preference structures for solving classification problems. Fuzzy Sets and Systems. 2008;159(18):2337-2352.
LibreCat
2008 | Journal Article | LibreCat-ID: 16184
Beringer J, Hüllermeier E. Case-based learning in a bipolar possibilistic framework. International Journal of Intelligent Systems. 2008;23(10):1119-1134.
LibreCat
2008 | Book Chapter | LibreCat-ID: 16225
Hüllermeier E. Granular computing in machine learning and data mining. In: Pedrycz W, Skowron A, Kreinovich V, eds. Handbook on Granular Computing. John Wiley and Sons; 2008:889-906.
LibreCat
2008 | Conference Paper | LibreCat-ID: 1003
Platz D, Woldegebreal DH, Karl H. Random network coding in wireless sensor networks: Energy efficiency via cross-layer approach. In: Spread Spectrum Techniques and Applications, 2008 IEEE 10th International Symposium On. ; 2008:654--660.
LibreCat
2008 | Conference Paper | LibreCat-ID: 1007
Valentin S, Volkhausen T, Onat FA, Yanikomeroglu H, Karl H. Enabling partial forwarding by decoding-based one and two-stage selective cooperation. In: Communications Workshops, 2008. ICC Workshops’ 08. IEEE International Conference On. ; 2008:129--133.
LibreCat
2008 | Book Chapter | LibreCat-ID: 10154
Hüllermeier E. Fuzzy methods in data mining. In: Encyclopedia of Data Warehousing and Mining - Second Edition. Idea Group, Inc.,Hershey, USA; 2008:907-912.
LibreCat
2008 | Book Chapter | LibreCat-ID: 10185
Hüllermeier E, Fürnkranz J. Learning preference models from data: On the problem of label ranking and its variants. In: Della Riccia G, Dubois D, Kruse R, Lenz HJ, eds. Preferences and Similarities. Preferences and Similarities. Springer; 2008:283-304.
LibreCat
2008 | Conference Paper | LibreCat-ID: 13599
Hüllermeier E, Vladimirskiy I, Prados Suarez B, Stauch E. Supporting case-based retrieval by similarity skylines: Basic concepts and extensions. In: Althoff KD, Bergmann R, Minor M, Hanft A, eds. In Proceedings ECCBR-2008 9th European Conference on Case-Based Reasoning, Trier, Germany. ; 2008:240-254.
LibreCat
2008 | Conference Paper | LibreCat-ID: 13600
Cheng W, Hüllermeier E. Learning similarity functions from qualitative feedback. In: Althoff KD, Bergmann R, Minor M, Hanft A, eds. In Proceedings ECCBR-2008 9th European Conference on Case-Based Reasoning, Trier, Germany. Springer; 2008:120-134.
LibreCat
2008 | Conference Paper | LibreCat-ID: 13629
Giefers H, Platzner M. Realizing Reconfigurable Mesh Algorithms on Softcore Arrays. In: Proceedings of the International Symposium on Systems, Architectures, Modeling and Simulation (SAMOS). IEEE; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 13630
Lübbers E, Platzner M. Communication and Synchronization in Multithreaded Reconfigurable Computing Systems. In: 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 E, Platzner M. A portable abstraction layer for hardware threads. In: 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 Y, Müller W, Dahaene W. UML for Electronic Systems Design – A Comprehensive Overview. Design Automation for Embedded Systems. 2008;12:261-292. doi:10.1007/s10617-008-9028-9
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34564
Schäfer R, Müller W. Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. Journal on Multimodal User Interfaces. 2008;2(1):25-41. doi:10.1007/s12193-008-0003-3
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 33815
Großmann J, Fey I, Krupp A, Conrad M, Wewetzer C, Müller W. TestML – A Test Exchange Language for Model-based Testing of Embedded Software. In: Broy M, Krüger IH, Meisinger M, eds. ASWSD 2006: Model-Driven Development of Reliable Automotive Services. Springer Verlag; 2008:98-117. doi:10.1007/978-3-540-70930-5_7
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37075
Zabel H, Müller W. An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. Kleinjohann L, Kleinjohann B, eds. 2008;271. doi:10.1007/978-0-387-09661-2_18
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37072
Zabel H, Müller W. Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. In: Scholl Ch, Disch S, eds. Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System. Shaker Verlag; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 2370
Woehrle M, Plessl C, Lim R, Beutel J, Thiele L. EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks. In: IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC). IEEE Computer Society; 2008:201-208. doi:10.1109/SUTC.2008.24
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 2364
Schumacher T, Meiche R, Kaufmann P, Lübbers E, Plessl C, Platzner M. A Hardware Accelerator for k-th Nearest Neighbor Thinning. In: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press; 2008:245-251.
LibreCat
2008 | Conference Paper | LibreCat-ID: 2372
Schumacher T, Plessl C, Platzner M. IMORC: An infrastructure for performance monitoring and optimization of reconfigurable computers. In: Many-Core and Reconfigurable Supercomputing Conference (MRSC). ; 2008.
LibreCat
2008 | Misc | LibreCat-ID: 47685 | 
Schrieb J. Construction and Applications of Identity-Based Encryption without Pairings.; 2008.
LibreCat
| Files available
2008 | Conference Paper | LibreCat-ID: 46420
Trautmann H, Ligges U, Mehnen J, Preuss M. A Convergence Criterion for Multiobjective Evolutionary Algorithms Based on Systematic Statistical Testing. In: Rudolph G, Jansen T, Beume N, Lucas S, Poloni C, eds. Parallel Problem Solving from Nature – PPSN X. Springer Berlin Heidelberg; 2008:825–836.
LibreCat
2008 | Conference Paper | LibreCat-ID: 46419
Mehnen J, Trautmann H. Robust Multi-objective Optimisation of Weld Bead Geometry for Additive Manufacturing. In: Teti R, ed. Proceedings of the 6$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’08). Copyright C.O.C. Com. org. Conv.; 2008.
LibreCat
2007 | Report | LibreCat-ID: 2515
Eitzen F, Valentin S, Gossens K, Karl H, Rolfes O. Experimental Evaluation of IEEE 802.11a-Based WLANs for Medium Range Communication.; 2007.
LibreCat
| Files available
2007 | Conference Paper | LibreCat-ID: 19689
Briest P, Krysta P. Buying Cheap is Expensive: Hardness of Non-Parametric Multi-Product Pricing. In: Proceedings of the 18th ACM-SIAM Symposium on Discrete Algorithms (SODA). ; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 19725
Bonorden O. Load Balancing in the Bulk-Synchronous-Parallel Setting using Process Migrations. In: 2007 IEEE International Parallel and Distributed Processing Symposium. ; 2007. doi:10.1109/ipdps.2007.370330
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 19809
Ooi CC, Schindelhauer C. Minimal Energy Path Planning for Wireless Robots. In: ROBOCOMM’07: Proc. of the 1st International Conference on Robot Communication and Coordination. ; 2007:309-321. doi:10.1007/s11036-008-0150-5
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 19853
Schomaker G. DHHT-RAID: A Distributed Heterogeneous Scalable Architecture for Dynamic Storage Environments. In: Advanced Information Networking and Applications (AINA-07). Vol 21. ; 2007:331-339. doi:10.1109/aina.2007.59
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 2017
Bagchi A, Chaudhary A, Scheideler C, Kolman P. Algorithms for Fault-Tolerant Routing in Circuit-Switched Networks. SIAM J Discrete Math. 2007;(1):141--157. doi:10.1137/S0895480102419743
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2020
Onus M, W. Richa A, Scheideler C. Linearization: Locally Self-Stabilizing Sorting in Graphs. In: 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 B, Scheideler C. Towards Scalable and Robust Overlay Networks. In: 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 B, Scheideler C. A denial-of-service resistant DHT. In: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007. ACM; 2007:370--371. doi:10.1145/1281100.1281178
LibreCat
| Files available
| DOI
2007 | Conference Paper | LibreCat-ID: 2024
Awerbuch B, Scheideler C. A Denial-of-Service Resistant DHT. In: Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings. Vol 4731. Lecture Notes in Computer Science. Springer; 2007:33--47. doi:10.1007/978-3-540-75142-7_6
LibreCat
| DOI
2007 | Conference (Editor) | LibreCat-ID: 2025
Aspnes J, Scheideler C, Arora A, Madden S, eds. 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 P, Scheideler C, eds. 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 A, Scheideler C. Overlay Networks for Peer-to-Peer Networks. In: Handbook of Approximation Algorithms and Metaheuristics. ; 2007. doi:10.1201/9781420010749.ch72
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 24276
Bienkowski M, Kutyłowski J. The k-Resource Problem on Uniform and on Uniformly Decomposable Metric Spaces. In: Lecture Notes in Computer Science. ; 2007. doi:10.1007/978-3-540-73951-7_30
LibreCat
| DOI
2007 | Book | LibreCat-ID: 24366
Mahlmann P, Schindelhauer C. Peer-to-Peer-Netzwerke. Springer; 2007. doi:10.1007/978-3-540-33992-2
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 3211
Derrick J, Wehrheim H. On using data abstractions for model checking refinements. Acta Inf. 2007;(1):41--71. doi:10.1007/s00236-007-0042-3
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 3212
Metzler B, Wehrheim H. Extending a Component Specification Language with Time. Electr Notes Theor Comput Sci. 2007;(2):47--67. doi:10.1016/j.entcs.2006.02.031
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 3213
Estler H.-}Christian, Ruhroth T, Wehrheim H. Modelchecking Correctness of Refactorings - Some Experiments. Electr Notes Theor Comput Sci. 2007:3--17. doi:10.1016/j.entcs.2006.08.041
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3214
Engels G, Güldali B, Soltenborn C, Wehrheim H. Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. In: Sch{\"{u}}rr A, Nagl M, Z{\"{u}}ndorf A, eds. Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science. ; 2007:17--31. doi:10.1007/978-3-540-89020-1_2
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3215
Engels G, Soltenborn C, Wehrheim H. Analysis of {UML} Activities Using Dynamic Meta Modeling. In: M. Bonsangue M, Broch Johnsen E, eds. Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science. ; 2007:76--90. doi:10.1007/978-3-540-72952-5_5
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3216
Ruhroth T, Wehrheim H. Refactoring Object-Oriented Specifications with Data and Processes. In: M. Bonsangue M, Broch Johnsen E, eds. Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science. ; 2007:236--251. doi:10.1007/978-3-540-72952-5_15
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3221
Schäfer W, Wehrheim H. The Challenges of Building Advanced Mechatronic Systems. In: C. Briand L, L. Wolf A, eds. International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}. ; 2007:72--84. doi:10.1109/FOSE.2007.28
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3222
Derrick J, Schellhorn G, Wehrheim H. Proving Linearizability Via Non-atomic Refinement. In: Davies J, Gibbons J, eds. Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings. Lecture Notes in Computer Science. ; 2007:195--214. doi:10.1007/978-3-540-73210-5_11
LibreCat
| DOI
2007 | Dissertation | LibreCat-ID: 2912
Krummel V. Tamper Resistance of AES -- Models, Attacks and Countermeasures. Universität Paderborn; 2007.
LibreCat
| Download (ext.)
2007 | Book Chapter | LibreCat-ID: 3002 |
Blömer J, Krummel V. Analysis of Countermeasures Against Access Driven Cache Attacks on AES. In: Selected Areas in Cryptography. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:96-109. doi:10.1007/978-3-540-77360-3_7
LibreCat
| DOI
| Download (ext.)
2007 | Book Chapter | LibreCat-ID: 3019
May A. Cryptanalysis of Unbalanced RSA with Small CRT-Exponent. In: Advances in Cryptology — CRYPTO 2002. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:242-256. doi:10.1007/3-540-45708-9_16
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3020
Blömer J, May A. Low Secret Exponent RSA Revisited. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:4-19. doi:10.1007/3-540-44670-2_2
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3021
Blömer J, May A. Key Revocation with Interval Cover Families. In: Selected Areas in Cryptography. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:325-341. doi:10.1007/3-540-45537-x_26
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3022
May A, Silverman JH. Dimension Reduction Methods for Convolution Modular Lattices. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:110-125. doi:10.1007/3-540-44670-2_10
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3026
Blömer J. A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers. In: Algorithms — ESA’ 98. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:151-162. doi:10.1007/3-540-68530-8_13
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 20949
Delic A, Avdagic Z, Schäfer W, Boskovic D, Meyer M. Program evaluation using fuzzy logic with bad smells as inputs. In: 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 S, Mahlmann P, Meyer auf der Heide F, Spirakis PG, Weikum G. Guarding our digital society’s well-being. e-Strategies, www.britishpublishers.com. 2007;3-10-2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 18928
Dynia M, Łopuszański J, Schindelhauer C. Why Robots Need Maps. In: Proc. of the 14th Colloquium on Structural Information and Communication Complexity (SIROCCO). ; 2007:37-- 46. doi:10.1007/978-3-540-72951-8_5
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 18929
Dynia M, Korzeniowski M, Kutyłowski J. Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs. In: Proc. of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM’07). Vol 4362. ; 2007:260--271. doi:10.1007/978-3-540-69507-3_21
LibreCat
| DOI
2007 | Dissertation | LibreCat-ID: 18931
Kutylowski J. Using Mobile Relays for Ensuring Connectivity in Sparse Networks.; 2007.
LibreCat
| Files available
2007 | Preprint | LibreCat-ID: 18933
Kutylowski J. Competitive Maintenance of Minimum Spanning Trees under Stochastic Adversaries. 2007.
LibreCat
| Files available