• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2019

Filter
Konferenceartikel i tidsskrift

A Bayesian Concept Learning Approach to Crowdsourcing

Viappiani, P. R., Zilles, S., Hamilton, H. J. & Boutilier, C., 2011, I : CEUR Workshop Proceedings. 756, 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

6 Citationer (Scopus)

Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions

Sloth, C. & Wisniewski, R., 2010, I : I E E E Conference on Decision and Control. Proceedings. s. 3760-3765

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Lyapunov functions
Lyapunov Function
Dynamical systems
Dynamical system
Timed Automata
33 Citationer (Scopus)

Abstract Probabilistic Automata

Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., 2011, I : Lecture Notes in Computer Science. 6538, s. 324-339

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

A Calculus for Modelling, Simulating and Analysing Compartmentalized Biological Systems

Mardare, R. I. & Ihekwaba, A., 2007, I : AIP Conference Proceedings. s. 42 46 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

calculus
congressional reports
engineering
physics

A Complete Axiomatic System for Process-based Spatial Logic

Mardare, R. I. & Policriti, A., 2008, I : Lecture Notes in Computer Science. s. 491 502 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Computer science
Computer Science
Logic

Acting under interference by other agents with unknown goals

Sønderberg-Madsen, N. & Jensen, F. V., 2008, I : Frontiers in Artificial Intelligence and Applications. 173, s. 157-164 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Experiments
76 Citationer (Scopus)

Active and Passive Fault-Tolerant LPV Control of Wind Turbines

Sloth, C., Esbensen, T. & Stoustrup, J., 2010, I : American Control Conference (ACC). 2010, s. 4640-4646

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wind turbines
Controllers
Control systems
Linear matrix inequalities
Failure analysis
5 Citationer (Scopus)
492 Downloads (Pure)

Active fault diagnosis of linear hybrid systems

Tabatabaeipour, S. M., Ravn, A. P., Izadi-Zamanabadi, R. & Bak, T., 2009, I : Elsevier IFAC Publications / IFAC Proceedings series. s. 211-216

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
1 Citation (Scopus)

Adaptive Task Automata with Earliest-Deadline-First Scheduling

Hatvani, L., David, A., Seceleanu, C. & Pettersson, P., 2014, I : Electronic Communications of the EASST. 70, s. 1-15 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
3 Citationer (Scopus)

A delay-robust touristic plan recommendation using real-world public transportation information

Ayala, V. A. A., Alzogbi, A., Gülsen, K. C., Färber, M., Muñiz, M. & Lausen, G., 1 jan. 2017, I : CEUR Workshop Proceedings. 1906, s. 9-17 9 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Recommender systems
Experiments
14 Citationer (Scopus)

A distributed storage system with dCache

Behrmann, G., Fuhrmann, P., Grønager, M. & Kleist, J., 2008, I : Journal of Physics - Conference Series. 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

wide area networks
bandwidth
recommendations
maintenance
resources
2 Citationer (Scopus)

A Distributed Tier-1

Fischer, L., Grønager, M., Kleist, J. & Smirnova, O., 2008, I : Journal of Physics - Conference Series. 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

resources

A Flexible Query Framework for Music Data and Playlist Manipulation

Ruxanda, M. M. & Jensen, C. S., 2008, I : Database and Expert Systems Applications. 19, s. 693-697 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

17 Citationer (Scopus)

A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL

Ravn, A. P., Srba, J. & Vighio, S., 2010, I : Lecture Notes in Computer Science. 6415, s. 579-593

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Formal Analysis
Web services
Web Services
Transactions
Network protocols

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

David, A., Jacobsen, L., Jacobsen, M. & Srba, J., 2012, I : Electronic Proceedings in Theoretical Computer Science. 102, s. 125-140 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Petri nets
Extrapolation
3 Citationer (Scopus)

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

Jacobsen, L., Jacobsen, M., Møller, M. H. & Srba, J., 2010, I : Lecture Notes in Computer Science. 6342, s. 83-98

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Transition Systems
Model checking
Model Checking
Logic
Petri nets
8 Citationer (Scopus)
327 Downloads (Pure)

A game-theoretic approach to real-time system testing

David, A., Larsen, K. G., Li, S. & Nielsen, B., 2008, I : Design, Automation and Test in Europe. s. 443-448 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Real time systems
Testing
Acoustic waves
11 Citationer (Scopus)

A heuristic-based approach for planning federated SPARQL queries

Montoya, G., Vidal, M. E. & Acosta, M., 1 dec. 2012, I : CEUR Workshop Proceedings. 905, 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Engines
Planning
Information management
Semantics
Bandwidth

A Highly Available Grid Metadata Catalog

Jensen, H. T. & Kleist, J., 2009, I : Advanced Information Networking and Applications. s. 419-426

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

HTTP
Metadata
Access control
Data structures
Synchronization
1 Citation (Scopus)
286 Downloads (Pure)

Algorithmic Approach to Abstracting Linear Systems by Timed Automata

Sloth, C. & Wisniewski, R., 2011, I : I F A C Workshop Series. s. 4546-4551 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Lyapunov functions
Linear systems
Dynamical systems
Trajectories

ALICE-ARC integration

Anderlik, C., Gregersen, A. R., Kleist, J., Peters, A. & Siaz, P., 2008, I : Journal of Physics - Conference Series. 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

connectors
resources
data management
grids
modules
2 Citationer (Scopus)

A Local Information Passing Clustering Algorithm for Tagging Systems

Zong, Y., Xu, G., Jin, P., Dolog, P. & Jiang, S., 1 apr. 2011, I : Lecture Notes in Computer Science. 6637, s. 333-343 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

38 Citationer (Scopus)
412 Downloads (Pure)

A Location Privacy Aware Friend Locator

Siksnys, L., Thomsen, J. R., Saltenis, S., Yiu, M. L. & Andersen, O., 2009, I : Lecture Notes in Computer Science. 5644, s. 405-410 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Location Privacy
Location based services
Mobile phones
Proximity
Global positioning system
27 Citationer (Scopus)

An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres

Hilscher, M., Linker, S., Olderog, E-R. & Ravn, A. P., 2011, I : Lecture Notes in Computer Science. 6991, s. 404-419 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Railroad cars
Safety
Traffic
Controller
Model

Analyse af elbilers forbrug

Andersen, O., Krogh, B. B. & Torp, K., 2014, I : Artikler fra Trafikdage på Aalborg Universitet. 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
20 Citationer (Scopus)

Analysing Biochemical Oscillations through Probabilistic Model Checking

Ballarini, P., Mardare, R. I. & Mura, I., 2009, I : Electronic Notes in Theoretical Computer Science. 229, s. 3 19 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Model checking
Concurrency
Probabilistic Model
Computer science
Model Checking

Analysis of internal network requirements for the distributed Nordic Tier-1

Bidragets oversatte titel: Analyse af de interne netværks behow for den distribuerede nordiske Tier-1Kleist, J., Behrmann, G., Fischer, L., Gamst, M. & Grønager, M., 2010, I : Journal of Physics - Conference Series. 219, 5, 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citation (Scopus)

Analysis of tag-based Recommendation Performance for a Semantic Wiki

Durao, F. & Dolog, P., 2009, I : CEUR Workshop Proceedings. s. 141-154

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Semantics
Experiments

Analyzing Orchestration of BPEL Specified Services with Model Checking

Okika, J., 2009, I : CEUR Workshop Proceedings. 584, s. 1-6

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

15 Citationer (Scopus)

An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata

Byg, J., Jørgensen, K. Y. & Srba, J., 2009, I : Lecture Notes in Computer Science. 5885, s. 698-716 18 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Timed Automata
Petri nets
Petri Nets
Arc of a curve
Engines
4 Citationer (Scopus)

An Influence Diagram Approach for Multiagent Time-Critical Dynamic Decision Modeling

Sun, L., Zeng, Y. & Xiang, Y., 2010, I : Lecture Notes in Computer Science. 6230, s. 674-680

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Anticipatory DTW for Efficient Similarity Search in Time Series Databases

Assent, I., Wichterich, M., Krieger, R., Kremer, H. & Seidl, T., 2009, I : International Conference on Very Large Data Bases. Proceedings. s. 826-837

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

14 Citationer (Scopus)

A Personalized Tag-Based Recommendation in Social Web Systems

Durao, F. & Dolog, P., 2009, I : CEUR Workshop Proceedings. 485, s. 40-49

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Recommender systems
Websites
Experiments
2 Citationer (Scopus)

APPECT: An Approximate Backbone-Based Clustering Algorithm for Tags

Zong, Y., Xu, G., Jin, P., Zhang, Y., Chen, E. & Pan, R., 2011, I : Lecture Notes in Computer Science. 7120, s. 175-189 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Backbone
Clustering algorithms
Clustering Algorithm
Metadata
Redundancy
8 Citationer (Scopus)

Application of Model-Checking Technology to Controller Synthesis

David, A., Grunnet, J. D., Jessen, J. J., Larsen, K. G. & Rasmussen, J. I., 2011, I : Lecture Notes in Computer Science. 6957, s. 336-351 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Model checking
Model Checking
Synthesis
Game
Controller
2 Citationer (Scopus)

A Revisit of Query Expansion with Different Semantic Levels

Zhang, C., Cui, B., Cong, G. & Wang, Y., 2009, I : Lecture Notes in Computer Science. 5463, s. 662-676

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Query Expansion
Semantics
Retrieval
Integrate
User Experience
45 Citationer (Scopus)

A Scalable Approach for QoS-Based Web Service Selection

Alrifai, M., Risse, T., Dolog, P. & Nejdl, W., 2009, I : Lecture Notes in Computer Science. 5472, s. 190-199

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Service Selection
Linear programming
Web services
Web Services
Quality of service
2 Citationer (Scopus)

ATLAS DDM integration in ARC

Behrmann, G., Cameron, D., Ellert, M., Kleist, J. & Taga, A., 2008, I : Journal of Physics - Conference Series. 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

grids
resources
Denmark
Finland
Norway
11 Citationer (Scopus)

Auto-Clustering using Particle Swarm Optimization and Bacterial Foraging

Rutkowski Olesen, J., Cordero, J. & Zeng, Y., 2009, I : Lecture Notes in Computer Science. 5680, s. 69-83

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Foraging
Particle swarm optimization (PSO)
Particle Swarm Optimization
Clustering
Autonomous agents
2 Citationer (Scopus)
395 Downloads (Pure)

Automatic sensor assignment of a supermarket refrigeration system

Tabatabaeipour, S. M., Izadi-Zamanabadi, R., Bak, T. & Ravn, A. P., 2009, I : I E E E Conference on Control Applications. Proceedings. s. 1319–1324 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
44 Citationer (Scopus)

Automatic Synthesis of Robust and Optimal Controllers: An Industrial Case Study

Cassez, F., Jessen, J. J., Larsen, K. G., Raskin, J-F. & Reynier, P-A., 2009, I : Lecture Notes in Computer Science. 5469, s. 90-114

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Synthesis
Controller
Controllers
Simulink
Control Problem
14 Citationer (Scopus)

A Youla-Kucera approach to Gain-Scheduling with Application to Wind Turbine Control

Niss, M. O. K., Esbensen, T., Sloth, C., Stoustrup, J. & Odgaard, P. F., 2009, I : I E E E Conference on Control Applications. Proceedings. 2009, s. 1489-1494 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wind turbines
Scheduling
Controllers
Parameterization
1 Citation (Scopus)

Barefooted Usability Evaluation: Addressing the Mindset, Resources and Competences

Bruun, A., 2011, I : Lecture Notes in Computer Science. 6949, s. 374-377 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

BetaWB - A language for modular representation of biological systems

Ihekwaba, A., Larcher, R., Mardare, R. I. & Priami, C., 2007, I : Proccedings of International Conference on Systems Biology ICSB 2007.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Biological Sciences
26 Citationer (Scopus)

Building accurate 3D spatial networks to enable next generation intelligent transportation systems

Kaul, M., Yang, B. & Jensen, C. S., 11 sep. 2013, I : Proceedings - IEEE International Conference on Mobile Data Management. 1, s. 137-146 10 s., 6569130.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Data storage equipment
Vehicle routing
Lasers
Environmental impact
Scalability
21 Citationer (Scopus)

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

Benes, N., Kretinsky, J., Larsen, K. G. & Srba, J., 2009, I : Lecture Notes in Computer Science. 5684, s. 112-126

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citation (Scopus)

Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification

Olesen, M. C., Hansen, R. R., Lawall, J. & Palix, N. J-M., 1 sep. 2010, I : Electronic Communications of the EASST. 33, 18 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2 Citationer (Scopus)
456 Downloads (Pure)

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification

Olesen, M. C., Hansen, R. R., Lawall, J. L. & Palix, N. J-M., okt. 2014, I : Science of Computer Programming. 91, Part B, s. 141-160

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
16 Citationer (Scopus)

Co-clustering Analysis of Weblogs Using Bipartite Spectral Projection Approach

Xu, G., Zong, Y., Dolog, P. & Zhang, Y., 8 sep. 2010, I : Lecture Notes in Computer Science. 6278, s. 398-407

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Spectral Projection
Clustering Analysis
Clustering algorithms
Websites
Spectral Clustering
1 Citation (Scopus)
328 Downloads (Pure)

Co-clustering for Weblogs in Semantic Space

Zong, Y., Xu, G., Dolog, P., Zhang, Y. & Liu, R., 12 dec. 2010, I : Lecture Notes in Computer Science. 6488, s. 120-127

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Semantics
Clustering
Latent Semantic Analysis
Clustering Algorithm
Clustering algorithms