• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

Filter
Konferenceartikel i proceeding

Spatio-Temporal Database Support for Legacy Applications

Böhlen, M., Jensen, C. S. & Skjellaug, B., 1998, Proceedings of the 1998 ACM Symposium on Applied Computing, February 27-March 1, 1998, Atlanta, Georgia. s. 226-234

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

23 Citationer (Scopus)

Spatiotemporal Data Cleansing for Indoor RFID Tracking Data

Baba, A., Lu, H., Xie, X. & Pedersen, T. B., 2013, IEEE 14th International Conference on Mobile Data Management. IEEE Computer Society Press, Bind 1. s. 187-196 (I E E E International Conference on Mobile Data Management. Proceedings, Bind 1).

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

15 Citationer (Scopus)

Spatio-Temporal Ensemble Prediction on Mobile Broadband Network Data

Samulevicius, S., Pitarch, Y., Pedersen, T. B. & Sørensen, T. B., 2 jun. 2013, Vehicular Technology Conference (VTC Spring), 2013 IEEE 77th. IEEE, 5 s. (I E E E V T S Vehicular Technology Conference. Proceedings).

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

Åben adgang
Fil
3 Citationer (Scopus)
273 Downloads (Pure)

Spatio-Temporal Joins on Symbolic Indoor Tracking Data

Lu, H., Yang, B. & Jensen, C. S., 2011, 2011 IEEE 27th International Conference on Data Engineering (ICDE). IEEE Computer Society Press, s. 816-827 12 s.

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

24 Citationer (Scopus)

Spatio-temporal models and languages: An approach based on data types

Güting, R. H., Vazirgiannis, M., Böhlen, M., Erwig, M., Forlizzi, L., Jensen, C. S., Lorentzos, N., Nardelli, E. & Schneider, M., 2003, Spatiotemporal Databases: The Chorochronos Approach. Sellis, T., Koubarakis, M., Frank, A., Grumbach, S., Guting, R. H., Jensen, C. S., Lorentzos, N. & Manolopoulos, Y. (red.). IEEE Computer Society Press, s. 117-176 (Lecture Notes in Computer Science; Nr. 2520).

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

Spatio-Temporal Rule Mining: Issues and Techniques

Gidofalvi, G. & Pedersen, T. B., 2005, Proceedings of the Seventh International Conference on Data Warehousing and Knowledge Discovery. Springer, Bind 3589. s. 275-284

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

13 Citationer (Scopus)

Specification-Based Data Reduction in Dimensional Data Ware-houses

Skyt, J., Jensen, C. S. & Pedersen, T. B., 2002, Proceedings of the 18th International Conference on Data Engineering(ICDE 2002), San José, USA, Feb. 26 - March 1 2002. IEEE Computer Society Press, s. 278-

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

Specification of asynchronous component systems with modal I/O-Petri nets

Haddad, S., Hennicker, R. & Møller, M. H., 1 jan. 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Bind 8358 LNCS. s. 219-234 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8358 LNCS).

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

6 Citationer (Scopus)

Specifying OLAP Cubes on XML Data

Jensen, M. R., Møller, T. H. & Pedersen, T. B., 2001, Proceedings of the Thirteenth International Conference on Scientific and Statistical Database Management, SSDBM 2001. IEEE Computer Society Press, s. 101-112

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

SPI and Organizational Change

Nielsen, P. A. & Nørbjerg, J., 2001, OASIS 2001 : Workshop on Organizations and Society, New Orleans, December, 2001. (eds.), N. J. E. A. (red.).

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

Spooning in the Kitchen

Paay, J., Kjeldskov, J., Skov, M. B. & O'Hara, K., nov. 2011, Proceedings of Workshop on The Body In Design. Loke, L. & Robertson, T. (red.). University of Technology, Sydney, s. 30-33 4 s.

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

Åben adgang
Fil
116 Downloads (Pure)

SpotADAPT: Spot Aware (re-)Deployment of Analytical Processing Tasks on Amazon EC2

Kaulakiene, D., Thomsen, C., Pedersen, T. B., Cetintemel, U. & Kraska, T., 23 okt. 2015, Proceedings of the ACM Eighteenth International Workshop On Data Warehousing and OLAP (DOLAP 2015). New York, NY, USA: Association for Computing Machinery, s. 59-68 10 s.

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

5 Citationer (Scopus)

ST–ACTS: A Spatio-Temporal Activity Simulator

Gidofalvi, G. & Pedersen, T. B., 2006, Proceedings of the 14th annual ACM international symposium on Advances in geographic information systems. Association for Computing Machinery, s. 155-162 8 s.

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

Standardising Software Processes - An Obstacle for Innovation?

Aaen, I. & Pries-Heje, J., 2004, IFIP WG 8.6 Seventh Working Conference on IT Innovation for Adaptablity and Competitiveness: Ifip Tc8. Fitzgerald, B. & Wynn, E. (red.). Kluwer Academic Publishers, s. 17-133

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

Standardization: Network Economics and IT

Andersen, E. S., Damsgaard, J., Hanseth, O., King, J. L., Markus, M. L. & Monteiro, E., 2000, Organizational and Social Perspectives on Information Technology : IFIP TC8 WG8.2 International Working Conference on the Social and Organizational Perspective on Research and Practice in Information Technology, June 9-11, 2000, Aalborg, Denmark: International Federation for Information Processing. Baskerville, R. : Stage, J. : DeGross, J. I. (eds.) (red.). 41 udg. Kluwer Academic Publishers, s. 521-525

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

StarER: a Conceptual Model for Data Warehouse Design

Tryfona, N., Busborg, F. & Christiansen, J. B., 1999, ACM Second International Workshop on Data Warehousing and OLAP. s. 3-8

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

154 Citationer (Scopus)

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muniz, M. & Srba, J., 18 jul. 2018, International Conference on Computer Aided Verification: CAV 2018: Computer Aided Verification. Springer, s. 527-546 (Lecture Notes in Computer Science, Bind 10981).

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

Åben adgang
Fil
2 Citationer (Scopus)
146 Downloads (Pure)

Static Guard Analysis in Timed Automata Verification

Behrmann, G., Bouyer, P., Fleury, E. & Larsen, K. G., 2003, Proceedings of TACAS 2003. IEEE Computer Society Press, s. 254-277 (Lecture Notes in Computer Science; Nr. 2619).

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

44 Citationer (Scopus)

Static validation of licence conformance policies

Hansen, R. R., Nielson, F., Nielson, H. R. & Probst, C. W., 2008, ARES 2008: Proceedings of the Third International Conference on Availability, Security and Reliability. IEEE Computer Society Press, s. 1104-1111

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

9 Citationer (Scopus)

Statistical Model Checking: Past, Present, and Future

Larsen, K. G. & Legay, A., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Springer, s. 3–15 (Lecture Notes in Computer Science, Bind 9952).

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

15 Citationer (Scopus)

Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems

Larsen, K. G., 2012, Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Springer, Bind 7595. s. 7-10 (Lecture Notes in Computer Science).

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

5 Citationer (Scopus)

Statistical Model Checking for Stochastic Hybrid Systems

David, A., Du, D., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 3 sep. 2012, Proceedings First International Workshop on Hybrid Systems and Biology. Bartocci, E. & Bortolussi, L. (red.). Newcastle Upon Tyne, s. 122-136 15 s. (Electronic Proceedings in Theoretical Computer Science; Nr. 92).

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

Statistical model checking past, present, and future (Track Introduction)

Larsen, K. G. & Legay, A., 18 okt. 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Bind 8803. s. 135-142 8 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8803).

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

14 Citationer (Scopus)

Statistical model checking QoS properties of systems with SBIP

Bensalem, S., Bozga, M., Delahaye, B., Jegourel, C., Legay, A. & Nouri, A., 2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Margaria, T. & Steffen, B. (red.). Springer Publishing Company, s. 327-341 15 s. (Lecture Notes in Computer Science, Bind 7609).

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

19 Citationer (Scopus)

Statistical model checking the 2018 edition!

Guldstrand Larsen, K. & Legay, A., 1 jan. 2018, ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification. Margaria, T. & Steffen, B. (red.). Springer, s. 261-270 10 s. (Lecture Notes in Computer Science, Bind 11245 LNCS).

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

Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter

Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., sep. 2018, Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe). IEEE Press, s. 1-10 10 s. 8515598

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

Åben adgang
Fil
3 Citationer (Scopus)
49 Downloads (Pure)

Staying Alive as Cheaply as Possible

Larsen, K. G., Bouyer, P. & Brinksma, E., 2004, Proceedings of the 7th International Conference on Hybrid Systems: Computation and Control: Lecture Notes in Computer Science. 2993 udg. Springer, s. 203-218 16 s.

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

43 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

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

7 Citationer (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).

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

2 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)).

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

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

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

72 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).

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

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

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

15 Citationer (Scopus)

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. (red.). BI Norwegian School of Management

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

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

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

9 Citationer (Scopus)

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

Publikation: 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.) (red.). Kluwer Academic Publishers

Publikation: 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.) (red.). Bled,Slovenia

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

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

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

33 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

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

3 Citationer (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).

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

1 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).

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

3 Citationer (Scopus)

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

Publikation: 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.) (red.). Association for Computing Machinery, s. 1-8

Publikation: 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.

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

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

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

137 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

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

31 Citationer (Scopus)

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

Publikation: 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.

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

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

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

17 Citationer (Scopus)