• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

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

Stitching Inter-Domain Paths over IXPs

Kotronis, V., Klöti, R., Rost, M., Georgopoulos, P., Ager, B., Schmid, S. & Dimitropoulos, X., 2016, SOSR '16 Proceedings of the Symposium on SDN Research. Association for Computing Machinery, 12 s. 17

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citation (Scopus)

Stochastic Pi-calculus Revisited

Cardelli, L. & Mardare, R. I., 2013, Theoretical Aspects of Computing - ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Liu, Z., Woodcock, J. & Zhu, H. (red.). Springer Berlin Heidelberg: Springer Publishing Company, Bind 8049. s. 1-21 21 s. (Lecture Notes in Computer Science, Bind 8049).

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Congruence
Stochastic calculus
Equivalence
4 Citationer (Scopus)

Stochastic shortest path finding in path-centric uncertain road networks

Andonov, G. & Yang, B., 13 jul. 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Bind 2018-June. s. 40-45 6 s. (IEEE International Conference on Mobile Data Management (MDM)).

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Travel time
Global positioning system
Trajectories
70 Citationer (Scopus)

Stochastic skyline route planning under time-varying uncertainty

Yang, B., Guo, C., Jensen, C. S., Kaul, M. & Shang, S., 2014, Proceedings of the 30th IEEE International Conference on Data Engineering. IEEE, s. 136-147 12 s.

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (Scopus)

Stochastic Weight Completion for Road Networks using Graph Convolutional Networks

Hu, J., Guo, C., Yang, B. & Jensen, C. S., 2019, Proceedings of 35th IEEE International Conference on Data Engineering, ICDE 2019. IEEE, s. 1274-1285 12 s. 8731475. (Proceedings of the International Conference on Data Engineering).

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Travel time
Global positioning system
Toll highways
Detectors
Innovation
14 Citationer (Scopus)

Stone Duality for Markov Processes

Kozen, D., Larsen, K. G., Mardare, R. I. & Panangaden, P., 2013, Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on. IEEE, s. 321-330 (Annual Symposium on Logic in Computer Science).

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Storytelling in Projects: Transforming Project Plans into Stories

Munk-Madsen, A. & Andersen, P. B., 2006, Proceedings of European Academy of Management Conference 2006. Strønen, F. H. (redaktører). BI Norwegian School of Management

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

project planning
public space
appeal
manager
9 Citationer (Scopus)

Strong Completeness for Markovian Logics

Kozen, D., Mardare, R. I. & Panangaden, P., 2013, Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Chatterjee, K. & Sgall, J. (red.). Springer Publishing Company, Bind LNCS 8087. s. 655-666 12 s. (Lecture Notes in Computer Science, Bind 8087).

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Markov processes
Probability distributions

Structural Learning in Object Oriented Domains

Bangsø, O., Langseth, H. & Nielsen, T. D., 2001, Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS), Key West. s. 340-344

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Structuration Theory, Action Research, and Information Systems Development

Rose, J. & Lewis, P., 2001, Realigning Research and Practice in Information Systems Development : the Social and Organizational Perspective : IFIP TC8/WG8.2 Working Conference ..., July 27-29, 2001, Boise, Idaho, USA. Russo, N. L. : Fitzgerald, B. : DeGross, J. I. (eds.) (redaktører). Kluwer Academic Publishers

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Structuration Theory and Information Systems Development: Frameworks for Practice (awarded best paper in track)

Rose, J. & Scheepers, R., 2001, European Conference on Information Systems Development. Smithson, S. : Avgerinou, S. (eds.) (redaktører). Bled,Slovenia

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

33 Citationer (Scopus)

Studying Driver Attention and Behaviour for Three Configurations of GPS Navigation in Real Traffic Driving

Jensen, B. S., Skov, M. B. & Thiruravichandran, N., 2010, Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI’10). Association for Computing Machinery

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

Study the Past if You Would Define the Future: Implementing Secure Multi-party SDN Updates

Schiff, L. & Schmid, S., 18 jul. 2016, Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016. IEEE, s. 111-116 6 s. 7515418

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Controllers
Robust control
Switches
Cryptography
Redundancy
1 Citation (Scopus)

Stuttering for Abstract Probabilistic Automata

Delahaye, B., Larsen, K. G. & Legay, A., 2013, Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Springer Publishing Company, Bind 7734. s. 149-163 (Lecture Notes in Computer Science, Bind 7734).

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

SubClass: Classification of Multidimensional Noisy Data Using Subspace Clusters

Assent, I., Krieger, R., Welter, P., Herbers, J. & Seidl, T., 2008, Advances in Knowledge Discovery and Data Mining: 12th Pacific-Asia Conference, PAKDD 2008 Osaka, Japan, May 20-23, 2008 Proceedings. Springer, Bind 5012. s. 40-52 13 s. (Lecture Notes in Computer Science; Nr. 5012).

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Substantiating quality goals with field data for socially-oriented requirements engineering

Pedell, S., Miller, T., Sterling, L., Vetere, F., Howard, S. & Paay, J., 2011, Proceedings The 10th International Conference on Autonomous Agents and Multiagent Systems. Association for Computing Machinery, s. 1185-1186

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Supporting Conceptual Modeling of Complex Spatial Relation-Ships

Price, R., Tryfona, N. & Jensen, C. S., 2000, Proceedings of the Eighth ACM Synposium on Advances in Geographic Information Systems, November 10-11, 2000, Washington, D. C., USA. Ki-Joune, L. (ed.) (redaktører). Association for Computing Machinery, s. 1-8

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Supporting Coordination: a Multi-Agent Approach

Divitini, M., 1999, Proceedings of Norwegian Informatics Conference, NIK '99, Norway.

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

135 Citationer (Scopus)

Supporting Frequent Updates in R-Trees: A Bottom-Up Approach

Lee, M. L., Hsu, W., Jensen, C. S., Cui, B. & Teo, K. L., 2003, Proceedings of the Twentynineth International Conference on Very Large Data Bases, Berlin, Germany, September 9–11. s. 608-619

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

31 Citationer (Scopus)

Supporting Imprecision in Multidimensional Databases Using Granularities

Pedersen, T. B., Jensen, C. S. & Dyreson, C. E., 1999, Proceedings of the Eleventh International Conference on Scientific and Statistical Database Management, Cleveland, Ohio, July 1999. s. 90-101

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Supporting Novices in Detecting Web Site Usability Problems: A Comparison of the Think-Aloud and Questionnaire Methods

Skov, M. B. & Stage, J., 2003, Proceedings of the 10th Conference on Human-Computer Interaction. Lawrence Erlbaum Associates, s. 858-862

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Supporting Problem Identification in Usability Evaluations

Skov, M. B. & Stage, J., 2005, Proceedings of the Australian Computer-Human Interaction Conference 2005 (OzCHI’05). 10 s.

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

17 Citationer (Scopus)

Supporting Temporal Data Management Applications via Stratum Approaches

Torp, K., Jensen, C. S. & Snodgrass, R. T., 1998, Proceedings of the 1998 International Database Engineering and Applications Symposium, July 8-10, 1998, Cardiff, Wales. s. 4-13

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

19 Citationer (Scopus)

Supporting the Supermarket Shopping Experience through a Context-Aware Shopping Trolley

Black, D., Clemmensen, N. J. & Skov, M. B., 2009, Proceedings of OzCHI 2009. Association for Computing Machinery, s. 33-36

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Supporting Usability Engineering in Small Software Development Organizations

Bornoe, N. & Stage, J., 2013, Proceedings, IRIS36: August 11-14 2013 at Gran, Norway. Bratteteig, T., Aanestad, M. & Skorve, E. (red.). Department of Informatics, University of Oslo, 12 s.

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Usability engineering
Software engineering
22 Citationer (Scopus)
146 Downloads (Pure)

Supporting Work Activities in Healthcare by Mobile Electronic Patient Records

Kjeldskov, J. & Skov, M. B., 2004, Proceedings of APCHI 2004: Lecture Notes in Computer Science. Springer, s. 191-200 10 s.

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
11 Citationer (Scopus)
196 Downloads (Pure)

Supporting Young Children's Communication with Adult Relatives Across Time Zones

Vutborg, R., Kjeldskov, J., Paay, J., Vetere, F. & Pedell, S., nov. 2011, Proceedings of OzCHI 2011, Canberra, 28 November - 2 December 2011. Association for Computing Machinery, s. 291-300 10 s.

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil

Surrogater i Øjeblik: mod migrerering i Obliq

Hüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceedings of the Workshop on Semantics of Objects as Processes: Brics Notes Series. Hüttel, Hans : Nestmann, Uwe (eds.) (redaktører). NS-98-5 redaktører Department of Computer Science, Aarhus University, s. 43-50

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Surrogates in Øjeblik: Towards Migration in Obliq

Hüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceeding of FOOL5.

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

53 Citationer (Scopus)

Survey of real-time processing systems for big data

Liu, X., Lftikhar, N. & Xie, X., 2014, ACM International Conference Proceeding Series. Association for Computing Machinery, s. 356-361 6 s.

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Processing
Competitive intelligence
Distributed computer systems
Scalability
Big data
3 Citationer (Scopus)

SwarmArchitect: A Swarm Framework for Collaborative Construction

Zeng, Y., Cordero, J. & Plougman Buus, D., 2007, Genetic And Evolutionary Computation Conference. Association for Computing Machinery, s. 186-186 1 s.

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

Symbolic Dependency Graphs for PCTL Model-Checking

Mariegaard, A. & Larsen, K. G., 2017, Formal Modeling and Analysis of Timed Systens. Springer Publishing Company, Bind 10419. s. 153-169 17 s. (Lecture Notes in Computer Science, Bind 10419).

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Model checking
Costs
Specifications
2 Citationer (Scopus)

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

Jensen, M. C., Mariegaard, A. & Larsen, K. G., 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (red.). Springer, s. 298-315 18 s. (Lecture Notes in Computer Science, Bind 11460).

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Model checking

Symbolic PathFinder v7

Luckow, K. S. & Păsăreanu, C., jan. 2014, ACM Special Interest Group on Software Engineering (SIGSOFT) Software Engineering Notes (SEN). 1 redaktører New York, NY, USA: Association for Computing Machinery, Bind 39. s. 1-5 5 s.

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Visualization
Processing

SynchroMate: A Phatic Technology for Mediating Intimacy

Gibbs, M., Vetere, F., Bunyan, M. & Howard, S., 2005, Proceedings of Designing User eXperience. Association for Computing Machinery

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Processing
8 Citationer (Scopus)
250 Downloads (Pure)

Synchronizing Strategies under Partial Observability

Larsen, K. G., Laursen, S. & Srba, J., 2014, CONCUR 2014 – Concurrency Theory. Baldan, P. & Gorla, D. (red.). Springer Publishing Company, Bind 8704. s. 188-202 (Lecture Notes in Computer Science).

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Observability
Synchronization
Bandwidth
Communication
9 Citationer (Scopus)

Synchronizing words for weighted and timed automata

Doyen, L., Juhl, L., Larsen, K. G., Markey, N. & Shirmohammadi, M., 11 dec. 2014, Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Bind 29. s. 121-132 12 s.

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Weighted Automata
Timed Automata
Synchronization
Automata
Safety
2 Citationer (Scopus)

Synchronizing XPath Views

Bidragets oversatte titel: Synkronisering af XPath ViewsPedersen, D. & Pedersen, T. B., 2004, Proceedings of the Eighth International Database Engineering and Applications Symposium. IEEE Computer Society Press, s. 149-160 12 s.

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

XML
World Wide Web
Synchronization
Availability
2 Citationer (Scopus)

Synchronous interface theories and time triggered scheduling

Delahaye, B., Fahrenberg, U., Henzinger, T. A., Legay, A. & Ničković, D., 2012, Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Giese, H. & Rosu, G. (red.). Springer Publishing Company, s. 203-218 16 s. (Lecture Notes in Computer Science, Bind 7273).

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Scheduling
Clocks
Chemical analysis
10 Citationer (Scopus)

Synthesis of Optimal Strategies Using HyTech

Bouyer, P., Cassez, F., Larsen, K. G. & Fleury, E., 2005, Proceedings of the Workshop on Games in Design and Verification. Elsevier, s. 11-31 (Electronic Notes of Theoretical Computer Science; Nr. 1, Bind 119).

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Costs

Synthesis of Partial Rankings of Points of Interest Using Crowdsourcing

Keles, I., Saltenis, S. & Jensen, C. S., 2015, Proceedings of the 9th Workshop on Geographic Information Retrieval. Association for Computing Machinery, 10 s. 15

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Search engines
Mobile devices

Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games

Larsen, K. G., 2019, Proceedings of 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (red.). Schloss Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5 s. 2. (Leibniz International Proceedings in Informatics, Bind 140).

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Decision trees

Systematic Change Management in Dimensional Data Warehousing

Bliujute, R., Saltenis, S., Slivinskas, G. & Jensen, C. S., 1998, Proceedings of the 3rd International Baltic Workshop on DB and IS, April 15-17, 1998, Riga, Latvia. s. 27-41

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

2 Citationer (Scopus)

TABOO: Detecting unstructured sensitive information using recursive neural networks

Neerbek, J., Assent, I. & Dolog, P., 16 maj 2017, IEEE 33rd International Conference on Data Engineering (ICDE), 2017 . IEEE, s. 1399-1400 2 s. (Proceedings of the International Conference on Data Engineering).

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Semantics
Neural networks
Syntactics
Demonstrations
Engines

Tag and word clouds as means of navigation support in social systems

Leginus, M. & Dolog, P., 1 dec. 2013, Current Trends in Web Engineering: ICWE 2013 International Workshops ComposableWeb, QWE, MDWE, DMSSW, EMotions, CSE, SSN, and PhD Symposium, Aalborg, Denmark, July 8-12, 2013. Revised Selected Papers. Sheng, Q. Z. & Kjeldskov, J. (red.). Springer Science+Business Media, s. 330-334 5 s. (Lecture Notes in Computer Science, Bind 8295).

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Information retrieval
Sorting
Navigation

Tag cloud generation for results of multiple keywords queries

Leginus, M., Dolog, P. & Lage, R. G., 2013, Web Engineering: 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings. Daniel, F., Dolog, P. & Li, Q. (red.). Springer Publishing Company, Bind 7977. s. 233-248 15 s. (Lecture Notes in Computer Science, Bind 7977).

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Information retrieval

TagPad: Supporting Field Interviews and Analysis

Bornoe, N. & Barkhuus, L., 2013, iConference 2013 papers. iSchools, s. 316-325 10 s.

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

social science
interview
natural sciences
data analysis
2 Citationer (Scopus)

Tail call elimination and data representation for functional languages on the Java virtual machine

Madsen, M., Zarifi, R. & Lhoták, O., 24 feb. 2018, CC 2018 - Proceedings of the 27th International Conference on Compiler Construction, Co-located with CGO 2018. Xue, J. & Dubach, C. (red.). Association for Computing Machinery, s. 139-150 12 s.

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Polymorphism
Computer programming languages
Ecosystems
Virtual machine
9 Citationer (Scopus)

Taking control of SDN-based cloud systems via the data plane

Thimmaraju, K., Shastry, B., Fiebig, T., Hetzelt, F., Seifert, J. P., Feldmann, A. & Schmid, S., 28 mar. 2018, Proceedings of the Symposium on SDN Research, SOSR 2018. Association for Computing Machinery, 15 s. 3185468

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Switches
Software defined networking
Computer systems
Servers
17 Citationer (Scopus)

Taking It to the Limit: Approximate Reasoning for Markov Processes

Larsen, K. G., Mardare, R. I. & Panangaden, P., 2012, Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. Rovan, B., Sassone, V. & Widmayer, P. (red.). Springer, s. 681-692 (Lecture Notes in Computer Science, Bind 7464).

Eksport af forskningsdata: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review