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.

13664 Publications


2013 | Journal Article | LibreCat-ID: 18476
@article{Yanagisawa_Morikawa_Schindlmayr_2013, title={HOMO band dispersion of crystalline rubrene: Effects of self-energy corrections within the GW approximation}, volume={88}, DOI={10.1103/PhysRevB.88.115438}, number={11115438}, journal={Physical Review B}, publisher={American Physical Society}, author={Yanagisawa, Susumu and Morikawa, Yoshitada and Schindlmayr, Arno}, year={2013} }
LibreCat | Files available | DOI | WoS
 

2013 | Book Review | LibreCat-ID: 18712
@article{Peckhaus_2013, title={Purkert, Walter, “The Double Life of Felix Hausdorff/Paul Mongré”, The Mathematical Intelligencer 30, No. 4, 36–50}, number={Zbl. 1254.01038}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 1254.01038]}, author={Peckhaus, Volker}, year={2013} }
LibreCat
 

2013 | Book Review | LibreCat-ID: 18894
@article{Peckhaus_2013, title={Arthur, Richard T.W., “Leibniz’s Syncategorematic Infinitesimals,” Archive for the History of Exact Sciences 67 (2013), Nr. 5, 553–593}, number={MR3085673}, journal={Mathematical Reviews [MR3085673]}, author={Peckhaus, Volker}, year={2013} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 18952
@article{Seng_2013, title={Artistik und Zirkus als immaterielles Kulturerbe. Was macht eine künstlerische Leistung zum immateriellen Kulturerbe?}, volume={Nr.3/13 Mai-Juni 2013}, journal={Politik und Kultur. Zeitung des Deutschen Kulturrates }, author={Seng, Eva- Maria}, year={2013}, pages={S. 21} }
LibreCat
 

2013 | Book Chapter | LibreCat-ID: 19258
@inbook{Eke_2013, place={Paderborn}, series={PUR: Paderborner Universitätsreden}, title={Widerstehen und Widersprechen [Laudatio auf Herta Müller]}, booktitle={Ehrenpromotion der Fakultät für Kulturwissenschaften der Universität Paderborn an Herta Müller. Paderborn, 29.10.2012. Dokumentation}, author={Eke, Norbert Otto}, editor={Eke, Norbert OttoEditor}, year={2013}, pages={14–27}, collection={PUR: Paderborner Universitätsreden} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 19587
@article{Büker_2013, title={Individualisierung, Integration, Inklusion: KiTas und Grundschulen auf dem Weg}, number={H. 7/8}, journal={DDS (Zeitschrift der Gewerkschaft Erziehung und Wissenschaft, Landesverband Bayern), H. 7/8, Themenheft: Frühkindliche Bildung}, author={Büker, Petra}, year={2013}, pages={10–12} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 19885
@inproceedings{Büker_2013, title={Jedes Kind lernt anders! Individualisierung, Differenzierung und “gute” Lernaufgaben. Vortrag im Rahmen des Pädagogischen Tages zum Thema “Gute Lernaufgaben für die Lernwerkstattarbeit” im Modellprojekt Kinderbildungshaus. Paderborn}, author={Büker, Petra}, year={2013} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 19981
@article{Mertsching_Divband Soorati_Kotthauser_2013, title={Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds}, journal={IEEE International Conference on Robotics and Biomimetics (ROBIO)}, author={Mertsching, Bärbel and Divband Soorati, Mohammad and Kotthauser, Tobias}, year={2013}, pages={661–667} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 20161
@inproceedings{Hamann_Lio_Miglino_Nicosia_Nolfi_Pavone_2013, title={Speciation Dynamics: Generating Selective Pressure Towards Diversity}, booktitle={12th European Conference on Artificial Life (ECAL 2013)}, publisher={MIT Press}, author={Hamann, Heiko and Lio, Pietro and Miglino, Orazio and Nicosia, Giuseppe and Nolfi, Stefano and Pavone, Mario}, year={2013} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 17663
@article{Cohen_Nudelman_Polevoy_2013, title={On the Admission of Dependent Flows in Powerful Sensor Networks}, volume={21}, DOI={10.1109/TNET.2012.2227792}, number={5}, journal={Networking, IEEE/ACM Transactions on}, author={Cohen, R. and Nudelman, I. and Polevoy, Gleb}, year={2013}, pages={1461–1471} }
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 5191
@article{Sievers_Mokwa_Keienburg_2013, title={The relevance of financial versus non-financial information for the valuation of venture capital-backed firms}, volume={22}, DOI={10.1080/09638180.2012.741051}, number={3}, journal={European Accounting Review (VHB-JOURQUAL 3 Ranking A)}, publisher={Taylor \& Francis}, author={Sievers, Sönke and Mokwa, Christopher F and Keienburg, Georg}, year={2013}, pages={467–511} }
LibreCat | Files available | DOI | Download (ext.)
 

2013 | Journal Article | LibreCat-ID: 5108
@article{Kreutzmann_Sievers_Mueller_2013, title={Investment distortions and the value of the government’s tax claim}, volume={23}, DOI={10.1080/09603107.2013.786161}, number={11}, journal={Applied Financial Economics (VHB-JOURQUAL 3 Ranking C)}, publisher={Taylor \& Francis}, author={Kreutzmann, Daniel and Sievers, Sönke and Mueller, Christian}, year={2013}, pages={977–989} }
LibreCat | DOI | Download (ext.)
 

2013 | Journal Article | LibreCat-ID: 21044
@article{Krapick_Herrmann_Quiring_Brecht_Suche_Silberhorn_2013, title={An efficient integrated two-color source for heralded single photons}, volume={15}, DOI={10.1088/1367-2630/15/3/033010}, number={033010}, journal={New Journal of Physics}, author={Krapick, S and Herrmann, Harald and Quiring, V and Brecht, Benjamin and Suche, H and Silberhorn, Christine}, year={2013} }
LibreCat | DOI
 

2013 | Conference Abstract | LibreCat-ID: 21133
@inproceedings{Oertel_Thommes_Walgenbach_2013, title={Born in the GDR: Imprinting, Structural Inertia and the Survival Chances of Organizations}, DOI={10.5465/ambpp.2013.11642abstract}, booktitle={Academy of Management Annual Meeting Proceedings}, author={Oertel, Simon and Thommes, Kirsten and Walgenbach, Peter}, editor={Atinc, GucluEditor}, year={2013} }
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 20863
@article{Schlueter_Sievers_2013, title={Determinants of market beta: the impacts of firm-specific accounting figures and market conditions}, DOI={10.1007/s11156-013-0352-1}, number={3}, journal={Review of Quantitative Finance and Accounting (VHB-JOURQUAL 3 Ranking B)}, author={Schlueter, Tobias and Sievers, Sönke}, year={2013}, pages={535–570} }
LibreCat | DOI | Download (ext.)
 

2013 | Journal Article | LibreCat-ID: 21455
@article{Homberg_Rostek_2013, title={Thermo-Mechanical Hardening of Ultra High-Strength Steels}, DOI={10.4028/www.scientific.net/kem.549.133}, journal={Key Engineering Materials}, author={Homberg, Werner and Rostek, Tim}, year={2013}, pages={133–140} }
LibreCat | DOI
 

2013 | Book Chapter | LibreCat-ID: 21924
@inbook{Deane_Rumlich_2013, place={Duisburg, Germany}, title={Using comics in the classroom - The obvious way of creating a favourable learning environment?}, booktitle={Medien und Interkulturalität im Fremdsprachenunterricht: Zwischen Autonomie, Kollaboration und Konstruktion}, publisher={Universitätsverlag Rhein-Ruhr}, author={Deane, Neil and Rumlich, Dominik}, editor={Eisenmann, Maria and Hempel, Margit and Ludwig, ChristianEditors}, year={2013}, pages={183–204} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 10620
@inproceedings{Anwer_Meisner_Platzner_2013, title={Dynamic reliability management: Reconfiguring reliability-levels of hardware designs at runtime}, DOI={10.1109/ReConFig.2013.6732280}, booktitle={Reconfigurable Computing and FPGAs (ReConFig), 2013 International Conference on}, author={Anwer, Jahanzeb and Meisner, Sebastian and Platzner, Marco}, year={2013}, pages={1–6} }
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 10745
@inproceedings{Toebermann_Geibel_Hau_Brandl_Kaufmann_Ma_Braun_Degner_2013, title={Real-Time Simulation of Distribution Grids with high Penetration of Regenerative and Distributed Generation}, booktitle={Real-Time Conference}, publisher={OPAL RT Paris}, author={Toebermann, Christian and Geibel, Daniel and Hau, Manuel and Brandl, Ron and Kaufmann, Paul and Ma, Chenjie and Braun, Martin and Degner, Tobias}, year={2013} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 11818
@inproceedings{Hoang_Schmitz_Drueke_Vu_Schmalenstroeer_Haeb-Umbach_2013, title={Server based indoor navigation using RSSI and inertial sensor information}, DOI={10.1109/WPNC.2013.6533263}, booktitle={Positioning Navigation and Communication (WPNC), 2013 10th Workshop on}, author={Hoang, Manh Kha and Schmitz, Sarah and Drueke, Christian and Vu, Dang Hai Tran and Schmalenstroeer, Joerg and Haeb-Umbach, Reinhold}, year={2013}, pages={1–6} }
LibreCat | Files available | DOI | Download (ext.)
 

2013 | Conference Paper | LibreCat-ID: 11832
@inproceedings{Jacob_Schmalenstroeer_Haeb-Umbach_2013, title={DoA-Based Microphone Array Position Self-Calibration Using Circular Statistic}, DOI={10.1109/ICASSP.2013.6637620}, booktitle={38th International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013)}, author={Jacob, Florian and Schmalenstroeer, Joerg and Haeb-Umbach, Reinhold}, year={2013}, pages={116–120} }
LibreCat | Files available | DOI | Download (ext.)
 

2013 | Conference Paper | LibreCat-ID: 11762
@inproceedings{Enzner_Schmid_Haeb-Umbach_2013, title={On the Acoustic Channel Identification in Multi-Microphone Systems via Adaptive Blind Signal Enhancement Techniques}, booktitle={21th European Signal Processing Conference (EUSIPCO 2013)}, author={Enzner, Gerald and Schmid, Dominic and Haeb-Umbach, Reinhold}, year={2013} }
LibreCat | Download (ext.)
 

2013 | Conference Paper | LibreCat-ID: 12979
@inproceedings{Hellebrand_2013, place={Cordoba, Argentina}, title={Analyzing and Quantifying Fault Tolerance Properties}, DOI={10.1109/latw.2013.6562662}, booktitle={14th IEEE Latin American Test Workshop - (LATW’13)}, publisher={IEEE}, author={Hellebrand, Sybille}, year={2013} }
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 11921
@inproceedings{Walter_Haeb-Umbach_Chaudhuri_Raj_2013, title={Unsupervised Word Discovery from Phonetic Input Using Nested Pitman-Yor Language Modeling}, booktitle={IEEE International Conference on Robotics and Automation (ICRA 2013)}, author={Walter, Oliver and Haeb-Umbach, Reinhold and Chaudhuri, Sourish and Raj, Bhiksha}, year={2013} }
LibreCat | Files available | Download (ext.)
 

2013 | Report | LibreCat-ID: 11926
@book{Walter_Schmalenstroeer_Haeb-Umbach_2013, title={A Novel Initialization Method for Unsupervised Learning of Acoustic Patterns in Speech (FGNT-2013-01)}, author={Walter, Oliver and Schmalenstroeer, Joerg and Haeb-Umbach, Reinhold}, year={2013} }
LibreCat | Download (ext.)
 

2013 | Conference Paper | LibreCat-ID: 11976
@inproceedings{Bloessl_Segata_Sommer_Dressler_2013, title={Decoding IEEE 802.11a/g/p OFDM in software using GNU radio}, DOI={10.1145/2500423.2505300}, booktitle={Proceedings of the 19th annual international conference on Mobile computing & networking - MobiCom ’13}, author={Bloessl, Bastian and Segata, Michele and Sommer, Christoph and Dressler, Falko}, year={2013} }
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 12025
@article{Joerer_Segata_Bloessl_Lo Cigno_Sommer_Dressler_2013, title={A Vehicular Networking Perspective on Estimating Vehicle Collision Probability at Intersections}, DOI={10.1109/tvt.2013.2287343}, journal={IEEE Transactions on Vehicular Technology}, author={Joerer, Stefan and Segata, Michele and Bloessl, Bastian and Lo Cigno, Renato and Sommer, Christoph and Dressler, Falko}, year={2013}, pages={1802–1812} }
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 12044
@inproceedings{Schwartz_Ohazulike_Sommer_Scholten_Dressler_Havinga_2013, title={Fair and adaptive data dissemination for Traffic Information Systems}, DOI={10.1109/vnc.2012.6407432}, booktitle={2012 IEEE Vehicular Networking Conference (VNC)}, author={Schwartz, Ramon S. and Ohazulike, Anthony E. and Sommer, Christoph and Scholten, Hans and Dressler, Falko and Havinga, Paul}, year={2013} }
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 13117
@inproceedings{Busa-Fekete_Szoreny_Weng_Cheng_Hüllermeier_2013, title={Top-k selection based on adaptive sampling of noisy preferences}, booktitle={in Proceedings ICML-2013, 30th International Conference on Machine Learning, Atlanta, USA}, author={Busa-Fekete, Robert and Szoreny, B. and Weng, P. and Cheng, W. and Hüllermeier, Eyke}, editor={Dasgupta, S. and McAllester, D.Editors}, year={2013}, pages={1094–1102} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 13883
@article{Schmitt_Schmidt_Olfert_Rautenberg_Lindner_Henning_Reindl_2013, title={Detection of coatings within liquid-filled tubes and containers by mode conversion of leaky Lamb waves}, DOI={10.5194/jsss-2-73-2013}, journal={Journal of Sensors and Sensor Systems}, author={Schmitt, M. and Schmidt, K. and Olfert, S. and Rautenberg, J. and Lindner, G. and Henning, Bernd and Reindl, L. M.}, year={2013}, pages={73–84} }
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 13958
@inproceedings{Unverzagt_Rautenberg_Henning_Kulshreshtha_2013, place={Singapore}, title={Modified electrode shape for the improved determination of piezoelectric material parameters}, booktitle={Proceedings of the 2013 International Congress on Ultrasonics}, publisher={{Research Publishing}}, author={Unverzagt, Carsten and Rautenberg, Jens and Henning, Bernd and Kulshreshtha, Kshitij}, editor={Siong, Gan Woon and Piang, Lim Siak and Cheong, Khoo BooEditors}, year={2013}, pages={758–763} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 13523
@article{Longo_Cho_Schmidt_Chabal_Thissen_2013, title={Monolayer Doping via Phosphonic Acid Grafting on Silicon: Microscopic Insight from Infrared Spectroscopy and Density Functional Theory Calculations}, volume={23}, DOI={10.1002/adfm.201202808}, journal={Advanced Functional Materials}, author={Longo, Roberto C. and Cho, Kyeongjae and Schmidt, Wolf Gero and Chabal, Yves J. and Thissen, Peter}, year={2013}, pages={3471–3477} }
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 13528
@article{George_Behrends_Schnegg_Schulze_Fehr_Korte_Rech_Lips_Rohrmüller_Rauls_et al._2013, title={Atomic Structure of Interface States in Silicon Heterojunction Solar Cells}, volume={110}, DOI={10.1103/physrevlett.110.136803}, number={13}, journal={Physical Review Letters}, author={George, B. M. and Behrends, J. and Schnegg, A. and Schulze, T. F. and Fehr, M. and Korte, L. and Rech, B. and Lips, K. and Rohrmüller, M. and Rauls, E. and et al.}, year={2013} }
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 13819
@article{Riefer_Sanna_Schmidt_2013, title={LiNb1-xTaxO3Electronic Structure and Optical Response fromFirst-PrinciplesCalculations}, volume={447}, DOI={10.1080/00150193.2013.821904}, journal={Ferroelectrics}, author={Riefer, A. and Sanna, S. and Schmidt, Wolf Gero}, year={2013}, pages={78–85} }
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 15093
@inproceedings{Böttcher_Hartel_Jacobs_2013, place={Berlin, Heidelberg}, title={Fast Multi-update Operations on Compressed XML Data}, DOI={10.1007/978-3-642-39467-6_15}, booktitle={Big Data - 29th British National Conference on Databases, BNCOD 2013,}, publisher={Springer}, author={Böttcher, Stefan and Hartel, Rita and Jacobs, Thomas}, year={2013}, pages={149–164} }
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 15113
@inproceedings{Nasiri_Fober_Senge_Hüllermeier_2013, title={Fuzzy Pattern Trees as an alternative to rule-based fuzzy systems: Knowledge-driven, data-driven and hybrid modeling of colour yield in poyester dyeing, Edmonton, Canada}, booktitle={in Proceedings IFSA-2013 World Congress of the International Fuzzy Systems Association, Edmonton, Canada}, author={Nasiri, N. and Fober, T. and Senge, Robin and Hüllermeier, Eyke}, year={2013}, pages={715–721} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 15752
@inproceedings{Cheng_Henzgen_Hüllermeier_2013, title={Labelwise versus pairwise decomposition in label ranking}, booktitle={In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Bamberg, Germany}, author={Cheng, W. and Henzgen, S. and Hüllermeier, Eyke}, year={2013}, pages={129–136} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 15757
@inproceedings{Weng_Busa-Fekete_Hüllermeier_2013, title={Interactive Q-learning with ordinal rewards and unreliable tutor}, booktitle={In Proceedings ECML/PKDD-Workshop on Reinforcement learning from Generalized Feedback:Beyond Numerical Rewards, Prague}, author={Weng, P. and Busa-Fekete, Robert and Hüllermeier, Eyke}, year={2013} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 16022
@inproceedings{Lauter_Krooß_Tröster_2013, title={Manufacturing of Hybrid Structures by Prepreg Press Technology}, author={Lauter, Christian and Krooß, T. and Tröster, Thomas}, year={2013} }
LibreCat
 

2013 | Book | LibreCat-ID: 1626
@book{Krimphove_2013, place={Hamburg}, series={THEOS - Studienreihe Theologische Forschungsergebnisse}, title={“Ihr betet an, was ihr nicht kennt” (Jo 4, 22) - Eine neue Sicht auf die Trinität }, publisher={Verlag Kovač}, author={Krimphove, Dieter}, year={2013}, collection={THEOS - Studienreihe Theologische Forschungsergebnisse} }
LibreCat
 

2013 | Book Chapter | LibreCat-ID: 16096
@inbook{Lauter_Tröster_Reuter_2013, place={Chichester, UK}, title={Hybrid Structures Consisting of Sheet Metal and Fibre Reinforced Plastics for Structural Automotive Applications}, DOI={10.1002/9781118535288.ch7}, booktitle={Advanced Composite Materials for Automotive Applications}, author={Lauter, Christian and Tröster, Thomas and Reuter, Corin}, year={2013} }
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 16123
@article{Shaker_Senge_Hüllermeier_2013, title={Evolving fuzzy pattern trees for binary classification on data streams}, volume={220}, journal={Information Sciences}, author={Shaker, A. and Senge, R. and Hüllermeier, Eyke}, year={2013}, pages={34–45} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 1708
@article{Chen_Huang_Mühlenbernd_Li_Bai_Tan_Jin_Qiu_Zentgraf_Zhang_2013, title={Reversible Three-Dimensional Focusing of Visible Light with Ultrathin Plasmonic Flat Lens}, volume={1}, DOI={10.1002/adom.201300102}, number={7}, journal={Advanced Optical Materials}, publisher={Wiley-Blackwell}, author={Chen, Xianzhong and Huang, Lingling and Mühlenbernd, Holger and Li, Guixin and Bai, Benfeng and Tan, Qiaofeng and Jin, Guofan and Qiu, Cheng-Wei and Zentgraf, Thomas and Zhang, Shuang}, year={2013}, pages={517–521} }
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 1710
@article{Huang_Chen_Bai_Tan_Jin_Zentgraf_Zhang_2013, title={Helicity dependent directional surface plasmon polariton excitation using a metasurface with interfacial phase discontinuity}, volume={2}, DOI={10.1038/lsa.2013.26}, number={3}, journal={Light: Science & Applications}, publisher={Springer Nature}, author={Huang, Lingling and Chen, Xianzhong and Bai, Benfeng and Tan, Qiaofeng and Jin, Guofan and Zentgraf, Thomas and Zhang, Shuang}, year={2013}, pages={e70–e70} }
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 1784
@inproceedings{Kaiser_Meister_Gottfried_Brinkmann_2013, place={Washington DC, USA}, title={MCD: Overcoming the Data Download Bottleneck in Data Centers}, DOI={10.1109/NAS.2013.18}, booktitle={Proc. IEEE Int. Conf. on Networking, Architecture and Storage (NAS)}, publisher={IEEE Computer Society}, author={Kaiser, Jürgen and Meister, Dirk and Gottfried, Viktor and Brinkmann, André}, year={2013}, pages={88–97} }
LibreCat | DOI
 

2013 | Dissertation | LibreCat-ID: 1791
@book{Meister_2013, title={Advanced Data Deduplication Techniques and Their Application}, publisher={Johannes Gutenberg-Universität Mainz}, author={Meister, Dirk}, year={2013} }
LibreCat
 

2013 | Book Chapter | LibreCat-ID: 2035
@inbook{Krimphove_2013, place={München}, title={Ökonomisch/juristische Konzeption der Innovationen}, booktitle={Handbuch Innovationsmanagement}, publisher={UKV}, author={Krimphove, Dieter}, editor={Schmeisser, Wilhelm and Krimphove, Dieter and Hentschel, Claudia and Hartmann, MatthiasEditors}, year={2013}, pages={105 – 158} }
LibreCat
 

2013 | Book Chapter | LibreCat-ID: 1804
@inbook{de la Oliva_Morelli_Mancuso_Draexler_Hentschel_Melia_Seite_Cicconetti_2013, place={Berlin, Heidelberg}, title={Denser Networks for the Future Internet, the CROWD Approach}, DOI={10.1007/978-3-642-37935-2_3}, booktitle={Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, publisher={Springer Berlin Heidelberg}, author={de la Oliva, Antonio and Morelli, Arianna and Mancuso, Vincenzo and Draexler, Martin and Hentschel, Tim and Melia, Telemaco and Seite, Pierrick and Cicconetti, Claudio}, year={2013}, pages={28–41} }
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 3177
@inproceedings{Travkin_Mütze_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={{SPIN} as a Linearizability Checker under Weak Memory Models}, DOI={10.1007/978-3-319-03077-7_21}, booktitle={Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings}, author={Travkin, Oleg and Mütze, Annika and Wehrheim, Heike}, editor={Bertacco, Valeria and Legay, AxelEditors}, year={2013}, pages={311--326}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 2756
@inproceedings{Herrmann_Kundisch_Rahman_2013, title={Does it Pay Off to Bid Aggressively? An Empirical Study}, volume={46}, booktitle={Proceedings of the 46th Hawaii International Conference on System Sciences (HICCS)}, author={Herrmann, Philipp and Kundisch, Dennis and Rahman, Mohammad}, year={2013}, pages={3962–3971} }
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed