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.
9701 Publications
2013 | Journal Article | LibreCat-ID: 6729
@article{Coumans_Gehrke_van Rooijen_2013, title={Relational semantics for full linear logic}, volume={12}, DOI={10.1016/j.jal.2013.07.005}, number={1}, journal={Journal of Applied Logic}, publisher={Elsevier BV}, author={Coumans, Dion and Gehrke, Mai and van Rooijen, Lorijn}, year={2013}, pages={50–66} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6730
@inproceedings{Place_van Rooijen_Zeitoun_2013, series={LIPIcs}, title={Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages}, volume={24}, DOI={10.4230/LIPICS.FSTTCS.2013.363}, booktitle={Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India}, publisher={Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, author={Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc}, year={2013}, pages={363--375}, collection={LIPIcs} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6732
@inproceedings{Place_van Rooijen_Zeitoun_2013, place={Berlin, Heidelberg}, title={Separating Regular Languages by Piecewise Testable and Unambiguous Languages}, DOI={10.1007/978-3-642-40313-2_64}, booktitle={Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013}, publisher={Springer Berlin Heidelberg}, author={Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc}, year={2013}, pages={729–740} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6913
@inproceedings{Weber_Berghold_Heilmann_Roericht_Krauter_Grunow_2013, title={Test Sequence Development for Evaluation of Potential Induced Degradation on Thin-Film Modules}, booktitle={Proceedings of the 28th European Photovoltaic Solar Energy Conference and Exhibition, Paris (Frankreich}, author={Weber, T. and Berghold, J. and Heilmann, F. and Roericht, M. and Krauter, Stefan and Grunow, Paul}, year={2013} }
LibreCat
2013 | Journal Article | LibreCat-ID: 6915
@article{Krauter_2013, title={Energiewende mit Sonnenstrom}, journal={Forschungsforum Paderborn, 16-2013, Februar 2013}, author={Krauter, Stefan}, year={2013}, pages={38–45} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 6916
@inproceedings{Japs_Sonnenrein_Steube_Vrabec_Kenig_Krauter_2013, title={Technical investigation of a photovoltaic module with integrated improved phase change material}, booktitle={Proceedings of the 28th European Photovoltaic Solar Energy Conference and Exhibition, Paris (Frankreich)}, author={Japs, Ewald and Sonnenrein, Gerrit and Steube, Julia and Vrabec, Jadran and Kenig, E. and Krauter, Stefan}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 6917
@inproceedings{Bendfeld_Krieger_2013, title={Foundation Monitoring – An Overview of Methods and Measurement Solutions}, booktitle={WINDFORCE 2013 Bremerhaven, 9. WAB Offshore-Windenergie Konferenz, Juni 2013}, author={Bendfeld, Jörg and Krieger, Jens}, year={2013} }
LibreCat
2013 | Misc | LibreCat-ID: 6918
@book{Bouyraaman_2013, place={Technologiezentrum-Lichtenau, Lichtenau, Germany}, title={Power to Gas – Eine andere Möglichkeit, Windstrom zu nutzen? }, author={Bouyraaman, Yassin}, year={2013} }
LibreCat
2013 | Misc | LibreCat-ID: 6919
@book{Krauter_2013, place={Paderborn}, title={Erstellung Klimaschutzkonzept der Stadt Paderborn unter Nutzung Erneuerbarer Energien,}, author={Krauter, Stefan}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 6920
@inproceedings{Bendfeld_Krieger_2013, title={7 YEARS METEOMAST AMRUMBANK WEST}, booktitle={Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event, Vienna, Austria, February 2013}, author={Bendfeld, Jörg and Krieger, Jens}, year={2013} }
LibreCat