F. Salger, G. Engels, and A. Hofmann, “Inspection Effectiveness for Different Quality Attributes of Software Requirement Specifications - An Industrial Case Study,” in Proceedings of the ICSE Workshop on Software Quality (WoSQ 2009), 2009, pp. 15–21.
LibreCat: /record/8433

F. Salger, S. Sauer, and G. Engels, “An Integrated Quality Assurance Framework for Specifying Business Information Systems,” in Proceedings of the Forum at the CAiSE 2009 Conference, Amsterdam (The Netherlands), 2009, vol. 453, pp. 25–30.
LibreCat: /record/8434

C. Soltenborn and G. Engels, “Towards Generalizing Visual Process Pattern,” in Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA), 2009, vol. 25.
LibreCat: /record/8435

T. von der Maßen and A. Wübbeke, “Lösungsorientierte Software Produktlinienentwicklung in heterogenen Systemlandschaften,” in Proceedings of Produktlinien im Kontext (PIK09), 2009, pp. 15–23.
LibreCat: /record/8436

S. Kakvi, “Reinforcement Learning for Blackjack,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 2009.
LibreCat: /record/9616
DOI: 10.1007/978-3-642-04052-8_43

J. Kutyowski and F. Meyer auf der Heide, “Optimal strategies for maintaining a chain of relays between an explorer and a base camp,” Theoretical Computer Science, pp. 3391–3405, 2009.
LibreCat: /record/16429
DOI: 10.1016/j.tcs.2008.04.010

J. Mehler and F. Meyer auf der Heide, “Power-aware online file allocation in mobile ad hoc networks,” in Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures - SPAA ’09, 2009.
LibreCat: /record/16430
DOI: 10.1145/1583991.1584072

F. Meyer auf der Heide and M. A. Bender, Eds., Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures - SPAA ’09. 2009.
LibreCat: /record/16431
DOI: 10.1145/1583991

G. Domik, “Who is on my Team: Building strong Teams in Interdisciplinary Visualization Courses ,” in ACM SIGGRAPH ASIA 2009 Educators Program, Asia, 2009, vol. 1.
LibreCat: /record/16637
DOI: 10.1145/1666611.1666620

A. Boschmann, P. Kaufmann, M. Platzner, and M. Winkler, “Towards multi-movement hand prostheses: Combining adaptive classification with high precision sockets,” in Proc. Technically Assisted Rehabilitation (TAR), 2009.
LibreCat: /record/10639

A. Kostin, Evolvable Robot Controller. Paderborn University, 2009.
LibreCat: /record/10702

E. Lübbers and M. Platzner, “ReconOS: Multithreaded Programming for Reconfigurable Computers,” ACM Transactions on Embedded Computing Systems, vol. 9, no. 1, pp. 8:1-8:33, 2009.
LibreCat: /record/10703
DOI: 10.1145/1596532.1596540

M. Tofall, Compiler for a Custom Instruction Set CPU. Paderborn University, 2009.
LibreCat: /record/10746

A. Warkentin, Coarse-grained CGP Model using Xilinx Virte DSE Functional Units. Paderborn University, 2009.
LibreCat: /record/10749

B. Wildenhain, Implementierung von Kryptographie-Hardwarebeschleunigern für das HW/SW-Betriebssystem ReconOS. Paderborn University, 2009.
LibreCat: /record/10753

H. Ghasemzadeh Mohammadi, S. G. Miremadi, and A. Ejlali, “Signature Self Checking (SSC): A Low-Cost Reliable Control Logic for Pipelined Microprocessors,” in Dependable Computing (PRDC), 2009 IEEE Pacific Rim International Symposium on, 2009, pp. 252–255.
LibreCat: /record/10777
DOI: 10.1109/PRDC.2009.69

C. Sommer, I. Dietrich, and F. Dressler, “Simulation of Ad Hoc Routing Protocols using OMNeT++,” Mobile Networks and Applications, pp. 786–801, 2009.
LibreCat: /record/12060
DOI: 10.1007/s11036-009-0174-5

J. Börstler et al., “An evaluation of object oriented example programs in introductory programming textbooks,” SIGCSE Bulletin, vol. 41, no. 4, pp. 126–143, 2009.
LibreCat: /record/15680

C. Schulte and R. Tolksdorf, “Qualitätssicherung in einer interaktiven und lerneraktivierenden E-Learning-Umgebung,” in DeLFI Workshops, 2009, pp. 219–225.
LibreCat: /record/15681

A. Ehlert and C. Schulte, “Empirical comparison of objects-first and objects-later,” in ICER, 2009, pp. 15–26.
LibreCat: /record/15682

T. Brinda, H. Puhlmann, and C. Schulte, “Bridging ICT and CS: educational standards for computer science in lower secondary education,” in ITiCSE, 2009, pp. 288–292.
LibreCat: /record/15683

A. Ehlert and C. Schulte, “Unterschiede im Lernerfolg von Schülerinnen und Sch\'fcern in Abhängigkeit von der zeitlichen Reihenfolge der Themen (OOP-First bzw. OOP-Later),” in INFOS, 2009, vol. P-156, pp. 121–132.
LibreCat: /record/15684

J. Koubek, C. Schulte, P. Schulze, and H. Witten, “Informatik im Kontext (IniK) - Ein integratives Unterrichtskonzept für den Informatikunterricht,” in INFOS, 2009, vol. P-156, pp. 268–279.
LibreCat: /record/15685

C. Schulte, “Dualitätsrekonstruktion als Hilfsmittel zur Entwicklung und Planung von Informatikunterricht,” in INFOS, 2009, vol. P-156, pp. 355–366.
LibreCat: /record/15686

W. Cheng and E. Hüllermeier, “A simple instance-based approach to multilabel classification using the Mallows model,” in In Proceedings MLD-2009 1st  International Workshop on Learning from Multi-Label Data, Bled, Slovenia, 2009, pp. 28–38.
LibreCat: /record/15773

R. Senge and E. Hüllermeier, “Learning pattern tree classifiers using a co-evolutionary algorithm,” in in Proceedings 19th Workshop Computational Intelligence, Dortmund Germany, 2009, pp. 22–33.
LibreCat: /record/15774

T. Fober, M. Mernberger, R. Moritz, and E. Hüllermeier, “Graph-kernels for the comparative analysis of protein active sites,” in In Proceedings GCB-2009 German Conference on Bioinformatics Halle (Saale), Germany, 2009, pp. 21–31.
LibreCat: /record/15775

R. Senge and E. Hüllermeier, “Learning pattern tree classifiers using a co-evolutionary algorithm,” in In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Darmstadt, Germany, 2009, pp. 105–110.
LibreCat: /record/15776

T. Fober, M. Mernberger, V. Melnikov, R. Moritz, and E. Hüllermeier, “Extension and empirical comparison of graph-kernels for the analysis of protein active sites,” in In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Darmstadt, Germany, 2009, pp. 30–36.
LibreCat: /record/15778

S. Böttcher and R. Hartel, “Information disclosure by answers to XPath queries,” Journal of Computer Security, vol. 17, no. 1, pp. 69–99, 2009.
LibreCat: /record/15076
DOI: 10.3233/jcs-2009-0318

T. Fober, G. Klebe, and E. Hüllermeier, “Efficient construction of multiple geometrical alignments for the comparison of protein binding sites,” in in Proceedings ISDA-2009, 9th international Conference on Intelligent Systems Design and Applications, Pisa, Italy, 2009, pp. 1251–1256.
LibreCat: /record/15120

S. Böttcher and R. Hartel, “CSC: Supporting Queries on Compressed Cached XML,” in Database Technologies 2009, Twentieth Australasian Database Conference, ADC 2009, 2009, pp. 153–160.
LibreCat: /record/15138

S. Böttcher, R. Hartel, and C. Messinger, “XML Stream Data Reduction by Shared KST Signatures,” in 2009 42nd Hawaii International Conference on System Sciences, 2009.
LibreCat: /record/15139
DOI: 10.1109/hicss.2009.513

I. Boukhris, Z. Elouedi, T. Fober, M. Mernberger, and E. Hüllermeier, “Similarity analysis of protein binding sites: A generalization of the maximum common subgraph measure based on quasi-clique detection,” in In Proceedings IDA-2009, 9th International Symposium on Intelligent Data Analysis, Pisa / Italy, 2009, pp. 1245–1250.
LibreCat: /record/15194

T. Fober and E. Hüllermeier, “Fuzzy modeling of labeled point cloud superposition  for the comparison of protein binding sites,” in in Proceedings IFSA / EUSFLAT-2009 World Congress of  the Fuzzy Systems Association, Lissabon, Portugal, 2009, pp. 1299–1304.
LibreCat: /record/15195

E. Hüllermeier and M. Rifqi, “A fuzzy variant of the Rand index for comparing clustering structures,” in in Proceedings IFSA / EUSFLAT-2009 World Congress of  the Fuzzy Systems Association, Lissabon, Portugal, 2009, pp. 1294–1298.
LibreCat: /record/15196

G. Domik, “Interdisciplinary Collaboration in a Visualization Course,” Informatics Education Europe IV, November, pp. 5–9, 2009.
LibreCat: /record/15255

N. Weskamp, E. Hüllermeier, and G. Klebe, “Merging chemical and biological space: Structural mapping of enzyme binding pocket space,” Proteins, vol. 76, no. 2, pp. 317–330, 2009.
LibreCat: /record/16154

J. Hühn and E. Hüllermeier, “FURIA: An Algorithm for unordered fuzzy rule induction,” Data Mining and Knowledge Discovery , vol. 19, pp. 293–319, 2009.
LibreCat: /record/16158

E. Hüllermeier and S. Vanderlooy, “Why fuzzy decision trees are good rankers,” IEEE Transactions on Fuzzy Systems, vol. 17, no. 6, pp. 1233–1244, 2009.
LibreCat: /record/16159

Y. Yi, T. Fober, and E. Hüllermeier, “Fuzzy operator trees for modeling rating functions,” International Journal of Computational Intelligence and Applications, vol. 8, no. 4, pp. 413–428, 2009.
LibreCat: /record/16161

T. Fober, M. Mernberger, G. Klebe, and E. Hüllermeier, “Evolutionary construction of multiple graph alignments for the structural analysis of biomolecules,” Bioinformatics, vol. 25, no. 16, pp. 2110–2117, 2009.
LibreCat: /record/16162

J. Hühn and E. Hüllermeier, “F: A fuzzy rule learner for inducing reliable classifiers,” IEEE Transactions on Fuzzy Systems, vol. 17, no. 1, pp. 138–149, 2009.
LibreCat: /record/16163

E. Hüllermeier, I. Vladimirskiy, B. Prados Suarez, and E. Stauch, “Supporting case-based retrieval by similarity skylines: Basic concepts and extensions,” Künstliche Intelligenz, vol. 1, no. 09, pp. 24–29, 2009.
LibreCat: /record/16165

M. Bienkowski, J. Byrka, M. Korzeniowski, and F. Meyer auf der Heide, “Optimal algorithms for page migration in dynamic networks,” Journal of Discrete Algorithms, pp. 545–569, 2009.
LibreCat: /record/16398
DOI: 10.1016/j.jda.2008.07.006

T. Biermann, Z. A. Polgar, and H. Karl, “Cooperation and coding framework,” in Communications Workshops, 2009. ICC Workshops 2009. IEEE International Conference on, 2009, pp. 1--5.
LibreCat: /record/1005

S. Valentin, D. H. Woldegebreal, T. Volkhausen, and H. Karl, “Combining for cooperative WLANs-a reality check based on prototype measurements,” in Communications Workshops, 2009. ICC Workshops 2009. IEEE International Conference on, 2009, pp. 1--5.
LibreCat: /record/1010

T. Volkhausen, D. H. Woldegebreal, and H. Karl, “Improving network coded cooperation by soft information,” in Sensor, Mesh and Ad Hoc Communications and Networks Workshops, 2009. SECON Workshops’ 09. 6th Annual IEEE Communications Society Conference on, 2009, pp. 1--6.
LibreCat: /record/1011

E. Hüllermeier, “On the usefulness of fuzzy sets in data mining,” in Views on Fuzzy Sets and Systems from Different Perspectives: Philosophy and Logic, Criticisms and Applications, R. Seising, Ed. Springer, 2009, pp. 457–470.
LibreCat: /record/10188

D. Warneke and C. Dannewitz, “Statistics-based ID management for load balancing in structured P networks,” in 2009 IEEE 34th Conference on Local Computer Networks, 2009.
LibreCat: /record/1032
DOI: 10.1109/lcn.2009.5355086

W. Cheng, J. Hühn, and E. Hüllermeier, “Decision tree and instance-based learning for label ranking,” in in Proceedings ICML-2009, 26th International Conference on Machine Learning, Montreal, Canada, 2009, pp. 161–168.
LibreCat: /record/13595

J. Fürnkranz, E. Hüllermeier, and S. Vanderlooy, “Binary decomposition methods for multipartite ranking,” in In Proceedings ECML/PKDD-2009, European Conference on Machine Learning and Principles and Knowledge Discovery in Databases, Bled Sloveniaery in Databases, Bled, Slovenia, 2009.
LibreCat: /record/13596

W. Cheng and E. Hüllermeier, “A new instance-based label ranking approach using the Mallows model. In Advances in Neural Networks,” in in Proceedings 6th International Symposium on Neural Networks, Wuhan, China, 2009, no. LNCS 5551, pp. 707–716.
LibreCat: /record/13598

M. Happe, E. Lübbers, and M. Platzner, “A Multithreaded Framework for Sequential Monte Carlo Methods on CPU/FPGA Platforms,” in Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC), 2009.
LibreCat: /record/13632

H. Giefers and M. Platzner, “Towards Models for Many-Cores: The Case for the Reconfigurable Mesh,” in Proceedings of the Workshop on Many-Cores, International Conference on Architecture of Computing Systems (ARCS), 2009.
LibreCat: /record/13634

H. Giefers and M. Platzner, “ARMLang: A Language and Compiler for Programming Reconfigurable Mesh Many-Cores,” in Reconfigurable Architectures Workshop (RAW), Proceedings of the International Parallel and Distributed Processing Symposium, 2009.
LibreCat: /record/13635

E. Lübbers and M. Platzner, “Cooperative Multithreading in Dynamically Reconfigurable Systems,” in Proceedings of the 19th International Workshop on Field Programmable Logic and Applications (FPL) , 2009.
LibreCat: /record/13636

H. Giefers and M. Platzner, “Program-driven Fine-grained Power Management for the Reconfigurable Mesh,” in Proceedings of the 19th International Workshop on Field Programmable Logic and Applications (FPL) , 2009.
LibreCat: /record/13637

M. Happe, E. Lübbers, and M. Platzner, “An adaptive Sequential Monte Carlo framework with runtime HW/SW repartitioning,” in Proceedings of the 2009 International Conference on Field-Programmable Technology (FPT), 2009.
LibreCat: /record/13638
DOI: 10.1109/fpt.2009.5377645

S. Drzevitzky, U. Kastens, and M. Platzner, “Proof-carrying Hardware: Towards Runtime Verification of Reconfigurable Modules,” in Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2009.
LibreCat: /record/13639

H. Zabel, W. Müller, and A. Gerstlauer, “Accurate RTOS Modelling and Analysis with SystemC,” in Hardware Dependent Software - Principles and Practice, W. Ecker, W. Müller, and R. Dömer, Eds. Dordrecht: Springer Verlag, 2009, pp. 233–260.
LibreCat: /record/33813
DOI: 10.1007/978-1-4020-9436-1_9

W. Ecker, W. Müller, and R. Dömer, “Hardware-dependent Software - Introduction and Overview,” in Hardware Dependent Software - Principles and Practice, W. Ecker, W. Müller, and R. Dömer, Eds. Dordrecht: Springer Verlag, 2009, pp. 1–14.
LibreCat: /record/33814
DOI: 10.1007/978-1-4020-9436-1_1

T. Schattkowsky, T. Xie, and W. Müller, “A UML Frontend for IP-XACT-based IP Management,”10.1109/DATE.2009.5090664__presented at the Design, Automation &; Test in Europe Conference &; Exhibition, 2009, doi:10.1109/DATE.2009.5090664 .
LibreCat: /record/37067
DOI: 10.1109/DATE.2009.5090664

H. Zabel and W. Müller, “Increased Accuracy through Noise Injection in Abstract RTOS Simulation,”10.1109/DATE.2009.5090925__presented at the Design, Automation &; Test in Europe Conference &; Exhibition, 2009, doi:10.1109/DATE.2009.5090925 .
LibreCat: /record/37066
DOI: 10.1109/DATE.2009.5090925

K. Klobedanz, C. Kuznik, A. Elfeky, and W. Müller, “Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study,”10.1007/978-3-642-04284-3_20__2009, doi:10.1007/978-3-642-04284-3_20 .
LibreCat: /record/37063
DOI: 10.1007/978-3-642-04284-3_20

M. Becker, H. Zabel, and W. Müller, “Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme,” presented at the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, 2009.
LibreCat: /record/37064

A. Krupp and W. Müller, “Systematic Model-in-the-Loop Test of Embedded Control Systems,” 2009.
LibreCat: /record/37061

R. Doemer, A. Gerstlauer, and W. Müller, “Hardware-dependent Software for Multi- and Many-Core Embedded Systems,” 2009.
LibreCat: /record/37068

S. Gharibian, H. Kampermann, and D. Bru\'73s, “On global effects caused by locally noneffective unitary operations,” Quantum Information &; Computation, vol. 9, no. 11, pp. 1013–1029, 2009.
LibreCat: /record/8180
arXiv: 0809.4469

A. Datta and S. Gharibian, “Signatures of nonclassicality in mixed-state quantum computation,”10.1103/physreva.79.042325__Physical Review A, vol. 79, no. 4, 2009, doi:10.1103/physreva.79.042325 .
LibreCat: /record/8181
DOI: 10.1103/physreva.79.042325
arXiv: 0811.4003

T. Schumacher, C. Plessl, and M. Platzner, “IMORC: Application Mapping, Monitoring and Optimization for High-Performance Reconfigurable Computing,”10.1109/FCCM.2009.25__in Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), 2009, pp. 275–278, doi:10.1109/FCCM.2009.25 .
LibreCat: /record/2350
DOI: 10.1109/FCCM.2009.25

P. Kaufmann, C. Plessl, and M. Platzner, “EvoCaches: Application-specific Adaptation of Cache Mapping,” in Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS), 2009, pp. 11–18.
LibreCat: /record/2262

J. Beutel et al., “PermaDAQ: A Scientific Instrument for Precision Sensing and Data Recovery in Environmental Extremes,” in Proc. Int. Conf. on Information Processing in Sensor Networks (IPSN), 2009, pp. 265–276.
LibreCat: /record/2352

T. Schumacher, T. Süß, C. Plessl, and M. Platzner, “Communication Performance Characterization for Reconfigurable Accelerator Design on the ,”10.1109/ReConFig.2009.32__in Proc. Int. Conf. on ReConFigurable Computing and FPGAs (ReConFig), 2009, pp. 119–124, doi:10.1109/ReConFig.2009.32 .
LibreCat: /record/2238
DOI: 10.1109/ReConFig.2009.32

T. Schumacher, C. Plessl, and M. Platzner, “An Accelerator for k-th Nearest Neighbor Thinning Based on the IMORC Infrastructure,” in Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), 2009, pp. 338–344.
LibreCat: /record/2261

M. Grad and C. Plessl, “Woolcano: An Architecture and Tool Flow for Dynamic Instruction Set Extension on Xilinx Virtex-4 FX,” in Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), 2009, pp. 319–322.
LibreCat: /record/2263

T. Wagner, H. Trautmann, and B. Naujoks, “OCD: Online Convergence Detection for Evolutionary Multi-Objective Algorithms Based on Statistical Testing,”https://doi.org/10.1007/978-3-642-01020-0_19__in Evolutionary Multi-Criterion Optimization, 2009, pp. 198–215, doi:https://doi.org/10.1007/978-3-642-01020-0_19 .
LibreCat: /record/46414
DOI: https://doi.org/10.1007/978-3-642-01020-0_19

H. Trautmann, J. Mehnen, and B. Naujoks, “Pareto-dominance in noisy environments,”10.1109/CEC.2009.4983338__in 2009 IEEE Congress on Evolutionary Computation, 2009, pp. 3119–3126, doi:10.1109/CEC.2009.4983338 .
LibreCat: /record/46415
DOI: 10.1109/CEC.2009.4983338

B. Naujoks and H. Trautmann, “Online convergence detection for multiobjective aerodynamic applications,”10.1109/CEC.2009.4982966__in 2009 IEEE Congress on Evolutionary Computation, 2009, pp. 332–339, doi:10.1109/CEC.2009.4982966 .
LibreCat: /record/46413
DOI: 10.1109/CEC.2009.4982966

H. Trautmann and J. Mehnen, “Statistical Methods for Improving Multi-objective Evolutionary Optimisation,” International Journal of Computational Intelligence Research, vol. 5, no. 2, pp. 72–78, 2009.
LibreCat: /record/46416

H. Trautmann, T. Wagner, B. Naujoks, M. Preuss, and J. Mehnen, “Statistical Methods for Convergence Detection of Multi-Objective Evolutionary Algorithms,”10.1162/evco.2009.17.4.17403__Evolutionary Computation, vol. 17, no. 4, pp. 493–509, 2009, doi:10.1162/evco.2009.17.4.17403 .
LibreCat: /record/46418
DOI: 10.1162/evco.2009.17.4.17403

H. Trautmann and J. Mehnen, “Preference-based Pareto optimization in certain and noisy environments,”10.1080/03052150802347926__Engineering Optimization, vol. 41, no. 1, pp. 23–38, 2009, doi:10.1080/03052150802347926 .
LibreCat: /record/46417
DOI: 10.1080/03052150802347926

T. Biermann, C. Dannewitz, and H. Karl, Extended Results on an Adaptive Resource/Performance Trade-Off for Resolving Complex Queries in P Networks. 2008.
LibreCat: /record/2513

G. Schomaker, Distributed Resource Allocation and Management in Heterogeneous Networks, vol. 259. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat: /record/19615

P. Briest, “Uniform Budgets and the Envy-Free Pricing Problem,” in Proceedings of the 35th InternationalColloquium on Automata, Languages and Programming (ICALP), 2008.
LibreCat: /record/19686
DOI: 10.1007/978-3-540-70575-8_66

P. Briest, P. Krysta, and M. Babaioff, “On the Approximability of Combinatorial Exchange Problems,” in Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT), 2008.
LibreCat: /record/19687
DOI: https://doi.org/10.1007/978-3-540-79309-0_9

P. Briest, P. W. Goldberg, and H. Roeglin, Approximate Equilibria in Games with Few Players. 2008.
LibreCat: /record/19688
arXiv: 0804.4524 

C. Schindelhauer and P. Mahlmann, “Random Graphs for Peer-to-Peer Overlays,” in The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS), Proceedings of the Final Workshop, 2008, no. 222, pp. 1–22.
LibreCat: /record/19812

C. C. Ooi and C. Schindelhauer, “Detours Save Energy in Mobile Wireless Networks,” in MWCN’08: Proc. of IFIP Joint Conference on Mobile Wireless Communications Networks (MWCN 2008) and Personal Wireless Communications (PWC 2008), 2008.
LibreCat: /record/19813
DOI: 10.1007/978-0-387-84839-6_6

C. C. Ooi and C. Schindelhauer, “Energy-Efficient Distributed Target Tracking Using Wireless Relay Robots,” in ARS’08: Proc. of the 9th International Symposium on Distributed Autonomous Robotic Systems (DARS 2008), 2008.
LibreCat: /record/19832
DOI: 10.1007/978-3-642-00644-9_4

P. Pietrzyk, Lokale Strategien zur Optimierung von Kommunikationsketten. 2008.
LibreCat: /record/19950

H. Hamann, Space-Time Continuous Models of Swarm Robotic Systems. 2008.
LibreCat: /record/20262
DOI: 10.1007/978-3-642-13377-0

M. Ziegler and W. M. Koolen, “Kolmogorov Complexity Theory over the Reals,” arXiv:0802.2027. 2008.
LibreCat: /record/26235

S. Köhler and M. Ziegler, “On the Stability of Fast Polynomial Arithmetic,” in Proc. 8th Conference on Real Numbers and Computers, 2008, pp. 147–156.
LibreCat: /record/26243

M. Ziegler, “Physically-Relativized Church-Turing Hypotheses,” Applied Mathematics and Computation, 2008.
LibreCat: /record/26255
arXiv: 0805.1292

M. Ziegler, “A Meta-Theory of Physics and Computation,” in Verhandlungen der Deutschen Physikalischen Gesellschaft, Deutsche Physikalische Gesellschaft (DPG), 2008, p. 145.
LibreCat: /record/26262

K. Meer and M. Ziegler, “An explicit solution to Post’s Problem over the reals,”10.1016/j.jco.2006.09.004__Journal of Complexity, pp. 3–15, 2008, doi:10.1016/j.jco.2006.09.004 .
LibreCat: /record/26280
DOI: 10.1016/j.jco.2006.09.004

H. Wehrheim, “Refinement in the Presence of Unknowns,” Electr. Notes Theor. Comput. Sci., pp. 255--264, 2008.
LibreCat: /record/3203
DOI: 10.1016/j.entcs.2008.02.023

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

M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim, “Integrating a formal method into a software engineering process with UML and Java,” Formal Asp. Comput., no. 2, pp. 161--204, 2008.
LibreCat: /record/3205
DOI: 10.1007/s00165-007-0042-7