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.

15986 Publications


2015 | Dissertation | LibreCat-ID: 10624
@book{Beisel_2015, place={Berlin}, title={Management and Scheduling of Accelerators for Heterogeneous High-Performance Computing}, publisher={Logos Verlag Berlin GmbH}, author={Beisel, Tobias}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 10693
@inproceedings{Kaufmann_Shen_2015, title={Generator Start-up Sequences Optimization for Network Restoration Using Genetic Algorithm and Simulated Annealing}, booktitle={Genetic and Evolutionary Computation (GECCO)}, publisher={ACM}, author={Kaufmann, Paul and Shen, Cong}, year={2015}, pages={409–416} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 1144
@inproceedings{Stotz_Stuß_Reinert _Schrott_2015, series={CEUR Workshop Proceedings}, title={Interpersonal relations in biographical dictionaries. A case study}, volume={1399}, booktitle={Proceedings of the First Conference on Biographical Data in a Digital World 2015}, publisher={CEUR-WS.org}, author={Stotz, Sophia and Stuß, Valentina and Reinert , Matthias and Schrott, Maximilian}, editor={ter Braake, Serge and Fokkens, Antske and Sluijter, Ronald and Declerck, Thierry and Wandl-Vogt, EvelineEditors}, year={2015}, pages={74–80}, collection={CEUR Workshop Proceedings} }
LibreCat
 

2015 | Book Chapter | LibreCat-ID: 1149
@inbook{Bäumer_Geierhos_Schulze_2015, place={Cham, Switzerland}, series={Communications in Computer and Information Science}, title={A System for Uncovering Latent Connectivity of Health Care Providers in Online Reviews}, volume={538}, DOI={10.1007/978-3-319-24770-0_1}, booktitle={Information and Software Technologies. 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015. Proceedings}, publisher={Springer}, author={Bäumer, Frederik Simon and Geierhos, Michaela and Schulze, Sabine}, editor={Dregvaite, Giedre and Damasevicius, RobertasEditors}, year={2015}, pages={3–15}, collection={Communications in Computer and Information Science} }
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 11874
@inproceedings{Hoang_Schmalenstroeer_Haeb-Umbach_2015, title={Aligning training models with smartphone properties in WiFi fingerprinting based indoor localization}, booktitle={40th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2015)}, author={Hoang, Manh Kha and Schmalenstroeer, Joerg and Haeb-Umbach, Reinhold}, year={2015} }
LibreCat | Download (ext.)
 

2015 | Journal Article | LibreCat-ID: 13298
@article{Sjjklint_Constantiou_Trier_2015, title={The Complexities of Self-Tracking - An Inquiry into User Reactions and Goal Attainment}, DOI={10.2139/ssrn.2611193}, journal={SSRN Electronic Journal}, author={Sjjklint, Mimmi and Constantiou, Ioanna D and Trier, Matthias}, year={2015} }
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 13166
@article{Dubberke_Baumhögger_Vrabec_2015, title={Burst design and signal processing for the speed of sound measurement of fluids with the pulse-echo technique}, DOI={10.1063/1.4921478}, number={054903}, journal={Review of Scientific Instruments}, author={Dubberke, Frithjof H. and Baumhögger, Elmar and Vrabec, Jadran}, year={2015} }
LibreCat | DOI
 

2015 | Misc | LibreCat-ID: 13224
@book{Webersen_Karzellek_Bause_Henning_2015, series={11th International Workshop Direct and Inverse Problems in Piezoelectricity}, title={Implementation and uncertainty analysis of a test device for electrical impedance measurements using vector network analyzers}, author={Webersen, Manuel and Karzellek, Michael and Bause, Fabian and Henning, Bernd}, year={2015}, collection={11th International Workshop Direct and Inverse Problems in Piezoelectricity} }
LibreCat
 

2015 | Misc | LibreCat-ID: 13077
@book{Hellebrand_Indlekofer_Kampmann_Kochte_Liu_Wunderlich_2015, place={27. Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” (TuZ’15), Bad Urach, Germany}, title={Effiziente Auswahl von Testfrequenzen für den Test kleiner Verzögerungsfehler}, author={Hellebrand, Sybille and Indlekofer, Thomas and Kampmann, Matthias and Kochte, Michael and Liu, Chang and Wunderlich, Hans-Joachim}, year={2015} }
LibreCat
 

2015 | Journal Article | LibreCat-ID: 13495
@article{Aldahhak_Rauls_Schmidt_2015, title={Diindenoperylene adsorption on Cu(111) studied with density-functional theory}, DOI={10.1016/j.susc.2015.03.007}, journal={Surface Science}, author={Aldahhak, Hazem and Rauls, E. and Schmidt, Wolf Gero}, year={2015}, pages={260–265} }
LibreCat | DOI
 

2015 | Book (Editor) | LibreCat-ID: 13553
@book{Hagengruber_Rohbeck_2015, place={Dresden}, title={Philosophinnen im Philosophieunterricht. Ein Handbuch}, publisher={Thelem}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 11982
@inproceedings{Bloessl_Sommer_Dressier_Eckhoff_2015, title={The scrambler attack: A robust physical layer attack on location privacy in vehicular networks}, DOI={10.1109/iccnc.2015.7069376}, booktitle={2015 International Conference on Computing, Networking and Communications (ICNC)}, author={Bloessl, Bastian and Sommer, Christoph and Dressier, Falko and Eckhoff, David}, year={2015} }
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 12024
@inproceedings{Joerer_Bloessl_Segata_Sommer_Cigno_Dressler_2015, title={Fairness kills safety: A comparative study for intersection assistance applications}, DOI={10.1109/pimrc.2014.7136395}, booktitle={2014 IEEE 25th Annual International Symposium on Personal, Indoor, and Mobile Radio Communication (PIMRC)}, author={Joerer, Stefan and Bloessl, Bastian and Segata, Michele and Sommer, Christoph and Cigno, Renato Lo and Dressler, Falko}, year={2015} }
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 12048
@inproceedings{Segata_Joerer_Bloessl_Sommer_Dressler_Cigno_2015, title={Plexe: A platooning extension for Veins}, DOI={10.1109/vnc.2014.7013309}, booktitle={2014 IEEE Vehicular Networking Conference (VNC)}, author={Segata, Michele and Joerer, Stefan and Bloessl, Bastian and Sommer, Christoph and Dressler, Falko and Cigno, Renate Lo}, year={2015} }
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 12050
@article{Segata_Bloessl_Joerer_Sommer_Gerla_Lo Cigno_Dressler_2015, title={Toward Communication Strategies for Platooning: Simulative and Experimental Evaluation}, DOI={10.1109/tvt.2015.2489459}, journal={IEEE Transactions on Vehicular Technology}, author={Segata, Michele and Bloessl, Bastian and Joerer, Stefan and Sommer, Christoph and Gerla, Mario and Lo Cigno, Renato and Dressler, Falko}, year={2015}, pages={5411–5423} }
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 13818
@article{Neuba_Rohrmüller_Hölscher_Schmidt_Henkel_2015, title={A panel of peralkylated sulfur–guanidine type bases: Novel pro-ligands for use in biomimetic coordination chemistry}, volume={430}, DOI={10.1016/j.ica.2015.03.015}, journal={Inorganica Chimica Acta}, author={Neuba, Adam and Rohrmüller, Martin and Hölscher, Rebecca and Schmidt, Wolf Gero and Henkel, Gerald}, year={2015}, pages={225–238} }
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 13964
@article{Beutner_Pechuel_Teine_2015, title={Didaktische und organisatorische Strukturierungen von Micro-Learning – Konzeption und Umsetzungsbeispiele aus den OPALESCE Learning Units}, journal={Kölner Zeitschrift für Wirtschaft und Pädagogik}, author={Beutner, Marc and Pechuel, Rasmus and Teine, Matthias}, year={2015}, pages={81–128} }
LibreCat
 

2015 | Journal Article | LibreCat-ID: 13894
@article{Bause_Gravenkamp_Rautenberg_Henning_2015, title={Transient modeling of ultrasonic guided waves in circular viscoelastic waveguides for inverse material characterization}, DOI={10.1088/0957-0233/26/9/095602}, number={095602}, journal={Measurement Science and Technology}, author={Bause, Fabian and Gravenkamp, Hauke and Rautenberg, Jens and Henning, Bernd}, year={2015} }
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 13926
@article{Driben_Dror_Malomed_Meier_2015, title={Multipoles and vortex multiplets in multidimensional media with inhomogeneous defocusing nonlinearity}, volume={17}, DOI={10.1088/1367-2630/17/8/083043}, number={083043}, journal={New Journal of Physics}, author={Driben, Rodislav and Dror, Nir and Malomed, Boris A and Meier, Torsten}, year={2015} }
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 13933
@inproceedings{Lange_Schubert_Hohenleutner_Langer_Baierl_Maag_Urbanek_Edwards_Woltersdorf_Bougeard_et al._2015, title={Sub-cycle control of multi-THz high-harmonic generation and all-coherent charge transport in bulk semiconductors}, volume={9347}, DOI={10.1117/12.2085101}, booktitle={Nonlinear Frequency Generation and Conversion: Materials, Devices, and Applications XIV}, author={Lange, C. and Schubert, O. and Hohenleutner, M. and Langer, F. and Baierl, S. and Maag, T. and Urbanek, B. and Edwards, E. R. J. and Woltersdorf, G. and Bougeard, D. and et al.}, editor={Vodopyanov, Konstantin L.Editor}, year={2015} }
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 1461
@article{Mühlenbernd_Georgi_Pholchai_Huang_Li_Zhang_Zentgraf_2015, title={Amplitude- and Phase-Controlled Surface Plasmon Polariton Excitation with Metasurfaces}, volume={3}, DOI={10.1021/acsphotonics.5b00536}, number={1}, journal={ACS Photonics}, publisher={American Chemical Society (ACS)}, author={Mühlenbernd, Holger and Georgi, Philip and Pholchai, Nitipat and Huang, Lingling and Li, Guixin and Zhang, Shuang and Zentgraf, Thomas}, year={2015}, pages={124–129} }
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 15749
@inproceedings{Paul_Hüllermeier_2015, title={A cbr approach to the angry birds game}, booktitle={In Workshop Proceedings from ICCBR, 23rd International Conference on Case-Based Reasoning, Frankfurt, Germany}, author={Paul, Adil and Hüllermeier, Eyke}, year={2015}, pages={68–77} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 15751
@inproceedings{Lu_Hüllermeier_2015, title={Locally weighted regression through data imprecisiation}, booktitle={in Proceedings 25th Workshop Computational Intelligence, Dortmund Germany}, publisher={KIT Scientific Publishing}, author={Lu, S. and Hüllermeier, Eyke}, editor={Hoffmann, F. and Hüllermeier, EykeEditors}, year={2015}, pages={97–104} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 16259
@inproceedings{Wang_Lauter_Sanitther_Frantz_Tröster_2015, title={Intrinsic Manufacturing of Metal-FRP-Hybrid Structural Automotive Components by Resin Transfer Moulding}, author={Wang, Z. and Lauter, C. and Sanitther, B. and Frantz, M. and Tröster, Thomas}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 16261
@inproceedings{Leuders_Meiners_Taube_Tröster_Niendorf_2015, title={Fatigue Behaviour of a Structural Component Manufactured by Selective Laser Melting and Investment Casting}, author={Leuders, S. and Meiners, S. and Taube, A. and Tröster, Thomas and Niendorf, T.}, year={2015} }
LibreCat
 

2015 | Journal Article | LibreCat-ID: 16331
@article{Wilfer_Liebhäuser_Hoffmann_Erdmann_Grossmann_Runtsch_Paffenholz_Schepper_Dick_Bauer_et al._2015, title={Efficient Biomimetic Hydroxylation Catalysis with a Bis(pyrazolyl)imidazolylmethane Copper Peroxide Complex}, DOI={10.1002/chem.201501685}, journal={Chemistry - A European Journal}, author={Wilfer, Claudia and Liebhäuser, Patricia and Hoffmann, Alexander and Erdmann, Hannes and Grossmann, Oleg and Runtsch, Leander and Paffenholz, Eva and Schepper, Rahel and Dick, Regina and Bauer, Matthias and et al.}, year={2015}, pages={17639–17649} }
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 16660
@article{Ringkamp_Ober-Blöbaum_Leyendecker_2015, title={Relaxing mixed integer optimal control problems using a time transformation}, DOI={10.1002/pamm.201510008}, journal={PAMM}, author={Ringkamp, Maik and Ober-Blöbaum, Sina and Leyendecker, Sigrid}, year={2015}, pages={27–30} }
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 16622
@inproceedings{Keuck_Frohleke_Bocker_Ziessler_2015, title={PFC-control for improved inductor utilization}, DOI={10.1109/epe.2015.7309373}, booktitle={2015 17th European Conference on Power Electronics and Applications (EPE’15 ECCE-Europe)}, author={Keuck, L. and Frohleke, N. and Bocker, J. and Ziessler, A.}, year={2015} }
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 15857
@article{Di Nuzzo_Fontanesi_Jones_Allard_Dumsch_Scherf_von Hauff_Schumacher_Da Como_2015, title={How intermolecular geometrical disorder affects the molecular doping of donor–acceptor copolymers}, DOI={10.1038/ncomms7460}, journal={Nature Communications}, author={Di Nuzzo, Daniele and Fontanesi, Claudio and Jones, Rebecca and Allard, Sybille and Dumsch, Ines and Scherf, Ullrich and von Hauff, Elizabeth and Schumacher, Stefan and Da Como, Enrico}, year={2015} }
LibreCat | DOI
 

2015 | Book Chapter | LibreCat-ID: 16134
@inbook{Abel_Lauter_Gries_Tröster_2015, title={Textile composites in the automotive industry}, DOI={10.1016/b978-1-78242-281-5.00016-x}, booktitle={Fatigue of Textile Composites}, author={Abel, P. and Lauter, C. and Gries, T. and Tröster, Thomas}, year={2015} }
LibreCat | DOI
 

2015 | Bachelorsthesis | LibreCat-ID: 234
@book{Menne_2015, title={Verkaufsbeschränkungen auf Onlinemarktplätzen - Eine wettbewerbspolitische Analyse am Fallbeispiel der Adidas AG}, publisher={Universität Paderborn}, author={Menne, Maria Reinhild}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 239
@inproceedings{Heindorf_Potthast_Stein_Engels_2015, title={Towards Vandalism Detection in Knowledge Bases: Corpus Construction and Analysis}, DOI={10.1145/2766462.2767804}, booktitle={Proceedings of the 38th International ACM Conference on Research and Development in Information Retrieval (SIGIR 15)}, author={Heindorf, Stefan and Potthast, Martin and Stein, Benno and Engels, Gregor}, year={2015}, pages={831--834} }
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 241
@inproceedings{Scheideler_Setzer_Strothmann_2015, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures}, DOI={10.4230/LIPIcs.OPODIS.2015.24}, booktitle={Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS)}, author={Scheideler, Christian and Setzer, Alexander and Strothmann, Thim Frederik}, year={2015}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat | Files available | DOI
 

2015 | Journal Article | LibreCat-ID: 1769
@article{Hegler_Statz_Mütze_Mooshofer_Goldammer_Fendt_Schwarzer_Feldhoff_Flehmig_Markwardt_et al._2015, title={Simulative Ultraschall-Untersuchung von Pitch-Catch-Messanordnungen für große zylindrische Stahl-Prüflinge und gradientenbasierte Bildgebung}, volume={82}, DOI={doi:10.1515/teme-2015-0031}, number={9}, journal={tm - Technisches Messen}, publisher={Walter de Gruyter}, author={Hegler, Sebastian and Statz, Christoph and Mütze, Marco and Mooshofer, Hubert and Goldammer, Matthias and Fendt, Karl and Schwarzer, Stefan and Feldhoff, Kim and Flehmig, Martin and Markwardt, Ulf and et al.}, year={2015}, pages={440–450} }
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 1699
@article{Li_Chen_Pholchai_Reineke_Wong_Pun_Cheah_Zentgraf_Zhang_2015, title={Continuous control of the nonlinearity phase for harmonic generations}, volume={14}, DOI={10.1038/nmat4267}, number={6}, journal={Nature Materials}, publisher={Springer Nature}, author={Li, Guixin and Chen, Shumei and Pholchai, Nitipat and Reineke, Bernhard and Wong, Polis Wing Han and Pun, Edwin Yue Bun and Cheah, Kok Wai and Zentgraf, Thomas and Zhang, Shuang}, year={2015}, pages={607–612} }
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 1853
@inproceedings{Koutsopoulos_Scheideler_Strothmann_2015, title={Brief Announcement: Towards a Universal Approach for the Finite Departure Problem in Overlay Networks}, DOI={10.1145/2755573.2755614}, booktitle={Proceedings of the 27th ACM on Symposium on Parallelism in Algorithms and Architectures, SPAA 2015, Portland, OR, USA, June 13-15, 2015}, publisher={ACM}, author={Koutsopoulos, Andreas and Scheideler, Christian and Strothmann, Thim Frederik}, year={2015}, pages={77--79} }
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 2041
@article{Krimphove_2015, title={Gleichheit – Ein umstrittenes Rechtsinstitut im Lichte der Rechtsphilosophie und der Praktischen Rechtswissenschaft unter Berücksichtigung nationaler und internationaler Aspekte}, number={Jg. 45}, journal={Rechtstheorie}, publisher={Dunker und Humblot}, author={Krimphove, Dieter}, year={2015}, pages={193 – 220} }
LibreCat
 

2015 | Journal Article | LibreCat-ID: 2046
@article{Krimphove_Barth_2015, title={Child Poverty in Fundamental Rights}, journal={Rivista di Studi Politici Internationali (RSPI)}, author={Krimphove, Dieter and Barth, Sven}, year={2015}, pages={399 – 410} }
LibreCat
 

2015 | Journal Article | LibreCat-ID: 2089
@article{Krimphove_Lentner_2015, title={Logic as an inherent principle of International Law and its Consequences for International Adjudication}, number={www.jusletter.it.eu}, journal={Jusletter}, author={Krimphove, Dieter and Lentner, Gabriel M.}, year={2015} }
LibreCat
 

2015 | Journal Article | LibreCat-ID: 1682
@article{Krimphove_2015, title={MIFID II Wertpapierhandel und -beratung in Veränderung}, number={15}, journal={Zeitschrift für das gesamte Kreditwesen (ZfgK) }, author={Krimphove, Dieter}, year={2015}, pages={736 ff.} }
LibreCat
 

2015 | Journal Article | LibreCat-ID: 284
@article{Eikel_Scheideler_2015, title={IRIS: A Robust Information System Against Insider DoS Attacks}, DOI={10.1145/2809806}, number={3}, journal={Transactions on Parallel Computing}, publisher={ACM}, author={Eikel, Martina and Scheideler, Christian}, year={2015}, pages={18:1--18:33} }
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 289
@inproceedings{Herrmann_Kundisch_Zimmermann_Nault_2015, title={How do Different Sources of the Variance of Consumer Ratings Matter?}, booktitle={Proceedings of the 36th International Conference on Information Systems (ICIS), Fort Worth}, author={Herrmann, Philipp and Kundisch, Dennis and Zimmermann, Steffen and Nault, Barry}, year={2015} }
LibreCat | Files available
 

2015 | Bachelorsthesis | LibreCat-ID: 291
@book{Börding_2015, title={Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen}, publisher={Universität Paderborn}, author={Börding, Paul}, year={2015} }
LibreCat
 

2015 | Book Chapter | LibreCat-ID: 2921
@inbook{Blazy_Kakvi_Kiltz_Pan_2015, place={Berlin, Heidelberg}, title={Tightly-Secure Signatures from Chameleon Hash Functions}, DOI={10.1007/978-3-662-46447-2_12}, booktitle={Lecture Notes in Computer Science}, publisher={Springer Berlin Heidelberg}, author={Blazy, Olivier and Kakvi, Saqib and Kiltz, Eike and Pan, Jiaxin}, year={2015}, pages={256–279} }
LibreCat | DOI | Download (ext.)
 

2015 | Journal Article | LibreCat-ID: 2957
@article{Schmitz_Westphal_2015, title={Short-and medium-term effects of informal care provision on female caregivers’ health}, journal={Journal of health economics}, author={Schmitz, Hendrik and Westphal, Matthias}, year={2015}, pages={174--185} }
LibreCat
 

2015 | Journal Article | LibreCat-ID: 296
@article{Kenter_Schmitz_Plessl_2015, title={Exploring Tradeoffs between Specialized Kernels and a Reusable Overlay in a Stereo-Matching Case Study}, volume={2015}, DOI={10.1155/2015/859425}, number={859425}, journal={International Journal of Reconfigurable Computing (IJRC)}, publisher={Hindawi}, author={Kenter, Tobias and Schmitz, Henning and Plessl, Christian}, year={2015} }
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 3121
@inproceedings{Jager_Schwenk_Somorovsky_2015, title={On the Security of TLS 1.3 and QUIC Against Weaknesses in PKCS#1 v1.5 Encryption}, DOI={10.1145/2810103.2813657}, booktitle={Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015}, author={Jager, Tibor and Schwenk, Jörg and Somorovsky, Juraj}, year={2015}, pages={1185--1196} }
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 3126
@inproceedings{Bader_Hofheinz_Jager_Kiltz_Li_2015, title={Tightly-Secure Authenticated Key Exchange}, DOI={10.1007/978-3-662-46494-6_26}, booktitle={Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I}, author={Bader, Christoph and Hofheinz, Dennis and Jager, Tibor and Kiltz, Eike and Li, Yong}, year={2015}, pages={629--658} }
LibreCat | DOI
 

2015 | Bachelorsthesis | LibreCat-ID: 316
@book{Pautz_2015, title={Budget Games with priced strategies}, publisher={Universität Paderborn}, author={Pautz, Jannis}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 3164
@inproceedings{Derrick_Dongol_Schellhorn_Travkin_Wehrheim_2015, series={Lecture Notes in Computer Science}, title={Verifying Opacity of a Transactional Mutex Lock}, DOI={10.1007/978-3-319-19249-9_11}, booktitle={{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings}, author={Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}, editor={Bj{\o}rner, Nikolaj and S. de Boer, FrankEditors}, year={2015}, pages={161--177}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed