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.
1913 Publications
2014 | Conference Paper | LibreCat-ID: 408
@inproceedings{Jakobs_Platzner_Wiersema_Wehrheim_2014, series={LNCS}, title={Integrating Software and Hardware Verification}, DOI={10.1007/978-3-319-10181-1_19}, booktitle={Proceedings of the 11th International Conference on Integrated Formal Methods (iFM)}, author={Jakobs, Marie-Christine and Platzner, Marco and Wiersema, Tobias and Wehrheim, Heike}, editor={Albert, Elvira and Sekerinski, EmilEditors}, year={2014}, pages={307–322}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 4080
@inproceedings{Lindner_2014, title={TEM investigations on the nanoheteroepitaxy of semiconductors }, author={Lindner, Jörg}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 4082
@inproceedings{Lindner_2014, title={Microscopic studies of plasmonic nanostructures II}, author={Lindner, Jörg}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 4083
@inproceedings{Lindner_2014, title={Nanostrukturierte Oberflächen, nicht nur zum Spass}, author={Lindner, Jörg}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 409
@inproceedings{Platenius_Becker_Schäfer_2014, series={LNCS}, title={Integrating Service Matchers into a Service Market Architecture}, DOI={10.1007/978-3-319-09970-5_19}, booktitle={Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)}, author={Platenius, Marie Christin and Becker, Steffen and Schäfer, Wilhelm}, editor={Avgeriou, Paris and Zdun, UweEditors}, year={2014}, pages={210–217}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 41
@inproceedings{Schwichtenberg_Gerth_Engels_2014, title={RSDL workbench results for OAEI 2014}, volume={1317}, booktitle={Proceedings of the 9th International Workshop on Ontology Matching collocated with the 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Trentino, Italy, October 20, 2014.}, publisher={CEUR-WS.org}, author={Schwichtenberg, Simon and Gerth, Christian and Engels, Gregor}, year={2014}, pages={155--162} }
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 410
@article{Jungmann_Brangewitz_Petrlic_Platenius_2014, title={Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services}, volume={7}, number={3&4}, journal={International Journal On Advances in Intelligent Systems (IntSys)}, publisher={IARIA}, author={Jungmann, Alexander and Brangewitz, Sonja and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={572--594} }
LibreCat
| Files available
| Download (ext.)
2014 | Mastersthesis | LibreCat-ID: 411
@book{Taherinajafabadi_2014, title={Improving Service Specifications for the Service Matching on a Service Market}, publisher={Universität Paderborn}, author={Taherinajafabadi, Vahide}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 412
@inproceedings{Feldotto_Scheideler_Graffi_2014, title={HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths}, DOI={10.1109/P2P.2014.6934300}, booktitle={Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P)}, author={Feldotto, Matthias and Scheideler, Christian and Graffi, Kalman}, year={2014}, pages={1–10} }
LibreCat
| Files available
| DOI
| arXiv
2014 | Bachelorsthesis | LibreCat-ID: 413
@book{Eusterholz_2014, title={Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes}, publisher={Universität Paderborn}, author={Eusterholz, Fabian}, year={2014} }
LibreCat