Publikationer

Søg publikationer fra Institut for Datalogi

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

Ling, Y., Elling, J. & Nielsen, T. T. (1996). Capacity of Intelligent Underlay and Overlay Network. I IEEE Colloquium on Advanced TDMA Techniques and Applications (Digest No: 1996/234) IEEE Computer Society Press. https://doi.org/10.1049/ic:19961234

Jensen, K. & Emerson, E. A. (red.) (1996). Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods in System Design, 9(1/2), 7-40. https://doi.org/10.1007/BF00625967

Bertelsen, O. W. (1996). Contradictions in the Festival Project - Activity systems, obstacles and dynamic forces in design. I Proceedings of the 19th Information Systems Research Seminar in Scandinavia (s. 597-612)

Bødker, S. (1996). Creating conditions for participation: conflicts and resources in systems design. Human-Computer Interaction, 11, 215-236. https://doi.org/10.1207/s15327051hci1103_2

Danvy, O. (1996). Décompilation de lambda-interprètes. I JFLA '96 - Journées Francophones des Langages Applicatifs (Bind 15)

Grønbæk, K. & Sloth, L. (1996). DHM: an open Dexter-based hypermedia serivce. Abstract fra DHM: an open Dexter-based hypermedia serivce. https://doi.org/10.1145/231738.232604

Arge, L. A. (1996). Efficient External-Memory Data Structures and Applications. Department of Computer Science, Aarhus University.

Danvy, O., Malmkjær, K. & Palsberg, J. (1996). Eta-expansion does The Trick. ACM Transactions on Programming Langauges and Systems (TOPLAS), 18(6), 730-751. https://doi.org/10.1145/236114.236119

Danvy, O., Malmkjær, K. & Palsberg, J. (1996). Eta-Expansion Does The Trick. BRICS Report Series, (RS-96-17).

Vorum, H., Madsen, P., Rasmussen, H. H., Etzerodt, M., Svendsen, I., Celis, J. E. & Honoré, B. (1996). Expression and divalent cation binding properties of the novel chemotactic inflammatory protein psoriasin. Electrophoresis, 17(11), 1787-96. https://doi.org/10.1002/elps.1150171118

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

Miltersen, P. B. (1996). Lower bounds for static dictionaries on RAMs with bit operations but no multiplication. I Automata, Languages and Programming: 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8-12, 1996 Proceedings (s. 442-453). Springer. https://doi.org/10.1007/3-540-61440-0_149

Bødker, S. (1996). Mediating technical platforms to support the development of shared work practices. I Proceedings of the 4th Software Cultures Workshop (s. 91-102)

Sassone, V., Nielsen, M. & Winskel, G. (1996). Models for concurrency: towards a classification. Theoretical Computer Science, 170(1-2), 297-348. https://doi.org/10.1016/S0304-3975(96)80710-9

Damgård, I. B. & Knudsen, L. R. (1996). Multiple encryption with minimum key. I E. Dawson & J. Golic (red.), Cryptography: Policy and Algorithms: International Conference Brisbane, Queensland, Australia, July 3-5, 1995 Proceedings (s. 156-164). Springer. https://doi.org/10.1007/BFb0032355

Damgård, I. B. & Pedersen, T. P. (1996). New Convertible Undeniable Signature Schemes. I U. Maurer (red.), Advances in Cryptology - EUROCRYPT '96: International Conference on the Theory and Application of Cryptographic Techniques Saragossa, Spain, May 12-16, 1996 Proceedings (s. 372-386). Springer. https://doi.org/10.1007/3-540-68339-9_32

Cramer, R. & Damgård, I. B. (1996). New Generation of Secure and Practical RSA-Based Signatures. I N. Koblitz (red.), Advances in Cryptology - CRYPTO '96: 16th Annual International Cryptology Conference Santa Barbara, California, USA August 18-22, 1996 Proceedings (s. 173-185). Springer. https://doi.org/10.1007/3-540-68697-5_14

Danvy, O. & Malmkjær, K. (1996). On the Idempotence of the CPS Transformation. BRICS Report Series, (RS-96-14).

Cheng, A. & Nielsen, M. (1996). Open maps, behavioural equivalences, and congruences. I H. Kirchner (red.), Trees in Algebra and Programming - CAAP '96: 21st International Colloquium Linköping, Sweden, April 22-24, 1996 Proceedings (s. 257-271). Springer. https://doi.org/10.1007/3-540-61064-2_42

Arge, L. A. & Vitter, J. S. (1996). Optimal Dynamic Interval Management in External Memory. I 37th Annual Symposium on Foundations of Computer Science, 1996. Proceedings., (s. 560-569). IEEE Computer Society Press. https://doi.org/10.1109/SFCS.1996.548515

Brodal, G. S. & Okasaki, C. (1996). Optimal purely functional priority queues. Journal of Functional Programming, 6(6), 839-858. https://doi.org/10.1017/S095679680000201X

Bertelsen, O. W. (1996). Organisational learning is crystallised into artefacts. SIGGROUP Bulletin, 17(3), 37-39. https://doi.org/10.1145/242206.242218

Danvy, O., Glück, R. & Thiemann, P. (red.) (1996). Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers. Springer. Lecture Notes in Computer Science Bind 1110 https://doi.org/10.1007/3-540-61580-6

Brodal, G. S. (1996). Partially persistent data structures of bounded degree with constant update time. Nordic Journal of Computing, 3(3), 238-255.

Nielsen, M. & Winskel, G. (1996). Petri nets and bisimulation. Theoretical Computer Science, 153(1-2), 211-244. https://doi.org/10.1016/0304-3975(95)00122-0

Danvy, O. (1996). Pragmatic Aspects of Type-Directed Partial Evaluation. BRICS Report Series, (RS-96-15).

Danvy, O. (1996). Pragmatics of type-directed partial evaluation. I O. Danvy, R. Glück & P. Thiemann (red.), Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers (s. 73-94). Springer. https://doi.org/10.1007/3-540-61580-6_5

Danvy, O. (red.) (1996). Proceedings of the Second ACM SIGPLAN Workshop on Continuations. CW '97. Department of Computer Science, Aarhus University. BRICS Notes Series Nr. NS-96-13

Cheng, A., Larsen, K. G. & Nielsen, M. (red.) (1996). Programme and Abstracts of the BRICS Autumn School on Verification: Aarhus, Denmark, October 28 - November 1, 1996. (s. ii+18). Department of Computer Science, Aarhus University.

Kautz, S. M. & Miltersen, P. B. (1996). Relative to a Random Oracle, NP is not small. Journal of Computer and System Sciences, 235-250. https://doi.org/10.1006/jcss.1996.0065

Danvy, O., Hentze, N. & Malmkjær, K. (1996). Resource-bounded partial evaluation. A C M Computing Surveys, 28(2), 329-332. https://doi.org/10.1145/234528.234741

Danvy, O. & Vestergaard, R. (1996). Semantics-based compiling: A case study in type-directed partial evaluation. I H. Kuchen & S. D. Swierstra (red.), Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings (s. 182-197). Springer. https://doi.org/10.1007/3-540-61756-6_85

Danvy, O. & Vestergaard, R. (1996). Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation. BRICS Report Series, (RS-96-13).

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

Andersson, A., Miltersen, P. B., Riis, S. & Thorup, M. (1996). Static dictionaries on AC⁰ RAMs: query time (√log n/log log n) is necessary and sufficient. I 37th Annual Symposium on Foundations of Computer Science, 1996. Proceedings. (s. 441-450). IEEE Computer Society Press. https://doi.org/10.1109/SFCS.1996.548503

Guerraoui, R., Aksit, M., Black, A., Cardelli, L., Cointe, P., Coplien, J., Kiczales, G., Lea, D., Madsen, O., Magnusson, B., Meseguer, J., Moessenboeck, H., Palsberg, J. & Schmidt, D. (1996). Strategic directions in object-oriented programming. ACM Computing Surveys, 28(4), 691-700. https://doi.org/10.1145/242223.242275

Miltersen, P. B., Paterson, M. & Tarui, J. (1996). The asymptotic complexity of merging networks. Journal of the ACM, 43(1), 147-165. https://doi.org/10.1145/227595.227693

Brodal, G. S. & Skyum, S. (1996). The Complexity of Computing the -ary Composition of a Binary Associative Operator. Department of Computer Science, Aarhus University. BRICS Report Series Nr. 96-42 http://www.brics.dk/RS/96/42/BRICS-RS-96-42.pdf

Bertelsen, O. W. (1996). The Festival Checklist: design as the transformation of artefacts. I PDC '96, Proceedings of the Participatory Design Conference (s. 93-101). Computer Professionals for Social Responsibility.

Brodal, G. S., Chaudhuri, S. & Radhakrishnan, J. (1996). The randomized complexity of maintaining the minimum. Nordic Journal of Computing, 3(4), 337-351.

Hatcliff, J. & Danvy, O. (1996). Thunks and the λ-calculus. BRICS Report Series, (RS-96-19).

Grønbæk, K. & Trigg, R. H. (1996). Toward a Dexter-based model for open hypermedia: Unifying embedded references and link objects. I Proceedings of the the seventh ACM conference on Hypertext (s. 149-160). Association for Computing Machinery. https://doi.org/10.1145/234828.234843

Danvy, O. (1996). Type-Directed Partial Evaluation. I Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium (s. 242-257). Association for Computing Machinery.

Bødker, S. (1996). Understanding computer applications in use - a human activity analysis. I P. Bøgh Andersen, B. Holmquist, H. Klein & R. Possner (red.), Signs at work (s. 325-348). De Gruyter.

Madsen, O. L. & Knudsen, J. L. (1996). Using Object-Orientation as a Common Basis for System Development Education. ACM SIGPLAN Notices, 31(12), 52-62. https://doi.org/10.1145/242604.242618

Brodal, G. S. (1996). Worst-case efficient priority queues. I Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms (s. 52-58). Society for Industrial and Applied Mathematics.

Klarlund, N., Nielsen, M. & Sunesen, K. (1995). A case study in automated verification based on trace abstractions. BRICS Report Series, (RS-95-54).

Bødker, S. & Christiansen, E. (1995). A conceptual toolbox for designing CSCW applications. I COOP'95: Proceedings of the First International Workshop on the Design of Cooperative Systems (s. 266-284). INRIA Press.

Bødker, S., Christiansen, E. & Thüring, M. (1995). A conceptual toolbox for designing CSCW applications. Department of Computer Science, Aarhus University.

Nielsen, M., Priese, L. & Sassone, V. (1995). Characterizing behavioural congruences for Petri nets. I I. Lee & S. A. Smolka (red.), CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21-24, 1995 Proceedings (s. 175-189). Springer. https://doi.org/10.1007/3-540-60218-6_13

Viser resultater 5601 til 5650 ud af 6060

113