• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding

You Can Touch, but You Can’t Look: Interacting with In-Vehicle Systems

Bach, K. M., Jæger, M. G., Skov, M. B. & Thomassen, N. G., 2008, ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 1139-1148

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

72 Citationer (Scopus)

You can touch, but you can't look: Interactina with in-vehicle systems

Jaeger, M. G., Skov, M. B., Majlund, K. & Thomassen, N. M. Y., 22 dec. 2008, 26th Annual CHI Conference on Human Factors in Computing Systems, Conference Proceedings, CHI 2008. s. 1139-1148 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Railroad cars
Climate control
4 Citationer (Scopus)

XP in a Small Software Development Business: Adapting to Local Constraints

Bidragets oversatte titel: XP i en lille softwareorganisation: Tilpasning til lokale betingelserBabb, J., Hoda, R. & Nørbjerg, J., aug. 2014, Nordic Contributions in IS Research: 5th Scandinavian Conference on Information Systems, SCIS 2014, Ringsted, Denmark August 10-13, Proceedings. Springer Publishing Company, Bind 186. s. 14-29 (Lecture Notes in Business Information Processing).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Software engineering
Industry

XML transformation in Scheme with LAML - a minimalistic approach

Bidragets oversatte titel: {XML} transformation in {Scheme} with {LAML} - a minimalistic approachNørmark, K., 2003, Association of Lisp Users. Association of Lisp Users

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

42 Citationer (Scopus)

XML-Extended OLAP Querying

Pedersen, D., Riis, K. & Pedersen, T. B., 2002, Proceedings of the Fourteenth International Conference on Scientific and Statistical Database Management. Kennedy, J. (ed.) (red.). IEEE Computer Society Press, s. 195-206

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

WYSIWYB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code

Lawall, J., Lawall, J., Palix, N., Hansen, R. R. & Muller, G., 2009, Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'09). IEEE Computer Society Press, s. 43-52 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Application programming interfaces (API)
Specifications
Network protocols
Search engines
Flow control

WUppaal: A web-service for the Uppaal model-checker

Fogh, P., Cano Hald, T. & Nielsen, B., 11 apr. 2016, 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data). IEEE, s. 1-6 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Web services
Model checking
Application programming interfaces (API)
Loads (forces)
Job shop scheduling
3 Citationer (Scopus)

WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL

Cassez, F., Gonzalez de Aledo, P. & Jensen, P. G., 2017, Models, Algorithms, Logics and Tools. Springer, (Lecture Notes in Computer Science, Bind 10460).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citation (Scopus)

WS10A - Workshop on Social Web and Knowledge Management (SWKM2008)

Dolog, P., Kroetzsch, M., Schaffert, S. & Vrandecic, D., 2008, International World Wide Web Conference: Proceeding of the 17th international conference on World Wide Web. Association for Computing Machinery

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Writing Internal Documentation

Vestdam, T., 2001, Eckstein, Jutta (Hrsg.) : Rüping, Andreas (Hrsg.) : Schwanninger, Christa (Hrsg.). Stollfuß Medien

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

6 Citationer (Scopus)

Worst-Case Memory Consumption Analysis for SCJ

Andersen, J. L., Todberg, M., Dalsgaard, A. E. & Hansen, R. R., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, s. 2-10 9 s. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Data storage equipment
Real time systems
Inspection

Work Practices for Usability Testing of Computerized Systems and Mobile Devices

Kjeldskov, J., Skov, M. & Stage, J., 2001, Proceedings of the First Danish Human-Computer Interaction Research Symposium : 27. November 2001, Aarhus Denmark. Bertelsen, O. W. (ed.) (red.). Department of Computer Science, Aarhus University, s. 45-46

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

23 Citationer (Scopus)

Workload-Aware Indexing of Continuously Moving Objects

Tzoumas, K., Yiu, M. L. & Jensen, C. S., 2009, Proceedings of the VLDB Endowment. Association for Computing Machinery, s. 1186-1197 12 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Location based services
Information management
Telecommunication networks
Costs
Sensors

WNetKAT: A Weighted SDN Programming and Verification Language

Larsen, K. G., Schmid, S. & Xue, B., 2017, 20th International Conference on Principles of Distributed Systems (OPODIS). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, (Leibniz International Proceedings in Informatics; Nr. 70).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Computer programming
Computer programming languages
Computability and decidability
Finite automata
Syntactics

WISECON: An Intelligent Assistant for Buying Computers on the Internet

Kroupa, T., Berka, P. & Kocka, T., 2002, Hacid, Mohand-Said (ed.): Lecture notes in artificial intelligence. 2366 udg. IEEE Computer Society Press, s. 167-175

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

8 Citationer (Scopus)

Wisdom of the local crowd: Detecting local events using social media data

Ranneries, S. B., Kalør, M. E., Nielsen, S. A., Dalgaard, L. N., Christensen, L. D. & Kanhabua, N., 2016, Proceedings of the 8th ACM Conference on Web Science. Association for Computing Machinery, s. 352-354 3 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Wireless Smartphone Mirroring in Video Calls

Sørensen, H., O'Hara, K., Gosset, P. & Kjeldskov, J., sep. 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III. Springer, s. 410-417 (Lecture Notes in Computer Science, Bind 9298).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

Wireless Evacuation on m Rays with k Searchers

Brandt, S., Förster, K-T., Richner, B. & Wattenhofer, R., dec. 2017, Proceedings of the 24th International Colloquium on Structural Information and Communication Complexity (SIROCCO). Springer, (Lecture Notes in Computer Science, Bind 10641).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
2 Citationer (Scopus)

Wine and interaction design

Paay, J., Robertson, T., Brereton, M. & Rogers, Y., 29 nov. 2016, Proceedings of the 28th Australian Computer-Human Interaction Conference, OzCHI 2016. s. 668-671 4 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingFormidling

6 Citationer (Scopus)
175 Downloads (Pure)

Widening the Schedulability Hierarchical Scheduling Systems

Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 2015, Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Lanese, I. & Madelaine, E. (red.). Springer, s. 209-227 18 s. (Lecture Notes in Computer Science; Nr. 8997).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Scheduling
Model checking
Hierarchical systems
Statistical Models

Widening the Configuration Management Perspective

Bendix, L. G., 2002, Metainformatics Symposium 2002, 7-10 august, Esbjerg, Denmark: Lecture Notes in Computer Science. <Forlag uden navn>

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

2 Citationer (Scopus)
173 Downloads (Pure)

Why governing data is difficult: Findings from Danish Local Government

Benfeldt, O., Persson, J. S. & Madsen, S., 25 jun. 2018, Smart Working, Living and Organising: IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2018, Portsmouth, UK, June 25, 2018, Proceedings. Springer, s. 15-29 (I F I P, Bind 533).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
governance
assets
outgroup
electronic government
municipality
1 Citation (Scopus)
184 Downloads (Pure)

When Value is Greater than Money: a Micropayment System in Uganda

Prentow, R. V., Steiniche, R., Johansen, S. D., Paay, J., Aaen, I. & Kjeldskov, J., 18 apr. 2015, Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, CHI EA '15. Association for Computing Machinery, s. 765-772

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
2 Citationer (Scopus)

When the Internet Hits the Road

Jensen, C. S., 2007, Proceedings of the Twelfth GI-Fachtagung für Datenbanksysteme in Business, Technologie und Web. Koellen Verlag, s. 2-16 (Lecture Notes in Informatics; Nr. 103).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Internet
Information management
Mobile phones
Mobile devices
Communication
4 Citationer (Scopus)
225 Downloads (Pure)

When Process Is Getting in the Way of Creativity and Innovation

Mûller, S. D., Ulrich, F. & Nielsen, P. A., 2014, Proceedings of the 47th Annual Hawaii International Conference on System Sciences (HICSS 47). Sprague, Jr, R. H. (red.). IEEE, s. 221-229 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Creativity
Innovation
Process quality
Process model
Organizational culture

When Attitudes Don't Predict Behavior: A Study of Attitude Strength

Bhattacherjee, A. & Sanford, C. C., 2006, Proceedings of the Twelfth Americas Conference on Information Systems. Universidad Autónoma Metropolitana, 5 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Staff
Management system
Expertise
User attitudes
Elaboration likelihood model
1 Citation (Scopus)
152 Downloads (Pure)

What to Study in HCI: Beyond, Beyond, Beyond

Kjeldskov, J., Skov, M. B. & Paay, J., 18 apr. 2015, Proceedings of the Workshop on What to Study in HCI at CHI 2015 Conference on Human Factors in Computing Systems. Association for Computing Machinery

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
111 Citationer (Scopus)

What's Wrong with the Diffusion of Innovation Theory: The Case of a Complex and Networked Technology

Lyytinen, K. & Damsgaard, J., 2001, Proceedings of the IFIP Working Group 8.6 Conference, Banff, Canada, April 2001.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

What makes it persuasive?

Hansen, S. B. G., Rabjerg, M. F. & Hovedskou, E. K. B., 18 apr. 2018, Persuasive 2018 : 13th international conference on Persuasive Technology. Ham, J., Karapanos, E., Morita, P. P. & Burns, C. M. (red.). Springer, s. 16-27 12 s. (Lecture Notes in Computer Science, Bind 10809).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (Scopus)
110 Downloads (Pure)

What is a Timing Anomaly?

Cassez, F., Hansen, R. R. & Olesen, M. C., 2012, Proceedings of the 12th International Workshop on Worst-Case Execution-Time Analysis. Vardanega, T. (red.). Dagstuhl, Germany: Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Bind 23. s. 1-12 12 s. (OpenAccess Series in Informatics).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil

What-if Analysis with Conflicting Goals: Recommending Data Ranges for Exploration

Nguyen, Q. V. H., Zheng, K., Weidlich, M., Zheng, B., Yin, H., Nguyen, T. T. & Stantic, B., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 89-100 12 s. 8509239

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Scalability
Data acquisition
73 Citationer (Scopus)

What Happened to Remote Usability Testing? An Empirical Study of Three Methods

Stage, J., Andreasen, M. S., Nielsen, H. V. & Schrøder, S. O., 2007, Proceedings of Conference on Human Factors in Computing Systems 2007 (CHI 2007): . Begole, B. & al, E. (red.). Association for Computing Machinery, s. 1405-1414

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Testing
3 Citationer (Scopus)

What Can Hierarchies Do for Data Streams?

Yin, X. & Pedersen, T. B., 2007, Proceedings of First International Workshop on Business Intelligence for the Real Time Enterprise. Springer, 16 s. (Lecture Notes in Computer Science; Nr. 4365).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Query languages
Semantics
Industry

Well-Defined Decision Scenarios

Nielsen, T. D. & Jensen, F. V., 1999, Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence. Laskey, K. B. : Prade, H. (eds.) (red.). Morgan Kaufmann, s. 502-511

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

8 Downloads (Pure)

Weight-Mate: Adaptive Training Support for Weight Lifting

Paay, J. M., Kjeldskov, J., Sørensen, F., Jensen, T. G. & Tirosh, O., dec. 2019, Proceedings of the 31th Australian Conference on Computer-Human Interaction: OzCHI '19. Association for Computing Machinery

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Feedback
Physiology
Sports
Health
Sensors

Weighted branching systems: Behavioural equivalence, behavioural distance, and their logical characterisations

Jensen, M. C., Larsen, K. G. & Mardare, R., 1 jan. 2018, Formal Modeling and Analysis of Timed Systems: FORMATS 2018. Jansen, D. N. & Prabhakar, P. (red.). Springer, s. 145-161 17 s. (Lecture Notes in Computer Science, Bind 11022 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Bisimulation
Branching
Equivalence
Pseudometric
Logic
1 Citation (Scopus)

Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures

Foshammer, L., Larsen, K. G. & Mariegaard, A., 2016, Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters (Cassting'16/SynCoP'16). s. 63-75 13 s. (Electronic Proceedings in Theoretical Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
275 Downloads (Pure)

Web Services for the Management of Persistent Online Game Factions

Deliege, F. & Zimanyi, E., 2006, 2nd Int. Conf. on Web Information Systems and Technologies. Institute for Systems and Technologies of Information, Control and Communication, s. 441-446 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Web services
Stars
Servers
Industry
Experiments
5 Citationer (Scopus)

WCET tool challenge 2011: Report

Von Hanxleden, R., Holsti, N., Lisper, B., Ploedereder, E., Wilhelm, R., Bonenfant, A., Cassé, H., Bünte, S., Fellger, W., Gepperth, S., Gustafsson, J., Huber, B., Islam, N. M., Kästner, D., Kirner, R., Kovács, L., Krause, F., De Michiel, M., Olesen, M. C., Prantl, A. & 6 flere, Puffitsch, W., Rochange, C., Schoeberl, M., Wegener, S., Zolda, M. & Zwirchmayr, J., 2011, 11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held in Conjunction with the 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 104-138 35 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

event
time
8 Citationer (Scopus)

WCET Analysis of Java Bytecode Featuring Common Execution Environments

Luckow, K. S., Thomsen, B., Frost, C. & Jensen, C. S., 2011, JTRES '11 Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems . Association for Computing Machinery, Bind 11. s. 30-39 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

38 Citationer (Scopus)
637 Downloads (Pure)

Was it Worth the Hassle? Ten Years of Mobile HCI Research Discussions on Lab and Field Evaluations

Kjeldskov, J. & Skov, M. B., 2014, Proceedings of the 16th International Conference on Human-Computer Interaction with Mobile Devices and Service, Mobile HCI 2014. Association for Computing Machinery, s. 43-52

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
2 Citationer (Scopus)
116 Downloads (Pure)

Washing with the Wind: A Study of Scripting towards Sustainability

Jensen, R. H., Raptis, D., Kjeldskov, J. & Skov, M., 9 jun. 2018, DIS '18, Proceedings of the 2018 Conference on Designing Interactive Systems. Association for Computing Machinery, s. 1387-1400 14 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
Washing
Sustainable development
Electricity
Laundries
Human computer interaction
47 Citationer (Scopus)

WARP: Workload-aware replication and partitioning for RDF

Hose, K. & Schenkel, R., 2013, 2013 IEEE 29th International Conference on Data Engineering Workshops (ICDEW). IEEE Press, s. 1-6 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Warehousing The World: Challenges From New Types of Data

Pedersen, T. B., 2009, Entrepôts de données et analyse en ligne - EDA'09. Cépaduès, 2 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (Scopus)

Warehousing The World: A Few Remaining Challenges

Pedersen, T. B., 2007, Proceedings of the ACM Tenth International Workshop on Data Warehousing and OLAP. <Forlag uden navn>, s. 101-102 3 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

3 Citationer (Scopus)

Walking the line: The everyday security ties that bind

Coles-Kemp, L. & Hansen, R. R., 2017, Human Aspects of Information Security, Privacy and Trust - 5th International Conference, HAS 2017 Held as Part of HCI International 2017, Proceedings. Springer, Bind 10292 LNCS. s. 464-480 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10292 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

assets
interaction
research project
EU
citizen
3 Citationer (Scopus)

VTML for Fine-Grained Change Tracking in Editing Structured Documents

Bendix, L. G. & Vitali, F., 1999, System Configuration Management : 9th International Symposium, SCM-9, Toulouse, France, September 5-7, 1999 : Proceedings: Lecture Notes in Computer Science. Estublier, J. (ed.) (red.). 1675 udg. IEEE Computer Society Press, s. 139-156

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Vom Flaggenalphabet zur Vorratsdatenspeicherung: Schülerinnen und Schüler als Multiplikatoren technischer Aspekte der digitalen Welt

Förster, K-T., sep. 2017, INFOS 2017: Informatische Bildung zum Verstehen und Gestalten der digitalen Welt. Diethelm, I. (red.). Gesellschaft für Informatik (GI), s. 171-179 (Lecture Notes in Informatics).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
265 Downloads (Pure)

Visualizing Complex Energy Planning Objects With Inherent Flexibilities

Siksnys, L. & Kaulakiene, D., 2013, Proceedings of the Joint EDBT/ICDT 2013 Workshops. Association for Computing Machinery, s. 249-255 7 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
12 Citationer (Scopus)

Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation

Srba, J., 2006, Computer Science Logic: Proceedings of 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. IEEE Computer Society Press, s. 89-103 15 s. (Lecture Notes in Computer Science; Nr. 4207).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Pushdown Automata
Bisimulation
Preorder
Equivalence
Automata