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.

17001 Publications


2008 | Journal Article | LibreCat-ID: 3203
@article{Wehrheim_2008, title={Refinement in the Presence of Unknowns}, DOI={10.1016/j.entcs.2008.02.023}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2008}, pages={255--264} }
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
@inproceedings{Derrick_Schellhorn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack}, DOI={10.1007/978-3-540-68863-1_6}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Barthe, Gilles and S. de Boer, FrankEditors}, year={2008}, pages={78--95}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3210
@inproceedings{Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Bounded Model Checking for Partial Kripke Structures}, DOI={10.1007/978-3-540-85762-4_26}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, author={Wehrheim, Heike}, editor={S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\"{u}}n, H{\"{u}}sn{\"{u}}Editors}, year={2008}, pages={380--394}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 4256
@article{zu Siederdissen_Nielsen_Kuhl_Schaarschmidt_Förstner_Knorr_Khitrova_Gibbs_Koch_Giessen_2008, title={Transition between different coherent light–matter interaction regimes analyzed by phase-resolved pulse propagation}, volume={30}, DOI={10.1364/ol.30.001384}, number={111384}, journal={Optics Letters}, publisher={The Optical Society}, author={zu Siederdissen, Tilman Höner and Nielsen, Nils C. and Kuhl, Jürgen and Schaarschmidt, Martin and Förstner, Jens and Knorr, Andreas and Khitrova, Galina and Gibbs, Hyatt M. and Koch, Stephan W. and Giessen, Harald}, year={2008} }
LibreCat | Files available | DOI
 

2008 | Conference Paper | LibreCat-ID: 3479
@inproceedings{Beverungen_Kaiser_Knackstedt_Krings_Stein_2008, place={München}, title={Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus}, booktitle={Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008)}, author={Beverungen, Daniel and Kaiser, Uwe and Knackstedt, Ralf and Krings, Robin and Stein, Armin}, year={2008}, pages={735--747} }
LibreCat
 

2008 | Journal Article | LibreCat-ID: 3695
@article{Sureth-Sloane_Müller_Houben_Maiterth_2008, title={Auswirkungen einer Reform des Erbschaft-und Schenkungsteuergesetzes auf das Steueraufkommen unter besonderer Berücksichtigung einer verkehrswertorientierten Bewertung von Unternehmens-und Grundvermögen}, journal={Unternehmensbesteuerung}, author={Sureth-Sloane, Caren and Müller, Jens and Houben, Henriette and Maiterth, Ralf}, year={2008}, pages={183--200} }
LibreCat
 

2008 | Journal Article | LibreCat-ID: 4554
@article{de Vasconcellos_Pawlis_Arens_Panfilova_Zrenner_Schikora_Lischka_2008, title={Exciton spectroscopy on single CdSe/ZnSe quantum dot photodiodes}, volume={40}, DOI={10.1016/j.mejo.2008.07.055}, number={2}, journal={Microelectronics Journal}, publisher={Elsevier BV}, author={de Vasconcellos, S. Michaelis and Pawlis, A. and Arens, C. and Panfilova, M. and Zrenner, Artur and Schikora, D. and Lischka, K.}, year={2008}, pages={215–217} }
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 4434
@article{Jenert_2008, title={Ganzheitliche Reflexion auf dem Weg zu selbstorganisiertem Lernen}, volume={5}, number={2}, journal={Bildungsforschung}, publisher={Zeitschrift bildungsforschung e.V.}, author={Jenert, Tobias}, year={2008}, pages={1–18} }
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 5177
@inbook{Haucap_Heimeshoff_Uhde_2008, place={Berlin}, title={Trennung von Netz und Betrieb als Königsweg? Pfadabhängigkeiten der Regulierung}, booktitle={BDI-Bundesnetzagentur-Regulierungskonferenz 2008}, author={Haucap, Justus and Heimeshoff, Ulrich and Uhde, André}, editor={Wettbewerb und Investitionen in der NetzindustrieEditor}, year={2008}, pages={15–21} }
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 5064
@inbook{Becker_Beverungen_Knackstedt_2008, place={Heidelberg}, title={Wertschöpfungsnetzwerke von Produzenten und Dienstleistern als Option zur Organisation der Erstellung hybrider Leistungsbündel}, DOI={10.1007/978-3-7908-2056-0_1}, booktitle={Wertschöpfungsnetzwerke --- Konzepte für das Netzwerkmanagement und Potenziale aktueller Informationstechnologien}, author={Becker, Jörg and Beverungen, Daniel and Knackstedt, Ralf}, editor={Becker, Jörg and Knackstedt, Ralf and Pfeiffer, DanielEditors}, year={2008}, pages={3--31} }
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 5569
@article{Park_Lee_Kabst_2008, title={Human needs as predictors for organizational commitment and job involvement: An exploratory empirical study.}, volume={19}, number={3}, journal={Management Revue: The International Review of Management Studies.}, author={Park, Y K and Lee, C I and Kabst, Rüdiger}, year={2008}, pages={229–246} }
LibreCat
 

2008 | Journal Article | LibreCat-ID: 5571
@article{Giardini_Kabst_2008, title={The Effects of Work-Family HR practices: A Longitudinal Perspective.}, volume={19}, number={11}, journal={International Journal of Human Resource Management.}, author={Giardini, A and Kabst, R}, year={2008}, pages={2079–2094} }
LibreCat
 

2008 | Journal Article | LibreCat-ID: 5780
@article{Schnedler_2008, title={Uncertainty aversion and Preferences for Randomization: An Experimental Study (with Adam Dominiak}, journal={Economic Theory}, author={Schnedler, Wendelin}, year={2008} }
LibreCat | Files available
 

2008 | Misc | LibreCat-ID: 6120
@book{Kabst_Thost_Isidor_2008, series={Personalführung}, title={ Interim Management - wenig bekannt, selten genutzt? }, volume={3}, author={Kabst, Rüdiger and Thost, W and Isidor, R}, year={2008}, pages={66–69}, collection={Personalführung} }
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 6062
@inproceedings{Sommer_Yao_German_Dressler_2008, place={Phoenix, AZ}, title={Simulating the Influence of IVC on Road Traffic using Bidirectionally Coupled Simulators}, DOI={10.1109/INFOCOM.2008.4544655}, booktitle={27th IEEE Conference on Computer Communications (INFOCOM 2008): IEEE Workshop on Mobile Networking for Vehicular Environments (MOVE 2008)}, publisher={IEEE}, author={Sommer, Christoph and Yao, Zheng and German, Reinhard and Dressler, Falko}, year={2008}, pages={1–6} }
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 7060
@inbook{Kremer_2008, title={Medien als Entwicklungswerkzeuge}, booktitle={bwp@ Ausgabe13, Selbstorganisiertes Lernen in der beruflichen}, author={Kremer, H.-Hugo}, editor={Büchter, K. and Tramm, T.Editors}, year={2008} }
LibreCat | Download (ext.)
 

2008 | Book Chapter | LibreCat-ID: 6745
@inbook{Bendfeld_Splett_Ditscherlein_Voss_2008, place={Graz}, title={Zukunftspotential auf See - Messungen als Grundlage für die Errichtung von Offshore-Windkraftwerken}, booktitle={EnInnov 08 – 10. Symposium Energieinnovation; Energiewende}, publisher={Verlag der technischen Universität Graz}, author={Bendfeld, Jörg and Splett, Michael and Ditscherlein, Ralf and Voss, Jürgen}, year={2008} }
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 6771
@inproceedings{Bendfeld_Ditscherlein_Splett_Voss_2008, title={Input variability of spacious distributed offshore wind farms}, booktitle={American Wind Energy Association, WINDPOWER 2008 Conference and Exhibition, Houston, Texas, USA, Juni 2008}, author={Bendfeld, Jörg and Ditscherlein, Ralf and Splett, Michael and Voss, Jürgen}, year={2008} }
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 6776
@inproceedings{Bendfeld_Ditscherlein_Splett_Voss_2008, title={O&M for offshore windfarms based on ADCP and Waverider}, booktitle={7th World Wind Energy Conference, WWEC 2008 Kingston, Ontario, Kanada, Juni 2008}, author={Bendfeld, Jörg and Ditscherlein, Ralf and Splett, Michael and Voss, Jürgen}, year={2008} }
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 6788
@inproceedings{Bendfeld_Linders_Splett_Wernekinck_2008, title={Wind energy extension potential in the Münsterland}, booktitle={Proceedings of the 9th German Wind Energy Conference (DEWEK 2008)}, author={Bendfeld, Jörg and Linders, Marc and Splett, Michael and Wernekinck, U. }, year={2008} }
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 6790
@inproceedings{Bendfeld_Ditscherlein_Splett_Voss_2008, title={Wave and Current Measurements for Offshore Windfarms}, booktitle={Proceedings of the 9th German Wind Energy Conference (DEWEK 2008)}, author={Bendfeld, Jörg and Ditscherlein, Ralf and Splett, Michael and Voss, Jürgen}, year={2008} }
LibreCat
 

2008 | Journal Article | LibreCat-ID: 7370
@article{Ehrig_Küster_Taentzer_2008, title={Generating Instance Models from Meta Models}, volume={8}, number={4}, journal={Software and Systems Modeling}, author={Ehrig, Karsten and Küster, Jochen and Taentzer, Gabriele}, year={2008}, pages={479–500} }
LibreCat
 

2008 | Book | LibreCat-ID: 7508
@book{Engels_Hess_Humm_Juwig_Lohmann_Richter_Voß_Willkomm_2008, place={München}, title={Quasar Enterprise: Anwendungslandschaften serviceorientiert gestalten}, publisher={dpunkt-Verlag}, author={Engels, Gregor and Hess, Andreas and Humm, Bernhard and Juwig, Oliver and Lohmann, Marc and Richter, Jan-Peter and Voß, Markus and Willkomm, Johannes}, year={2008} }
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 7553
@inbook{Christ_Sauer_2008, series={POWeR}, title={Open Source Stacks}, volume={3}, booktitle={Open Source: Kommerzialisierungsmöglichkeiten und Chancen für die Zusammenarbeit von Hochschulen und Unternehmen}, publisher={Waxmann Verlag}, author={Christ, Fabian and Sauer, Stefan}, editor={Asche, W. Bauhus, B. Kaddatz and B. Seel, M.Editor}, year={2008}, pages={133–154}, collection={POWeR} }
LibreCat
 

2008 | Journal Article | LibreCat-ID: 7596
@article{Tönnies_2008, title={Kulturelle Bedeutungen und Kontexte der indischen Küche in Großbritannien}, journal={Interkulturelle Mahlzeiten. Kulinarische Begegnungen und Kommunikation in der Literatur}, publisher={transcript}, author={Tönnies, Merle}, year={2008}, pages={337–354} }
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 7642
@inproceedings{Piegdon_Matthias_Meier_Kitzerow_2008, title={Tunable optical properties of photonic crystals and semiconductor microdisks using liquid crystals}, DOI={10.1117/12.774194}, booktitle={Emerging Liquid Crystal Technologies III}, publisher={SPIE}, author={Piegdon, Karoline A. and Matthias, Heinrich and Meier, Cedrik and Kitzerow, Heinz-S.}, editor={Chien, Liang-ChyEditor}, year={2008} }
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 7995
@inproceedings{Assmann_Engels_2008, place={Berlin/Heidelberg}, series={LNCS}, title={Transition to Service-Oriented Enterprise Architecture}, volume={5292}, DOI={http://dx.doi.org/10.1007/978-3-540-88030-1_34}, booktitle={Proceedings of the Second European Conference on Software Architecture (ECSA 2008), Paphos (Cyprus)}, publisher={Springer}, author={Assmann, Martin and Engels, Gregor}, year={2008}, pages={346–349}, collection={LNCS} }
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 8001
@inproceedings{Mlynarski_2008, place={Bonn}, series={Lecture Notes in Informatics}, title={Qualitätssicherung im Business Process Modeling durch automatische Ableitung visueller Kontrakte aus heterogenen UML-Modellen}, booktitle={Informatiktage 2008. Fachwissenschaftlicher Informatik-Kongress, 14. und 15. März 2008, B-IT Bonn-Aachen International Center for Information Technology in Bonn}, publisher={Gesellschaft für Informatik (GI)}, author={Mlynarski, Michael}, year={2008}, pages={87–90}, collection={Lecture Notes in Informatics} }
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 8006
@inproceedings{Voigt_Ruhroth_2008, place={Berlin/Heidelberg}, series={LNCS}, title={A Quality Circle Tool for Software Models}, volume={5231}, DOI={http://dx.doi.org/10.1007/978-3-540-87877-3_44}, booktitle={Proceedings of the 27th International Conference on Conceptual Modeling (ER 2008), Barcelona, Spain}, publisher={Springer}, author={Voigt, Hendrik and Ruhroth, Thomas}, year={2008}, pages={526–527}, collection={LNCS} }
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 823
@inproceedings{Valentin_Freitag_Karl_2008, title={Integrating Multiuser Dynamic OFDMA into IEEE 802.11 WLANs - LLC/MAC Extensions and System Performance}, DOI={10.1109/ICC.2008.626}, booktitle={Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008}, author={Valentin, Stefan and Freitag, Thomas and Karl, Holger}, year={2008}, pages={3328--3334} }
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 828
@inproceedings{H. Woldegebreal_Valentin_Karl_2008, title={Incremental Network Coding in Cooperative Transmission Wireless Networks}, DOI={10.1109/VETECF.2008.346}, booktitle={Proceedings of the 68th IEEE Vehicular Technology Conference, VTC Fall 2008, 21-24 September 2008, Calgary, Alberta, Canada}, author={H. Woldegebreal, Dereje and Valentin, Stefan and Karl, Holger}, year={2008}, pages={1--5} }
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 8429
@inproceedings{Küster_Gerth_Förster_Engels_2008, series={CEUR Workshop Proceedings}, title={A Tool for Process Merging in Business-Driven Development}, volume={344}, DOI={http://ceur-ws.org/Vol-344/paper23.pdf}, booktitle={Proceedings of the Forum at the CAiSE’08 Conference on Advanced Information Systems Engineering}, publisher={CEUR-WS.org}, author={Küster, Jochen and Gerth, Christian and Förster, Alexander and Engels, Gregor}, year={2008}, pages={89–92}, collection={CEUR Workshop Proceedings} }
LibreCat | DOI | Download (ext.)
 

2008 | Conference Paper | LibreCat-ID: 8316
@inproceedings{Krauter_Preiss_Ferretti_Grunow_2008, title={PV yield prediction for thin film technologies and the effect of input parameters inaccuracies}, booktitle={Proceedings of the 23rd European Photovoltaic Solar Energy Conference and Exhibition, Valencia (Spanien), 1.–5. September, 2008, S. 740–743}, author={Krauter, Stefan and Preiss, A. and Ferretti, N. and Grunow, Paul}, year={2008} }
LibreCat
 

2008 | Journal Article | LibreCat-ID: 8607
@article{Hohage_Nannen_Halm_Bacher_Wahle_Fischer_Kunze_Reuter_Wieck_2008, title={Coherent spin dynamics in Permalloy-GaAs hybrids at room temperature}, DOI={10.1063/1.2943279}, number={241920}, journal={Applied Physics Letters}, author={Hohage, P. E. and Nannen, J. and Halm, S. and Bacher, G. and Wahle, M. and Fischer, S. F. and Kunze, U. and Reuter, Dirk and Wieck, A. D.}, year={2008} }
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 9573
@inproceedings{Sondermann-Wölke_Geisler_Müler_Trächtler_Böcker_2008, place={New York}, title={The active guidance module of a rail-bound vehicle as an application for the dependability oriented design in self-optimizing systems}, booktitle={ASME 2008 -- International Design Engineering Technical Conferences \& Computers and Information in Engineering Conference (IDETC/CIE)}, author={Sondermann-Wölke, Christoph and Geisler, Jens and Müler, Thomas and Trächtler, Ansgar and Böcker, Joachim}, year={2008} }
LibreCat
 

2008 | Journal Article | LibreCat-ID: 16610
@article{Geisler_Witting_Trächtler_Dellnitz_2008, title={Multiobjective Optimization of Control Trajectories for the Guidance of a Rail-bound Vehicle}, DOI={10.3182/20080706-5-kr-1001.00738}, journal={IFAC Proceedings Volumes}, author={Geisler, M.Sc. Jens and Witting, Dipl.-Math. Katrin and Trächtler, Ansgar and Dellnitz, Michael}, year={2008}, pages={4380–4386} }
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 17031
@inproceedings{Geisler_Witting_Trächtler_Dellnitz_2008, title={Self-Optimization of the Guidance Module of a Rail-bound Vehicle}, booktitle={7th International Heinz Nixdorf Symposium: Self-optimizing Mechatronic Systems: Designing the Future}, author={Geisler, Jens and Witting, Katrin and Trächtler, Ansgar and Dellnitz, Michael}, year={2008} }
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 17137
@inbook{Knackstedt_Müller_2008, title={Serviceorientierte Informationssystemarchitekturen zur Integration von Produktion und Dienstleistung am Beispiel des WEEE-Recycling}, DOI={10.1007/978-3-7908-2056-0_12}, booktitle={Wertschöpfungsnetzwerke}, publisher={Physica-Verlag HD}, author={Knackstedt, Ralf and Müller, Oliver}, year={2008}, pages={235–252} }
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 17601
@inbook{Peckhaus_2008, place={Wiesbaden}, series={Mainzer Studien zur Buchwissenschaft}, title={Die Zeitschrift für die Grundlagen der gesamten Mathematik. Ein gescheitertes Zeitschriftenprojekt aus dem Jahre 1908}, volume={19}, booktitle={Publikationsstrategien einer Disziplin. Mathematik in Kaiserreich und Weimarer Republik}, publisher={Harrassowitz Verlag}, author={Peckhaus, Volker}, editor={Remmert, Volker R. and Schneider, UteEditors}, year={2008}, pages={141–160}, collection={Mainzer Studien zur Buchwissenschaft} }
LibreCat
 

2008 | Encyclopedia Article | LibreCat-ID: 17733
@inbook{Peckhaus_v. Bülow_2008, place={Stuttgart/Weimar}, edition={2., neubearb. u. wesentl. erg. Aufl.}, title={Galois, Évariste}, booktitle={Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn}, publisher={J.B. Metzler}, author={Peckhaus, Volker and v. Bülow, Christopher}, editor={Mittelstraß, JürgenEditor}, year={2008}, pages={12–14} }
LibreCat
 

2008 | Encyclopedia Article | LibreCat-ID: 17738
@inbook{Peckhaus_2008, place={Stuttgart/Weimar}, edition={2., neubearb. u. wesentl. erg. Aufl.}, title={Hermes, Hans}, booktitle={Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn}, publisher={J.B. Metzler}, author={Peckhaus, Volker}, editor={Mittelstraß, JürgenEditor}, year={2008}, pages={370–371} }
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 17884
@inbook{Peckhaus_2008, place={Paderborn}, series={Schriften des Instituts für Erziehungswissenschaft der Universität Paderborn}, title={Grußwort des Dekans der Fakultät für Kulturwissenschaften}, volume={4}, booktitle={Verabschiedung Prof. Dr. Wolfgang Keim}, author={Peckhaus, Volker}, editor={Herzig, BardoEditor}, year={2008}, pages={11–12}, collection={Schriften des Instituts für Erziehungswissenschaft der Universität Paderborn} }
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 17276
@inbook{Rohlfing_2008, title={Language acquisition — a multimodal avenue}, booktitle={The Bielefeld Introduction to Applied Linguistics}, author={Rohlfing, Katharina}, editor={Gramley, V.Editor}, year={2008} }
LibreCat
 

2008 | Journal Article | LibreCat-ID: 14929
@article{Knirsch_Müller_Blaufus_Hundsdoerfer_Kiesewetter_König_Kruschwitz_Löffler_Maiterth_Müller_et al._2008, title={ arqus-Stellungnahme: Das BilMoG - Eine Chance zur Steuervereinfachung?}, volume={46}, number={38}, journal={Deutsches Steuerrecht}, author={Knirsch, Deborah and Müller, Heiko and Blaufus, Kay and Hundsdoerfer, Jochen and Kiesewetter, Dirk and König, Rolf and Kruschwitz, Lutz and Löffler, Andreas and Maiterth, Ralf and Müller, Heiko and et al.}, year={2008}, pages={1844–1846} }
LibreCat
 

2008 | Book Chapter | LibreCat-ID: 17978
@inbook{Lürwer-Brüggemeier_Ziegler_2008, place={Berlin, Heidelberg}, title={On Faster Integer Calculations Using Non-arithmetic Primitives}, DOI={10.1007/978-3-540-85194-3_11}, booktitle={Unconventional Computing}, author={Lürwer-Brüggemeier, Katharina and Ziegler, Martin}, year={2008} }
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 18255
@inbook{Tophinke_2008, place={Wien}, title={Regional schreiben: Weblogs zwischen Orthographie und Phonographie}, booktitle={Sprechen, Schreiben, Hören - Zur Produktion und Perzeption von Dialekt und Standardsprache zu Beginn des 21. Jahrhunderts}, publisher={Präsens Verlag}, author={Tophinke, Doris}, editor={Christen, Helen and Ziegler, EvelynEditors}, year={2008}, pages={153–180} }
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 17416
@inproceedings{Süß_Huber_Fischer_Laroque_Dangelmaier_2008, title={A System for Aggregated Visualization of Multiple Parallel Discrete Event Simulations}, DOI={10.1109/ispa.2008.30}, booktitle={IEEE International Symposium on Parallel and Distributed Processing with Applications}, author={Süß, Tim and Huber, Daniel and Fischer, Matthias and Laroque, Christoph and Dangelmaier, Wilhelm}, year={2008} }
LibreCat | DOI
 

2008 | Book Review | LibreCat-ID: 18654
@article{Peckhaus_2008, title={Lorenz, Kuno, “Logic as Tool of Science versus Logic as a Scientific Subject”, in: Johan van Benthem et al. (eds.), The Age of Alternative Logics. Assessing Philosophy of Logic and Mathematics Today. Based on the Conference on Philosophical Insights into Logic and Mathematics, Nancy, France, September 30–October 4, 2002, Dordrecht: Springer 2006, 299–310}, number={Zbl. 1126.03011}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 1126.03011]}, author={Peckhaus, Volker}, year={2008} }
LibreCat
 

2008 | Book Review | LibreCat-ID: 18659
@article{Peckhaus_2008, title={Vidal-Rosset, Joseph, “Does Gödel’s Incompleteness Theorem Prove that Truth Transcends Proof”, in: van Bentham et al. (eds.), The Age of Alternative Logics. Assessing Philosophy of Logic and Mathematics Today, Dordrecht: Springer 2006, 51–73}, number={Zbl. 1131.03004}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 1131.03004]}, author={Peckhaus, Volker}, year={2008} }
LibreCat
 

2008 | Book Review | LibreCat-ID: 18661
@article{Peckhaus_2008, title={Mancosu, Paolo, “Mathematical Explanation: Problems and Prospects”, Topoi 20 (2001), 97–117}, number={Zbl. 1131.00007}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 1131.00007]}, author={Peckhaus, Volker}, year={2008} }
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed