• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

Filter
Konferenceartikel i proceeding

Revisiting R-tree Construction Principles

Brakatsoulas, S., Pfoser, D. & Theodoridis, Y., 2002, Manolopoulos, Y. (ed.) : Návrat, P. (eds.): Lecture notes in computer science. 2435 udg. IEEE Computer Society Press, s. 149-

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

59 Citationer (Scopus)

Rewrite-Based Statistical Model Checking of WMTL

Bulychev, P., David, A., Larsen, K. G., Legay, A., Li, G. & Poulsen, D. B., 2013, Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Qadeer, S. & Tasiran, S. (red.). Springer Publishing Company, s. 260-275 15 s. (Lecture Notes in Computer Science, Bind 7687).

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

14 Citationer (Scopus)

Rhetorics and realities: software construction improvement through metrics

Frederiksen, H. D. & Rose, J., 2001, IRIS 24, Hardanger, Norway. <Forlag uden navn>

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

Riesz Modal logic for Markov processes

Mio, M., Furber, R. & Mardare, R. I., 2018, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 8005091

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

3 Citationer (Scopus)

Ring-constrained Join: Deriving Fair Middleman Locations from Pointsets via a Geometric Constraint

Yiu, M. L., Karras, P. & Mamoulis, N., 2008, Proceedings of the 11th international conference on Extending database technology: Advances in database technology. Association for Computing Machinery, s. 606-617

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

1 Citationer (Scopus)

RiTE: Providing On-Demand Data for Right-Time Data Warehousing

Thomsen, C., Pedersen, T. B. & Lehner, W., 2008, Proceedings of the Twentyfourth International Conference on Data Engineering. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, s. 456-465 10 s.

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

41 Citationer (Scopus)

Roadmap for the ARC Grid Middleware

Kleist, J., Eerola, P., Ekelöf, T., Ellert, M., Grønager, M., Renner Hansen, J., Haug, S., Konstantinov, A., Kónya, B., Ould-Saada, F., Smirnova, O., Szalai, F. & Wäänänen, A., 2006, Ikke angivet. Springer, Bind 4699. s. 471-479 (Lecture Notes in Computer Science; Nr. 4699).

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

Robot-supported food experiences exploring aesthetic plating with design prototypes

Laursen, C. Ø., Pedersen, S., Merritt, T. & Caprani, O., 1 jan. 2016, Cultural Robotics - 1st International Workshop, CR 2015 and Held as Part of IEEE RO-MAN 2015, Revised Selected Papers. Koh, J. T. K. V., Dunstan, B. J., Silvera-Tawil, D. & Velonaki, M. (red.). Physica-Verlag, s. 107-130 24 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9549).

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

2 Citationer (Scopus)

Robust B+ -Tree-Based Indexing of Moving Objects

Jensen, C. S., Tiesyte, D. & Tradisauskas, N., 2006, Proceedings of the Seventh International Conference on Mobile Data Management. IEEE Computer Society Press, 9 s.

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

18 Citationer (Scopus)

Robust classification using mixtures of dependency networks

Gámez, J. A., Mateo, J. L., Nielsen, T. D. & Puerta, J. M., 2008, Proceedings of the Fourth European Workshop on Probabilistic Graphical Models. s. 129-136 8 s.

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

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

Roles in Innovative Software Teams: A Design Experiment

Bidragets oversatte titel: Roller i innovative software teams: Et Design Science eksperimentAaen, I., 2010, Human Benefit through the Diffusion of IS Design Science Research: IFIP WG 8.2 + 8.6 International Working Conference. Pries-Heje, J., Venable, J., Bunker, D., Russo, N. L. & DeGross, J. I. (red.). Berlin: Springer, s. 73-88 (Advances in Information and Communication Technology, Bind 318).

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

4 Citationer (Scopus)

Romeo: a tool for analyzing time petri nets

Lime, D., Gardey, G., Magnin, M. & Roux, O. H., 2005, Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings. Springer, s. 418-423 (Lecture notes in computer sciense; Nr. 3576).

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

Routing Questions to the Right Users in Online Communities

Zhou, Y., Cong, G., Cui, B., Jensen, C. S. & Yao, J., 2009, Proceedings of the 2009 IEEE International Conference on Data Engineering. IEEE Computer Society Press, s. 700-711 (ICDE).

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

88 Citationer (Scopus)

Routing-Verification-as-a-Service (RVaaS): Trustworthy Routing Despite Insecure Providers

Schiff, L., Thimmaraju, K. & Schmid, S., 22 sep. 2016, Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016. IEEE, s. 113-119 7 s. 7575360

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

R-tree-based Indexing of Now-Relative Bitemporal Data

Bliujute, R., Jensen, C. S., Saltenis, S. & Slivinskas, G., 1998, Proceedings of the 24th International Conference on Very Large Databases, August 24-27, 1998, New York City. s. 345-356

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

Run, Walk, Crawl: Towards Dynamic Link Capacities

Singh, R., Ghobadi, M., Förster, K-T., Filer, M. & Gill, P., okt. 2017, Proceedings of the 16th ACM Workshop on Hot Topics in Networks (HotNets 2017). Association for Computing Machinery, s. 143-149

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

7 Citationer (Scopus)

Runtime Verification of Biological Systems

David, A., Larsen, K. G., Legay, A., Mikucionis, M., Poulsen, D. B. & Sedwards, S., 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. Berlin: Springer, Bind 7609. s. 388-404 17 s. (Lecture Notes in Computer Science, Bind 7609).

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

22 Citationer (Scopus)

S3K: Seeking statement-supporting top-K witnesses

Metzger, S., Elbassuoni, S., Hose, K. & Schenkel, R., 13 dec. 2011, CIKM'11 - Proceedings of the 2011 ACM International Conference on Information and Knowledge Management. s. 37-46 10 s.

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

8 Citationer (Scopus)

Safe and sound program analysis with Flix

Madsen, M. & Lhoták, O., 12 jul. 2018, ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. Bodden, E. & Tip, F. (red.). Association for Computing Machinery, s. 38-48 11 s.

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

2 Citationer (Scopus)

Safe and Time-Optimal Control for Railway Games

Karra, S., Larsen, K. G., Lorber, F. & Srba, J., 2019, Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19). Collart-Dutilleul, S., Romanovsky, A. & Lecomte, T. (red.). Springer, s. 106-122 17 s. (Lecture Notes in Computer Science, Bind 11495).

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

2 Citationer (Scopus)

Safety-critical Java for low-end embedded platforms

Søndergaard, H., Korsholm, S. E. & Ravn, A. P., 2012, Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, s. 44-53 (ACM International Conference Proceeding Series (ICPS)).

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

18 Citationer (Scopus)

Safety Critical Java for Robotics Programming

Thomsen, B., Luckow, K. S., Bøgholm, T., Thomsen, L. L. & Korsholm, S., 2015, The 3rd AAU Workshop on Robotics: Proceedings. Tan, Z-H., Bai, S., Bak, T., Rehm, M. & Jochum, E. A. (red.). Aalborg Universitetsforlag, s. 38-47 10 s. 6

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

Åben adgang

Sampling Frequency Effects on Trajectory Routes and Road Network Travel Time

Andersen, O. & Torp, K., 9 nov. 2017, Proceedings of the 25th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Association for Computing Machinery, 30

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

Sandboxing in a Distributed Pi-Calculus

Hüttel, H. & Kühnrich, M., 2006, WITS 2006. Gollmann, D. & Jürjens, J. (red.). s. 114-128 15 s.

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

Fil
271 Downloads (Pure)

Saying and Doing at sea

Andersen, P. B., 2003, Lindkoping University.

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

Scalable Continuous Range Monitoring of Moving Objects in Symbolic Indoor Space

Yang, B., Lu, H. & Jensen, C. S., 2009, Proceeding of the 18th ACM conference on Information and knowledge management. Association for Computing Machinery, s. 671-680 10 s.

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

34 Citationer (Scopus)

Scalable Hypergraph-Based Image Retrieval and Tagging System

Chen, L., Gao, Y., Zhang, Y., Wang, S. & Zheng, B., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 257-268 12 s. 8509253

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

Scalable MAP inference in Bayesian networks based on a Map-Reduce approach

Ramos-López, D., Salmerón, A., Rumí, R., Martinez, A. M., Nielsen, T. D., Masegosa, A., Langseth, H. & Madsen, A. L., 2016, JMLR Workshop and Conference Proceedings: Volume 52: Proceedings of the Eighth International Conference on Probabilistic Graphical Models. s. 415-425 12 s. (JMLR Workshop and Conference Proceedings, Bind 52).

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

Åben adgang

Scalable Processing of Location-Based Social Networking Queries

Saleem, M. A., Xie, X. & Pedersen, T. B., 2016, 17th IEEE International Conference on Mobile Data Management (MDM). IEEE, s. 132-141 10 s.

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

2 Citationer (Scopus)
21 Downloads (Pure)

Scalable Top-k Spatio-Temporal Term Querying

Skovsgaard, A., Sidlauskas, D. & Jensen, C. S., 2014, Proceedings of the 30th IEEE International Conference on Data Engineering. IEEE Press, s. 148-159

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

45 Citationer (Scopus)

Scaling up Uppaal: Automatic Verification of Real-Time Systems Using Compositionality and Abstraction

Jensen, H. E., Larsen, K. G. & Skou, A., 2000, Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20 - 22, 2000 : Proceedings: Lecture Notes in Computer Science. Joseph, M. (ed.) (red.). 1926 udg. IEEE Computer Society Press, s. 19-30

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

43 Citationer (Scopus)

Scenario-based analysis and synthesis of real-time systems using Uppaal

Larsen, K. G., Li, S., Nielsen, B. & Pusinskas, S., mar. 2010, Proc. 13th Conference on Design, Automation, and Test in Europe (DATE'10), March 2010, Dresden, Germany.. European Design and Automation Association, EDAA

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

10 Citationer (Scopus)

Schedulability Analysis Abstractions for Safety Critical Java

Bøgholm, T., Thomsen, B., Larsen, K. G. & Mycroft, A., 2012, Proceedings of the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2012. IEEE Computer Society Press, s. 71-78 8 s. (International Symposium on Object-Oriented Real-Time Distributed Computing).

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

2 Citationer (Scopus)

Schedulability Analysis for Java Finalizers

Bøgholm, T., Hansen, R. R., Søndergaard, H., Ravn, A. P. & Thomsen, B., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems: ACM International Conference Proceeding Series. Association for Computing Machinery, 7 s.

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

2 Citationer (Scopus)

Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems

Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U. & Skou, A., 2014, Proceedings of ERTS2 2014. s. 1-4 4 s.

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

Fil
482 Downloads (Pure)

Schedulability of Herschel-Planck Revisited Using Statistical Model Checking

David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 18 okt. 2012, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Margaria, T. & Steffen, B. (red.). Springer, s. 293-307 15 s. (Lecture Notes in Computer Science, Bind 7610).

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

32 Citationer (Scopus)

Scheduling lacquer production by reachability analysis: A case study

Behrmann, G., Brinksma, E., Hendriks, M. & Mader, A., 2005, IFAC World Congress. Elsevier

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

5 Citationer (Scopus)

Schema Evolution for Stars and Snowflakes

Bidragets oversatte titel: Skemaevolution for stjerner og snefugKaas, C., Pedersen, T. B. & Rasmussen, B., 2004, Proceedings of the Sixth International Conference on Enterprise Information Systems. s. 425-433 9 s.

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

30 Citationer (Scopus)

Scheme on the Web and in the Classroom: A Retrospective about the LAML Project

Nørmark, K., 9 sep. 2012, Proceedings of the Twelfth Workshop on Scheme and Functional Programming. Danvy, O. (red.). Association for Computing Machinery, 6 s.

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

Scheme Program Documentation Tools

Nørmark, K., 2004, Proceedings of the Fifth SIGPLAN ACM Workshop on Scheme and Functional Programming. Shivers, O. & Waddell, O. (red.). Computer Science Department, Indiana University

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

Seamless Indoor/Outdoor Positioning Handover for Location-Based Services in Streamspin

Hansen, R., Wind, R., Jensen, C. S. & Thomsen, B., 2009, Proceedings of the 2009 Tenth International Conference on Mobile Data Management: Systems, Services and Middleware. IEEE Computer Society Press, Bind 00. s. 267-272

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

56 Citationer (Scopus)

Searching the Web of Data

de Melo, G. & Hose, K., 2013, Advances in Information Retrieval: 35th European Conference on IR Research, ECIR 2013, Moscow, Russia, March 24-27, 2013. Proceedings. Serdyukov et al., P. (red.). Springer Publishing Company, s. 869-873 5 s. (Lecture Notes in Computer Science, Bind 7814).

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

3 Citationer (Scopus)

Searching Trajectories by Regions of Interest

Shang, S., Chen, L., Jensen, C. S., Wen, J-R. & Kalnis, P., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. s. 1741-1742 2 s. 8509449

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

Searchlight: Context-aware predictive Continuous Querying of moving objects in symbolic space

Christensen, K. F., Christiansen, L. L., Pedersen, T. B. & Pihl, J., 2015, IEEE 31st International Conference on Data Engineering (ICDE), 2015, Proceedings. IEEE, s. 687-698

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

4 Citationer (Scopus)

Secrecy in Mobile Ad-hoc Networks

Hüttel, H. & Rafnsson, W., 2008, 20th Nordic Workshop on Programming Theory NWPT 2008. Institute of Cybernetics at Tallinn University of Technology, s. 54-56 3 s.

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

SecuSpot: Toward Cloud-Assisted Secure Multi-Tenant WiFi HotSpot Infrastructures

Schulz-Zander, J., Lisicki, R., Schmid, S. & Feldmann, A., 12 dec. 2016, Proceedings of the 2016 ACM Workshop on Cloud-Assisted Networking . Association for Computing Machinery, s. 61-66 6 s.

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

3 Citationer (Scopus)

Seed-Driven Geo-Social Data Extraction

Isaj, S. & Pedersen, T. B., 19 aug. 2019, Proceedings of the 16th International Symposium on Spatial and Temporal Databases, SSTD 2019: SSTD. Association for Computing Machinery, s. 11-20 10 s.

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

Åben adgang
Fil
200 Downloads (Pure)

Selective Training: A Strategy for Fast Backpropagation on Sentence Embeddings

Neerbek, J., Dolog, P. & Assent, I., 2019, Advances in Knowledge Discovery and Data Mining - 23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part III. Yang, Q., Zhang, M-L., Gong, Z., Huang, S-J. & Zhou, Z-H. (red.). Springer VS, s. 40-53 14 s. (Lecture Notes in Computer Science, Bind 11441).

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

Self-Adaptive Anytime Stream Clustering

Kranen, P., Assent, I., Baldauf, C. & Seidl, T., 2009, Proc. IEEE International Conference on Data Mining (ICDM 2009). IEEE Computer Society Press, s. 249-258 (ICDM).

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

43 Citationer (Scopus)

Semantics for Communicating Actors with Interdependent Real-Time Deadlines

Knoll, I., Ravn, A. P. & Skou, A., 2009, Proceedings of Third IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009.. IEEE Computer Society Press, s. 29-35

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