Advances in Manufacturing, Production Management and Process Control Joint proceedings of the AHFE 2018 International Conference on Advanced Production Management and Process Control, the AHFE International Conference on Human Aspects of Advanced Manufacturing, and the AHFE International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Advances in Cross-Cultural Decision Making Proceedings of the AHFE 2017 International Conference on Cross-Cultural Decision Making, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Advances in Human Factors in Simulation and Modeling Proceedings of the AHFE 2017 International Conference on Human Factors in Simulation and Modeling, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Conceptual Modeling 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29,2014. Proceedings

Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers

Augmented Environments for Computer-Assisted Interventions 9th International Workshop, AE-CAI 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014, Proceedings

Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

Medical Computer Vision: Algorithms for Big Data International Workshop, MCV 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers

High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers

Advances in Conceptual Modeling ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings

Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers

Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers

Modeling and Simulation in Engineering, Economics and Management International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012. Proceedings

Breast Imaging 11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012. Proceedings

Intelligent Virtual Agents 12th International Conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012. Proceedings

Critical Infrastructure Protection VI 6th IFIP WG 11.10 International Conference, ICCIP 2012, Washington, DC, USA, March 19-21, 2012, Revised Selected Papers

Engineering Psychology and Cognitive Ergonomics 9th International Conference, EPCE 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings

Functional Imaging and Modeling of the Heart 6th International Conference, FIMH 2011, New York City, NY, USA, May 25-27, 2011. Proceedings

Digital Human Modeling Third International Conference, ICDHM 2011, Held as Part of HCI International 2011, Orlando, FL, USA July 9-14, 2011. Proceedings

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers

Spatial Cognition VII International Conference, Spatial Cognition 2010, Mt. Hood/Portland, OR, USA, August 15-19, 2010. Proceedings

Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers

Biomedical Simulation 5th International Symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010. Proceedings

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

Intelligent Virtual Agents 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010. Proceedings

Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I

Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II

Engineering Psychology and Cognitive Ergonomics 8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings

Nano-Net Third International ICST Conference, NanoNet 2008, Boston, MA, USA, September 14-16, 2008, Revised Selected Papers

Multi-Agent-Based Simulation VIII International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers

Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings

Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings

Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers

Models for Computer Aided Tolerancing in Design and Manufacturing Selected Conference Papers from the 9th CIRP International Seminar on Computer-Aided Tolerancing, held at Arizona State University, Tempe, Arizona, USA, 10-12 April, 2005

Functional Imaging and Modeling of the Heart 4th International Conference, FIHM 2007, Salt Lake City, UT, USA, June 7-9, 2007. Proceedings

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Geometric Modeling and Processing - GMP 2006 4th International Conference, Pittsburgh, PA, USA, July 26-28, 2006. Proceedings

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III

Multi-Agent and Multi-Agent-Based Simulation Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers