• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2019

Filter
Konferenceartikel i tidsskrift
2008
31 Citationer (Scopus)

iSky: Efficient and Progressive Skyline Computing in a Structured P2P Network

Chen, L., Cui, B., Lu, H., Xu, L. & Xu, Q., 2008, I : Distributed Computing Systems. s. 160-167 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Adaptive filtering
Distributed computer systems
Information management
Costs
Decision making
48 Citationer (Scopus)

Optimal infinite scheduling for multi-priced timed automata

Bouyer, P., Brinksma, E. & Larsen, K. G., 2008, I : Formal Methods in System Design. 1, 3 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

62 Citationer (Scopus)

Parallel Distributed Processing of Constrained Skyline Queries by Filtering

Cui, B., Lu, H., Xu, Q., Chen, L., Dai, Y. & Zhou, Y., 2008, I : Proceedings / International Conference on Data Engeenering. s. 546-555 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

247 Citationer (Scopus)

SpaceTwist: Managing the Trade-Offs Among Location Privacy, Query Performance, and Query Accuracy in Mobile Services

Yiu, M. L., Jensen, C. S., Xuegang, H. & Lu, H., 2008, I : Proceedings / International Conference on Data Engeenering. s. 366-375 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Servers
Query processing
Middleware
Communication
Costs
147 Downloads (Pure)

The Power Context of Method-in-Action: A Case Study

Munk-Madsen, A., 2008, I : CEUR Workshop Proceedings. s. 14-24 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Information systems
2 Citationer (Scopus)

Towards efficient main-memory use for optimum tree index update

Biveinis, L. & Saltenis, S., 2008, I : Proceedings of the VLDB Endowment. 1, s. 1617-1622

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2007

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

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

Colonies of synchronizing agents: An abstract model of intracellular and intercellular processes

Cavaliere, M., Mardare, R. I. & Sedwards, S., 2007, I : Computer and Automation Research Institute of the Hungarian Academy of Sciences. s. 35 51 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Automation
Education
5 Citationer (Scopus)

Complexity in Simplicity: Flexible Agent-based State Space Exploration

Rasmussen, J. I. & Larsen, K. G., 2007, I : Lecture Notes in Computer Science. s. 231-245

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Simplicity
State Space
Pattern Search
Frustration
Timed Automata
132 Citationer (Scopus)

Efficient Processing of Top-k Dominating Queries on Multi-Dimensional Data

Yiu, M. L. & Mamoulis, N., 2007, I : Proceedings of the VLDB Endowment. s. 483-494

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citation (Scopus)

Improved Model Predictive Control of Discrete-Time Hybrid Systems with Mixed Inputs

Gholami, M., Salahshoor, K., Tabatabaeipour, S. M., Shaker, H. R. & Alizadeh, T., 2007, I : Proceedings of the Annual Conference of the IEEE Industrial Electronics Society. s. 744-749

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

18 Citationer (Scopus)

Model-Checking One-Clock Priced Timed Automata

Bouyer, P., Larsen, K. G. & Markey, N., 2007, I : Lecture Notes in Computer Science. s. 108-122 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

6 Citationer (Scopus)

Observing Distributed Computation. A Dynamic-Epistemic Approach

Mardare, R. I., 2007, I : Lecture Notes in Computer Science. s. 379 393 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Distributed Computation
Computer science
Computer Science
Coalgebra
Algebra
2006

Data Always and Everywhere -- Management of Mobile, Ubiquitous, Pervasive, and Sensor Data: Dagstuhl Seminar Proceedings 05421

Alonso, G., Jensen, C. S. & Mitschang, B., 2006, I : Dagstuhl Seminar Proceedings. 37 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

9 Citationer (Scopus)

Decidable extensions of Hennessy-Milner Logic

Mardare, R. I. & Priami, C., 2006, I : Lecture Notes in Computer Science. 4229, s. 196 211 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Formal methods
Formal Methods
Computer science
Distributed Systems
Computer Science
54 Citationer (Scopus)

Model checking of time Petri nets using the state class timed automaton

Lime, D. & Roux, O. H., 2006, I : Discrete Event Dynamic Systems. 16, 2, s. 179-205 27 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

17 Citationer (Scopus)

On using priced timed automata to achieve optimal scheduling

Rasmussen, J. I., Larsen, K. G. & Subramani, K., 2006, I : Formal Methods in System Design. 29, 1, s. 97-114 18 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Optimal Scheduling
Timed Automata
Scheduling
Reachability
Costs

Playing with partial knowledge in membrane systems: A logical approach

Cavaliere, M. & Mardare, R. I., 2006, I : Lecture Notes in Computer Science. s. 279 297 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Membrane Computing
Biology
Computer Science
Membrane
Cytology
2005

HUGIN - The Tool for Bayesian Networks and Influence Diagrams

Jensen, F., Kjærulff, U. B., Lang, M. & Madsen, A. L., 2005, I : International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems. s. 212-221

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

13 Citationer (Scopus)

Model checking biological systems described using ambient calculus

Mardare, R. I., Priami, C., Qualia, P. & Vagin, O., 2005, I : Lecture Notes in Bioinformatics. 3082, s. 85 103 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Model checking
Biological systems
Systems Biology
Bioinformatics
Computational methods
2001
7 Citationer (Scopus)

Using structuration theory in action research: A intranet development project

Rose, J. & Lewis, P., 2001, I : IFIP International Federation for Information Processing. 66, s. 273-295 23 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

2000
26 Citationer (Scopus)

Model-Checking Real-Time Control Programs: Verifying LEGO (R) MINDSTORMS (TM) systems using UPPAAL

Iversen, T. K., Kristoffersen, K. J., Larsen, K. G., Laursen, M., Madsen, R. G., Mortensen, S. K., Pettersson, P. & Thomasen, C. B., 2000, I : Euromicro Conference on Real-Time Systems. Proceedings. s. 147-155 9 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning