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
2011 | Mastersthesis | LibreCat-ID: 665
Adaptives Loadbalancing für strukturierte Peer-to-Peer-Netzwerke am Beispiel von Chord
P. Wette, Adaptives Loadbalancing für strukturierte Peer-to-Peer-Netzwerke am Beispiel von Chord, Universität Paderborn, 2011.
LibreCat
P. Wette, Adaptives Loadbalancing für strukturierte Peer-to-Peer-Netzwerke am Beispiel von Chord, Universität Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 666
Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach
S. Drzevitzky, M. Platzner, in: Proceedings of the 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011, pp. 58–65.
LibreCat
| Files available
| DOI
S. Drzevitzky, M. Platzner, in: Proceedings of the 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011, pp. 58–65.
2011 | Conference (Editor) | LibreCat-ID: 667
23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures
F. Meyer auf der Heide, R. Rajaraman, eds., 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2011.
LibreCat
| DOI
F. Meyer auf der Heide, R. Rajaraman, eds., 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2011.
2011 | Conference Paper | LibreCat-ID: 6740
Computing Compressed XML Data from Relational Databases
S. Böttcher, D. Bokermann, R. Hartel, in: Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers, Springer Berlin/Heidelberg, 2011, pp. 209–220.
LibreCat
S. Böttcher, D. Bokermann, R. Hartel, in: Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers, Springer Berlin/Heidelberg, 2011, pp. 209–220.
2011 | Conference Paper | LibreCat-ID: 16410
Collisionless Gathering of Robots with an Extent
A. Cord-Landwehr, B. Degener, M. Fischer, M. Hüllmann, B. Kempkes, A. Klaas, P. Kling, S. Kurras, M. Märtens, F. Meyer auf der Heide, C. Raupach, K. Swierkot, D. Warner, C. Weddemann, D. Wonisch, in: 37th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2011), Springer, 2011, pp. 178–189.
LibreCat
| DOI
A. Cord-Landwehr, B. Degener, M. Fischer, M. Hüllmann, B. Kempkes, A. Klaas, P. Kling, S. Kurras, M. Märtens, F. Meyer auf der Heide, C. Raupach, K. Swierkot, D. Warner, C. Weddemann, D. Wonisch, in: 37th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2011), Springer, 2011, pp. 178–189.
2011 | Book Chapter | LibreCat-ID: 16412
Bin Packing - How Do I Get My Stuff into the Boxes
J. Gehweiler, F. Meyer auf der Heide, in: Algorithms Unplugged, Berlin, Heidelberg, 2011, pp. 367–374.
LibreCat
| DOI
J. Gehweiler, F. Meyer auf der Heide, in: Algorithms Unplugged, Berlin, Heidelberg, 2011, pp. 367–374.
2011 | Conference Paper | LibreCat-ID: 16428
Proceedings of the 23rd ACM symposium on Parallelism in algorithms and architectures - SPAA '11
R. Rajaraman, F. Meyer auf der Heide, in: 2011.
LibreCat
| DOI
R. Rajaraman, F. Meyer auf der Heide, in: 2011.
2011 | Journal Article | LibreCat-ID: 16447
A survey on relay placement with runtime and approximation guarantees
B. Degener, S.P. Fekete, B. Kempkes, F. Meyer auf der Heide, Computer Science Review (2011) 57–68.
LibreCat
| DOI
B. Degener, S.P. Fekete, B. Kempkes, F. Meyer auf der Heide, Computer Science Review (2011) 57–68.
2011 | Conference Paper | LibreCat-ID: 16451
Energy-efficient strategies for building short chains of mobile robots locally
P. Brandes, B. Degener, B. Kempkes, F. Meyer auf der Heide, in: SIROCCO ’11: Proc. of the 18th International Colloquium on Structural Information and Communication Complexity, 2011, pp. 138–149.
LibreCat
| DOI
P. Brandes, B. Degener, B. Kempkes, F. Meyer auf der Heide, in: SIROCCO ’11: Proc. of the 18th International Colloquium on Structural Information and Communication Complexity, 2011, pp. 138–149.
2011 | Conference Paper | LibreCat-ID: 16453
A tight runtime bound for synchronous gathering of autonomous robots with limited visibility
B. Degener, B. Kempkes, T. Langner, F. Meyer auf der Heide, P. Pietrzyk, R. Wattenhofer, in: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’11, 2011.
LibreCat
| DOI
B. Degener, B. Kempkes, T. Langner, F. Meyer auf der Heide, P. Pietrzyk, R. Wattenhofer, in: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’11, 2011.
2011 | Conference Paper | LibreCat-ID: 16454
Convergence of local communication chain strategies via linear transformations
P. Kling, F. Meyer auf der Heide, in: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’11, 2011.
LibreCat
| DOI
P. Kling, F. Meyer auf der Heide, in: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’11, 2011.
2011 | Journal Article | LibreCat-ID: 16455
Building Simple Formations in Large Societies of Tiny Mobile Robots
B. Degener, B. Kempkes, F. Meyer auf der Heide, Procedia Computer Science (2011) 153–155.
LibreCat
| DOI
B. Degener, B. Kempkes, F. Meyer auf der Heide, Procedia Computer Science (2011) 153–155.
2011 | Book Chapter | LibreCat-ID: 16456
Energy-Awareness in Self-organising Robotic Exploration Teams
B. Degener, B. Kempkes, F. Meyer auf der Heide, in: Organic Computing — A Paradigm Shift for Complex Systems, Basel, 2011.
LibreCat
| DOI
B. Degener, B. Kempkes, F. Meyer auf der Heide, in: Organic Computing — A Paradigm Shift for Complex Systems, Basel, 2011.
2011 | Book Chapter | LibreCat-ID: 16459
Energy-Efficient Strategies for Building Short Chains of Mobile Robots Locally
P. Brandes, B. Degener, B. Kempkes, F. Meyer auf der Heide, in: Structural Information and Communication Complexity, Berlin, Heidelberg, 2011.
LibreCat
| DOI
P. Brandes, B. Degener, B. Kempkes, F. Meyer auf der Heide, in: Structural Information and Communication Complexity, Berlin, Heidelberg, 2011.
2011 | Conference Paper | LibreCat-ID: 16762
Räumliche Wahrnehmung ct-angiographischer Koronararterien in einer Curved Planar Reformation mittels Direct Volume Rendering
S. Arens, T. Isenberg, M. Bolte, G. Domik, R. Weise, J. Holzinger, H. Fricke, W. Burchert, in: Tagungsband Jahrestagung Nuklearmedizin, Bregenz, Austria, 2011.
LibreCat
S. Arens, T. Isenberg, M. Bolte, G. Domik, R. Weise, J. Holzinger, H. Fricke, W. Burchert, in: Tagungsband Jahrestagung Nuklearmedizin, Bregenz, Austria, 2011.
2011 | Conference Paper | LibreCat-ID: 16798
Building Bridges - HCI and Visualization
A. Ebert, G. Domik, N. D. Gershon, G. C. van der Veer, in: P. F. Campos, T. C. Nicholas Graham, J. A. Jorge, N. Jardim Nunes, P. A. Palanque, M. Winckler (Eds.), Human-Computer Interaction - {INTERACT} 2011 - 13th {IFIP} {TC} 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part {IV}, Springer, 2011, pp. 722–723.
LibreCat
| DOI
A. Ebert, G. Domik, N. D. Gershon, G. C. van der Veer, in: P. F. Campos, T. C. Nicholas Graham, J. A. Jorge, N. Jardim Nunes, P. A. Palanque, M. Winckler (Eds.), Human-Computer Interaction - {INTERACT} 2011 - 13th {IFIP} {TC} 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part {IV}, Springer, 2011, pp. 722–723.
2011 | Conference Paper | LibreCat-ID: 10637
Accurate gait phase detection using surface electromyographic signals and support vector machines
A. Boschmann, P. Kaufmann, M. Platzner, in: Proc. IEEE Int. Conf. Bioinformatics and Biomedical Technology (ICBBT), 2011.
LibreCat
A. Boschmann, P. Kaufmann, M. Platzner, in: Proc. IEEE Int. Conf. Bioinformatics and Biomedical Technology (ICBBT), 2011.
2011 | Conference Paper | LibreCat-ID: 10638
Development of a pattern recognition-based myoelectric transhumeral prosthesis with multifunctional simultaneous control using a model-driven ppproach for mechatronic systems
A. Boschmann, M. Platzner, M. Robrecht, M. Hahn, M. Winkler, in: Proc. MyoElectric Controls Symposium (MEC), 2011.
LibreCat
A. Boschmann, M. Platzner, M. Robrecht, M. Hahn, M. Winkler, in: Proc. MyoElectric Controls Symposium (MEC), 2011.
2011 | Bachelorsthesis | LibreCat-ID: 10678
PinSim: Schnelle Simulation mit Pintools
N. Ikonomakis, PinSim: Schnelle Simulation Mit Pintools, Paderborn University, 2011.
LibreCat
N. Ikonomakis, PinSim: Schnelle Simulation Mit Pintools, Paderborn University, 2011.
2011 | Bachelorsthesis | LibreCat-ID: 10680
MPI-CUDA Codegenerierung für Nanophoton Simulationen auf Clustern
H. Kassner, MPI-CUDA Codegenerierung Für Nanophoton Simulationen Auf Clustern, Paderborn University, 2011.
LibreCat
H. Kassner, MPI-CUDA Codegenerierung Für Nanophoton Simulationen Auf Clustern, Paderborn University, 2011.
2011 | Book Chapter | LibreCat-ID: 10687
Multi-objective Intrinsic Evolution of Embedded Systems
P. Kaufmann, M. Platzner, in: C. Müller-Schloer, H. Schmeck, T. Ungerer (Eds.), Organic Computing---A Paradigm Shift for Complex Systems, Springer Basel, 2011, pp. 193–206.
LibreCat
P. Kaufmann, M. Platzner, in: C. Müller-Schloer, H. Schmeck, T. Ungerer (Eds.), Organic Computing---A Paradigm Shift for Complex Systems, Springer Basel, 2011, pp. 193–206.
2011 | Mastersthesis | LibreCat-ID: 10736
Analysis of Algorithmic Approaches for Temporal Partitioning
A. Schwabe, Analysis of Algorithmic Approaches for Temporal Partitioning, Paderborn University, 2011.
LibreCat
A. Schwabe, Analysis of Algorithmic Approaches for Temporal Partitioning, Paderborn University, 2011.
2011 | Book Chapter | LibreCat-ID: 10737
Evolution of Electronic Circuits
L. Sekanina, J.A. Walker, P. Kaufmann, C. Plessl, M. Platzner, in: Cartesian Genetic Programming, Springer Berlin Heidelberg, 2011, pp. 125–179.
LibreCat
L. Sekanina, J.A. Walker, P. Kaufmann, C. Plessl, M. Platzner, in: Cartesian Genetic Programming, Springer Berlin Heidelberg, 2011, pp. 125–179.
2011 | Book Chapter | LibreCat-ID: 10748
Problem Decomposition in Cartesian Genetic Programming
J.A. Walker, J.F. Miller, P. Kaufmann, M. Platzner, in: Cartesian Genetic Programming, Springer Berlin Heidelberg, 2011, pp. 35–99.
LibreCat
J.A. Walker, J.F. Miller, P. Kaufmann, M. Platzner, in: Cartesian Genetic Programming, Springer Berlin Heidelberg, 2011, pp. 35–99.
2011 | Mastersthesis | LibreCat-ID: 10750
User Space Scheduling for Heterogeneous Systems
D. Welp, User Space Scheduling for Heterogeneous Systems, Paderborn University, 2011.
LibreCat
D. Welp, User Space Scheduling for Heterogeneous Systems, Paderborn University, 2011.
2011 | Bachelorsthesis | LibreCat-ID: 1092
Parallele Kompression von XML mit XML-Schema-Subtraktion
M. Feldotto, Parallele Kompression von XML mit XML-Schema-Subtraktion, Universität Paderborn, 2011.
LibreCat
M. Feldotto, Parallele Kompression von XML mit XML-Schema-Subtraktion, Universität Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 11973
Performance Evaluation of Network Mobility Handover over Future Aeronautical Data Link
S. Ayaz, F. Hoffmann, C. Sommer, R. German, F. Dressler, in: 2010 IEEE Global Telecommunications Conference GLOBECOM 2010, 2011.
LibreCat
| DOI
S. Ayaz, F. Hoffmann, C. Sommer, R. German, F. Dressler, in: 2010 IEEE Global Telecommunications Conference GLOBECOM 2010, 2011.
2011 | Journal Article | LibreCat-ID: 11993
Toward Realistic Simulation of Intervehicle Communication
F. Dressler, C. Sommer, D. Eckhoff, O. Tonguz, IEEE Vehicular Technology Magazine (2011) 43–51.
LibreCat
| DOI
F. Dressler, C. Sommer, D. Eckhoff, O. Tonguz, IEEE Vehicular Technology Magazine (2011) 43–51.
2011 | Conference Paper | LibreCat-ID: 11997
Strong and affordable location privacy in VANETs: Identity diffusion using time-slots and swapping
D. Eckhoff, C. Sommer, T. Gansen, R. German, F. Dressler, in: 2010 IEEE Vehicular Networking Conference, 2011.
LibreCat
| DOI
D. Eckhoff, C. Sommer, T. Gansen, R. German, F. Dressler, in: 2010 IEEE Vehicular Networking Conference, 2011.
2011 | Conference Paper | LibreCat-ID: 11999
Simulative performance evaluation of the simTD Self Organizing Traffic Information System
D. Eckhoff, T. Gansen, R. Manz, D. Thum, O. Klages, C. Sommer, in: 2011 The 10th IFIP Annual Mediterranean Ad Hoc Networking Workshop, 2011.
LibreCat
| DOI
D. Eckhoff, T. Gansen, R. Manz, D. Thum, O. Klages, C. Sommer, in: 2011 The 10th IFIP Annual Mediterranean Ad Hoc Networking Workshop, 2011.
2011 | Journal Article | LibreCat-ID: 12000
SlotSwap: strong and affordable location privacy in intelligent transportation systems
D. Eckhoff, R. German, C. Sommer, F. Dressler, T. Gansen, IEEE Communications Magazine (2011) 126–133.
LibreCat
| DOI
D. Eckhoff, R. German, C. Sommer, F. Dressler, T. Gansen, IEEE Communications Magazine (2011) 126–133.
2011 | Conference Paper | LibreCat-ID: 12056
Adaptive beaconing for delay-sensitive and congestion-aware traffic information systems
C. Sommer, O.K. Tonguz, F. Dressler, in: 2010 IEEE Vehicular Networking Conference, 2011.
LibreCat
| DOI
C. Sommer, O.K. Tonguz, F. Dressler, in: 2010 IEEE Vehicular Networking Conference, 2011.
2011 | Conference Paper | LibreCat-ID: 12062
A computationally inexpensive empirical model of IEEE 802.11p radio shadowing in urban environments
C. Sommer, D. Eckhoff, R. German, F. Dressler, in: 2011 Eighth International Conference on Wireless On-Demand Network Systems and Services, 2011.
LibreCat
| DOI
C. Sommer, D. Eckhoff, R. German, F. Dressler, in: 2011 Eighth International Conference on Wireless On-Demand Network Systems and Services, 2011.
2011 | Journal Article | LibreCat-ID: 12063
Traffic information systems: efficient message dissemination via adaptive beaconing
C. Sommer, O. Tonguz, F. Dressler, IEEE Communications Magazine (2011) 173–179.
LibreCat
| DOI
C. Sommer, O. Tonguz, F. Dressler, IEEE Communications Magazine (2011) 173–179.
2011 | Conference Paper | LibreCat-ID: 15672
Analysis of code reading to gain more insight in program comprehension
T. Busjahn, C. Schulte, A. Busjahn, in: Koli Calling, ACM, 2011, pp. 1–9.
LibreCat
T. Busjahn, C. Schulte, A. Busjahn, in: Koli Calling, ACM, 2011, pp. 1–9.
2011 | Conference Paper | LibreCat-ID: 15673
ProspectiveTeachers@Research: CS teacher education revised
M. Hornung, C. Schulte, in: Koli Calling, ACM, 2011, pp. 138–143.
LibreCat
M. Hornung, C. Schulte, in: Koli Calling, ACM, 2011, pp. 138–143.
2011 | Conference Paper | LibreCat-ID: 15674
Informatik begreifen - Zur Nutzung von Veranschaulichungen im Informatikunterricht
M. Kalbitz, H. Voss, C. Schulte, in: INFOS, GI, 2011, pp. 137–146.
LibreCat
M. Kalbitz, H. Voss, C. Schulte, in: INFOS, GI, 2011, pp. 137–146.
2011 | Conference Paper | LibreCat-ID: 15675
Das Schülerlabor als Ort der Informatiklehrerbildung
C. Schulte, in: INFOS, GI, 2011, pp. 47–56.
LibreCat
C. Schulte, in: INFOS, GI, 2011, pp. 47–56.
2011 | Conference Paper | LibreCat-ID: 15762
Joint mode estimation in multi-label classification by chaining
K. Dembczynski, W. Waegeman, E. Hüllermeier, in: In Proceedings ECML Workshop on Collective Inference and Learning on Structured Data, Athens, Greece, 2011.
LibreCat
K. Dembczynski, W. Waegeman, E. Hüllermeier, in: In Proceedings ECML Workshop on Collective Inference and Learning on Structured Data, Athens, Greece, 2011.
2011 | Conference Paper | LibreCat-ID: 15764
Prediction of protein localization for specialized compartments using time series kernels
M. Mernberger, D. Moog, S. Stork, S. Zauner, U. Maier, E. Hüllermeier, in: In Proceedings GCB-2011 German Conference on Bioinformatics Munich, Germany, 2011.
LibreCat
M. Mernberger, D. Moog, S. Stork, S. Zauner, U. Maier, E. Hüllermeier, in: In Proceedings GCB-2011 German Conference on Bioinformatics Munich, Germany, 2011.
2011 | Conference Paper | LibreCat-ID: 15046
Volume Studio: Flexible Multi-Volume Ray Casting Pipeline mit nahtlos integriertem Rapid Prototyping von Shadern.
S. Arens, G. Domik, in: INFORMATIK 2011 – 41. Jahrestagung Der Gesellschaft Für Informatik., Gesellschaft für Informatik e.V., Bonn, 2011, pp. 347–352.
LibreCat
S. Arens, G. Domik, in: INFORMATIK 2011 – 41. Jahrestagung Der Gesellschaft Für Informatik., Gesellschaft für Informatik e.V., Bonn, 2011, pp. 347–352.
2011 | Conference Paper | LibreCat-ID: 15097
Mixing Bottom-Up and Top-Down XPath Query Evaluation
M. Benter, S. Böttcher, R. Hartel, in: East European Conference on Advances in Databases and Information Systems, Springer, 2011, pp. 27–41.
LibreCat
| DOI
M. Benter, S. Böttcher, R. Hartel, in: East European Conference on Advances in Databases and Information Systems, Springer, 2011, pp. 27–41.
2011 | Conference Paper | LibreCat-ID: 15099
Updates on Grammar-Compressed XML Data
A. Bätz, S. Böttcher, R. Hartel, in: Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers, Springer, 2011, pp. 154–166.
LibreCat
| DOI
A. Bätz, S. Böttcher, R. Hartel, in: Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers, Springer, 2011, pp. 154–166.
2011 | Conference Paper | LibreCat-ID: 15100
TraCX: Transformation of Compressed XML
S. Böttcher, R. Hartel, S. Stey, in: Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers, Springer, 2011, pp. 182–193.
LibreCat
| DOI
S. Böttcher, R. Hartel, S. Stey, in: Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers, Springer, 2011, pp. 182–193.
2011 | Conference Paper | LibreCat-ID: 15102
Search and Modification in Compressed Texts
S. Böttcher, A. Bültmann, R. Hartel, in: 2011 Data Compression Conference, IEEE, 2011, pp. 403–412.
LibreCat
| DOI
S. Böttcher, A. Bültmann, R. Hartel, in: 2011 Data Compression Conference, IEEE, 2011, pp. 403–412.
2011 | Conference Paper | LibreCat-ID: 15103
Enhancing XML-cache Efficiency by XML Compression
S. Böttcher, L. Fernhomberg, R. Hartel, in: WEBIST 2011, Proceedings of the 7th International Conference on Web Information Systems and Technologies, SciTePress, 2011, pp. 80–87.
LibreCat
S. Böttcher, L. Fernhomberg, R. Hartel, in: WEBIST 2011, Proceedings of the 7th International Conference on Web Information Systems and Technologies, SciTePress, 2011, pp. 80–87.
2011 | Conference Paper | LibreCat-ID: 15104
Reducing Data Transfer by Combining XML-Compression and XML-Caching
S. Böttcher, L. Fernhomberg, R. Hartel, in: Web Information Systems and Technologies - 7th International Conference, WEBIST 2011, Revised Selected Papers, Springer, 2011, pp. 116–130.
LibreCat
| DOI
S. Böttcher, L. Fernhomberg, R. Hartel, in: Web Information Systems and Technologies - 7th International Conference, WEBIST 2011, Revised Selected Papers, Springer, 2011, pp. 116–130.
2011 | Conference Paper | LibreCat-ID: 15115
Comparing methods for knowledge-driven and data-driven fuzzy modeling: A case study in textile industry
M. Nasiri, E. Hüllermeier, R. Senge, E. Lughofer, in: In Proceedings IFSA-2011 World Congress of the International Fuzzy Systems Association, Surabaya and Bali Island, Indonesia, 2011, p. RW-103-1-6.
LibreCat
M. Nasiri, E. Hüllermeier, R. Senge, E. Lughofer, in: In Proceedings IFSA-2011 World Congress of the International Fuzzy Systems Association, Surabaya and Bali Island, Indonesia, 2011, p. RW-103-1-6.
2011 | Conference Paper | LibreCat-ID: 15116
On-line redundancy deletion in evolving fuzzy regression models using a fuzzy inclusion measure
E. Lughofer, E. Hüllermeier, in: S. Galichet, J. Montero, G. Mauris (Eds.), In Proceedings EUSFLAT-2011 7th International Conference on the European Society for Fuzzy Logic and Technology, Aix-Les-Bains, France, 2011, pp. 380–387.
LibreCat
E. Lughofer, E. Hüllermeier, in: S. Galichet, J. Montero, G. Mauris (Eds.), In Proceedings EUSFLAT-2011 7th International Conference on the European Society for Fuzzy Logic and Technology, Aix-Les-Bains, France, 2011, pp. 380–387.
2011 | Conference Paper | LibreCat-ID: 15117
Choquistic regression: Generalizing logistic regression using the Choquet integral
A. Fallah Tehrani, W. Cheng, E. Hüllermeier, in: In Proceedings EUSFLAT-2011 7th International Conference on the European Society for Fuzzy Logic and Technology, Aix-Les-Bains, France, 2011, pp. 868–875.
LibreCat
A. Fallah Tehrani, W. Cheng, E. Hüllermeier, in: In Proceedings EUSFLAT-2011 7th International Conference on the European Society for Fuzzy Logic and Technology, Aix-Les-Bains, France, 2011, pp. 868–875.
2011 | Book Chapter | LibreCat-ID: 15127
Transdisciplinary collaboration and lifelong learning: fostering and supporting new learning opportunities
G. Domik, G. Fischer, in: Rainbow of Computer Science, Springer, 2011, pp. 129–143.
LibreCat
| DOI
G. Domik, G. Fischer, in: Rainbow of Computer Science, Springer, 2011, pp. 129–143.
2011 | Conference Abstract | LibreCat-ID: 15181
Namenlemmatisierung in der Web-Datenbank mittelalterlicher und frühneuzeitlicher Universitätsmatrikel
S. Böttcher, R. Hartel, H. Hawicks, in: XXIV ICOS Internationales Kongress Für Namensforschung, 2011.
LibreCat
S. Böttcher, R. Hartel, H. Hawicks, in: XXIV ICOS Internationales Kongress Für Namensforschung, 2011.
2011 | Conference Paper | LibreCat-ID: 15193
How useful is computer graphics for medical diagnoses?
G. Domik, S. Arens, I. Scharlau, F. Hilkenmeier, in: INFORMATIK 2011 – Informatik Schafft Communities, Gesellschaft für Informatik e.V., Bonn, 2011, p. 437.
LibreCat
G. Domik, S. Arens, I. Scharlau, F. Hilkenmeier, in: INFORMATIK 2011 – Informatik Schafft Communities, Gesellschaft für Informatik e.V., Bonn, 2011, p. 437.
2011 | Journal Article | LibreCat-ID: 16119
Multivariate modeling to identify patterns in clinical data: The example of chest pain
O. Hirsch, S. Bösner, E. Hüllermeier, R. Senge, K. Dembczynski, N. Donner-Banzhoff, BMC Medical Research Methodology 11 (2011).
LibreCat
O. Hirsch, S. Bösner, E. Hüllermeier, R. Senge, K. Dembczynski, N. Donner-Banzhoff, BMC Medical Research Methodology 11 (2011).
2011 | Journal Article | LibreCat-ID: 16126
Preferences in AL: An overview
C. Domshlak, E. Hüllermeier, S. Kaci, H. Prade, Artificial Intelligence 175 (2011) 1037–1052.
LibreCat
C. Domshlak, E. Hüllermeier, S. Kaci, H. Prade, Artificial Intelligence 175 (2011) 1037–1052.
2011 | Journal Article | LibreCat-ID: 16147
Fuzzy machine learning and data mining
E. Hüllermeier, WIREs Data Mining and Knowledge Discovery 1 (2011) 269–283.
LibreCat
E. Hüllermeier, WIREs Data Mining and Knowledge Discovery 1 (2011) 269–283.
2011 | Journal Article | LibreCat-ID: 16148
SEGA: Semi-global graph alignment for structure-based protein comparison
M. Mernberger, G. Klebe, E. Hüllermeier, IEEE/ACM Transactions of Computational Biology and Bioinformatics 8 (2011) 1330–1343.
LibreCat
M. Mernberger, G. Klebe, E. Hüllermeier, IEEE/ACM Transactions of Computational Biology and Bioinformatics 8 (2011) 1330–1343.
2011 | Journal Article | LibreCat-ID: 16149
Superposition and alignment of labeled point clouds
T. Fober, S. Glinca, G. Klebe, E. Hüllermeier, IEEE/ACM Transactions on Computational Biology and Bioinformatics 8 (2011) 1653–1666.
LibreCat
T. Fober, S. Glinca, G. Klebe, E. Hüllermeier, IEEE/ACM Transactions on Computational Biology and Bioinformatics 8 (2011) 1653–1666.
2011 | Journal Article | LibreCat-ID: 1615
Load Balancing in P2P Networks: Using Statistics to Fight Data and Execution Skew
D. Warneke, C. Dannewitz, Journal of Advances in Information Technology 2 (2011).
LibreCat
| DOI
D. Warneke, C. Dannewitz, Journal of Advances in Information Technology 2 (2011).
2011 | Journal Article | LibreCat-ID: 16150
Fuzzy sets in machine learning and data mining
E. Hüllermeier, Applied Soft Computing Journal (2011) 1493–1505.
LibreCat
E. Hüllermeier, Applied Soft Computing Journal (2011) 1493–1505.
2011 | Journal Article | LibreCat-ID: 16153
Top-down induction of fuzzy pattern trees
R. Senge, E. Hüllermeier, IEEE Transactions on Fuzzy Systems 19 (2011) 241–252.
LibreCat
R. Senge, E. Hüllermeier, IEEE Transactions on Fuzzy Systems 19 (2011) 241–252.
2011 | Book Chapter | LibreCat-ID: 16409
A New Approach for Analyzing Convergence Algorithms for Mobile Robots
A. Cord-Landwehr, B. Degener, M. Fischer, M. Hüllmann, B. Kempkes, A. Klaas, P. Kling, S. Kurras, M. Märtens, F. Meyer auf der Heide, C. Raupach, K. Swierkot, D. Warner, C. Weddemann, D. Wonisch, in: Automata, Languages and Programming, Berlin, Heidelberg, 2011.
LibreCat
| DOI
A. Cord-Landwehr, B. Degener, M. Fischer, M. Hüllmann, B. Kempkes, A. Klaas, P. Kling, S. Kurras, M. Märtens, F. Meyer auf der Heide, C. Raupach, K. Swierkot, D. Warner, C. Weddemann, D. Wonisch, in: Automata, Languages and Programming, Berlin, Heidelberg, 2011.
2011 | Conference Paper | LibreCat-ID: 13194
An exact algorithm for F-measure maximization
K. Dembczynski, W. Waegeman, W. Cheng, E. Hüllermeier, in: In Proceedings NIPS-2011, 25th Annual Conference on Neural Information Processing Systems, Granada, Spain, 2011.
LibreCat
K. Dembczynski, W. Waegeman, W. Cheng, E. Hüllermeier, in: In Proceedings NIPS-2011, 25th Annual Conference on Neural Information Processing Systems, Granada, Spain, 2011.
2011 | Conference Paper | LibreCat-ID: 13196
Learning from label preferences
J. Fürnkranz, E. Hüllermeier, in: T. Elomaa, J. Hollmen, H. Mannila (Eds.), In Proceedings DS-2011, 14th International Conference on Discovery Science, Number 6926 in LNAI, Springer, 2011, pp. 2–17.
LibreCat
J. Fürnkranz, E. Hüllermeier, in: T. Elomaa, J. Hollmen, H. Mannila (Eds.), In Proceedings DS-2011, 14th International Conference on Discovery Science, Number 6926 in LNAI, Springer, 2011, pp. 2–17.
2011 | Conference Paper | LibreCat-ID: 13197
Learning monotone nonlinear models using the Choquet integral
A. Fallah Tehrani, W. Cheng, K. Dembczynski, E. Hüllermeier, in: In Proceedings ECML/PKDD-2011, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Athens, Greece, 2011.
LibreCat
A. Fallah Tehrani, W. Cheng, K. Dembczynski, E. Hüllermeier, in: In Proceedings ECML/PKDD-2011, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Athens, Greece, 2011.
2011 | Conference Paper | LibreCat-ID: 13198
Preference-based CBR: First steps toward a methodological framework
E. Hüllermeier, P. Schlegel, in: A. Ram, N. Wiratunga (Eds.), In Proceedings ICCBR-2011, 19th International Conference on Case-Based Reasoning, Number 6880 in LNAI, Springer, 2011, pp. 77–91.
LibreCat
E. Hüllermeier, P. Schlegel, in: A. Ram, N. Wiratunga (Eds.), In Proceedings ICCBR-2011, 19th International Conference on Case-Based Reasoning, Number 6880 in LNAI, Springer, 2011, pp. 77–91.
2011 | Conference Paper | LibreCat-ID: 13588
Bipartite ranking through minimization of univariate loss
W. Kotlowski, K. Dembczynski, E. Hüllermeier, in: In Proceedings ICML-2011, 28th International Conference on Machine Learning, Washington, USA, 2011.
LibreCat
W. Kotlowski, K. Dembczynski, E. Hüllermeier, in: In Proceedings ICML-2011, 28th International Conference on Machine Learning, Washington, USA, 2011.
2011 | Conference Paper | LibreCat-ID: 13643
Memory Virtualization for Multithreaded Reconfigurable Hardware
A. Agne, M. Platzner, E. Lübbers, in: Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), IEEE, 2011, pp. 185–188.
LibreCat
| DOI
A. Agne, M. Platzner, E. Lübbers, in: Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), IEEE, 2011, pp. 185–188.
2011 | Conference Paper | LibreCat-ID: 13644
Design and architectures for dependable embedded systems
J. Henkel, L. Hedrich, A. Herkersdorf, R. Kapitza, D. Lohmann, P. Marwedel, M. Platzner, W. Rosenstiel, U. Schlichtmann, O. Spinczyk, M. Tahoori, L. Bauer, J. Teich, N. Wehn, H.-J. Wunderlich, J. Becker, O. Bringmann, U. Brinkschulte, S. Chakraborty, M. Engel, R. Ernst, H. Härtig, in: Proceedings of the Seventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis - CODES+ISSS ’11, 2011.
LibreCat
| DOI
J. Henkel, L. Hedrich, A. Herkersdorf, R. Kapitza, D. Lohmann, P. Marwedel, M. Platzner, W. Rosenstiel, U. Schlichtmann, O. Spinczyk, M. Tahoori, L. Bauer, J. Teich, N. Wehn, H.-J. Wunderlich, J. Becker, O. Bringmann, U. Brinkschulte, S. Chakraborty, M. Engel, R. Ernst, H. Härtig, in: Proceedings of the Seventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis - CODES+ISSS ’11, 2011.
2011 | Journal Article | LibreCat-ID: 1376
Complex Queries in P2P Networks with Resource-Constrained Devices
C. Dannewitz, T. Biermann, M. Dräxler, H. Karl, Journal of Advances in Information Technology 2 (2011).
LibreCat
| DOI
C. Dannewitz, T. Biermann, M. Dräxler, H. Karl, Journal of Advances in Information Technology 2 (2011).
2011 | Conference Paper | LibreCat-ID: 37001
Virtual Prototyping software-intensiver mechatronischer Systeme - Eine Fallstudie
M. Becker, H. Zabel, W. Müller, A. Elfeky, in: Paderborn, 2011.
LibreCat
M. Becker, H. Zabel, W. Müller, A. Elfeky, in: Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 37005
A SystemC Based Library for Functional Coverage
C. Kuznik, W. Müller, in: 2011.
LibreCat
C. Kuznik, W. Müller, in: 2011.
2011 | Conference Paper | LibreCat-ID: 37006
A Reconfiguration Approach for Faul-Tolerant FlexRay Networks
K. Klobedanz, A. König, W. Müller, in: Proceedings of DATE’11, IEEE, Grenoble, France, 2011.
LibreCat
| DOI
K. Klobedanz, A. König, W. Müller, in: Proceedings of DATE’11, IEEE, Grenoble, France, 2011.
2011 | Journal Article | LibreCat-ID: 8178 | 
Characterizing Quantumness via Entanglement Creation
S. Gharibian, M. PIANI, G. ADESSO, J. CALSAMIGLIA, P. HORODECKI, International Journal of Quantum Information 09 (2011) 1701–1713.
LibreCat
| DOI
| Download (ext.)
| arXiv
S. Gharibian, M. PIANI, G. ADESSO, J. CALSAMIGLIA, P. HORODECKI, International Journal of Quantum Information 09 (2011) 1701–1713.
2011 | Conference Paper | LibreCat-ID: 8176 |
Approximation Algorithms for QMA-Complete Problems
S. Gharibian, J. Kempe, in: IEEE Annual Conference on Computational Complexity (CCC 2011), IEEE, 2011.
LibreCat
| DOI
| Download (ext.)
| arXiv
S. Gharibian, J. Kempe, in: IEEE Annual Conference on Computational Complexity (CCC 2011), IEEE, 2011.
2011 | Journal Article | LibreCat-ID: 8177 |
All Nonclassical Correlations Can Be Activated into Distillable Entanglement
M. Piani, S. Gharibian, G. Adesso, J. Calsamiglia, P. Horodecki, A. Winter, Physical Review Letters 106 (2011).
LibreCat
| DOI
| Download (ext.)
| arXiv
M. Piani, S. Gharibian, G. Adesso, J. Calsamiglia, P. Horodecki, A. Winter, Physical Review Letters 106 (2011).
2011 | Conference Paper | LibreCat-ID: 2194
Transformation of scientific algorithms to parallel computing code: subdomain support in a MPI-multi-GPU backend
B. Meyer, C. Plessl, J. Förstner, in: Symp. on Application Accelerators in High Performance Computing (SAAHPC), IEEE Computer Society, 2011, pp. 60–63.
LibreCat
| DOI
B. Meyer, C. Plessl, J. Förstner, in: Symp. on Application Accelerators in High Performance Computing (SAAHPC), IEEE Computer Society, 2011, pp. 60–63.
2011 | Conference Paper | LibreCat-ID: 2193
Cooperative multitasking for heterogeneous accelerators in the Linux Completely Fair Scheduler
T. Beisel, T. Wiersema, C. Plessl, A. Brinkmann, in: Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP), IEEE Computer Society, 2011, pp. 223–226.
LibreCat
| DOI
T. Beisel, T. Wiersema, C. Plessl, A. Brinkmann, in: Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP), IEEE Computer Society, 2011, pp. 223–226.
2011 | Conference Paper | LibreCat-ID: 656
Measuring and Predicting Temperature Distributions on FPGAs at Run-Time
M. Happe, A. Agne, C. Plessl, in: Proceedings of the 2011 International Conference on Reconfigurable Computing and FPGAs (ReConFig), IEEE, 2011, pp. 55–60.
LibreCat
| Files available
| DOI
M. Happe, A. Agne, C. Plessl, in: Proceedings of the 2011 International Conference on Reconfigurable Computing and FPGAs (ReConFig), IEEE, 2011, pp. 55–60.
2011 | Conference Paper | LibreCat-ID: 2200
Performance Estimation Framework for Automated Exploration of CPU-Accelerator Architectures
T. Kenter, M. Platzner, C. Plessl, M. Kauschke, in: Proc. Int. Symp. on Field-Programmable Gate Arrays (FPGA), ACM, New York, NY, USA, 2011, pp. 177–180.
LibreCat
| DOI
T. Kenter, M. Platzner, C. Plessl, M. Kauschke, in: Proc. Int. Symp. on Field-Programmable Gate Arrays (FPGA), ACM, New York, NY, USA, 2011, pp. 177–180.
2011 | Journal Article | LibreCat-ID: 2201
FPGA Acceleration of Communication-bound Streaming Applications: Architecture Modeling and a 3D Image Compositing Case Study
T. Schumacher, T. Süß, C. Plessl, M. Platzner, Int. Journal of Recon- Figurable Computing (IJRC) (2011).
LibreCat
| DOI
T. Schumacher, T. Süß, C. Plessl, M. Platzner, Int. Journal of Recon- Figurable Computing (IJRC) (2011).
2011 | Conference Paper | LibreCat-ID: 2198
Just-in-time Instruction Set Extension – Feasibility and Limitations for an FPGA-based Reconfigurable ASIP Architecture
M. Grad, C. Plessl, in: Proc. Reconfigurable Architectures Workshop (RAW), IEEE Computer Society, 2011, pp. 278–285.
LibreCat
| DOI
M. Grad, C. Plessl, in: Proc. Reconfigurable Architectures Workshop (RAW), IEEE Computer Society, 2011, pp. 278–285.
2011 | Conference Paper | LibreCat-ID: 46401
Exploratory Landscape Analysis
O. Mersmann, B. Bischl, H. Trautmann, M. Preuss, C. Weihs, G. Rudolph, in: Proceedings of the 13th Annual Conference on Genetic and Evolutionary Computation, Association for Computing Machinery, New York, NY, USA, 2011, pp. 829–836.
LibreCat
| DOI
O. Mersmann, B. Bischl, H. Trautmann, M. Preuss, C. Weihs, G. Rudolph, in: Proceedings of the 13th Annual Conference on Genetic and Evolutionary Computation, Association for Computing Machinery, New York, NY, USA, 2011, pp. 829–836.
2011 | Conference Paper | LibreCat-ID: 46402
A Taxonomy of Online Stopping Criteria for Multi-Objective Evolutionary Algorithms
T. Wagner, H. Trautmann, L. Martí, in: R.H.C. Takahashi, K. Deb, E.F. Wanner, S. Greco (Eds.), Evolutionary Multi-Criterion Optimization, Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 16–30.
LibreCat
| DOI
T. Wagner, H. Trautmann, L. Martí, in: R.H.C. Takahashi, K. Deb, E.F. Wanner, S. Greco (Eds.), Evolutionary Multi-Criterion Optimization, Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 16–30.
2011 | Journal Article | LibreCat-ID: 46403
Advanced concepts for multi-objective evolutionary optimization in aircraft industry
B. Naujoks, H. Trautmann, S. Wessing, C. Weihs, Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering 225 (2011) 1081–1096.
LibreCat
| DOI
B. Naujoks, H. Trautmann, S. Wessing, C. Weihs, Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering 225 (2011) 1081–1096.
2010 | Conference Paper | LibreCat-ID: 19678
The Power of Uncertainty: Bundle-Pricing for Unit-Demand Customers
P. Briest, H. Röglin, in: Workshop on Approximation and Online Algorithms (WAOA), Springer, 2010.
LibreCat
| DOI
P. Briest, H. Röglin, in: Workshop on Approximation and Online Algorithms (WAOA), Springer, 2010.
2010 | Conference Paper | LibreCat-ID: 19711
A local, distributed constant-factor approximation algorithm for the dynamic facility location problem
B. Degener, P. Pietrzyk, B. Kempkes, in: International Parallel & Distributed Processing Symposium (IPDPS), 2010.
LibreCat
| DOI
B. Degener, P. Pietrzyk, B. Kempkes, in: International Parallel & Distributed Processing Symposium (IPDPS), 2010.
2010 | Conference Paper | LibreCat-ID: 19796
Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks
M. Mense, C. Schindelhauer, in: Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2010, pp. 624--639.
LibreCat
| DOI
M. Mense, C. Schindelhauer, in: Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2010, pp. 624--639.
2010 | Conference Paper | LibreCat-ID: 19824
A Self-Stabilizing Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs
T. Janson, P. Mahlmann, C. Schindelhauer, in: Proceedings of the 16th International Conference on Parallel and Distributed Systems, 2010.
LibreCat
| DOI
T. Janson, P. Mahlmann, C. Schindelhauer, in: Proceedings of the 16th International Conference on Parallel and Distributed Systems, 2010.
2010 | Conference Paper | LibreCat-ID: 19829
Coverage-hole trap model in target tracking using distributed relay-robot network
H. Miao, C.C. Ooi, X. Wu, C. Schindelhauer, in: Proceedings of the 2010 ACM Symposium on Applied Computing - SAC ’10, 2010, pp. 1299–1304.
LibreCat
| DOI
H. Miao, C.C. Ooi, X. Wu, C. Schindelhauer, in: Proceedings of the 2010 ACM Symposium on Applied Computing - SAC ’10, 2010, pp. 1299–1304.
2010 | Conference Paper | LibreCat-ID: 19933
Distributed and dynamic resource management for self-optimizing mechatronic systems
G. Schomaker, S. Oberthur, M. Kortenjan, in: 8th IEEE International Conference on Industrial Informatics (INDIN’2010), 2010.
LibreCat
| DOI
G. Schomaker, S. Oberthur, M. Kortenjan, in: 8th IEEE International Conference on Industrial Informatics (INDIN’2010), 2010.
2010 | Book | LibreCat-ID: 20182
Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming
H. Hamann, Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming, Springer, Berlin, Germany, 2010.
LibreCat
| DOI
H. Hamann, Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming, Springer, Berlin, Germany, 2010.
2010 | Conference Paper | LibreCat-ID: 20220
A Hormone-Based Controller for Evolutionary Multi-Modular Robotics: From Single Modules to Gait Learning
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, in: Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10), 2010, pp. 244--251.
LibreCat
| DOI
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, in: Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10), 2010, pp. 244--251.
2010 | Conference Paper | LibreCat-ID: 20222
Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller
T. Schmickl, H. Hamann, J. Stradner, R. Mayet, K. Crailsheim, in: Proc. of the ALife XII Conference, MIT Press, 2010, pp. 648--655.
LibreCat
T. Schmickl, H. Hamann, J. Stradner, R. Mayet, K. Crailsheim, in: Proc. of the ALife XII Conference, MIT Press, 2010, pp. 648--655.
2010 | Conference Paper | LibreCat-ID: 20223
Artificial Hormone Reaction Networks: Towards Higher Evolvability in Evolutionary Multi-Modular Robotics
H. Hamann, J. Stradner, T. Schmickl, K. Crailsheim, in: Artificial Life XII (ALife XII), Odense, Denmark, MIT Press, 2010, pp. 773–780.
LibreCat
| arXiv
H. Hamann, J. Stradner, T. Schmickl, K. Crailsheim, in: Artificial Life XII (ALife XII), Odense, Denmark, MIT Press, 2010, pp. 773–780.
2010 | Conference Paper | LibreCat-ID: 20226
A Model of Symmetry Breaking in Collective Decision-Making
H. Hamann, B. Meyer, T. Schmickl, K. Crailsheim, in: From Animals to Animats 11, Springer, 2010, pp. 639–648.
LibreCat
| DOI
H. Hamann, B. Meyer, T. Schmickl, K. Crailsheim, in: From Animals to Animats 11, Springer, 2010, pp. 639–648.
2010 | Conference Paper | LibreCat-ID: 20258
On Adaptive Self-Organization in Artificial Robot Organisms
S. Kernbach, H. Hamann, J. Stradner, R. Thenius, T. Schmickl, K. Crailsheim, A.C. van Rossum, M. Sebag, N. Bredeche, Y. Yao, G. Baele, Y.V. de Peer, J. Timmis, M. Mohktar, A. Tyrrell, A.E. Eiben, S.P. McKibbin, W. Liu, A.F.T. Winfield, in: 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, 2010.
LibreCat
| DOI
S. Kernbach, H. Hamann, J. Stradner, R. Thenius, T. Schmickl, K. Crailsheim, A.C. van Rossum, M. Sebag, N. Bredeche, Y. Yao, G. Baele, Y.V. de Peer, J. Timmis, M. Mohktar, A. Tyrrell, A.E. Eiben, S.P. McKibbin, W. Liu, A.F.T. Winfield, in: 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, 2010.
2010 | Journal Article | LibreCat-ID: 24282
Robust Undetectable Interference Watermarks
R. Grza̧ślewicz, J. Kutyłowski, M. Kutyłowski, W. Pietkiewicz, ICCSA’05: Proceedings of the 2005 International Conference on Computational Science and Its Applications (2010).
LibreCat
| DOI
R. Grza̧ślewicz, J. Kutyłowski, M. Kutyłowski, W. Pietkiewicz, ICCSA’05: Proceedings of the 2005 International Conference on Computational Science and Its Applications (2010).
2010 | Conference Paper | LibreCat-ID: 3195
A {CSP} Approach to Control in Event-B
S. Schneider, H. Treharne, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.
LibreCat
| DOI
S. Schneider, H. Treharne, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.