-
Datalog in Academia and Industry – Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings
Barceló, Pablo ; Pichler, Reinhard 2012 Springer Berlin Heidelberg
-
Programming Multi-Agent Systems – 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers
Dastani, Mehdi ; Hübner, Jomi F. ; Logan, Brain 2012 Springer Berlin Heidelberg
-
Multicore Software Engineering, Performance, and Tools – International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
Pankratius, Viktor ; Philippsen, Michael 2012 Springer Berlin Heidelberg
-
Objects, Models, Components, Patterns – 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
Furia, Carlo A. ; Nanz, Sebastian 2012 Springer Berlin Heidelberg
-
Perspectives of Systems Informatics – 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Clarke, Edmund M. ; Virbickajte, Irina B. ; Voronkov, Andrei 2012 Springer Berlin Heidelberg
-
Programming Multi-Agent Systems – 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers
Collier, Rem ; Dix, Jürgen ; Novák, Peter 2012 Springer Berlin Heidelberg
-
Fundamental Approaches to Software Engineering – 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
Lara, Juan de ; Zisman, Andrea 2012 Springer Berlin Heidelberg
-
Programming Languages and Systems – 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
Vitek, Jan 2012 Springer Berlin Heidelberg
-
New Frontiers in Applied Data Mining – PAKDD 2011 International Workshops, Shenzhen, China, May 24-27, 2011, Revised Selected Papers
Cao, Longbing ; Huang, Joshua Zhexue ; Bailey, James ; Koh, Yun Sing ; Luo, Jun 2012 Springer Berlin Heidelberg
-
Argumentation in Multi-Agent Systems – 7th International Workshop, ArgMAS 2010 Toronto, ON, Canada, May 10, 2010 Revised, Selected and Invited Papers
McBurney, Peter ; Rahwan, Iyad ; Parsons, Simon 2011 Springer Berlin Heidelberg
-
Practical Aspects of Declarative Languages – 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
2012 Springer Berlin Heidelberg
-
Datalog Reloaded – First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers
Moor, Oege de ; Gottlob, Georg ; Furche, Tim ; Sellers, Andrew 2011 Springer Berlin Heidelberg
-
Programming Languages and Systems – 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
Seidl, Helmut 2011 Springer Berlin Heidelberg
-
Automated Deduction in Geometry – 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
Schreck, Pascal ; Narboux, Julien ; Richter-Gebert, Jürgen 2011 Springer Berlin Heidelberg
-
Implementation and Application of Functional Languages – 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
Hage, Jurriaan ; Morazán, Marco T. 2011 Springer Berlin Heidelberg
-
Frontiers of Combining Systems – 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Tinelli, Cesare ; Sofronie-Stokkermans, Viorica 2011 Springer Berlin Heidelberg
-
Implementation and Application of Functional Languages – 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
Scholz, Sven-Bodo ; Chitil, Olaf 2011 Springer Berlin Heidelberg
-
Computational Logic in Multi-Agent Systems – 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
2011 Springer Berlin Heidelberg
-
Model-driven engineering for digital twins: a systematic mapping study
Lehner, Daniel ; Zhang, Jingxi ; Pfeiffer, Jérôme ; Sint, Sabine ; Splettstößer, Ann-Kathrin ; Wimmer, Manuel ; Wortmann, Andreas
-
Search Based Software Engineering – Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings
Cohen, Myra B. ; O'Cinneide, Mel 2011 Springer Berlin Heidelberg