-
Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
-
Intelligence Science and Big Data Engineering – 4th International Conference, IScIDE 2013, Beijing, China, July 31 – August 2, 2013, Revised Selected Papers
Sun, Changyin ; Fang, Fang ; Zhou, Zhi-Hua ; Yang, Wankou ; Liu, Zhiyong 2013 Springer Berlin Heidelberg
-
Principles and Practice of Constraint Programming – 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Schulte, Christian 2013 Springer Berlin Heidelberg
-
Analytical and Stochastic Modeling Techniques and Applications – 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings
Dudin, Alexander ; De Turck, Koen 2013 Springer Berlin Heidelberg
-
Language and Automata Theory and Applications – 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
Dediu, Adrian-Horia ; Martín-Vide, Carlos ; Truthe, Bianca 2013 Springer Berlin Heidelberg
-
Advances in Bioinformatics and Computational Biology – 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings
Souto, Marcilio C. P. de ; Kann, Maricel G. 2012 Springer Berlin Heidelberg
-
Automata, Languages, and Programming – 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
2012 Springer Berlin Heidelberg
-
Automata, Languages, and Programming – 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I
Czumaj, Artur ; Mehlhorn, Kurt ; Pitts, Andrew ; Wattenhofer, Roger 2012 Springer Berlin Heidelberg
-
Graph Structures for Knowledge Representation and Reasoning – Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
Croitoru, Madalina ; Rudolph, Sebastian ; Wilson, Nic ; Howse, John ; Corby, Olivier 2012 Springer Berlin Heidelberg
-
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems – 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings
Beldiceanu, Nicolas ; Jussien, Narendra ; Pinson, Eric 2012 Springer Berlin Heidelberg
-
Formal Concept Analysis – 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings
Valtchev, Petko ; Jäschke, Robert 2011 Springer Berlin Heidelberg
-
Reconfigurable Computing: Architectures, Tools and Applications – 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings
Koch, Andreas ; Krishnamurthy, Ram ; McAllister, John ; Woods, Roger ; El-Ghazawi, Tarek 2011 Springer Berlin Heidelberg
-
Recent Advances in Constraints – 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
Larrosa, Javier ; O'Sullivan, Barry 2011 Springer Berlin Heidelberg
-
Algorithms and Computation – 21st International Symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010, Proceedings, Part II
Katoh, Naoki ; Kumar, Amit 2010 Springer Berlin Heidelberg
-
Programming Languages and Systems – 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
Barthe, Gilles 2010 Springer Berlin Heidelberg
-
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010, Sao Paulo, Brazil, November 8-11, 2010. Proceedings
Bloch, Isabelle ; Cesar, Jr., Roberto M. 2010 Springer Berlin Heidelberg
-
Optimized supervisory control of a combined heat and power plant by mixed-integer nonlinear model predictive control
Bitner, Dimitri ; Burda, Artyom ; Grotjahn, Martin 2021 Hochschule Hannover
-
GLOSA System with Uncertain Green and Red Signal Phases
Typaldos, Panagiotis ; Koutsas, Petros ; Papamichail, Ioannis ; Papageorgiou, Markos 2023 TUDpress
-
Efficient Dispatch of Multi-object Polymorphic Call Sites in Contextual Role-Oriented Programming Languages
Schütze, Lars ; Castrillon, Jeronimo 2020 Technische Universität Dresden
-
Efficient Late Binding of Dynamic Function Compositions
Schütze, Lars ; Castrillon, Jeronimo 2020 Technische Universität Dresden