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.

17206 Publications


2014 | Bachelorsthesis | LibreCat-ID: 340
Korth, Philipp. Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 6741
Bokermann, Dennis, et al. “Use Your Best Device! Enabling Device Changes at Runtime.” 12th International Conference on Business Process Management (BPM 2014), vol. 8659, Springer International Publishing, 2014, pp. 357–65, doi:10.1007/978-3-319-10172-9_23.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 339
Wette, Philip, and Holger Karl. “Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms.” Proceedings of the IEEE International Conference on Communications 2014, 2014, pp. 3270–76, doi:10.1109/ICC.2014.6883825.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 2624
Kundisch, Dennis, et al. “Using Income Accounting as the Theoretical Basis for Measuring IT Productivity.” Information Systems Research, vol. 25, no. 3, 2014, pp. 449–67.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 762
Schwabe, Arne, and Holger Karl. “Using MAC Addresses as Efficient Routing Labels in Data Centers.” Proceedings of the Third Workshop on Hot Topics in Software Defined Networking, HotSDN ’14, Chicago, Illinois, USA, August 22, 2014, 2014, pp. 115--120, doi:10.1145/2620728.2620730.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 21936
Nüske, Feliks, et al. “Variational Approach to Molecular Kinetics.” Journal of Chemical Theory and Computation, 2014, pp. 1739–52, doi:10.1021/ct4009156.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 17046
Ober-Blöbaum, Sina, and Henning Lindhorst. “Variational Formulation and Structure-Preserving Discretization Ofnonlinear Electric Circuits.” 21st International Symposium on Mathematical Theory of Networks and Systems, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20087
“Variational Integrators for Dynamical Systems with Rotational Degrees of Freedom.” 11th World Congress on Computational Mechanics, 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 17044
Leitz, Thomas, et al. “Variational Lie Group Formulation of Geometrically Exact Beam Dynamics: Synchronous and Asynchronous Integration.” Multibody Dynamics, edited by Zdravko Terze, Springer, 2014, doi:10.1007/978-3-319-07260-9.
LibreCat | DOI
 

2014 | Book Chapter | LibreCat-ID: 20086
Terze, Zdravko, editor. “Variational Lie Group Formulation of Geometrically Exact Beam Dynamics: Synchronous and Asynchronous Integration.” Multibody Dynamics, vol. 35, Springer International Publishing, 2014, pp. 175–203, doi:10.1007/978-3-319-07260-9_8.
LibreCat | DOI
 

2014 | Book | LibreCat-ID: 6428
Sommer, Christoph, and Falko Dressler. Vehicular Networking. Cambridge University Press, 2014, doi:10.1017/CBO9781107110649.
LibreCat | DOI
 

2014 | Book | LibreCat-ID: 5147
Fahr, Rene. Verantwortungsvolles Handeln in Unternehmen. Die Rolle von Kognitiven Verzerrungen Und Selbsttäuschung Bei Ethischen Entscheidungen. Klaus von Stoch, 2014, pp. 137–66.
LibreCat
 

2014 | Dissertation | LibreCat-ID: 26210
Lehner, Markus. Verfahren zur Entwicklung geschäftsmodellorientierter Diversifikationsstrategien. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2014.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 338
Beck, Henri. Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens. Universität Paderborn, 2014.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 337
Berkemeier, Christopher. Verhandlungen vs Auktionen im Beschäftigungsmanagement. Universität Paderborn, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 24309
Kuznik, Christoph, and Wolfgang Müller. “Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure.” Design, Automation and Test in Europe DATE, University Booth, Dresden, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25162
Kuznik, Christoph, and Wolfgang Müller. “Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure.” Design, Automation and Test in Europe DATE, University Booth, Dresden , 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 23109
Flaßkamp, Kathrin, et al. “Verification for Interacting Mechatronic Systems with Motion Profiles.” Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag, Heidelberg, Germany, 2014, pp. 119–28.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 336
Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based Construction.” Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), edited by Ivan Lanese and Eric Madelaine, 2014, pp. 31–48, doi:10.1007/978-3-319-15317-9_3.
LibreCat | Files available | DOI
 

2014 | Book Chapter | LibreCat-ID: 5027
Sureth-Sloane, Caren. “Vermögensteuer als Beitrag der Wohlhabenden für mehr Gleichheit - eine wirtschaftswissenschaftliche Betrachtung eines Steuerreformvorschlags.” Wirtschaftspädagogische Handlungsfelder, edited by Ulrich Braukmann et al., Eusl Verlag, 2014.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: MLA

Export / Embed