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.

9762 Publications


2014 | Journal Article | LibreCat-ID: 3890
Hammer, M. (2014). Oblique incidence of semi-guided waves on rectangular slab waveguide discontinuities: A vectorial QUEP solver. Optics Communications, 338, 447–456. https://doi.org/10.1016/j.optcom.2014.09.087
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 390
Huma, Z., Gerth, C., & Engels, G. (2014). On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains. Computer Science - Research and Development, (3–4), 333–361. https://doi.org/10.1007/s00450-014-0254-z
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 3905
Abu Quba Rana, C., Hassas, S., Usama, F., Alshomary, M., & Gertosio, C. (2014). iSoNTRE: The Social Network Transformer into Recommendation Engine. 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA), 169–175.
LibreCat | Download (ext.)
 

2014 | Mastersthesis | LibreCat-ID: 2900
Brauer, S. (2014). A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures.
LibreCat | Files available
 

2014 | Journal Article | LibreCat-ID: 2976
Ackermann, M. R., Blömer, J., Kuntze, D., & Sohler, C. (2014). Analysis of Agglomerative Clustering. Algorithmica, 69. https://doi.org/10.1007/s00453-012-9717-4
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 2977
Blömer, J., Bujna, K., & Kuntze, D. (2014). A Theoretical and Experimental Comparison of the EM and SEM Algorithm. In 2014 22nd International Conference on Pattern Recognition. IEEE. https://doi.org/10.1109/icpr.2014.253
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3127
Jager, T. (2014). Die Zukunft der Kryptographie. Datenschutz Und Datensicherheit, (7), 445--451. https://doi.org/10.1007/s11623-014-0204-8
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3128
Fleischhacker, N., Jager, T., & Schröder, D. (2014). On Tight Security Proofs for Schnorr Signatures. In Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I (pp. 512--531). https://doi.org/10.1007/978-3-662-45611-8_27
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3167
Schneider, S., Treharne, H., & Wehrheim, H. (2014). The behavioural semantics of Event-B refinement. Formal Asp. Comput., (2), 251--280. https://doi.org/10.1007/s00165-012-0265-0
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3168
Tofan, B., Travkin, O., Schellhorn, G., & Wehrheim, H. (2014). Two approaches for proving linearizability of multiset. Sci. Comput. Program., 297--314. https://doi.org/10.1016/j.scico.2014.04.001
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3169
Schellhorn, G., Derrick, J., & Wehrheim, H. (2014). A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. {ACM} Trans. Comput. Log., (4), 31:1--31:37. https://doi.org/10.1145/2629496
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3170
Derrick, J., Dongol, B., Schellhorn, G., Tofan, B., Travkin, O., & Wehrheim, H. (2014). Quiescent Consistency: Defining and Verifying Relaxed Linearizability. In C. B. Jones, P. Pihlajasaari, & J. Sun (Eds.), {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (pp. 200--214). https://doi.org/10.1007/978-3-319-06410-9_15
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3171
Travkin, O., & Wehrheim, H. (2014). Handling {TSO} in Mechanized Linearizability Proofs. In E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings (pp. 132--147). https://doi.org/10.1007/978-3-319-13338-6_11
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3172
Isenberg, T., & Wehrheim, H. (2014). Timed Automata Verification via {IC3} with Zones. In S. Merz & J. Pang (Eds.), Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings (pp. 203--218). https://doi.org/10.1007/978-3-319-11737-9_14
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3173
A. Schneider, S., Treharne, H., Wehrheim, H., & M. Williams, D. (2014). Managing {LTL} Properties in Event-B Refinement. In E. Albert & E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (pp. 221--237). https://doi.org/10.1007/978-3-319-10181-1_14
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3174
Schneider, S., Treharne, H., Wehrheim, H., & M. Williams, D. (2014). Managing {LTL} properties in Event-B refinement. CoRR.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 3175
Isenberg, T., & Wehrheim, H. (2014). Proof-Carrying Hardware via {IC3}. CoRR.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 27166
Keil, R., Selke, H., & Winkelnkemper, F. (2014). Twenty years of learning with the World Wide Web (S. Trahasch, R. Pl {\ "o} tzner , G. Schneider, C. Gayer, D. Sassiat, & N. W {\ "o} hrle, Eds.; pp. 51–60).
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 27167
Winkelnkemper, F., & Keil, R. (2014). Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design (A. Butz & J. Schlichter, Eds.; Vol. 2014, pp. 255–264). Oldenbourg Verlag.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20983
Brenner, C., Greenyer, J., Holtmann, J., Liebel, G., Stieglbauer, G., & Tichy, M. (2014). ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014).
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 17659
Polevoy, G., Trajanovski, S., & de Weerdt, M. M. (2014). Nash Equilibria in Shared Effort Games. In Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems (pp. 861–868). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 17660
Polevoy, G., & de Weerdt, M. M. (2014). Improving Human Interaction in Crowdsensing. In Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems (pp. 1741–1742). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 17661
King, T. C., Liu, Q., Polevoy, G., de Weerdt, M., Dignum, V., van Riemsdijk, M. B., & Warnier, M. (2014). Request Driven Social Sensing. In Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems (pp. 1651–1652). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 17662
Polevoy, G., Smorodinsky, R., & Tennenholtz, M. (2014). Signaling Competition and Social Welfare. ACM Trans. Econ. Comput., 2(1), 1:1-1:16. https://doi.org/10.1145/2560766
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 1781
Steinle, T., Vrabec, J., & Walther, A. (2014). Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres. In H. G. Bock, X. P. Hoang, R. Rannacher, & J. P. Schlöder (Eds.), Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC) (pp. 233–243). Springer International Publishing. https://doi.org/10.1007/978-3-319-09063-4_19
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 1782
Graf, T., Schaefers, L., & Platzner, M. (2014). On Semeai Detection in Monte-Carlo Go. In Proc. Conf. on Computers and Games (CG) (pp. 14–25). Switzerland: Springer. https://doi.org/10.1007/978-3-319-09165-5_2
LibreCat | DOI
 

2014 | Dissertation | LibreCat-ID: 19039
Petring, R. (2014). Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit. Universität Paderborn.
LibreCat | Files available
 

2014 | Conference Paper | LibreCat-ID: 20905
Pohlmann, U., Holtmann, J., Meyer, M., & Gerking, C. (2014). Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems. Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA).
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20907
Becker, S., Dziwok, S., Gerking, C., Heinzemann, C., Schäfer, W., Meyer, M., & Pohlmann, U. (2014). The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems. Proceedings of the 36th International Conference on Software Engineering (Posters).
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20908
Pohlmann, U., Dziwok, S., Meyer, M., Tichy, M., & Thiele, S. (2014). A Modelica Coordination Pattern Library for Cyber-Physical Systems. Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques.
LibreCat | Download (ext.)
 

2014 | Report | LibreCat-ID: 20909
Becker, S., Dziwok, S., Gerking, C., Schäfer, W., Heinzemann, C., Thiele, S., Meyer, M., Priesterjahn, C., Pohlmann, U., & Tichy, M. (2014). The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20910
Pohlmann, U., Meyer, M., Dann, A. P., & Brink, C. (2014). Viewpoints and Views in Hardware Platform Modeling for Safe Deployment. Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, 23:23-23:30.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 18001
Luo, L. (2014). Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen. Universität Paderborn.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 18002
Hinnenthal, K. (2014). Formbildung selbstorganisierender Partikelsysteme.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 1801
Wette, P., & Karl, H. (2014). Incorporating feedback from application layer into routing and wavelength assignment algorithms. In 2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS). IEEE. https://doi.org/10.1109/infcomw.2013.6970733
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 1858
Jacob, R., W. Richa, A., Scheideler, C., Schmid, S., & Täubig, H. (2014). SKIP*: A Self-Stabilizing Skip Graph. J. ACM, (6), 36:1--36:26. https://doi.org/10.1145/2629695
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 1863
Derakhshandeh, Z., Dolev, S., Gmyr, R., W. Richa, A., Scheideler, C., & Strothmann, T. F. (2014). Brief announcement: amoebot - a new model for programmable matter. In 26th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA’14, Prague, Czech Republic - June 23 - 25, 2014 (pp. 220--222). ACM. https://doi.org/10.1145/2612669.2612712
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 22903
Kühn, A., Bremer, C., Dumitrescu, R., & Gausemeier, J. (2014). Feature models supporting trade-off decisions in early mechatronic systems design. In NordDesign 2014, Espoo, Finnland, 27. - 29. Aug. 2014.
LibreCat
 

2014 | Newspaper Article | LibreCat-ID: 22904
Gausemeier, J., Dumitrescu, R., Jasperneite, J., Kühn, A., & Trsek, H. (2014). Der Spitzencluster it’s OWL auf dem Weg zur Industrie 4.0. ZWF - Zeitschrift für Wirtschaftlichen Fabrikbetrieb, pp. 336–346.
LibreCat
 

2014 | Newspaper Article | LibreCat-ID: 22905
Mahadhir, K. A., Tan, S. C., Low, C., Dumitrescu, R., Amin, A. T. M., & Jaffar, A. (2014). Terrain Classification for Track-driven Agricultural Robots. Procedia Technology, pp. 776–783.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 22906
Dorociak, R., Dumitrescu, R., Gausemeier, J., & Iwanek, P. (2014). Specification Technique CONSENS for the Description of Self-optimizing Systems. In J. Gausemeier, F.-J. Rammig, & W. Schäfer (Eds.), Design Methodology for Intelligent Technichal Systems. Springer.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 22907
Kühn, A., Kliewe, D., Dumitrescu, R., & Gausemeier, J. (2014). Strategy controlling for innovation clusters - the example of “it’s OWL.” In ISPIM Conference 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 22908
Dumitrescu, R., Fechtelpeter, C., & Kühn, A. (2014). Systematische Berücksichtigung von Fertigungsanforderungen im Model-Based Systems Engineering. In M. Maurer & S.-O. Schulze (Eds.), Tag des Systems Engineering, Bremen. München: Carl Hanser Verlag.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 22909
Rabe, M., Anacker, H., & Dumitrescu, R. (2014). Methodology for the identification of solution patterns within mechatronic systems. In Proceedings of the 15th International Workshop on Research and Education in Mechatronics (REM), El Gouna, Egypt.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 22910
Tschirner, C., Kaiser, L., Dumitrescu, R., & Gausemeier, J. (2014). Collaboration in Model-Based Systems Engineering based on Application Scenarios. NordDesign 2014.
LibreCat
 

2014 | Newspaper Article | LibreCat-ID: 22911
Jürgenhake, C., Fechtelpeter, C., Dumitrescu, R., & Heidsiek, D. (2014). Optimized process sequences for prototyping of molded interconnect devices. Advanced Materials Research, pp. 19–27.
LibreCat
 

2014 | Newspaper Article | LibreCat-ID: 22912
Schierbaum, T., Gausemeier, J., & Dumitrescu, R. (2014). Method for the Identification and Comparison of Alternative Process Chains Focusing on Economics Efficiency Analysis during the Conceptual Design of Mechatronic Integrated Devices. Advanced Materials Research, Vol.1038, 3–9.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 21741
Bailey, M., & Law, C. (2014). A Summer Blender Camp: Modeling, Rendering, and Animation for High School Students. IEEE Computer Graphics and Applications, 34(1), 65–67. https://doi.org/10.1109/MCG.2014.4
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 21742
Dias, P., Sousa, T., Parracho, J., Cardoso, I., Monteiro, A., & Santos, B. S. (2014). Student Projects Involving Novel Interaction with Large Displays. IEEE Computer Graphics and Applications, 34(2), 80–86. https://doi.org/10.1109/MCG.2014.35
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 21743
Repenning, A., C. Webb, D., Brand, C., Gluck, F., Grover, R., Miller, S., … Song, M. (2014). Beyond Minecraft: Facilitating Computational Thinking through Modeling and Programming in 3D. IEEE Computer Graphics and Applications, 34(3), 68–71. https://doi.org/10.1109/MCG.2014.46
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed