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


2013 | Conference Paper | LibreCat-ID: 28517
@article{Rudtsch_Gausemeier_Petersen_2013, series={ASIM-Fachtagung Simulation in Produktion und Logistik}, title={Multikriterielle Entscheidungsunterst{\"u}tzung f{\"u}r die Synthese von Herstellprozessen zur Fertigung funktional gradierter Bauteile}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Rudtsch, Vinzent and Gausemeier, J{\"u}rgen and Petersen, Marcus}, editor={Dangelmaier, Wilhelm and Laroque, Christoph and Klaas, Alexander}, year={2013}, pages={469–480}, collection={ASIM-Fachtagung Simulation in Produktion und Logistik} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 28521
@article{Petersen_Rudtsch_Gausemeier_2013, series={International Conference on Changeable, Agile, Reconfigurable and Virtual Production (CARV)}, title={Multi-Criteria Decision-Support for Manufacturing Process Chain Selection in the Context of Functionally Graded Components}, publisher={Springer Cham Heidelberg New York Dordrecht London}, author={Petersen, Marcus and Rudtsch, Vinzent and Gausemeier, J{\"u}rgen}, editor={Z{\"a}h, Michael}, year={2013}, pages={377–382}, collection={International Conference on Changeable, Agile, Reconfigurable and Virtual Production (CARV)} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 28545
@inproceedings{Schmuedderich_Tr{\"a}chtler_Br{\"o}kelmann_Gausemeier_2013, title={Procedural Model for the Virtual Commissioining on the Basis of Model-based Design}, publisher={Springer-Verlag}, author={Schmuedderich, Tanja and Tr{\"a}chtler, Ansgar and Br{\"o}kelmann, Jan and Gausemeier, J{\"u}rgen}, year={2013}, pages={23–32} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 28552
@inproceedings{Dorociak_Gaukstern_Gausemeier_Iwanek_Va{\ss}holz_2013, title={A Methodology for the Improvement of Dependability of Self-Optimizing Systems}, DOI={0.1007/s11740-012-0425-3}, publisher={Springer-Verlag Berlin Heidelberg}, author={Dorociak, Rafal and Gaukstern, Tobias and Gausemeier, J{\"u}rgen and Iwanek, Peter and Va{\ss}holz, Mareen}, year={2013} }
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 25740
@article{He_Müller_2013, title={ A heuristic energy-aware approach for hard real-time systems on multi-core platforms}, journal={Microprocessors and Microsystems - Embedded Hardware Design 37(6-7)}, author={He, Da and Müller, Wolfgang}, year={2013}, pages={845–857} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25782
@inproceedings{Dangelmaier_Laroque_Klaas_2013, place={Paderborn}, series={Publication series of the Heinz Nixdorf Institute, Paderborn}, title={Simulation in Production and Logistics 2013}, volume={316}, booktitle={Proceedings 15th ASIM Conference Simulation in Production and Logistics}, publisher={Heinz Nixdorf Institute}, author={Dangelmaier, Wilhelm and Laroque, Christoph and Klaas, Alexander}, year={2013}, collection={Publication series of the Heinz Nixdorf Institute, Paderborn} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 26130
@article{Schiller_Schmid_2013, title={Hocheffiziente Feinstaubabscheidung aus Kleinfeuerungsanlagen mit einem Schlauchfilter}, DOI={10.1002/cite.201200114}, journal={Chemie Ingenieur Technik}, author={Schiller, Sascha and Schmid, Hans-Joachim}, year={2013}, pages={1324–1328} }
LibreCat | DOI
 

2013 | Dissertation | LibreCat-ID: 26522
@book{Barkhofen_2013, place={Marburg}, title={Microwave Measurements on n-Disk Systems and Investigation of Branching in correlated Potentials and turbulent Flows}, DOI={10.17192/Z2013.0457}, publisher={Philipps-Universität Marburg}, author={Barkhofen, Sonja}, year={2013} }
LibreCat | DOI
 

2013 | Book Chapter | LibreCat-ID: 2979
@inbook{Blömer_Günther_Liske_2013, place={Berlin, Heidelberg}, title={Improved Side Channel Attacks on Pairing Based Cryptography}, DOI={10.1007/978-3-642-40026-1_10}, booktitle={Constructive Side-Channel Analysis and Secure Design}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and Günther, Peter and Liske, Gennadij}, year={2013}, pages={154–168} }
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 3130
@inproceedings{Böhl_Hofheinz_Jager_Koch_Hong Seo_Striecks_2013, title={Practical Signatures from Standard Assumptions}, DOI={10.1007/978-3-642-38348-9_28}, booktitle={Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings}, author={Böhl, Florian and Hofheinz, Dennis and Jager, Tibor and Koch, Jessica and Hong Seo, Jae and Striecks, Christoph}, year={2013}, pages={461--485} }
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 3176
@inproceedings{Isenberg_Steenken_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={Bounded Model Checking of Graph Transformation Systems via {SMT} Solving}, DOI={10.1007/978-3-642-38592-6_13}, booktitle={Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings}, author={Isenberg, Tobias and Steenken, Dominik and Wehrheim, Heike}, editor={Beyer, Dirk and Boreale, MicheleEditors}, year={2013}, pages={178--192}, collection={Lecture Notes in Computer Science} }
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: 3178
@inproceedings{Dongol_Travkin_Derrick_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={A High-Level Semantics for Program Execution under Total Store Order Memory}, DOI={10.1007/978-3-642-39718-9_11}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings}, author={Dongol, Brijesh and Travkin, Oleg and Derrick, John and Wehrheim, Heike}, editor={Liu, Zhiming and Woodcock, Jim and Zhu, HuibiaoEditors}, year={2013}, pages={177--194}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 27043
@article{Libuda_Alexy_Kersting_2013, title={Time trends in dietary fat intake in a sample of German children and adolescents between 2000 and 2010: not quantity, but quality is the issue}, DOI={10.1017/s0007114513002031}, journal={British Journal of Nutrition}, author={Libuda, Lars and Alexy, Ute and Kersting, Mathilde}, year={2013}, pages={141–150} }
LibreCat | DOI
 

2013 | Dissertation | LibreCat-ID: 11619
@book{Kaufmann_2013, place={Berlin}, title={Adapting Hardware Systems by Means of Multi-Objective Evolution}, publisher={Logos Verlag Berlin GmbH}, author={Kaufmann, Paul}, year={2013} }
LibreCat
 

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 Paper | LibreCat-ID: 21491
@inproceedings{Hein_Meschut_Hahn_Matzenmiller_Nelson_2013, title={Experimentelle und numerische Untersuchungen des Crashverhaltens hybridgefügter Verbindungen}, booktitle={3. Fügetechnisches Gemeinschaftskolloquium}, author={Hein, David and Meschut, Gerson and Hahn, Ortwin and Matzenmiller, Anton and Nelson, Alexander}, editor={FOSTA, EFB, DVSEditor}, year={2013} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 17439
@inproceedings{Petring_Eikel_Jähn_Fischer_Meyer auf der Heide_2013, place={Paderborn}, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, title={Darstellung heterogener 3-D-Szenen in Echtzeit}, volume={311}, booktitle={11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung}, author={Petring, Ralf and Eikel, Benjamin and Jähn, Claudius and Fischer, Matthias and Meyer auf der Heide, Friedhelm}, year={2013}, pages={49--60}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 1783
@article{Grynko_Shkuratov_Förstner_2013, title={Light scattering by randomly irregular dielectric particles larger than the wavelength}, volume={38}, DOI={10.1364/OL.38.005153}, number={23}, journal={Optical Letters}, author={Grynko, Yevgen and Shkuratov, Yuriy and Förstner, Jens}, year={2013}, pages={5153–5156} }
LibreCat | DOI
 

2013 | Book | LibreCat-ID: 1790
@book{Niehörster_2013, place={Aachen, Germany}, title={Autonomous Resource Management in Dynamic Data Centers}, publisher={Shaker}, author={Niehörster, Oliver}, year={2013} }
LibreCat
 

Filters and Search Terms

isbn%3D978-3-540-44769-6

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed