Publikationer pr. år
Publikationer 1987 2019
- 200 - 223 ud af 223 resultater
- Udgivelsesår, titel (faldende)
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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