• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2019

Filter
Konferenceartikel i proceeding
2017
15 Downloads (Pure)

QBOAirbase: The European Air Quality Database as an RDF Cube

Galárraga, L., Ahlstrøm, K. & Hose, K., 2017, Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks: co-located with 16th International Semantic Web Conference (ISWC 2017). CEUR Workshop Proceedings, 4 s. 507. (C E U R Workshop Proceedings, Bind 1963).

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

Åben adgang
Fil
4 Citationer (Scopus)

Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata

Hansen, R. R., Jensen, P. G., Larsen, K. G., Legay, A. & Poulsen, D. B., 2017, Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers. Springer, s. 75-90 (Lecture Notes in Computer Science).

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

Åben adgang
3 Citationer (Scopus)

Refinement of Trace Abstraction for Real-Time Programs

Cassez, F., Jensen, P. G. & Larsen, K. G., 7 sep. 2017, Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. Springer, s. 42-58 (Lecture Notes in Computer Science, Bind 10506).

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

4 Citationer (Scopus)

Reverse keyword-based location search

Xie, X., Lin, X., Xu, J. & Jensen, C. S., 16 maj 2017, Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017. IEEE, s. 375-386 12 s. 7929992

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

Query processing
Location based services
Merging
Planning
11 Citationer (Scopus)

Reverse Top-k geo-social keyword queries in road networks

Zhao, J., Gao, Y., Chen, G., Jensen, C. S., Chen, R. & Cai, D., 16 maj 2017, Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017. IEEE, s. 387-398 12 s. 7929993

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

Query processing
Marketing
Managers
Experiments
5 Citationer (Scopus)

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

Telecommunication links
Signal to noise ratio
Optical cables
Wide area networks
Optical links

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

1 Citation (Scopus)
32 Downloads (Pure)

SM4MQ: A Semantic Model for Multidimensional Queries

Varga, J., Dobrokhotova, E., Romero, O., Pedersen, T. B. & Thomsen, C., 16 maj 2017, The Semantic Web: 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part I. Springer, s. 449-464 16 s. ( Lecture Notes in Computer Science, Bind 10249).

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

Åben adgang
Fil
Semantics
Processing
Semantic Web
Metadata
Data structures
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).

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

Model checking
Costs
Specifications
1 Citation (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).

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

Semantics
Neural networks
Syntactics
Demonstrations
Engines
5 Citationer (Scopus)

Teaching Spatial Geometry in a Virtual World: Using Minecraft in Mathematics in Grade 5/6

Förster, K-T., 8 jun. 2017, 2017 IEEE Global Engineering Education Conference (EDUCON). IEEE, s. 1411-1418 8 s.

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

school grade
mathematics
Teaching
curriculum
primary education
8 Citationer (Scopus)

The Connected Car: An Empirical Study of Electric Cars as Mobile Digital Devices

Svangren, M. K., Skov, M. & Kjeldskov, J., 2017, MobileHCI '17: Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, 12 s. 6

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

The Dynamics of Agile Practices for Safety-Critical Software Development

Nielsen, P. A. & Tordrup Heeager, L., 26 maj 2017, Proceedings of the Scientific Workshops of XP2017 Proceedings. Hansen, G. K., Myklebust, T., Johnsen, S. O. & Doss, O. (red.). Cologne: Association for Computing Machinery, 21

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

Software engineering

The grand CRU challenge

Blöcher, M., Viering, M., Schmid, S. & Eugster, P., 11 aug. 2017, HotConNet 2017 - Proceedings of the 2017 Workshop on Hot Topics in Container Networking and Networked Systems, Part of SIGCOMM 2017. Association for Computing Machinery, s. 7-11 5 s.

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

Managers
Semantics
10 Citationer (Scopus)

The Odyssey Approach for Optimizing Federated SPARQL Queries

Montoya, G., Skaf-Molli, H. & Hose, K., 2017, The Semantic Web - ISWC 2017: 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I. Springer, Bind 10587. s. 471-489 (Lecture Notes in Computer Science).

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

Åben adgang
Statistics
Data transfer
Dynamic programming
Costs
Engines
4 Citationer (Scopus)

The vAMP Attack: Taking control of cloud systems via the unified packet parser

Thimmaraju, K., Shastry, B., Fiebig, T., Hetzelt, F., Seifert, J. P., Feldmann, A. & Schmid, S., 3 nov. 2017, CCSW 2017 - Proceedings of the 2017 Cloud Computing Security Workshop, co-located with CCS 2017. Association for Computing Machinery, s. 11-15 5 s.

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

Switches
Computer operating systems
Complex networks
Network protocols
3 Citationer (Scopus)

Top-k Taxi Recommendation in Realtime Social-Aware Ridesharing Services

Fu, X., Huang, J., Lu, H., Xu, J. & Li, Y., 2017, Advances in Spatial and Temporal Databases: SSTD 2017. Springer, s. 221-241 21 s. (Lecture Notes in Computer Science, Bind 10411).

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

Understanding and designing for emerging digital eco-systems: The cases of private and shared cars

Svangren, M. K., 4 sep. 2017, Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2017. Association for Computing Machinery, 69

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

Railroad cars
Human computer interaction
13 Citationer (Scopus)

Understanding and Mitigating Packet Corruption in Data Center Networks

Zhou, D., Ghobadi, M., Mahajan, R., Förster, K-T., Krishnamurthy, A. & Anderson, T., aug. 2017, Proceedings of the Conference of the ACM Special Interest Group on Data Communication: ACM SIGCOMM 2017. Association for Computing Machinery, s. 362-375

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

1 Citation (Scopus)

Unrestricted stone duality for Markov processes

Furber, R., Kozen, D., Larsen, K. G., Mardare, R. I. & Panangaden, P., 8 aug. 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Press, 8005152

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

Markov Process
Duality
Measurable space
Boolean algebra
Modality

Uppaal Stratego for Intelligent Traffic Lights

Eriksen, A. B., Huang, C., Kildebogaard, J., Lahrmann, H. S., Larsen, K. G., Muniz, M. & Taankvist, J. H., 2017, 12th ITS European Congress: Strasbourg, France, 19-22 June 2017. ERTICO - ITS Europe, 10 s. SP0878

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

Telecommunication traffic
Controllers
Radar
Cruise control
Information use
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

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

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

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

2016

A Case Study of Four IT Companies Developing Usable Public Digital Self-Service Solutions

Billestrup, J., Stage, J. & Larusdottir, M., 2016, ACHI 2016: The Ninth International Conference on Advances in Computer-Human Interactions. IARIA, s. 307-314 8 s.

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

Åben adgang
3 Citationer (Scopus)
118 Downloads (Pure)

A Comparison of Techniques for Cross-Device Interaction from Mobile Devices to Large Displays

Paay, J., Raptis, D., Kjeldskov, J., Lauridsen, B. M., Penchev, I. S., Ringhauge, E. & Ruder, E. V., 2016, Proceedings of Advances in Mobile Computing & Multimedia (MoMM 2016). Association for Computing Machinery, s. 137-146

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

Fil
2 Citationer (Scopus)
88 Downloads (Pure)

A Complete Approximation Theory for Weighted Transition Systems

Hansen, M., Larsen, K. G., Mardare, R. I., Pedersen, M. R. & Xue, B., 2016, Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. Fränzle, M., Kapur, D. & Zhan, N. (red.). Springer, s. 213-228 (Lecture Notes in Computer Science, Bind 9984).

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

Åben adgang
Fil
Bisimulation
Approximation Theory
Transition Systems
Logic
Finite Models
5 Citationer (Scopus)

A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing

Aceto, L., Larsen, K. G., Morichetta, A. & Tiezzi, F., 29 jan. 2016, Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Springer, Bind 9539. s. 66-85 20 s. (Lecture Notes in Computer Science, Bind 9539).

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

1 Citation (Scopus)

A Data Model for Determining Weather's Impact on Travel Time

Bidragets oversatte titel: En datamodel for bestemmelse af vejrets påvirkning af rejsetiderAndersen, O. & Torp, K., 2016, Database and Expert Systems Applications: 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II. Hartman, S. & Ma, H. (red.). Springer Publishing Company, Bind 9828. s. 437-444 8 s. (Lecture Notes in Computer Science, Bind 9829).

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

2 Citationer (Scopus)

A Density-Based Approach to the Retrieval of Top-K Spatial Textual Clusters

Wu, D. & Jensen, C. S., 2016, Proceedings of the 25th ACM International on Conference on Information and Knowledge Management. Association for Computing Machinery, s. 2095-2100

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

7 Citationer (Scopus)

Aggregating energy flexibilities under constraints

Valsomatzis, E., Pedersen, T. B., Abello, A. & Hose, K., 12 dec. 2016, 2016 IEEE International Conference on Smart Grid Communications (SmartGridComm). IEEE, s. 484-490 7 s.

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

Scheduling
Agglomeration
Washers
9 Citationer (Scopus)

A Local Constant Factor MDS Approximation for Bounded Genus Graphs

Amiri, S., Schmid, S. & Siebertz, S., 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, s. 227-233 7 s.

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

3 Citationer (Scopus)

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems

Chadli, M., Kim, J. H., Legay, A., Traonouez, L. M., Naujokat, S., Bernhard, S. & Larsen, K. G., 2016, Critical Systems: Formal Methods and Automated Verification. Springer, s. 133–141 (Lecture Notes in Computer Science, Bind 9933).

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

17 Citationer (Scopus)

An Approximation Algorithm for Path Computation and Function Placement in SDNs

Even, G., Rost, M. & Schmid, S., 2016, International Colloquium on Structural Information and Communication Complexity (SIROCCO). Springer, s. 374-390

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

8 Citationer (Scopus)

Answering why-not questions on metric probabilistic range queries

Chen, L., Gao, Y., Wang, K., Jensen, C. S. & Chen, G., 2016, 32nd IEEE International Conference on Data Engineering, ICDE 2016. IEEE, s. 767-778

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

23 Citationer (Scopus)

Answering why-not spatial keyword top-k queries via keyword adaption

Chen, L., Xu, J., Lin, X., Jensen, C. S. & Hu, H., 2016, 32nd IEEE International Conference on Data Engineering, ICDE 2016. IEEE, s. 697-708

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

3 Citationer (Scopus)

Asserting Real-Time Emotions through Cued-Recall: Is it valid?

Bruun, A., Law, E. L-C., Heintz, M. & Eriksen, P. S., 2016, 9th Nordic Conference of Human-Computer Interaction (NordiCHI '16). Association for Computing Machinery, 10 s.

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

4 Citationer (Scopus)

Bayesian Network Inference with Simple Propagation

Butz, C. J., Oliveira, J., E. dos Santos, A. & Madsen, A. L., 2016, Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference. AAAI Press Association for the Advancement of Artificial Intelligence, s. 650-655 6 s.

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

Åben adgang
1 Citation (Scopus)

Binary Session Types for Psi-Calculi

Bidragets oversatte titel: Binære sessionstyper for psi-kalkylerHuttel, H., 31 okt. 2016, Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings. Igarashi, A. (red.). s. 96-115 20 s. (Lecture Notes in Computer Science, Bind 10017).

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

22 Citationer (Scopus)

Can't Touch This: Consistent Network Updates for Multiple Policies

Dudycz, S., Ludwig, A. & Schmid, S., 2016, 46th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE

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

6 Citationer (Scopus)

Challenges in Detecting Epidemic Outbreaks from Social Networks

Romano, S., Martino, S. D., Kanhabua, N., Mazzeo, A. & Nejdl, W., 2016, 30th International Conference on Advanced Information Networking and Applications Workshops, AINA 2016 Workshops, Crans-Montana, Switzerland, March 23-25, 2016. IEEE, s. 69-74 6 s.

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

1 Citation (Scopus)

Cleansing Indoor RFID Data Using Regular Expressions

Baba, A. I., Lu, H., Ku, W-S. & Pedersen, T. B., 2016, Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (GIS). Association for Computing Machinery, s. 77:1-77:4 4 s.

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

2 Citationer (Scopus)

Complete Axiomatization for the Bisimilarity Distance on Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 21:1--21:14 14 s. (Leibniz International Proceedings in Informatics, Bind 59).

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

Åben adgang
Axiomatization
Markov chain
Equational Logic
Deductive System
Approximately equal

Complex Schema Mapping and Linking Data: Beyond Binary Predicates

Gonzalez, J. R., de Melo, G. & Hose, K., 2016, Proceedings of the Workshop on Linked Data on the Web: co-located with 25th International World Wide Web Conference (WWW 2016). (CEUR Workshop Proceedings, Bind 1593).

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

Åben adgang