• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
Konferenceartikel i proceeding
2 Citationer (Scopus)

Using Smartwatch Inertial Sensors to Recognize and Distinguish Between Car Drivers and Passengers

Cano Hald, T., Junker, D. H., Mårtensson, M., Skov, M. & Raptis, D., 23 sep. 2018, Proceedings of the 10th International Conference on Automotive User Interfaces and Interactive Vehicular Applications. Association for Computing Machinery, s. 74-84 11 s.

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

Smartphones
Accelerometers
Application programs
Learning systems
Railroad cars
4 Citationer (Scopus)

Using Tag-Neighbors for Query Expansion in Medical Information Retrieval

Durao, F., Bayyapu, K. R., Xu, G., Lage, R. G. & Dolog, P., 2011, 2011 International Conference on Information Science and Applications (ICISA). IEEE Computer Society Press, 9 s.

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

1 Citation (Scopus)

Using T-Drive and BerlinMod in Parallel SECONDO for Performance Evaluation of Geospatial Big Data Processing

Ashfaq, M., Tahir, A., Orakzai, F. M., McArdle, G. & Bertolotto, M., 2017, Spatial Data Handling in Big Data Era. Zhou, C., Su, F., Harvey, F. & Xu, J. (red.). Springer, s. 3-19 16 s. (Advances in Geographic Information Science).

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

3 Citationer (Scopus)

Using the Lock Manager to Choose Timestamps

Lomet, D., Snodgrass, R. T. & Jensen, C. S., 2005, Proceedings of the Nineth International Database Engineering and Applications Symposium. s. 357-368

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

Managers
Semantics

Using UPPAAL to Analyze an MPEG-2 Algorithm

Cambronero, M. E., Ravn, A. P. & Valero, V., 2005, Proceedings of the VII Workshop Brasileiro de Tempo Real. s. 73-82 6 s.

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

Model checking
Parallel algorithms
1 Citation (Scopus)

Using Weighted Graphs for Computationally Efficient WLAN Location Determination

Thomsen, B. & Hansen, R., 2007, Proceedings of the 2007 Fourth Annual International Conference on Mobile and Ubiquitous Systems: Networking&Services (MobiQuitous. IEEE Computer Society Press, Bind 00. s. 1-5

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

Wireless local area networks (WLAN)
Mobile devices
Location based services
Computational efficiency
Global positioning system
4 Citationer (Scopus)

Utilizing Device-level Demand Forecasting for Flexibility Markets

Neupane, B., Pedersen, T. B. & Thiesson, B., 12 jun. 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. Association for Computing Machinery, s. 108-118 11 s.

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

Demand forecasting
Demand response
Forecast accuracy
Uncertainty
Household
18 Citationer (Scopus)

Utilizing partial policies for identifying equivalence of behavioral models

Zeng, Y., Doshi, P., Pan, Y., Mao, H., Chandrasekaran, M. & Luo, J., 2011, Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011. Burgard, W. & Roth, D. (red.). AAAI Press, s. 1083-1088 6 s.

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

Decision making

UX in Agile before and during development

Larusdottir, M., Nielsen, L., Bruun, A., Larsen, L. B., Nielsen, P. A. & Persson, J. S., 29 sep. 2018, NordiCHI '18: Proceedings of the 10th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, s. 984-987 4 s.

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

Project management
Software engineering
Human computer interaction

UX Requirements to Public Systems for All: Formalisation or Innovation

Billestrup, J., Bruun, A. & Stage, J., 2015, INTERACT 2015 Adjunct Proceedings: 15th IFIP TC. 13 International Conference on Human-Computer Interaction. Beckmann, C. & Gross, T. (red.). University of Bamberg Press, s. 407-427 (Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friederich-Universität Bamberg, Bind 22).

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

Åben adgang

Validating Timed Component Contracts

Le Guilly, T., Liu, S., Olsen, P., Ravn, A. P. & Skou, A. J., 2015, 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015. IEEE, s. 245-249

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

Testing
Software testing
Synchronization
3 Citationer (Scopus)

Validation, synthesis and optimization for cyber-physical systems

Larsen, K. G., 2017, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Springer, Bind 10205 LNCS. s. 3-20 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10205 LNCS).

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

Acoustic waves
Cyber Physical System

Validation of Continuous-Time Markov Systems

Larsen, K. G., Baier, C. & Brinksma, E., 1999, Proceedings of PROBMIV'99, Probabilistic Methods in Verification.

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

Value creation in SaaS development

Aaen, I. & Gjerløff, N., 2015, Software Business: 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings. Fernandes, J. M., Machado, R. J. & Wnuk, K. (red.). Springer, s. 258-271 14 s. (Lecture Notes in Business Information Processing, Bind 210).

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

Software-as-a-Service
Value creation
Business model
Software development
Innovation

Value expressiveness

Smith, S., Johnston, R., Howard, S. & Vetere, F., 2006, Proceedings on European Conference on Information Systems, ECIS 2006. Association for Informations Systems, AIS

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

5 Citationer (Scopus)
117 Downloads (Pure)

Value Positions in E-government strategies: Something is (not) changing in the state of Denmark

Persson, J. S., Reinwald, A. K., Skorve, E. & Nielsen, P. A., 5 jun. 2017, Proceedings of the 25th European Conference on Information Systems. The Association for Information Systems (AIS), s. 904-917 (Proceedings / European Conference on Information Systems (ECIS), Bind 2017).

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

Åben adgang
Fil
Denmark
electronic government
Values
information system
public administration
2 Citationer (Scopus)

Vector Space Models for the Classification of Short Messages on Social Network Services

Lage, R. G., Dolog, P. & Leginus, M., 2014, WEB INFORMATION SYSTEMS AND TECHNOLOGIES, WEBIST 2013. Krempels, K. H. & Stocker, A. (red.). Springer Publishing Company, Bind 189. s. 209-224 (Lecture Notes in Business Information Processing, Bind 189).

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

12 Citationer (Scopus)

Vehicle Routing With User-Generated Trajectory Data

Ceikute, V. & Jensen, C. S., jun. 2015, Proceedings of the Sixteenth IEEE International Conference on Mobile Data Management. IEEE, Bind 1. s. 14-23

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

Verbal and Artifact based Coordination

Andersen, P. B., Nielsen, M. & Carstensen, P., 2000, Proceedings of the Third International Workshop in Organizational Semiotics, University of Stafford, 4-6-00.

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

Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

Fahrenberg, U., Larsen, K. G. & Thrane, C. R., 2009, Engineering Methods and Tools for Software Safety and Security: NATO Science for Peace and Security Series - D: Information and Communication Security. Broy, M., Sitou, W. & Hoare, T. (red.). IOS Press, Bind 22. 28 s. (NATO Science for Peace and Security Series - D: Information and Communication Security; Nr. 22).

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

Model checking
Real time systems
Scheduling
Controllers
1 Citation (Scopus)

Verification and controller synthesis for resource-constrained real-time systems: case study of an autonomous truck

Li, S. & Pettersson, P., 2010, 2010 IEEE Conference on Emerging Technologies and Factory Automation (ETFA). IEEE Press, s. 1-8 8 s.

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

3 Citationer (Scopus)

Verification and Performance Analysis for Embedded Systems

Larsen, K. G., 2009, TASE 2009: Third IEEE International Symposium on Theoretical Aspects of Software Engineering. Wei-Ngan, C. & Shengchao, Q. (red.). IEEE Computer Society Press, Bind 3. s. 3-4 2 s. (TASE).

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

Real time systems
Embedded systems
Scheduling
Computer simulation
Testing

Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL

Larsen, K. G., 17 jul. 2014, PECCS 2014 -- Proceedings of the 4th International Conference on Pervasive and Embedded Computing and Communication Systems. SCITEPRESS Digital Library, s. IS-9

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

7 Citationer (Scopus)

Verification and Performance Evaluation of Timed Game Strategies

David, A., Fang, H., Larsen, K. G. & Zhang, Z., 2014, Formal Modeling and Analysis of Timed Systems. Legay, A. & Bozga, M. (red.). Springer, Bind 8711. s. 100-114 15 s. (Lecture Notes in Computer Science).

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

Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks

Hüttel, H., Kühnrich, M. & Godskesen, J. C., 2009, Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2008). 229 udg. Elsevier, Bind 2. s. 77-93 16 s. (Electronic Notes in Theoretical Computer Science; Nr. 229, Bind 2).

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

Mobile ad hoc networks
Network protocols
Authentication
Open systems
Cryptography
16 Citationer (Scopus)

Verification of Hierarchical State/Event Systems using Reusability and Compositionality

Behrmann, G., Larsen, K. G., Andersen, H. R., Hulgaard, H. & Lind-Nielsen, J., 1999, Tools and Algorithms for the Construction and Analysis of Systems : 5th International Conference, TACAS '99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999: Lecture Notes in Computer Science. Cleaveland, W. R. (ed.) (red.). 1579 udg. IEEE Computer Society Press, s. 163-177

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

17 Citationer (Scopus)

Verification of large state/event systems using compositionality and dependency analysis

Lind-Nielsen, J., Andersen, H. R., Behrmann, G., Hulgaard, H., Kristoffersen, K. & Larsen, K. G., 1998, Tools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, 28 March-4 April 1998, Lisbon, Portugal. Steffen, B. (red.). IEEE Computer Society Press, s. 201-216 (Lecture Notes in Computer Science, Bind 1384).

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

14 Citationer (Scopus)

Verification of Liveness Properties on Closed Timed-Arc Petri Nets

Andersen, M., Larsen, H. G., Srba, J., Sørensen, M. & Taankvist, J. H., 2013, Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers. Netherlands: Springer Publishing Company, Bind 7721. s. 69-81 13 s. (Lecture Notes in Computer Science).

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

Petri nets
Experiments

Verification of Real-Time Applications Using the Epsilon System

Godskesen, J. C., Larsen, K. G. & Skou, A., 1994, Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.. Technical University of Denmark (DTU), s. 41-52

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

6 Citationer (Scopus)

Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets

Bertolini, C., Liu, Z. & Srba, J., 2013, Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers. Weber, J. & Perseil, I. (red.). Netherlands: Springer Publishing Company, Bind 7789. s. 19-36 18 s. (Lecture Notes in Computer Science, Bind 7789).

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

Petri nets
Semantics
Blood

Verifying Duration Properties of Timed Transition Systems

Liu, Z., Ravn, A. P. & Li, X., 1998, Programming Concepts and Methods : PROCOMET '98 : IFIP TC2 WG2.2, 2.3 International Conference in Programming Concepts and Methods 8-12 June 1998, Shelter Island, New York, USA. Gries, D. : Roever, W.-P. de (eds.) (red.). Kluwer Academic Publishers, s. 327-345

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

5 Citationer (Scopus)

VICKEY: Mining Conditional Keys on Knowledge Bases

Symeonidou, D., Prado, L. A. G. D., Pernelle, N., Saïs, F. & Suchanek, F., 4 okt. 2017, International Semantic Web Conference ISWC 2017: The Semantic Web – ISWC 2017. Springer, Bind 10587. s. 661-677 (Lecture Notes in Computer Science).

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

Åben adgang
8 Citationer (Scopus)

Video Microblogging: Your 12 Seconds of Fame

Bornoe, N. & Barkhuus, L., 2010, CHI '10 Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, s. 3325-3330 6 s.

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

4 Citationer (Scopus)

VIPTRA: Visualization and Interactive Processing on Big Trajectory Data

Ding, X., Chen, R., Chen, L., Gao, Y. & Jensen, C. S., 13 jul. 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, s. 290-291 2 s.

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

Visualization
Trajectories
Processing
Demonstrations
Location based services

Virtual Box: Supporting Mediated Family Intimacy through Virtual and Physical Play

Davis, H., Skov, M. B., Stougaard, M. & Vetere, F., 2007, Proceedings of the Australian Computer-Human Interaction Conference 2007 (OzCHI’07). Association for Computing Machinery, 9 s.

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

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
2 Citationer (Scopus)

Vision-Based Happiness Inference: A Feasibility Case-Study

Sarsenbayeva, Z., Ferreira, D., van Berkel, N., Luo, C., Vaisanen, M., Kostakos, V. & Goncalves, J., 2017, Adjunct Proceedings of the ACM International Joint Conference on Pervasive and Ubiquitous Computing. s. 494-499 6 s.

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

273 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

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
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

4 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
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

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

48 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

3 Citationer (Scopus)
125 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
38 Citationer (Scopus)
646 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
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

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
282 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
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