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.
7929 Publications
2014 | Conference Paper | LibreCat-ID: 379
@inproceedings{Abshoff_Markarian_Meyer auf der Heide_2014, series={LNCS}, title={Randomized Online Algorithms for Set Cover Leasing Problems}, DOI={10.1007/978-3-319-12691-3_3}, booktitle={Proceedings of the 8th Annual International Conference on Combinatorial Optimization and Applications (COCOA)}, author={Abshoff, Sebastian and Markarian, Christine and Meyer auf der Heide, Friedhelm}, year={2014}, pages={25–34}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 380
@inproceedings{Cord-Landwehr_Mäcker_Meyer auf der Heide_2014, title={Quality of Service in Network Creation Games}, DOI={10.1007/978-3-319-13129-0_34}, booktitle={Proceedings of the 10th International Conference on Web and Internet Economics (WINE)}, author={Cord-Landwehr, Andreas and Mäcker, Alexander and Meyer auf der Heide, Friedhelm}, year={2014}, pages={423–428} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 382
@inproceedings{Künsemöller_Brangewitz_Karl_Haake_2014, title={Provider Competition in Infrastructure-as-a-Service}, DOI={10.1109/SCC.2014.35}, booktitle={Proceedings of the 2014 IEEE International Conference on Services Computing (SCC)}, author={Künsemöller, Jörn and Brangewitz, Sonja and Karl, Holger and Haake, Claus-Jochen}, year={2014}, pages={203–210} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 383
@inproceedings{Wonisch_Schremmer_Wehrheim_2014, series={Lecture Notes in Informatics (LNI)}, title={Programs from Proofs -- Approach and Applications}, booktitle={Proceedings of the Software Engineering Conference (SE)}, author={Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike}, year={2014}, pages={67–68}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat
| Files available
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 3890
@article{Hammer_2014, title={Oblique incidence of semi-guided waves on rectangular slab waveguide discontinuities: A vectorial QUEP solver}, volume={338}, DOI={10.1016/j.optcom.2014.09.087}, journal={Optics Communications}, publisher={Elsevier BV}, author={Hammer, Manfred}, year={2014}, pages={447–456} }
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 390
@article{Huma_Gerth_Engels_2014, title={On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains}, DOI={10.1007/s00450-014-0254-z}, number={3–4}, journal={Computer Science - Research and Development}, publisher={Springer}, author={Huma, Zille and Gerth, Christian and Engels, Gregor}, year={2014}, pages={333–361} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 3128
@inproceedings{Fleischhacker_Jager_Schröder_2014, title={On Tight Security Proofs for Schnorr Signatures}, DOI={10.1007/978-3-662-45611-8_27}, booktitle={Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I}, author={Fleischhacker, Nils and Jager, Tibor and Schröder, Dominique}, year={2014}, pages={512--531} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3170
@inproceedings{Derrick_Dongol_Schellhorn_Tofan_Travkin_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Quiescent Consistency: Defining and Verifying Relaxed Linearizability}, DOI={10.1007/978-3-319-06410-9_15}, booktitle={{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings}, author={Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Tofan, Bogdan and Travkin, Oleg and Wehrheim, Heike}, editor={B. Jones, Cliff and Pihlajasaari, Pekka and Sun, JunEditors}, year={2014}, pages={200--214}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3171
@inproceedings{Travkin_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Handling {TSO} in Mechanized Linearizability Proofs}, DOI={10.1007/978-3-319-13338-6_11}, booktitle={Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings}, author={Travkin, Oleg and Wehrheim, Heike}, editor={Yahav, EranEditor}, year={2014}, pages={132--147}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
@inproceedings{Isenberg_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Timed Automata Verification via {IC3} with Zones}, DOI={10.1007/978-3-319-11737-9_14}, booktitle={Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings}, author={Isenberg, Tobias and Wehrheim, Heike}, editor={Merz, Stephan and Pang, JunEditors}, year={2014}, pages={203--218}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
@inproceedings{A. Schneider_Treharne_Wehrheim_M. Williams_2014, series={Lecture Notes in Computer Science}, title={Managing {LTL} Properties in Event-B Refinement}, DOI={10.1007/978-3-319-10181-1_14}, booktitle={Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings}, author={A. Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David}, editor={Albert, Elvira and Sekerinski, EmilEditors}, year={2014}, pages={221--237}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 27337
@inproceedings{Schöppner_Herken_Reinders_Westhues_2014, place={Düsseldorf (Deutschland)}, title={Simulation des Compoundiervorgangs im Doppelschneckenextruder, Modellierung - Simulation - Auslegung}, booktitle={Erfolgreich Compoundieren mit Pulvern und Stäuben}, author={Schöppner, Volker and Herken, T. and Reinders, F. and Westhues, K.}, year={2014} }
LibreCat
2014 | Journal Article | LibreCat-ID: 27768
@article{Riedel_von Kries_Buyken_Diethelm_Keil_Grabenhenrich_Müller_Plachta-Danielzik_2014, title={Overweight in Adolescence Can Be Predicted at Age 6 Years: A CART Analysis in German Cohorts}, DOI={10.1371/journal.pone.0093581}, number={e93581}, journal={PLoS ONE}, author={Riedel, Christina and von Kries, Rüdiger and Buyken, Anette and Diethelm, Katharina and Keil, Thomas and Grabenhenrich, Linus and Müller, Manfred J. and Plachta-Danielzik, Sandra}, year={2014} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 1135 | 
@inproceedings{Dollmann_Geierhos_2014, place={Hildesheim, Germany}, title={SentiBA: Lexicon-based Sentiment Analysis on German Product Reviews}, booktitle={Workshop Proceedings of the 12th Edition of the KONVENS Conference}, publisher={Universitätsverlag Hildesheim}, author={Dollmann, Markus and Geierhos, Michaela}, editor={Faaß, Gertrud and Ruppenhofer, JosefEditors}, year={2014}, pages={185–191} }
LibreCat
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 20982
@inbook{Koch_Holtmann_DeAntoni_2014, place={Cham}, title={Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications}, DOI={10.1007/978-3-319-09970-5_14}, booktitle={Software Architecture}, author={Koch, Thorsten and Holtmann, Jörg and DeAntoni, Julien}, year={2014} }
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 21211
@inbook{Herzig_Aßmann_Klar_2014, title={Grundbildung Medien im Profilstudium im Lehramt}, booktitle={Grundbildung Medien in pädagogischen Studiengängen}, publisher={kopaed}, author={Herzig, Bardo and Aßmann, Sandra and Klar, Tilman-Mathies}, editor={Imort, Peter and Niesyto, HorstEditors}, year={2014}, pages={65–80} }
LibreCat
2014 | Dissertation | LibreCat-ID: 21503
@book{Hein_2014, place={Düren}, series={Laboratorium für Werkstoff- und Fügetechnik}, title={Beitrag zur Kennwertermittlung für die numerische Simulation des Tragverhaltens von Halbhohlstanznietverbindungen unter Crashbelastung}, volume={Band 107}, publisher={Shaker Verlag GmbH}, author={Hein, David}, year={2014}, collection={Laboratorium für Werkstoff- und Fügetechnik} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 1781
@inproceedings{Steinle_Vrabec_Walther_2014, title={Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres}, DOI={10.1007/978-3-319-09063-4_19}, booktitle={Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)}, publisher={Springer International Publishing}, author={Steinle, Tobias and Vrabec, Jadran and Walther, Andrea}, editor={Bock, Hans Georg and Hoang, Xuan Phu and Rannacher, Rolf and Schlöder, Johannes P.Editors}, year={2014}, pages={233–243} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 1782
@inproceedings{Graf_Schaefers_Platzner_2014, place={Switzerland}, series={Lecture Notes in Computer Science}, title={On Semeai Detection in Monte-Carlo Go}, DOI={10.1007/978-3-319-09165-5_2}, number={8427}, booktitle={Proc. Conf. on Computers and Games (CG)}, publisher={Springer}, author={Graf, Tobias and Schaefers, Lars and Platzner, Marco}, year={2014}, pages={14–25}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 18932
@inbook{Seng_2014, place={Münster}, title={Kloster/Schloss Corvey - das erste Weltkulturerbe in Westfalen. Berühmtes Westwerk geht in Teilen auf das 9. Jahrhundert zurück}, booktitle={Jahrbuch Westfalen 2015}, author={Seng, Eva- Maria}, year={2014}, pages={10–16} }
LibreCat