Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Sort by: Date | Author | Title

Schwartzbach, M. I. (1990). Static Correctness of Hierarchical Procedures. In M. S. Paterson (Ed.), Automata, Languages and Programming: 17th International Colloquium Warwick University, England, July 16-20, 1990 Proceedings (pp. 32-45). Springer. https://doi.org/10.1007/BFb0032020

Schwartzbach, M. I. (1991). Type Inference with Inequalities. In TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8-12, 1991 (pp. 441-455). Springer. https://doi.org/10.1007/3-540-53982-4_24

Schwartzbach, M. I. & Palsberg, J. (1991). What is Type-Safe Code Reuse. In P. America (Ed.), ECOOP'91: Proceedings of the 5th European Conference on Object-Oriented Programming (pp. 325-341). Springer. https://doi.org/10.1007/BFb0057030

Schwartzbach, M. I. & Palsberg, J. (1991). Object-Oriented Type Inference. In A. Paepcke (Ed.), Proceedings of the 6th Conference on Object-Oriented Programming: Systems, Languages, and Applications (pp. 146-161). Association for Computing Machinery. https://doi.org/10.1145/118014.117965

Schwartzbach, M. I., Oxhøj, N. & Palsberg, J. (1992). Making Type Inference Practical. In O. L. Madsen (Ed.), ECOOP '92, European Conference on Object-Oriented Programming: Utrecht, The Netherlands, June 29-July 3, 1992 Proceedings (pp. 329-349). Springer. https://doi.org/10.1007/BFb0053045

Schwartzbach, M. I., Kozen, D. & Palsberg, J. (1992). Efficient Inference of Partial Types. In 33rd Annual Symposium on Foundations of Computer Science, 1992. Proceedings (pp. 363-371). IEEE Press.

Schwartzbach, M. I., Agesen, O. & Palsberg, J. (1993). Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance. In O. M. Nierstrasz (Ed.), ECOOP' 93 - Object-Oriented Programming: 7th European Conference Kaiserslautern, Germany, July 26-30, 1993 Proceedings (pp. 247-267). Springer. https://doi.org/10.1007/3-540-47910-4_14

Schwartzbach, M. I. & Klarlund, N. (1993). Graph Types. In Proceedings of the 20th Annual Symposium on Principles of Programming Languages (pp. 196-205). Association for Computing Machinery. https://doi.org/10.1145/158511.158628

Schwartzbach, M. I., Kozen, D. & Palsberg, J. (1993). Efficient Recursive Subtyping. In Proceedings of the 20th Annual Symposium on Principles of Programming Languages (pp. 419-428). Association for Computing Machinery. https://doi.org/10.1145/158511.158700

Schwartzbach, M. I. & Klarlund, N. (1994). Graphs and Desidable Transductions based on Edge Constraints. In S. Tison (Ed.), Trees in Algebra and Programming - CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11-13, 1994 Proceedings (pp. 187-201). Springer. https://doi.org/10.1007/BFb0017482

Schwartzbach, M. I. & Palsberg, J. (1994). Binding Time Analysis: Abstract Interpretation versus Type Inference. In Proceedings on IEEE 1994 International Conference on Computer Language (pp. 289-298). IEEE Computer Society Press. https://doi.org/10.1109/ICCL.1994.288372

Schwartzbach, M. I., Klarlund, N. & Koistinen, J. (1996). Formal Design Constraints. In Proccedings of the 11th Conference on Object-Oriented Programming: Systems, Languages, and Applications (pp. 370-383). Association for Computing Machinery. https://doi.org/10.1145/236337.236376

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

Schwartzbach, M. I., Madsen, J. L., Jørgensen, M. E. & Klarlund, N. (1997). Automatic Verification of Pointer Programs using Monadic Scond-Order Logic. In Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation (pp. 226-236). Association for Computing Machinery. https://doi.org/10.1145/258915.258936

Schwartzbach, M. I. & Sandholm, A. (1998). Distributed Safety Controllers for Interactive Web Services. In Proccedings on Conference on Fundamental Approaches to Software Engineering (pp. 270-284). Springer. https://doi.org/10.1007/BFb0053596

Schwartzbach, M. I., Mosses, P. D. & Nielsen, M. (Eds.) (1995). TAPSOFT'95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22-26, 1995 Proceedings. Springer. Lecture Notes in Computer Science Vol. 915 https://doi.org/10.1007/3-540-59293-8

Schwartzbach, M. I. & Arenas, M. (Eds.) (2007). Database Programming Languages: 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers. Springer. Lecture Notes in Computer Science Vol. 4797 https://doi.org/10.1007/978-3-540-75987-4

Schwartzbach, M. I. & Ball, T. (Eds.) (2006). PLDI 2006. Proceedings of the 2006 ACM SIGPLAN Conferenceon Programming Language Design and Implementation: June 10-16, 2006 Ottawa, Ontario, Canada. Association for Computing Machinery. http://portal.acm.org/citation.cfm?id=1133981&coll=Portal&dl=GUIDE&CFID=93833102&CFTOKEN=69088742

Schwartzbach, M. I. (1992). Interpretations of Recursive Type Definitions. Theoretical Computer Science, 106(1), 119-134.

Schwartzbach, M. I., Larsen, K. S. & Schmidt, E. M. (1992). A New Formalism for Relational Algebra. Information Processing Letters, 41(3), 163-168. https://doi.org/10.1016/0020-0190(92)90047-Y

Schwartzbach, M. I. & Palsberg, J. (1992). Safety Analysis versus Type Inference with Partial Types. Information Processing Letters, 43(4), 175-180. https://doi.org/10.1016/0020-0190(92)90196-3

Schwartzbach, M. I. & Palsberg, J. (1994). Static Typing for Object-Oriented Programming. Science of Computer Programming, 23(1), 19-53. https://doi.org/10.1016/0167-6423(94)00014-X

Schwartzbach, M. I. (1996). Static Correctness of Hierarchical Procedures. Theoretical Computer Science, 156(1-2), 177-201. https://doi.org/10.1016/0304-3975(95)00086-0

Schwartzbach, M. I., Kozen, D. & Palsberg, J. (1994). Efficient Inference of Partial Types. Journal of Computer and System Sciences, 49(2), 306-324.

Schwartzbach, M. I. & Palsberg, J. (1995). Safety Analysis versus Type Inference. Information and Computation, 118(1), 128-141.

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. In A. Arnold (Ed.), CAAP '90: 15th Colloquium on Trees in Algebra and Programming. Copenhagen, Denmark, May 1990. Proceedings (pp. 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. In 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. (Ed.) (2003). PLAN-X 2004 Informal Proceedings. Department of Computer Science, Aarhus University.

Schwartzbach, N. I. (2021). An Incentive-Compatible Smart Contract for Decentralized Commerce. In IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2021 (pp. 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. In EC '22: Proceedings of the 23rd ACM Conference on Economics and Computation (pp. 129-149) https://doi.org/10.1145/3490486.3538342

Schwartzbach, N. I. (2023). Smart Contracts and Rationality. Århus Universitet.

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. In A. Kerren, C. Hurter & J. Braz (Eds.), VISIGRAPP 2019 - Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (Vol. 2, pp. 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. In A. P. Cláudio, K. Bouatouch, M. Chessa, A. Paljic, A. Kerren, C. Hurter, A. Tremeau & G. M. Farinella (Eds.), Computer Vision, Imaging and Computer Graphics Theory and Applications : 14th International Joint Conference, VISIGRAPP 2019, Revised Selected Papers (pp. 313-337). Springer. https://doi.org/10.1007/978-3-030-41590-7_13

Schulz, H.-J. & Weaver, C. (2024). Transient Visual Analytics. In D. Fellner, D. Fellner, M. El-Assady & H.-J. Schulz (Eds.), 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. In J.-D. Fekete, D. Fisher & M. Sedlmair (Eds.), Progressive Data Analysis: Roadmap and Research Agenda (pp. 108-131). Eurographics Association. https://doi.org/10.2312/pda.20242707

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

Schultz, U. P. (2001). Object-oriented program specialization: Aspects into Aspects - or maybe not? In 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 (pp. 4). Springer.

Schultz, U. P., Danvy, O. (Ed.) & Filinski, A. (Ed.) (2001). Partial Evaluation for Class-Based Object-Oriented Languages. In Lecture Notes In Computer Science: Proceedings of the Second Symposium on Programs as Data Objects (Lecture Notes in Computer Science 2053 ed., Vol. 2053, pp. 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. In Proceedings of the 2003 ACM SIGPLAN conference on Languages, compilers, and tools for embedded systems (pp. 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. In J. E. Bardram, H. B. Christensen, D. Garlan & J. P. Sousa (Eds.), Proceedings of First International Workshop on Computer Support for Human Tasks and Activities (Vol. CfPC-2004-PB-60, pp. 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? In S. Poltrock & C. Simone (Eds.), CSCW’12 : Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work Companion (pp. 29-32). Association for Computing Machinery. https://doi.org/10.1145/2141512.2141529

Displaying results 651 to 700 out of 5630

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University