Datalogisk Institut

Læs mere
111 - 120 ud af 1.702Pr. side: 10
Sortering: 1. forfatter
  1. Udgivet

    Reversible shrinking two-pushdown automata

    Axelsen, H. B., Holzer, M., Kutrib, M. & Malcher, A., 2016, Language and automata theory and applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. Dediu, A-H., Janoušek, J., Martín-Vide, C. & Truthe, B. (red.). Springer, s. 579-591 13 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  2. Udgivet

    Boosting reversible pushdown machines by preprocessing

    Axelsen, H. B., Kutrib, M., Malcher, A. & Wendlandt, M., 2016, Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Devitt, S. & Lanese, I. (red.). Springer, s. 89-104 16 s. (Lecture notes in computer science, Bind 9720).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  3. Udgivet

    A hierarchy of fast reversible turing machines

    Axelsen, H. B., Jakobi, S., Kutrib, M. & Malcher, A., 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (red.). Springer, s. 29-44 16 s. (Lecture notes in computer science, Bind 9138).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  4. Udgivet

    On reversible Turing machines and their function universality

    Axelsen, H. B. & Glück, Robert, 2016, I: Acta Informatica. 53, 5, s. 509-543 35 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  5. Udgivet

    The degree of irreversibility in deterministic finite automata

    Axelsen, H. B., Holzer, M. & Kutrib, M., aug. 2017, I: International Journal of Foundations of Computer Science. 28, 5, s. 503-522 20 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  6. Udgivet

    Programming techniques for reversible comparison sorts

    Axelsen, H. B. & Yokoyama, T., 2015, Programming languages and systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. Feng, X. & Park, S. (red.). Springer, s. 407-426 20 s. (Lecture notes in computer science, Bind 9458).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  7. Udgivet

    The degree of irreversibility in deterministic finite automata

    Axelsen, H. B., Holzer, M. & Kutrib, M., 2016, Implementation and Application of Automata: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings. Han, Y-S. & Salomaa, K. (red.). Springer, s. 15-26 12 s. (Lecture notes in computer science, Bind 9705).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  8. Udgivet

    A classical propositional logic for reasoning about reversible logic circuits

    Axelsen, H. B., Glück, Robert & Kaarsgaard, R., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (red.). Springer, s. 52-67 16 s. (Lecture notes in computer science, Bind 9803).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  9. Udgivet

    Reversible representation and manipulation of constructor terms in the heap

    Axelsen, H. B. & Glück, Robert, 2013, Reversible Computation. Proceedings. Dueck, G. W. & Miller, D. M. (red.). Springer, s. 96-109 14 s. (Lecture notes in computer science, Bind 7948).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  10. Udgivet

    Join inverse categories as models of reversible recursion

    Axelsen, H. B. & Kaarsgaard, R., 2016, Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Jacobs, B. & Löding, C. (red.). Springer, s. 73-90 18 s. (Lecture notes in computer science, Bind 9634).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Forrige 1...8 9 10 11 12 13 14 15 ...171 Næste