Publikationer pr. år
Publikationer 1987 2019
- 200 - 223 ud af 223 resultater
- Udgivelsesår, titel (faldende)
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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-1622Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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-245Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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-494Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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-749Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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-221Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning