Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Sortér efter: Dato | Forfatter | Titel

Schwartzbach, M. I. & Larsen, K. S. (1994). Injectivity of Composite Functions. Journal of Symbolic Computation, 17(5), 393-408.

Schwartzbach, M. I., Kozen, D. & Palsberg, J. (1995). Efficient Recursive Subtyping. Mathematical Structures in Computer Science, 5(1), 113-125.

Schwartzbach, M. I., Agesen, O. & Palsberg, J. (1995). Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance. Software: Practice & Experience, 25(9), 975-995.

Schwartzbach, M. I., Askari, H. & Hougaard, O. I. (1995). Type Inference of Turbo Pascal. International Journal on Software Tools for Technology Transfer, 16(4), 160-169.

Schwartzbach, M. I. & Klarlund, N. (1999). A Domain-Specific Languane for Regular Sets of Strings and Trees. I E E E Transactions on Software Engineering, 25(3), 378-386. https://doi.org/10.1109/32.798326

Schwartzbach, M. I. (1990). Infinite Values in Hierarchical Imperative Types. I A. Arnold (red.), CAAP '90: 15th Colloquium on Trees in Algebra and Programming. Copenhagen, Denmark, May 1990. Proceedings (s. 254-268). Springer. https://doi.org/10.1007/3-540-52590-4_53

Schwartzbach, M. I. & Klarlund, N. (1997). A Domain-Specific Language for Regular Sets of Strings and Trees. I Proceedings of the Conference on Domain-Specific Languages

Schwartzbach, M. I. & Meineche Smidt, E. (1990). Types and Automata. Aarhus Universitetsforlag.

Schwartzbach, M. I. (1993). Interpretations of Rekursive Type Definitions. Theoretical Computer Science, 106(1), 119-134. https://doi.org/10.1016/0304-3975(92)90280-S

Schwartzbach, M. I. (red.) (2003). PLAN-X 2004 Informal Proceedings. Department of Computer Science, Aarhus University.

Schwartzbach, N. I. (2021). An Incentive-Compatible Smart Contract for Decentralized Commerce. I IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2021 (s. 1-3). IEEE. https://doi.org/10.1109/ICBC51069.2021.9461077

Schwartzbach, N. I. (2022). Payment Schemes from Limited Information with Applications in Distributed Computing. I EC '22: Proceedings of the 23rd ACM Conference on Economics and Computation (s. 129-149) https://doi.org/10.1145/3490486.3538342

Schwartzbach, M. I. (1986). A Category Theoretic Analysis of Predicative Type Theory. Cornell University Press.

Schwartzbach, N. I. (2023). Smart Contracts and Rationality. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Schulz, H.-J. (2010). Explorative Graph Visualization. https://doi.org/10.18453/rosdok_id00000674

Schulz, H.-J. (2011). Treevis.net: A Tree Visualization Reference. IEEE Computer Graphics and Applications, 31(6), 11-15. https://doi.org/10.1109/MCG.2011.103

Schulz, H.-J., Urban, B. & Lukas, U. F. V. (red.) (2015). Proceedings of the International Summer School on Visual Computing 2015. Fraunhofer Verlag. http://publica.fraunhofer.de/documents/N-370236.html

Schulz, H.-J., Nocke, T., Heitzler, M. & Schumann, H. (2013). A Design Space of Visualization Tasks. IEEE Transactions on Visualization and Computer Graphics, 19(12), 2366-2375. https://doi.org/10.1109/TVCG.2013.120

Schulz, H.-J. & Hadlak, S. (2015). Preset-based generation and exploration of visualization designs. Journal of Visual Languages Computing, 31 (Part A), 9-29. https://doi.org/10.1016/j.jvlc.2015.09.004

Schulz, H.-J. & Schumann, H. (2006). Visualizing Graphs - A Generalized View. I E. Banissi, R. A. Burkhard, A. Ursyn, J. J. Zhang, M. Bannatyne, C. Maple, A. J. Cowell, G. Y. Tian & M. Hou (red.), Proceedings of the 10th International Conference on Information Visualisation (IV'06) (s. 166-173). IEEE. https://doi.org/10.1109/IV.2006.130

Schulz, H.-J., Nocke, T. & Schumann, H. (2006). A Framework for Visual Data Mining of Structures. -, 48, 157-166. http://crpit.com/abstracts/CRPITV48Schulz.html

Schulz, H.-J., Akbar, Z. & Maurer, F. (2013). A generative layout approach for rooted tree drawings. I S. Carpendale, W. Chen & S. Hong (red.), Proceedings of the IEEE Pacific Visualization Symposium PacificVis (s. 225-232). IEEE. https://doi.org/10.1109/PacificVis.2013.6596149

Schulz, H.-J., John, M., Unger, A. & Schumann, H. (2008). Visual Analysis of Bipartite Biological Networks. I C. P. Botha, G. Kindlmann, W. Niessen & B. Preim (red.), Proceedings of the Eurographics Workshop on Visual Computing for Biomedicine VCBM 2008 (s. 135-142). Eurographics Association. https://doi.org/10.2312/VCBM/VCBM08/135-142

Schulz, H.-J., Hadlak, S. & Schumann, H. (2013). A Visualization Approach for Cross-level Exploration of Spatiotemporal Data. I S. Lindstaedt & M. Granitzer (red.), Proceedings of the International Conference on Knowledge Management and Knowledge Technologies (i-Know'13) Artikel 2 Association for Computing Machinery. https://doi.org/10.1145/2494188.2494199

Schulz, H.-J., Uhrmacher, A. M. & Schumann, H. (2011). Visual Analytics for Stochastic Simulation in Cell Biology. I S. Lindstaedt & M. Granitzer (red.), Proceedings of the Special Track on Theory and Applications of Visual Analytics (TAVA) of the i-Know'11 Conference Artikel 48 Association for Computing Machinery. https://doi.org/10.1145/2024288.2024345

Schulz, H.-J., Hadlak, S. & Schumann, H. (2011). The Design Space of Implicit Hierarchy Visualization: A Survey. IEEE Transactions on Visualization and Computer Graphics, 17(4), 393-411. https://doi.org/10.1109/TVCG.2010.79

Schulz, H.-J., Hadlak, S. & Schumann, H. (2011). Point-Based Visualization for Large Hierarchies. IEEE Transactions on Visualization and Computer Graphics, 17(5), 598-611. https://doi.org/10.1109/TVCG.2010.89

Schulz, H.-J., Hadlak, S. & Schumann, H. (2009). Point-based tree representation: A new approach for large hierarchies. I P. Eades, T. Ertl & H.-W. Shen (red.), Proceedings of the IEEE Pacific Visualization Symposium PacificVis (s. 81-88). IEEE. https://doi.org/10.1109/PACIFICVIS.2009.4906841

Schulz, H.-J., Röhlig, M., Nonnemann, L., Aehnelt, M., Diener, H., Urban, B. & Schumann, H. (2019). Lightweight Coordination of Multiple Independent Visual Analytics Tools. I A. Kerren, C. Hurter & J. Braz (red.), VISIGRAPP 2019 - Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (Bind 2, s. 106-117). SCITEPRESS Digital Library. https://doi.org/10.5220/0007571101060117

Schulz, H.-J., Röhlig, M., Nonnemann, L., Hogräfer, M., Aehnelt, M., Urban, B. & Schumann, H. (2020). A Layered Approach to Lightweight Toolchaining in Visual Analytics. I A. P. Cláudio, K. Bouatouch, M. Chessa, A. Paljic, A. Kerren, C. Hurter, A. Tremeau & G. M. Farinella (red.), Computer Vision, Imaging and Computer Graphics Theory and Applications : 14th International Joint Conference, VISIGRAPP 2019, Revised Selected Papers (s. 313-337). Springer. https://doi.org/10.1007/978-3-030-41590-7_13

Schulz, H.-J. & Weaver, C. (2024). Transient Visual Analytics. I D. Fellner, D. Fellner, M. El-Assady & H.-J. Schulz (red.), EuroVA 2024 - EuroVis Workshop on Visual Analytics The Eurographics Association. https://doi.org/10.2312/eurova.20241108

Schulz, H.-J., Aupetit, M. & Fisher, D. (2024). Human Aspects. I J.-D. Fekete, D. Fisher & M. Sedlmair (red.), Progressive Data Analysis: Roadmap and Research Agenda (s. 108-131). Eurographics Association. https://doi.org/10.2312/pda.20242707

Schulz, H.-J. & Angelini, M. (2025). Foreword to special section: Highlights from EuroVA 2024. Computers & Graphics, 133, Artikel 104450. https://doi.org/10.1016/j.cag.2025.104450

Schultz, U. P. (2004). A Unification of Inheritance and Automatic Program Specialization. I Lecture Notes in Computer Science: Generative Programming and Component Engineering (Bind 3286/2004, s. 244-265). Springer.

Schultz, U. P. (2001). Object-oriented program specialization: Aspects into Aspects - or maybe not? I European Conference on Object Oriented Programming: Object-Oriented Technology. ECOOP 2001 Workshop Reader ECOOP 2001 Workshops, Panel, and Posters. Workshop on Generative Programming. WGP'01 (s. 4). Springer.

Schultz, U. P., Danvy, O. (red.) & Filinski, A. (red.) (2001). Partial Evaluation for Class-Based Object-Oriented Languages. I Lecture Notes In Computer Science: Proceedings of the Second Symposium on Programs as Data Objects (Lecture Notes in Computer Science 2053 udg., Bind 2053, s. 173-197). Springer.

Schultz, U. P. (2002). Towards unifying inheritance and automatic program specialization. D A I M I P B, (566).

Schultz, U. P., Burgaard, K., Christensen, F. G. & Knudsen, J. L. (2003). Compiling Java for low-end embedded systems. I Proceedings of the 2003 ACM SIGPLAN conference on Languages, compilers, and tools for embedded systems (s. 42-50). Association for Computing Machinery.

Schultz, U. P., Lawall, J. L. & Consel, C. (2003). Automatic program specialization for Java. ACM Transactions on Programming Langauges and Systems (TOPLAS), 25(4), 452-499.

Schultz, U. P. & Schougaard, K. R. (2004). Supporting Activity-Based Computingusing Dynamically (De)Composable Mobile Applications. I J. E. Bardram, H. B. Christensen, D. Garlan & J. P. Sousa (red.), Proceedings of First International Workshop on Computer Support for Human Tasks and Activities (Bind CfPC-2004-PB-60, s. 12-16). Center for Pervasive Computing.

Schraefel, M. C., Rouncefield, M., Kellogg, W., Ackerman, M., Marsden, G., Bødker, S., Wyche, S. & Reddy, M. (2012). Domain crossing: how much expertise is enough? I S. Poltrock & C. Simone (red.), CSCW’12 : Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work Companion (s. 29-32). Association for Computing Machinery. https://doi.org/10.1145/2141512.2141529

Schougaard, K. R. (2004). Virtual Distances Used for Optimization of Applicationsin the Pervasive Computing Domain. I A. Fersha, H. Hortner & G. Kotsis (red.), Advances in Pervasive Computing: A Collection of Contributions Presented at PERVASIVE 2004 (s. 133-139). Stollfuß Medien.

Schougaard, K. R. (2007). Vehicular Mobility Prediction by Bayesian Networks. (s. 1-7). Department of Computer Science, University of Aarhus.

Schougaard, K. R., Hansen, K. M. & Christensen, H. B. (2008). SA@Work - A Field Study of Software Architecture and Software Quality at Work. I 15th Asia-Pacific Software Engineering Conference APSEC 2008 (s. 411-418). IEEE Computer Society Press. https://doi.org/10.1109/APSEC.2008.41

Schougaard, K. R. & Langdal, J. (2010). Model-based Translucency in Middleware: Supporting Seamful Development. I S. Terzis & L. Veiga (red.), Proceedings of the 2nd International Workshop on Middleware for Pervasive Mobile and Embedded Computing : M-MPAC'10 (s. Article No. 6 ). Association for Computing Machinery. https://doi.org/10.1145/1890791.1890797

Schougaard, K. R. & Schultz, U. P. (2003). POMP - Pervasive Object Model Project. Afhandling præsenteret på ECOOP 2003 Workshop on Resource Aware Computing., Darmstadt, Tyskland.

Schougaard, K. R., Grønbæk, K. & Scharling, T. (2012). Indoor Pedestrian Navigation Based on Hybrid Route Planning and Location Modeling. Lecture Notes in Computer Science, 7319, 289-306. https://doi.org/10.1007/978-3-642-31205-2_18

Schougaard, K. R. (2007). Programming with Location: From Conceptualization to Language Design. Department of Computer Science, Aarhus University.

Schou, J. K. R. & Wang, B. (2024). PersiSort: A New Perspective on Adaptive Sorting Based on Persistence. I R. I. Nishat (red.), Canadian Conference on Computational Geometry: Proceedings of the 36th Canadian Conference on Computational Geometry (CCCG 2024) Brock University, St. Catharines, Canada, July 17 - 19, 2024 (s. 287-312)

Schou, J. K. R. (2025). Algorithmic Innovation through Persistence, Topology, and Geometry. [Ph.d.-afhandling, Aarhus Universitet].

Viser resultater 751 til 800 ud af 6015

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series