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.
5774 Publications
2014 | Conference Paper | LibreCat-ID: 3173
A. Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.” Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, edited by Elvira Albert and Emil Sekerinski, 2014, pp. 221--237, doi:10.1007/978-3-319-10181-1_14.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3174
Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.” CoRR, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 3175
Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via {IC3}.” CoRR, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27166
Keil, Reinhard, et al. Twenty Years of Learning with the World Wide Web. Edited by Stephan Trahasch et al., 2014, pp. 51–60.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27167
Winkelnkemper, Felix, and Reinhard Keil. Zwischen Design Und Flexibilit{\"a}t - Zur Ergonomie Des Flat Design. Edited by Andreas Butz and Johann Schlichter, vol. 2014, Oldenbourg Verlag, 2014, pp. 255–64.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20983
Brenner, Christian, et al. “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), 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 17659
Polevoy, Gleb, et al. “Nash Equilibria in Shared Effort Games.” Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2014, pp. 861–68.
LibreCat
2014 | Conference Paper | LibreCat-ID: 17660
Polevoy, Gleb, and Mathijs M. de Weerdt. “Improving Human Interaction in Crowdsensing.” Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2014, pp. 1741–42.
LibreCat
2014 | Conference Paper | LibreCat-ID: 17661
King, Thomas C., et al. “Request Driven Social Sensing.” Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2014, pp. 1651–52.
LibreCat
2014 | Journal Article | LibreCat-ID: 17662
Polevoy, Gleb, et al. “Signaling Competition and Social Welfare.” ACM Trans. Econ. Comput., vol. 2, no. 1, ACM, 2014, pp. 1:1-1:16, doi:10.1145/2560766.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 1782
Graf, Tobias, et al. “On Semeai Detection in Monte-Carlo Go.” Proc. Conf. on Computers and Games (CG), no. 8427, Springer, 2014, pp. 14–25, doi:10.1007/978-3-319-09165-5_2.
LibreCat
| DOI
2014 | Dissertation | LibreCat-ID: 19039
Petring, Ralf. Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen in Echtzeit. 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 20905
Pohlmann, Uwe, et al. “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), IEEE Xplore, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20907
Becker, Steffen, et al. “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems.” Proceedings of the 36th International Conference on Software Engineering (Posters), ACM, New York, NY, USA, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20908
Pohlmann, Uwe, et al. “A Modelica Coordination Pattern Library for Cyber-Physical Systems.” Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014.
LibreCat
| Download (ext.)
2014 | Report | LibreCat-ID: 20909
Becker, Steffen, et al. The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling. 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20910
Pohlmann, Uwe, et al. “Viewpoints and Views in Hardware Platform Modeling for Safe Deployment.” Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, ACM, New York, NY, USA, 2014, p. 23:23-23:30.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 18001
Luo, Linghui. Ein Selbst-Stabilisierender Algorithmus Für Das Finite Sleep Problem in Skip+ Graphen. Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 18002
Hinnenthal, Kristian. Formbildung Selbstorganisierender Partikelsysteme. 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 1801
Wette, Philip, and Holger Karl. “Incorporating Feedback from Application Layer into Routing and Wavelength Assignment Algorithms.” 2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), IEEE, 2014, doi:10.1109/infcomw.2013.6970733.
LibreCat
| DOI