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
UML and IP-XACT for Integrated SPRINT IP Management
T. Schattkowsky, T. Xie, in: Proceedings of the 5th International UML for SoC Design Workshop (UML-SoC 2008), Anaheim, CA (USA), 2008.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 16463
Local Strategies for Connecting Stations by Small Robotic Networks
F. Meyer auf der Heide, B. Schneider, in: Biologically-Inspired Collaborative Computing, Boston, MA, 2008.
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 16464
Bin Packing oder „Wie bekomme ich die Klamotten in die Kisten?“
J. Gehweiler, F. Meyer auf der Heide, in: Taschenbuch Der Algorithmen, Berlin, Heidelberg, 2008.
LibreCat | DOI
 

2008 | Preprint | LibreCat-ID: 16465
Planar Visibility Counting
M. Fischer, M. Hilbig, C. Jähn, F. Meyer auf der Heide, M. Ziegler, ArXiv:0810.0052 (2008).
LibreCat | arXiv
 

2008 | Conference (Editor) | LibreCat-ID: 16466
Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures - SPAA '08
F. Meyer auf der Heide, N. Shavit, eds., Proceedings of the Twentieth Annual Symposium on Parallelism in Algorithms and Architectures - SPAA ’08, ACM, 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 16863
Semiautomatische Klassifizierung von CT-Datensätzen zur kombinierten PET/CT Darstellung
A. Elsner, E. Fricke, H. Fricke, G. Domik, R. Weise, W. Burchert, in: 2008.
LibreCat
 

2008 | Bachelorsthesis | LibreCat-ID: 10628
Aufbau und experimentelle Bewertung eines Systems zur Langzeitklassifikation von EMG-Signalen
A. Boschmann, Aufbau Und Experimentelle Bewertung Eines Systems Zur Langzeitklassifikation von EMG-Signalen, Paderborn University, 2008.
LibreCat
 

2008 | Bachelorsthesis | LibreCat-ID: 10641
Selbstoptimierender Cache-Kontroller
D. Breitlauch, Selbstoptimierender Cache-Kontroller, Paderborn University, 2008.
LibreCat
 

2008 | Bachelorsthesis | LibreCat-ID: 10644
Verteilte Simulation von mobilen Robotern mit EyeSim
T. Ceylan, C. Yalcin, Verteilte Simulation von Mobilen Robotern Mit EyeSim, Paderborn University, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 10653
Comparing Evolvable Hardware to Conventional Classifiers for Electromyographic Prosthetic Hand Control
K. Glette, T. Gruber, P. Kaufmann, J. Torresen, B. Sick, M. Platzner, in: IEEE Adaptive Hardware and Systems (AHS), IEEE, 2008, pp. 32–39.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 10656
A Comparison of Evolvable Hardware Architectures for Classification Tasks
K. Glette, J. Torresen, P. Kaufmann, M. Platzner, in: IEEE Intl. Conf. on Evolvable Systems (ICES), Springer, 2008, pp. 22–33.
LibreCat
 

2008 | Mastersthesis | LibreCat-ID: 10669
Parallelisierung und Hardware- / Software - Codesign von Partikelfiltern
M. Happe, Parallelisierung Und Hardware- / Software - Codesign von Partikelfiltern, Paderborn University, 2008.
LibreCat
 

2008 | Preprint | LibreCat-ID: 10690
Evolvable Hardware - Tutorial at Architecture of Computing Systems (ARCS)
J. Torresen, K. Glette, M. Platzner, P. Kaufmann, (2008).
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 10691
Advanced Techniques for the Creation and Propagation of Modules in Cartesian Genetic Programming
P. Kaufmann, M. Platzner, in: Genetic and Evolutionary Computation (GECCO), ACM Press, 2008, pp. 1219–1226.
LibreCat
 

2008 | Bachelorsthesis | LibreCat-ID: 10696
Implementierung und Bewertung des multikriteriellen Optimierungsverfahrens IBEA für den automatisierten Schaltungsentwurf
T. Knieper, Implementierung Und Bewertung Des Multikriteriellen Optimierungsverfahrens IBEA Für Den Automatisierten Schaltungsentwurf, Paderborn University, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 10698
On Robust Evolution of Digital Hardware
T. Knieper, B. Defo, P. Kaufmann, M. Platzner, in: Biologically Inspired Collaborative Computing (BICC), Springer, 2008, pp. 2313–222.
LibreCat
 

2008 | Bachelorsthesis | LibreCat-ID: 10718
Eine Monitoring- und Debugging-Infrastruktur für hybride HW/SW-Systeme
J. Niklas, Eine Monitoring- Und Debugging-Infrastruktur Für Hybride HW/SW-Systeme, Paderborn University, 2008.
LibreCat
 

2008 | Bachelorsthesis | LibreCat-ID: 10721
Raytracing on a Custom Instruction Set CPU
M. Östermann, Raytracing on a Custom Instruction Set CPU, Paderborn University, 2008.
LibreCat
 

2008 | Bachelorsthesis | LibreCat-ID: 10751
Design and Evaluation of MicroBlaze Multi-core Architectures
N. Westerheide, Design and Evaluation of MicroBlaze Multi-Core Architectures, Paderborn University, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 10778
A cost-effective error detection and roll-back recovery technique for embedded microprocessor control logic
H. Ghasemzadeh Mohammadi, H. Tabkhi, S.G. Miremadi, A. Ejlali, in: 2008 International Conference on Microelectronics, IEEE, 2008, pp. 444–447.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 11972
Virtual Cord Protocol (VCP): A flexible DHT-like routing service for sensor networks
A. Awad, C. Sommer, R. German, F. Dressler, in: 2008 5th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 11991
Requirements and objectives for secure Traffic Information Systems
F. Dressler, C. Sommer, T. Gansen, L. Wischhof, in: 2008 5th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 12052
Realistic Simulation of Network Protocols in VANET Scenarios
C. Sommer, I. Dietrich, F. Dressler, in: 2007 Mobile Networking for Vehicular Environments, 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 12053
On the need for bidirectional coupling of road traffic microsimulation and network simulation
C. Sommer, Z. Yao, R. German, F. Dressler, in: Proceeding of the 1st ACM SIGMOBILE Workshop on Mobility Models  - MobilityModels ’08, 2008.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 12054
Progressing toward realistic mobility models in VANET simulations
C. Sommer, F. Dressler, IEEE Communications Magazine (2008) 132–137.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 15687 LibreCat
 

2008 | Conference Paper | LibreCat-ID: 15688 LibreCat
 

2008 | Conference Paper | LibreCat-ID: 15689
What are information technology's key qualifications?
C. Dörge, C. Schulte, in: ITiCSE, ACM, 2008, pp. 296–300.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 15690 LibreCat
 

2008 | Conference Paper | LibreCat-ID: 15779
Weighted voting as approximate MAP prediction in pairwise classification
E. Hüllermeier, S. Vanderlooy, in: In Proceedings Workshop LWA-2008, Lernen-Wissensentdeckung-Adaptivität, Würzburg, Germany, 2008, pp. 34–41.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 15780
Evolutionary construction of multiple graph alignments for mining structured biomolecular data
T. Fober, E. Hüllermeier, M. Mernberger, in: In Proceedings Workshop LWA-2008, Lernen-Wissensentdeckung-Adaptivität, Würzburg, Germany, 2008, pp. 27–33.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 15781
Evolutionary construction of multiple graph alignments for the structural analysis of biomolecules
T. Fober, E. Hüllermeier, M. Mernberger, in: A. Beyer, M. Schroeder (Eds.), IIn Proceedings GCB-2008, Germany Conference on Bioinformatics, Dresden 2008, 2008, pp. 44–53.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 14994
Neural networks in 3D medical scan visualization
D. Zukic, A. Elsner, Z. Avdagic, G. Domik, Proceedings of 11th International Conference on Computer Graphics and Artificial Intelligence (2008) 183–190.
LibreCat
 

2008 | Dissertation | LibreCat-ID: 15140
Navigierbare Kompression von XML-Datenströmen
R. Hartel, Navigierbare Kompression von XML-Datenströmen, University of Paderborn, Germany, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 15141
Detecting Suspicious Relational Database Queries
S. Böttcher, R. Hartel, M. Kirschner, in: Third International Conference on Availability, Reliability and Security, IEEE, 2008, pp. 771–778.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 15142
BSBC: Towards a Succinct Data Format for XML Streams
S. Böttcher, R. Hartel, C. Heinzemann, in: 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
Compressing XML Data Streams with DAG+BSBC
S. Böttcher, R. Hartel, C. Heinzemann, in: Web Information Systems and Technologies, 4th International Conference, WEBIST 2008, Revised Selected Papers, Springer, 2008, pp. 65–79.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 16164
Is an ordinal class structure useful in classifier learning?
J. Hühn, E. Hüllermeier, International Journal of Data Mining, Modeling and Management 1 (2008) 45–67.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 16166
Label ranking by learning pairwise preferences
E. Hüllermeier, J. Fürnkranz, W. Cheng, K. Brinker, Artificial Intelligence 172 (2008) 1897–1917.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 16167
A critical analysis of variants of the AUC
S. Vanderlooy, E. Hüllermeier, Machine Learning 72 (2008) 247–272.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 16168
Multilabel classification via calibrated label ranking
J. Fürnkranz, E. Hüllermeier, E. Mencia, K. Brinker, Machine Learning 73 (2008) 133–153.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 16169
Learning valued preference structures for solving classification problems
E. Hüllermeier, K. Brinker, Fuzzy Sets and Systems 159 (2008) 2337–2352.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 16184
Case-based learning in a bipolar possibilistic framework
J. Beringer, E. Hüllermeier, International Journal of Intelligent Systems 23 (2008) 1119–1134.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 16225
Granular computing in machine learning and data mining
E. Hüllermeier, in: W. Pedrycz, A. Skowron, V. Kreinovich (Eds.), Handbook on Granular Computing, John Wiley and Sons, 2008, pp. 889–906.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 1003
Random network coding in wireless sensor networks: Energy efficiency via cross-layer approach
D. Platz, D.H. Woldegebreal, H. Karl, in: Spread Spectrum Techniques and Applications, 2008 IEEE 10th International Symposium On, 2008, pp. 654--660.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 1007
Enabling partial forwarding by decoding-based one and two-stage selective cooperation
S. Valentin, T. Volkhausen, F.A. Onat, H. Yanikomeroglu, H. Karl, in: Communications Workshops, 2008. ICC Workshops’ 08. IEEE International Conference On, 2008, pp. 129--133.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 10154
Fuzzy methods in data mining
E. Hüllermeier, in: Encyclopedia of Data Warehousing and Mining - Second Edition, Idea Group, Inc.,Hershey, USA, 2008, pp. 907–912.
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 10185
Learning preference models from data: On the problem of label ranking and its variants
E. Hüllermeier, J. Fürnkranz, in: G. Della Riccia, D. Dubois, R. Kruse, H.J. Lenz (Eds.), Preferences and Similarities, Springer, 2008, pp. 283–304.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 13599
Supporting case-based retrieval by similarity skylines: Basic concepts and extensions
E. Hüllermeier, I. Vladimirskiy, B. Prados Suarez, E. Stauch, in: K.D. Althoff, R. Bergmann, M. Minor, A. Hanft (Eds.), In Proceedings ECCBR-2008 9th European Conference on Case-Based  Reasoning, Trier, Germany, 2008, pp. 240–254.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 13600
Learning similarity functions from qualitative feedback
W. Cheng, E. Hüllermeier, in: K.D. Althoff, R. Bergmann, M. Minor, A. Hanft (Eds.), In Proceedings ECCBR-2008 9th European Conference on Case-Based  Reasoning, Trier, Germany, Springer, 2008, pp. 120–134.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 13629
Realizing Reconfigurable Mesh Algorithms on Softcore Arrays
H. Giefers, M. Platzner, in: Proceedings of the International Symposium on Systems, Architectures, Modeling and Simulation (SAMOS), IEEE, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 13630
Communication and Synchronization in Multithreaded Reconfigurable Computing Systems
E. Lübbers, M. Platzner, 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
A portable abstraction layer for hardware threads
E. Lübbers, M. Platzner, in: Proceedings of the 18th International Conference on Field Programmable Logic and Applications (FPL), IEEE, 2008.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 34563
UML for Electronic Systems Design – A Comprehensive Overview
Y. Vanderperren, W. Müller, W. Dahaene, Design Automation for Embedded Systems 12 (2008) 261–292.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 34564
Assessment of a Multimodal Interaction and Rendering System against Established Design Principles
R. Schäfer, W. Müller, Journal on Multimodal User Interfaces 2 (2008) 25–41.
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 33815
TestML – A Test Exchange Language for Model-based Testing of Embedded Software
J. Großmann, I. Fey, A. Krupp, M. Conrad, C. Wewetzer, W. Müller, in: M. Broy, I.H. Krüger, M. Meisinger (Eds.), ASWSD 2006: Model-Driven Development of Reliable Automotive Services, Springer Verlag, Berlin, Heidelberg, 2008, pp. 98–117.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 37075 LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 37072
Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC
H. Zabel, W. Müller, in: Ch. Scholl, S. Disch (Eds.), Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System, Shaker Verlag, Aachen, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 2370
EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks
M. Woehrle, C. Plessl, R. Lim, J. Beutel, L. Thiele, in: IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC), IEEE Computer Society, Los Alamitos, CA, USA, 2008, pp. 201–208.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 2364
A Hardware Accelerator for k-th Nearest Neighbor Thinning
T. Schumacher, R. Meiche, P. Kaufmann, E. Lübbers, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2008, pp. 245–251.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 2372
IMORC: An infrastructure for performance monitoring and optimization of reconfigurable computers
T. Schumacher, C. Plessl, M. Platzner, in: Many-Core and Reconfigurable Supercomputing Conference (MRSC), 2008.
LibreCat
 

2008 | Misc | LibreCat-ID: 47685 | OA
Construction and Applications of Identity-Based Encryption without Pairings
J. Schrieb, Construction and Applications of Identity-Based Encryption without Pairings, 2008.
LibreCat | Files available
 

2008 | Conference Paper | LibreCat-ID: 46420
A Convergence Criterion for Multiobjective Evolutionary Algorithms Based on Systematic Statistical Testing
H. Trautmann, U. Ligges, J. Mehnen, M. Preuss, in: G. Rudolph, T. Jansen, N. Beume, S. Lucas, C. Poloni (Eds.), Parallel Problem Solving from Nature – PPSN X, Springer Berlin Heidelberg, Berlin, Heidelberg, 2008, pp. 825–836.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 46419
Robust Multi-objective Optimisation of Weld Bead Geometry for Additive Manufacturing
J. Mehnen, H. Trautmann, in: R. Teti (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., Naples, Italy, 2008.
LibreCat
 

2007 | Report | LibreCat-ID: 2515
Experimental evaluation of IEEE 802.11a-based WLANs for medium range communication
F. Eitzen, S. Valentin, K. Gossens, H. Karl, O. Rolfes, Experimental Evaluation of IEEE 802.11a-Based WLANs for Medium Range Communication, 2007.
LibreCat | Files available
 

2007 | Conference Paper | LibreCat-ID: 19689
Buying Cheap is Expensive: Hardness of Non-Parametric Multi-Product Pricing
P. Briest, P. Krysta, in: Proceedings of the 18th ACM-SIAM Symposium on Discrete Algorithms (SODA), 2007.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 19725
Load Balancing in the Bulk-Synchronous-Parallel Setting using Process Migrations
O. Bonorden, in: 2007 IEEE International Parallel and Distributed Processing Symposium, 2007.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 19809
Minimal Energy Path Planning for Wireless Robots
C.C. Ooi, C. Schindelhauer, in: ROBOCOMM’07: Proc. of the 1st International Conference on Robot Communication and Coordination, 2007, pp. 309–321.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 19853
DHHT-RAID: A Distributed Heterogeneous Scalable Architecture for Dynamic Storage Environments
G. Schomaker, in: Advanced Information Networking and Applications (AINA-07), 2007, pp. 331–339.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 2017
Algorithms for Fault-Tolerant Routing in Circuit-Switched Networks
A. Bagchi, A. Chaudhary, C. Scheideler, P. Kolman, SIAM J. Discrete Math. (2007) 141--157.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 2020
Linearization: Locally Self-Stabilizing Sorting in Graphs
M. Onus, A. W. Richa, C. Scheideler, in: Proceedings of the Nine Workshop on Algorithm Engineering and Experiments, ALENEX 2007, New Orleans, Louisiana, USA, January 6, 2007, 2007.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 2022 | OA
Towards Scalable and Robust Overlay Networks
B. Awerbuch, C. Scheideler, 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 | OA
A denial-of-service resistant DHT
B. Awerbuch, C. Scheideler, 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, pp. 370--371.
LibreCat | Files available | DOI
 

2007 | Conference Paper | LibreCat-ID: 2024
A Denial-of-Service Resistant DHT
B. Awerbuch, C. Scheideler, in: Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings, Springer, 2007, pp. 33--47.
LibreCat | DOI
 

2007 | Conference (Editor) | LibreCat-ID: 2025
Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings
J. Aspnes, C. Scheideler, A. Arora, S. Madden, eds., Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings, 2007.
LibreCat | DOI
 

2007 | Conference (Editor) | LibreCat-ID: 2027
SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Diego, California, USA, June 9-11, 2007
P. B. Gibbons, C. Scheideler, 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
Overlay Networks for Peer-to-Peer Networks
A. W. Richa, C. Scheideler, in: Handbook of Approximation Algorithms and Metaheuristics., 2007.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 24276
The k-Resource Problem on Uniform and on Uniformly Decomposable Metric Spaces
M. Bienkowski, J. Kutyłowski, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2007.
LibreCat | DOI
 

2007 | Book | LibreCat-ID: 24366
Peer-to-Peer-Netzwerke
P. Mahlmann, C. Schindelhauer, Peer-to-Peer-Netzwerke, Springer, Berlin, 2007.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 3211
On using data abstractions for model checking refinements
J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 3212
Extending a Component Specification Language with Time
B. Metzler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 47--67.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 3213
Modelchecking Correctness of Refactorings - Some Experiments
H..-}Christian Estler, T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 3--17.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3214
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\"{u}}rr, M. Nagl, A. Z{\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3215
Analysis of {UML} Activities Using Dynamic Meta Modeling
G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (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, 2007, pp. 76--90.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3216
Refactoring Object-Oriented Specifications with Data and Processes
T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (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, 2007, pp. 236--251.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3221
The Challenges of Building Advanced Mechatronic Systems
W. Schäfer, H. Wehrheim, in: L. C. Briand, A. L. Wolf (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, pp. 72--84.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3222
Proving Linearizability Via Non-atomic Refinement
J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
LibreCat | DOI
 

2007 | Dissertation | LibreCat-ID: 2912
Tamper Resistance of AES -- Models, Attacks and Countermeasures
V. Krummel, Tamper Resistance of AES -- Models, Attacks and Countermeasures, Universität Paderborn, 2007.
LibreCat | Download (ext.)
 

2007 | Book Chapter | LibreCat-ID: 3002 | OA
Analysis of Countermeasures Against Access Driven Cache Attacks on AES
J. Blömer, V. Krummel, in: Selected Areas in Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 96–109.
LibreCat | DOI | Download (ext.)
 

2007 | Book Chapter | LibreCat-ID: 3019
Cryptanalysis of Unbalanced RSA with Small CRT-Exponent
A. May, in: Advances in Cryptology — CRYPTO 2002, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 242–256.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3020
Low Secret Exponent RSA Revisited
J. Blömer, A. May, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 4–19.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3021
Key Revocation with Interval Cover Families
J. Blömer, A. May, in: Selected Areas in Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 325–341.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3022
Dimension Reduction Methods for Convolution Modular Lattices
A. May, J.H. Silverman, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 110–125.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3026
A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers
J. Blömer, in: Algorithms — ESA’ 98, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 151–162.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 20949
Program evaluation using fuzzy logic with bad smells as inputs
A. Delic, Z. Avdagic, W. Schäfer, D. Boskovic, M. Meyer, 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
Guarding our digital society's well-being
S. Leonardi, P. Mahlmann, F. Meyer auf der Heide, P.G. Spirakis, G. Weikum, E-Strategies, Www.Britishpublishers.Com 3-10–2007 (2007).
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 18928
Why Robots Need Maps
M. Dynia, J. Łopuszański, C. Schindelhauer, in: Proc. of the 14th Colloquium on Structural Information and Communication Complexity (SIROCCO), 2007, pp. 37-- 46.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 18929
Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs
M. Dynia, M. Korzeniowski, J. Kutyłowski, in: Proc. of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM’07), 2007, pp. 260--271.
LibreCat | DOI
 

2007 | Dissertation | LibreCat-ID: 18931
Using Mobile Relays for Ensuring Connectivity in Sparse Networks
J. Kutylowski, Using Mobile Relays for Ensuring Connectivity in Sparse Networks, Universität Paderborn, 2007.
LibreCat | Files available
 
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed