Publications by Software Engineering & Computing Systems

Are you looking for publications by Section of Software Engineering & Computing Systems? On this page you can find all the publications made by the Section of Software Engineering & Computing Systems - Department of Electrical and Computer Engineering, Aarhus University.

Below you can find a list of all the publications, their publishing date, their author(s), and titles. The list can be sorted by date, author, and title:

List of Publications

Sort by: Date | Author | Title

Jan, S., Schultz, C. P. L., Schwering, A. & Chipofya, M. (2015). Spatial Rules for Capturing Qualitatively Equivalent Configurations in Sketch maps. In T. Lechowski, P. Walega & M. Zawidzki (Eds.), Proceedings of the LQMR 2015 Workshop (Vol. 7, pp. 13-20) https://doi.org/10.15439/2015F372

Schultz, C. P. L. & Bhatt, M. (2015). Encoding Relative Orientation and Mereotopology Relations with Geometric Constraints in CLP(QS). In Annals of Computer Science and Information Systems (Vol. 7, pp. 55-63) http://bazekon.icm.edu.pl/bazekon/element/bwmeta1.element.ekon-element-000171419090

Schultz, C. P. L. & Bhatt, M. (2016). Constructive Geometric Constraint Solving as a General Framework for KR-Based Commonsense Spatial Reasoning. In Workshop on Declarative Learning Based Programming

Santos, P. E., Syfuss, L., Dee, H., Schultz, C. P. L. & Bhatt, M. (2016). Eclipse in Occlusion: A mereotopological representation of celestial eclipses. In 29th International Workshop on Qualitative Reasoning

Racz, P., Syfuss, L., Schultz, C. P. L., van Buiten, M., olde Scholtenhuis, L., Vahdatikhati, F. & Doree, A. (2017). Decision Support for Test Trench Location Selection with 3D Semantic Subsurface Utility Models. In ASCE International Workshop on Computing in Civil Engineering 2017 American Society of Civil Engineers (ASCE). http://ascelibrary.org/doi/10.1061/9780784480847.009

Schultz, C. P. L., W. Guesgen, H. & Amor, R. (2006). Computer-Human Interaction Issues when Integrating Qualitative Spatial Reasoning into Geographic Information Systems. In Proceeding CHINZ '06 Proceedings of the 7th ACM SIGCHI New Zealand chapter's international conference on Computer-human interaction: design centered HCI (pp. 43-51) https://doi.org/10.1145/1152760.1152766

Schultz, C. P. L., R. Clephane, T., W. Guesgen, H. & Amor, R. (2006). UTILISATION OF QUALITATIVE SPATIAL REASONING IN GEOGRAPHIC INFORMATION SYSTEMS. In A. Riedl, W. Kainz & G. A. Elmes (Eds.), Progress in Spatial Data Handling: 12th International Symposium on Spatial Data Handling (1 ed., pp. 27-42). Springer Berlin, Heidelberg. https://doi.org/10.1007/3-540-35589-8

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2007). A Framework for Supporting the Application of Qualitative Spatiotemporal Reasoning. In Proceedings of the Fifth New Zealand Computer Science Research Student Conference (NZCSRSC-07 (pp. 39-46) https://pdfs.semanticscholar.org/045e/6fb399904ea415f33f647ce2485a2c042a19.pdf?_ga=2.218962143.791996264.1503304845-1579627791.1498545755

Schultz, C. P. L., Amor, R., W. Guesgen, H. & Lobb, B. (2007). A DECISION SUPPORT SOFTWARE TOOL FOR REASONING ABOUT THE SUBJECTIVE IMPRESSIONS OF A LIGHTING INSTALLATION. In 24th CIB W78 Conference (pp. 507-513) http://itc.scix.net/data/works/att/w78-2007-077-104-Schultz.pdf

Schultz, C. P. L., W. Guesgen, H. & Amor, R. (2007). A System for Querying With Qualitative Distances in Networks. In Fuzzy Systems Conference, 2007. FUZZ-IEEE 2007. IEEE International (pp. 640-645). IEEE . https://doi.org/10.1109/FUZZY.2007.4295441

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2008). A Framework for Applying Qualitative Spatial and Temporal Reasoning. In J. Holland, A. Nicholas & D. Brignoli (Eds.), New Zealand Computer Science Research Student Conference (pp. 159-164). https://www.cs.auckland.ac.nz/~trebor/papers/SCHU08B.pdf

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2009). Unit Testing for Qualitative Spatial and Temporal Reasoning. In Proceedings of the Twenty-Second International FLAIRS Conference (2009) (pp. 402-407). AAAI Press. https://aaai.org/ocs/index.php/FLAIRS/2009/paper/viewFile/131/351

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2009). Towards A Theory of Application for QSTR Systems. In B. Nebel & S. Wölfl (Eds.), Papers from the 2009 AAAI Spring Symposium: Technical Report SS-09-02 (pp. 29-34). AAAI Press. https://www.cs.auckland.ac.nz/~trebor/papers/SCHU09D.pdf

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2010). The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning Calculi. In J. Li (Ed.), AI 2010: Advances in Artificial Intelligence: 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings (pp. 62-71). Springer. https://doi.org/10.1007/978-3-642-17432-2_7

Bhatt, M., Schultz, C. P. L. & Huang, M. (2012). The Shape of Empty Space: Human-Centred Cognitive Foundations in Computing for Spatial Design. In Visual Languages and Human-Centric Computing (VL/HCC), 2012 IEEE Symposium on (pp. 33-40). IEEE . http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6344477

Bhatt, M., Hee Lee, J. & Schultz, C. P. L. (2011). CLP(QS): A Declarative Spatial Reasoning Framework. In M. J. Egenhofer, N. Giudice, R. Moratz & M. Worboys (Eds.), Spatial Information Theory: 10th International Conference, COSIT 2011, Belfast, ME, USA (1 ed., pp. 210-230). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23196-4_12

Schultz, C. P. L. & Bhatt, M. (2011). TOWARD ACCESSING SPATIAL STRUCTURE FROM BUILDING INFORMATION MODELS. In Proceedings of 28th Urban Data Management Symposium (pp. 25-30). CRC Press, Taylor & Francis Group. https://www.int-arch-photogramm-remote-sens-spatial-inf-sci.net/XXXVIII-4-C21/25/2011/isprsarchives-XXXVIII-4-C21-25-2011.pdf

Schultz, C. P. L. & Bhatt, M. (2012). Towards a Declarative Spatial Reasoning System. In Proceeding ECAI'12 Proceedings of the 20th European Conference on Artificial Intelligence (pp. 925-926). IOS Press Amsterdam. https://doi.org/10.3233/978-1-61499-098-7-925

Schultz, C. P. L. & Bhatt, M. (2013). InSpace3D: A Middleware for Built Environment Data Access and Analytics. In W. Agresti, J. O. Aje, S. Baek, I. Bojanova, F. Bouthillier, F. J. Cantu Ortiz, A. Carswell, I. Casas, G. Darkazalli, E. A. Edmonds, C. Ghezzi, R. Khan, M. Koval, M. Levi, B. Lin & R. V. McCarthy (Eds.), Procedia Computer Science (Vol. 18, pp. 80-89) https://doi.org/10.1016/j.procs.2013.05.171

Gondorf, C., Schultz, C. P. L. & Bhatt, M. (2014). Qualitative Eye-Tracking Analyses of Problem Solving Strategies in Children with Dyslexia. In CILC2

Bhatt, M. & Schultz, C. P. L. (2014). PEOPLE-CENTERED SPATIAL DESIGN: ON VISUO-SPATIAL COGNITION IN THE BUILT ENVIRONMENT. In INTERNATIONAL CONFERENCE ON HUMAN BEHAVIOR IN DESIGN https://doi.org/10.13140/2.1.4184.8327

Bhatt, M., Schultz, C. P. L. & Thosar, M. (2014). Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Indus- try Scale Computer-Aided Architecture Design. In 14th International Conference on Principles of Knowledge Representation and Reasonin

Schultz, C. P. L. & Bhatt, M. (2014). Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes. In ECAI 2014 (Vol. 263, pp. 795-800) https://doi.org/10.3233/978-1-61499-419-0-795

Schultz, C. P. L. & Bhatt, M. (2015). Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning. In S. I. Fabrikant, M. Raubal, M. Bertolotto, C. Davies, S. Freundschuh & S. Bell (Eds.), Spatial Information Theory (1 ed., pp. 331-353). Springer International Publishing. https://doi.org/10.1007/978-3-319-23374-1

Walega, P. A., Bhatt, M. & Schultz, C. P. L. (2015). ASPMT(QS): Non- Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. In F. Calimeri, G. Ianni & M. Truszynski (Eds.), Logic Programming and Nonmonotonic Reasoning (1 ed.). Springer International Publishing. https://doi.org/10.1007/978-3-319-23264-5

Chipofya, M., Schwering, A., Jan, S., Schultz, C. P. L. & Harason, E. (2015). Left/right relations for Qualitative Spatial Representation of Networks. In 14th Mexican International Conference on Artificial Intelligence

Bhatt, M., Suchan, J., Schultz, C. P. L., Kondyli, V. & Goyal, S. (2016). Artificial Intelligence for Predictive and Evidence Based Architecture Design. In 30th AAAI Conference on Artificial Intelligence, AAAI 2016 (pp. 4349-4350) file:///C:/Users/au564491/Downloads/12431-56479-1-PB.pdf

Schultz, C. P. L. & Bhatt, M. (2016). A Numerical Optimisation Based Characterisation of Spatial Reasoning. In Rule Technologies: Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Proceedings (pp. 199-207). Springer. https://doi.org/10.1007/978-3-319-42019-6 13

Bhatt, M., Suchan, J., Kondyli, V. & Schultz, C. P. L. (2016). Embodied visuo-locomotive experience analysis: immersive reality based summarisation of experiments in environment-behaviour studies. In Proceedings of the ACM Symposium on Applied Perception, SAP 2016 (pp. 133-133) https://doi.org/10.1145/2931002.2948720

Boudjadar, J. (2017). An Efficient Energy-driven Scheduling of DVFS-Multicore Systems with a Hierarchy of Shared Memories. In Proceedings - 2017 IEEE/ACM 21st International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2017: DS-RT 2017 (pp. 1-8). IEEE. https://doi.org/10.1109/DISTRA.2017.8167661

Schultz, C. P. L., Bhatt, M. & Suchan, J. (2016). Probabilistic Spatial Reasoning in Constraint Logic Programming. In S. Schockaert & P. Senellart (Eds.), Scalable Uncertainty Management - 10th International Conference, SUM 2016, Proceedings (pp. 289-302). Springer. https://link.springer.com/chapter/10.1007/978-3-319-45856-4_20

Suchan, J., Bhatt, M. & Schultz, C. P. L. (2016). Deeply Semantic Inductive Spatio-Temporal Learning. In 26th International Conference on Inductive Logic Programming https://arxiv.org/pdf/1608.02693.pdf

Krukar, J., Schultz, C. P. L. & Bhatt, M. (2017). Towards Embodied 3D Isovists: Incorporating cognitively-motivated semantics of `space’ and the architectural environment in 3D visibility analysis. In T. Heitor, M. Serra, J. Pinelo Silva, M. Bacharel & L. Cannas da Silva (Eds.), Proceedings - 11th International Space Syntax Symposium, SSS 2017 (pp. 2549-2561). Article #166 Instituto Superior Técnico, Departamento de Engenharia Civil, Arquitetura e Georrecursos, Portugal. http://www.11ssslisbon.pt/docs/book-proceedings-05072017.pdf

Bennett, R., Gerke, M., Crompvoets, J., Ho, S., Schwering, A., Chipofya, M., Schultz, C. P. L., Sein, T., Birado, M., Alemie, B., Wayumba, R., Kundert, K., Crommelinck, S. & Stöcker, C. (2017). Building Third Generation Land Tools: Its4land, Smart Sketchmaps, UAVs, Automatic Feature Extraction, and the GeoCloud. Paper presented at Land and Poverty Conference 2017, Washington, District of Columbia, United States. file:///C:/Users/au564491/Downloads/11-07-Bennett-288_paper.pdf

Chipofya, M., Jan, S., Schultz, C. P. L. & Schwering, A. (2017). Towards Smart Sketch Maps for Community-driven Land Tenure Recording Activities. Paper presented at 20th AGILE International Conference on Geographic Information Science, Wageningen, Netherlands. https://agile-online.org/images/conference_2017/Proceedings2017/shortpapers/155_ShortPaper_in_PDF.pdf

Amor, R., Schultz, C. P. L., Lobb, B. & Guesgen, H. W. (2008). Qualitative design support for engineering and architecture. Advanced Engineering Informatics, 23(1), 68-80. https://doi.org/10.1016/j.aei.2008.07.003

Schultz, C. P. L. & Bhatt, M. (2012). Multimodal spatial data access for architecture design assistance. Journal of Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 26(2), 177-203. https://doi.org/10.1017/S0890060412000066

Chipofya, M., Schultz, C. P. L. & Schwering, A. (2015). A meta- heuristic approach for efficient and effective sketch-to-metric map alignment. International Journal of Geographical Information Science, 29(1).

Schultz, C. P. L., Bhatt, M. & Borrmann, A. (2015). Bridging Qualitative Spatial Constraints and Feature-Based Parametric Modelling: Expressing Visibility and Movement Constraints. Advanced Engineering Informatics, 31, 2-17. https://doi.org/10.1016/j.aei.2015.10.004

Walega, P. A., Schultz, C. P. L. & Bhatt, M. (2016). Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. arXiv. https://arxiv.org/pdf/1606.07860.pdf

Jan, S., Schwering, A., Schultz, C. P. L. & Chipofya, M. (2017). Cognitively Plausible Representations for the Alignment of Sketch and Geo-referenced Maps. Journal of Spatial Information Science, 14(2017), 31-59. https://doi.org/10.5311/JOSIS.2017.14.294

Schrey-Niemenmaa, K., Clark, R., Matthiasdottir, A., Georgsson, F., Kontio, J., Bennedsen, J., Rouvrais, S. & Hermon, P. (2017). The Power of Self-evaluation Based Cross-Sparring in Developing the Quality of Engineering Programmes. In M. E. Auer & K.-S. Kim (Eds.), Engineering Education for a Smart Society - World Engineering Education Forum and Global Engineering Deans Council, 2016 (Vol. 627, pp. 158-174). Springer. https://doi.org/10.1007/978-3-319-60937-9_13

Pedersen, N., Lausdahl, K. G., Vidal, E. S., Larsen, P. G. & Madsen, J. (2017). Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS. In SIMULTECH 2017 - Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications: Simultech 2017 (Vol. 1, pp. 73-82). SCITEPRESS Digital Library. https://doi.org/10.5220/0006412700730082

Esparza Isasa, J. A., Larsen, P. G. & Hansen, F. O. (2017). A holistic approach to energy-aware design of cyber-physical systems. International Journal of Embedded Systems, 9(3), 283-295. https://doi.org/10.1504/IJES.2017.10005696

Ouy, J., Lecomte, T., Christiansen, M. P., Vill Henriksen, A., Hallerstede, S., Larsen, P. G., Jæger, C. D., Basagiannis, S., Couto, L. D., El-din Mady, A., Ridouanne, H., Moner Poy, H., Valverde Alcala, J., König, C. & Balcu, N. (2016). INtegrated TOol chain for model-based design of CPSs: D1.2 - Case Studies 2. http://projects.au.dk/fileadmin/D1.2a_Case_Studies.pdf

Oda, T., Araki, K. & Larsen, P. G. (2017). A Formal Modeling Tool for Exploratory Modeling in Software Development. IEICE Transactions on Information and Systems, E100.D(6), 1210-1217. https://doi.org/10.1587/transinf.2016FOP0003

Boudjadar, J. & Nadjm-Tehrani, S. (2017). Schedulability and Memory Interference Analysis of Multicore Preemptive Real-time Systems. 263-274. Abstract from the 8th ACM/SPEC International Conference on Performance Engineering, L'Aquila, Italy. https://doi.org/10.1145/3030207.3030233

Madzar, B., Boudjadar, J., Dingel, J., Fuhrman, T. & S, R. (2017). Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. In O. Kouchnarenko & R. Khosravi (Eds.), Formal Aspects of Component Software - 13th International Conference, FACS 2016, Revised Selected Papers: FACS 2016 (Vol. 10231, pp. 153-171). Springer. https://doi.org/10.1007/978-3-319-57666-4_10

Bennedsen, J. (2017). A Case Study on Mathematics. In L. Santos Green, J. R. Banas & R. A. Perkins (Eds.), The Flipped College Classroom: Conceptualized and Re-Conceptualized (pp. 143-147). Springer. https://doi.org/10.1007/978-3-319-41855-1

Tran-Jørgensen, P. W. V., Larsen, P. G. & T. Leavens, G. (2018). Automated translation of VDM to JML-annotated Java. International Journal on Software Tools for Technology Transfer, 20(2), 211-235. https://doi.org/10.1007/s10009-017-0448-3

Displaying results 601 to 650 out of 866

Back to the main page

Revised 10.08.2023

AU Engineering