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.
5692 Publications
2012 | Bachelorsthesis | LibreCat-ID: 607
T. Haarhoff, Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2. Universität Paderborn, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 608
N. Timm, H. Wehrheim, and M. Czech, “Heuristic-Guided Abstraction Refinement for Concurrent Systems,” in Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–363.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 619
P. Brandes and F. Meyer auf der Heide, “Distributed Computing in Fault-Prone Dynamic Networks,” in Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS), 2012, pp. 9–14.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 622
S. Arifulina, G. Engels, and C. Soltenborn, “Coverage Criteria for Testing DMM Specifications,” in Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 623
A. W. Richa, C. Scheideler, S. Schmid, and J. Zhang, “Competitive and fair throughput for co-existing networks under adversarial interference,” in Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC), 2012, pp. 291–300.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 625
S. Schmid, C. Avin, C. Scheideler, B. Häupler, and Z. Lotker, “Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures,” in Proceedings of the 26th International Symposium on Distributed Computing (DISC), 2012, pp. 439–440.
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 6250
V. Paelke, K. Nebe, C. Geiger, F. Klompmaker, and H. G. Fischer, “Multi-Modal, Multi-Touch Interaction with Maps in Disaster Management Applications,” ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, vol. XXXIX-B8, pp. 55–60, 2012.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 626
S. Kniesburges and C. Scheideler, “Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems,” in Proceedings of the 26th International Symposium on Distributed Computing (DISC), 2012, pp. 435–436.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 627
D. Wonisch, “Block Abstraction Memoization for CPAchecker,” in Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012, pp. 531–533.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 628
A. Cord-Landwehr, M. Huellmann (married name: Eikel), P. Kling, and A. Setzer, “Basic Network Creation Games with Communication Interests,” in Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT), 2012, pp. 72--83.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 6285
V. Paelke, K. Nebe, C. Geiger, F. Klompmaker, and H. G. Fischer, “Designing Multi-Modal Map-Based Interfaces for Disaster Management,” in Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), 2012, pp. 95–100.
LibreCat
2012 | Conference Paper | LibreCat-ID: 6286
F. Klompmaker, H. G. Fischer, and H. Jung, “Authenticated Tangible Interaction using RFID and Depth-Sensing Cameras - Supporting Collaboration on Interactive Tabletops,” in Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), 2012, pp. 141–144.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 629
P. Schleiter, Attribute-basierte Verschlüsselung. Universität Paderborn, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 6290
H. G. Fischer and F. Klompmaker, “Enriching Disaster Control Management based on Human-Computer Design,” in Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM), 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 6291
H. G. Fischer, T. Geis, O. Kluge, C. Bogner, and K. Polkehn, “Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand der Arbeiten,” in Jahresband Usability Professionals, 2012, pp. 160–165.
LibreCat
2012 | Conference Paper | LibreCat-ID: 630
M. C. Platenius, M. von Detten, and S. Becker, “Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies,” in Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–264.
LibreCat
| Files available
| DOI
2012 | Report | LibreCat-ID: 6312
K. Behrenbruch et al., German UPA Qualitätsstandard für Usability Engineering. 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 632
P. Kolman and C. Scheideler, “Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case,” in Proceedings of the 23th ACM SIAM Symposium on Discrete Algorithms (SODA), 2012, pp. 800–810.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 636
F. Meyer auf der Heide, P. Pietrzyk, and P. Kling, “An Algorithm for Facility Leasing,” in Proceedings of the 19th International Colloquium on Structural Information & Communication Complexity (SIROCCO), 2012, pp. 61–72.
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 638
F. Eidens, Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken. Universität Paderborn, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 639
Z. Huma, C. Gerth, G. Engels, and O. Juwig, “A UML-based Rich Service Description for Automatic Service Discovery,” in Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 2012, pp. 90--97.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 640
S. Kniesburges, A. Koutsopoulos, and C. Scheideler, “A Self-Stabilization Process for Small-World Networks,” in Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1261--1271.
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 7339
U. Dumslaff, G. Engels, and M. Kremer, “IT ist nicht gleich IT: Ein Plädoyer für eine situationsbezogene Softwareentwicklung,” OBJEKTspektrum, no. Nr. 5, pp. 52–57, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 7344
M. Grieger, B. Güldali, and S. Sauer, “Sichern der Zukunftsfähigkeit bei der Migration von Legacy-Systemen durch modellgetriebene Softwareentwicklung,” Softwaretechnik-Trends, Proceedings of the 14th Workshop Software-Reengineering (WSR), vol. 32, no. 2, pp. 37–38, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 7351
F. Christ, B. Nagel, R. Bachman-Gmür, and R. Westenthaler, “Semantisches Content Management,” JavaMagazin, vol. 8, pp. 96–100, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 7352
S. Geisen and B. Güldali, “Agiles Testen in Scrum – Testtypen und Abläufe,” OBJEKTspektrum (Online Themenspecials), no. Agility/2012, pp. 1–4, 2012.
LibreCat
2012 | Book | LibreCat-ID: 7507
M. Kremer et al., Quasar 3.0 - A Situational Approach to Software Engineering. Capgemini CSD Research, Offenbach 2012, 2012.
LibreCat
2012 | Dissertation | LibreCat-ID: 7572
F. Christ, Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen. Universität Paderborn, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 8473
C. Gerth and M. Luckey, “Towards Rich Change Management for Business Process Models,” in Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12), 2012, vol. 32, no. 4, pp. 32–34.
LibreCat
2012 | Conference Paper | LibreCat-ID: 8475
Z. Huma , C. Gerth , G. Engels, and O. Juwig, “A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners,” in Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 2012, vol. 855, pp. 90--97.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 8476
M. Luckey and F. Mutz, “Modeling with Adapt Cases,” in Repository for Model-Driven Development (ReMoDD), 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 8477
S. Geisen , M. Luckey , and G. Engels, “Ein Ansatz zur dynamischen Qualitätsmessung, -bewertung und Anpassung von Software Engineering Methoden,” in Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle, 2012, pp. 111–120.
LibreCat
2012 | Conference Paper | LibreCat-ID: 8478
S. Arifulina, “Towards a Framework for the Integration of Modeling Languages,” in Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)), 2012, vol. 935, pp. 23–26.
LibreCat
2012 | Conference Paper | LibreCat-ID: 8479
B. Güldali , S. Sauer, and P. Löhr, “Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme,” in Proceedings of the Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung (MMSM 2012), 2012, vol. 32, no. 2, pp. 5–6.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 8483
M. Luckey , C. Thanos , C. Gerth, and G. Engels, “Multi-Staged Quality Assurance for Self-Adaptive Systems,” in Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 8484
S. Geisen, “Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt,” in Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium, 2012, vol. Report 01/12, pp. 7–12.
LibreCat
2012 | Journal Article | LibreCat-ID: 5183
E. Bodden, P. Lam, and L. Hendren, “Partially Evaluating Finite-State Runtime Monitors Ahead of Time,” ACM Transactions on Programming Languages and Systems, vol. 34, no. 2, pp. 1–52, 2012.
LibreCat
| Files available
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 565
G. Besova, S. Walther, H. Wehrheim, and S. Becker, “Weaving-based configuration and modular transformation of multi-layer systems,” in Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), 2012, pp. 776–792.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 6720
S. Böttcher, R. Hartel, and S. Heindorf, “Optimized XPath evaluation for Schema-compressed XML data,” in ADC, 2012, vol. 124, pp. 137–144.
LibreCat
2012 | Conference Paper | LibreCat-ID: 16446
B. Kempkes, P. Kling, and F. Meyer auf der Heide, “Optimal and competitive runtime bounds for continuous, local gathering of mobile robots,” in Proceedinbgs of the 24th ACM symposium on Parallelism in algorithms and architectures - SPAA ’12, 2012.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 16929
G. Domik, “Faculty Submitted Student Work at Siggraph 2012,” in Curated exhibit at Siggraph, Los Angeles, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 10636
A. Boschmann and M. Platzner, “Reducing classification accuracy degradation of pattern recognition based myoelectric control caused by electrode shift using a high density electrode array,” in Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC), 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 10650
D. Dridger, Design and Implementation of a Nanophotonics Simulation Personality for the Convey HC-1 Hybrid Core Computer. Paderborn University, 2012.
LibreCat
2012 | Dissertation | LibreCat-ID: 10652
H. Giefers, Design and Programming of Reconfigurable Mesh based Many-Cores. Berlin: Logos Verlag Berlin GmbH, 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 10658
T. Graf, Adaptive Playouts in der Monte-Carlo Spielbaumsuche am Anwendungsfall Go. Paderborn University, 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 10667
H. Hangmann, Generating Adjustable Temperature Gradients on modern FPGAs. Paderborn University, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 10685
P. Kaufmann, K. Glette, M. Platzner, and J. Torresen, “Compensating Resource Fluctuations by Means of Evolvable Hardware: The Run-Time Reconfigurable Functional Unit Row Classifier Architecture,” International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS), vol. 3, no. 4, pp. 17–31, 2012.
LibreCat
| DOI
2012 | Misc | LibreCat-ID: 10723
M. Platzner, A. Boschmann, and P. Kaufmann, Wieder natürlich gehen und greifen. 2012, pp. 6–11.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 10734
H. Schmitz, Stereo Matching on a HC-1 Hybrid Core Computer. Paderborn University, 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 10747
C. Topmöller, Entwicklung eines Picoblaze Compilers mit dem Gentle Compiler Construction System. Paderborn University, 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 10754
M. Wistuba, Analysis of Pattern Based Model Design and Learning in Computer-Go. Paderborn University, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 12037
F. Malandrino, C. Casetti, C. F. Chiasserini, C. Sommer, and F. Dressler, “Content downloading in vehicular networks: Bringing parked cars into the picture,” in 2012 IEEE 23rd International Symposium on Personal, Indoor and Mobile Radio Communications - (PIMRC), 2012.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 15299
M. Leinweber et al., “GPU-based cloud computing for comparing the structure of protein binding sites,” in in Proceedings IEEE Conference on Digital Ecosystem Technologies-Complex Environment Engineering Campione d`Italia, Italy, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 15396
E. Hüllermeier and A. Fallah Tehrani, “Efficient learning of classifiers based on the 2-additive Choquet integral,” in Computational Intelligence in Intelligent Data Analysis, C. Moewes and A. Nürnberger, Eds. Springer, 2012, pp. 17–30.
LibreCat
2012 | Journal Article | LibreCat-ID: 15669
C. Schulte and J. Suhonen, “Koli Calling 2009 and 2010,” Computer Science Education, vol. 22, no. 2, pp. 79–80, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 15670
C. Schulte et al., “Computer science at school/CS teacher education: Koli working-group report on CS at school,” in Koli Calling, 2012, pp. 29–38.
LibreCat
2012 | Conference Paper | LibreCat-ID: 15671
C. Schulte, “Uncovering structure behind function: the experiment as teaching method in computer science education,” in WiPSCE, 2012, pp. 40–47.
LibreCat
2012 | Conference Paper | LibreCat-ID: 15754
M. Bräuning and E. Hüllermeier, “Learning conditional lexicographic preference trees,” in In Workshops on Preference Learning at ECAI, European Conference on Artiticial intelligence, Montpellier, France, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 14871
W.-F. Chen, C.-K. Kuo, Y.-R. Wang, and S.-H. Chen, “A Syllable-based Prosody Modeling for L1 and L2 English Speeches,” in Proceedings of the 8th International Symposium on Chinese Spoken Language Processing, 2012, pp. 281–285.
LibreCat
2012 | Conference Paper | LibreCat-ID: 15095
S. Böttcher, R. Hartel, and S. Weber, “Efficient String-Based XML Stream Prefiltering,” in Proceedings of the Twenty-Third Australasian Database Conference, 2012, pp. 145–152.
LibreCat
2012 | Conference Paper | LibreCat-ID: 15114
E. Hüllermeier and A. Fallah Tehrani, “On the VC dimension of the Choquet integral,” in In Proceedings IPMU-2012 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Part 1, Catania, Italy, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 16084
A. Fallah Tehrani, W. Cheng, K. Dembczynski, and E. Hüllermeier, “Learning monotone nonlinear models using the Choquet integral,” Machine Learning, vol. 89, no. 1, pp. 183–211, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 16085
H. Bustince, M. Pagola, R. Mesiar, E. Hüllermeier, and F. Herrera, “Grouping, overlap and generalized bientropic functions for fuzzy modeling of pairwise comparisons,” IEEE Transactions on Fuzzy Systems, vol. 20, no. 3, pp. 405–415, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 16087
J. Fürnkranz, E. Hüllermeier, W. Cheng, and S. H. Park, “Preference-based reinforcement learning: A formal framework and a policy iteration algorithm,” Machine Learning, vol. 89, no. 1, pp. 123–156, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 16088
K. Dembczynski, W. Waegeman, W. Cheng, and E. Hüllermeier, “On label dependence and loss minimization in multi-label classification,” Machine Learning, vol. 88, no. 1–2, pp. 5–45, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 16089
A. Shaker and E. Hüllermeier, “IBL Streams: A system for instance-based classification and regression on data streams,” Evolving Systems, vol. 3, no. 4, pp. 235–249, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 16090
M. Dolorez Ruiz and E. Hüllermeier, “A formal and empirical analysis of the fuzzy gamma rank correlation coefficient,” Information Sciences, vol. 206, pp. 1–17, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 16091
A. Fallah Tehrani, W. Cheng, and E. Hüllermeier, “Preference learning using the Choquet integral: The case of multipartite ranking,” IEEE Transactions on Fuzzy Systems, vol. 20, no. 6, pp. 1102–1113, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 16092
T. Fober, M. Mernberger, G. Klebe, and E. Hüllermeier, “Fingerprint kernels for protein structure comparison,” Molecular Informatics, vol. 31, no. 6–7, pp. 443–452, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 16093
E. Hüllermeier, M. Rifqi, S. Henzgen, and R. Senge, “Comparing fuzzy partitions: A generalization of the Rand index and related measures,” IEEE Transactions on Fuzzy Systems, vol. 20, no. 3, pp. 546–556, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 16094
R. Senge, T. Fober, N. Nasiri, and E. Hüllermeier, “Fuzzy Pattern Trees: Ein alternativer Ansatz zur Fuzzy-Modellierung,” At-Atomatisierungstechnik, vol. 60, no. 10, pp. 622–629, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 16408
T. Suess, C. Koch, C. Jähn, M. Fischer, and F. Meyer auf der Heide, “Asynchronous Occlusion Culling on Heterogeneous PC Clusters for Distributed 3D Scenes,” in Advances in Visual Computing, 2012, vol. 7431, pp. 502–512, doi: 10.1007/978-3-642-33179-4_48.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 13120
W. Cheng, E. Hüllermeier, W. Waegeman, and V. Welker, “Label ranking with partial abstention based on thresholded probalistic models,” in In Proceedings NIPS-2012, 26th Annual Conference on Neural Information Processing Systems, Lake Tahoe, Nevada, USA, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 13191
W. Cheng and E. Hüllermeier, “Probability estimation for mulit-class classification based on label ranking,” in Proceedings ECML/PKDD-2012, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Bristol, UK, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 13192
K. Dembczynski, W. Kotlowski, and E. Hüllermeier, “Consistent multilabel ranking through univariate loss minimization,” in in Proceedings ICML-2012, International Conference on Machine Learning, Edinburgh, Scotland, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 13193
K. Dembczynski, W. Waegeman, and E. Hüllermeier, “An analysis of chaining in multi-label classification,” in In Proceedings ECAI-2012, 20th European Conference on Artificial Inteligence, Montpellier, France , 2012, pp. 294–299.
LibreCat
2012 | Misc | LibreCat-ID: 13462
P. Lewis, M. Platzner, and X. Yao, An outlook for self-awareness in computing systems. Awareness Magazine, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 10153
E. Hüllermeier, “Fuzzy rules in data mining: From fuzzy associations to gradual dependencies,” in Combining Experimentation and Theory, vol. 271, E. Trillas, P. P. Bonissone, L. Magdalena, and J. Kacprzyk, Eds. Springer, 2012, pp. 123–135.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26695
Y. Vanderperren, W. Müller, D. He, F. Mischkalla, and W. Dahaene, “Extending UML for Electronic Systems Design: A Code Generation Perspective,” in Design Technology for Heterogeneous Embedded Systems, 1st Edition. Auflage., G. Nicolescu, I. O’Connor, and C. Piguet, Eds. Springer Verlag, 2012, pp. 13–39.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36922
K. Klobedanz, W. Müller, and A. Rettberg, “An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems,” presented at the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012, doi: 10.1109/ISORCW.2012.41.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36921
M. F. Oliveira, C. Kuznik, W. Müller, V. Esen, and W. Ecker, “Towards an Enhanced UVM for SystemC,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36994
T. Xie, W. Müller, and F. Letombe, “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor,” 2012, doi: 10.1109/SOCC.2012.6398362.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36997
T. Xie and W. Müller, “An IP-XACT-TO-SystemC Model Generator for Mutation Analysis,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 8169 | 
S. Gharibian and J. Kempe, “Hardness of Approximation for Quantum Problems,” in International Colloquium on Automata, Languages, and Programming (ICALP 2012), Warwick, UK, 2012, pp. 387–398, doi: 10.1007/978-3-642-31594-7_33.
LibreCat
| DOI
| Download (ext.)
| arXiv
2012 | Journal Article | LibreCat-ID: 8175 |
S. Gharibian and J. Kempe, “Approximation Algorithms for QMA-Complete Problems,” SIAM Journal on Computing, vol. 41, no. 4, pp. 1028–1050, 2012, doi: 10.1137/110842272.
LibreCat
| DOI
| Download (ext.)
| arXiv
2012 | Journal Article | LibreCat-ID: 8174 |
S. Gharibian, “Quantifying nonclassicality with local unitary operations,” Physical Review A, vol. 86, p. 042106, 2012, doi: 10.1103/PhysRevA.86.042106.
LibreCat
| DOI
| Download (ext.)
| arXiv