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.
5713 Publications
2012 | Conference Paper | LibreCat-ID: 8480
@inproceedings{Mussbacher _Alam _Alhaj _Ali _Amálio _Barn _Bræk _Clark _Combemale _Cysneiros _et al._2012, place={New York, NY, USA}, series={CMA’12}, title={Assessing composition in modeling approaches}, DOI={https://dl.acm.org/citation.cfm?id=2459032}, booktitle={Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012)}, publisher={ACM}, author={Mussbacher , Gunter and Alam , Omar and Alhaj , Mohammed and Ali , Shaukat and Amálio , Nuno and Barn , Balbir and Bræk , Rolv and Clark , Tony and Combemale , Benoit and Cysneiros , Luiz Marcio and et al.}, year={2012}, collection={CMA’12} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 8483
@inproceedings{Luckey _Thanos _Gerth_Engels_2012, title={Multi-Staged Quality Assurance for Self-Adaptive Systems}, booktitle={Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12}, author={Luckey , Markus and Thanos , Christian and Gerth, Christian and Engels, Gregor}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8484
@inproceedings{Geisen_2012, title={Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt}, volume={Report 01/12}, booktitle={Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium}, publisher={Petra Hofstedt, Claus Lewerentz (BTU Cottbus)}, author={Geisen, Silke }, year={2012}, pages={7–12} }
LibreCat
2012 | Journal Article | LibreCat-ID: 5183
@article{Bodden_Lam_Hendren_2012, title={Partially Evaluating Finite-State Runtime Monitors Ahead of Time}, volume={34}, DOI={10.1145/2220365.2220366}, number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association for Computing Machinery (ACM)}, author={Bodden, Eric and Lam, Patrick and Hendren, Laurie}, year={2012}, pages={1–52} }
LibreCat
| Files available
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 565
@inproceedings{Besova_Walther_Wehrheim_Becker_2012, series={LNCS}, title={Weaving-based configuration and modular transformation of multi-layer systems}, DOI={10.1007/978-3-642-33666-9_49}, booktitle={Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS)}, author={Besova, Galina and Walther, Sven and Wehrheim, Heike and Becker, Steffen}, year={2012}, pages={776–792}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 6720
@inproceedings{Böttcher_Hartel_Heindorf_2012, series={{CRPIT}}, title={Optimized XPath evaluation for Schema-compressed XML data}, volume={124}, booktitle={ADC}, publisher={Australian Computer Society}, author={Böttcher, Stefan and Hartel, Rita and Heindorf, Stefan}, year={2012}, pages={137–144}, collection={{CRPIT}} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6742
@inproceedings{Böttcher_Bokermann_Hartel_2012, title={Generalizing and Improving SQL/XML Query Evaluation}, DOI={10.1109/sitis.2012.72}, booktitle={8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12)}, publisher={IEEE}, author={Böttcher, Stefan and Bokermann, Dennis and Hartel, Rita}, year={2012} }
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 16445
@inbook{Kempkes_Meyer auf der Heide_2012, place={Berlin, Heidelberg}, title={Continuous Local Strategies for Robotic Formation Problems}, DOI={10.1007/978-3-642-30850-5_2}, booktitle={Experimental Algorithms}, author={Kempkes, Barbara and Meyer auf der Heide, Friedhelm}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 16446
@inproceedings{Kempkes_Kling_Meyer auf der Heide_2012, title={Optimal and competitive runtime bounds for continuous, local gathering of mobile robots}, DOI={10.1145/2312005.2312009}, booktitle={Proceedinbgs of the 24th ACM symposium on Parallelism in algorithms and architectures - SPAA ’12}, author={Kempkes, Barbara and Kling, Peter and Meyer auf der Heide, Friedhelm}, year={2012} }
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 16448
@inbook{Kempkes_Meyer auf der Heide_2012, place={Berlin, Heidelberg}, title={Local, Self-organizing Strategies for Robotic Formation Problems}, DOI={10.1007/978-3-642-28209-6_2}, booktitle={Algorithms for Sensor Systems}, author={Kempkes, Barbara and Meyer auf der Heide, Friedhelm}, year={2012} }
LibreCat
| DOI