Filtrer
Konferencebidrag i proceedings

Søgeresultater

  • 2017

    Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory

    Bogaerts, B. & Cruz-Filipe, L., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Sierra, C. (red.). IJCAI, s. 866-872

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • The boolean pythagorean triples problem in coq

    Cruz-Filipe, L., Marques-Silva, J. & Schneider-Kamp, P., 1. jan. 2017, 23rd International Conference on Types for Proofs and Programs, TYPES 2017. Kaposi, A. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 47-48 2 s. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 104).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • The Paths to Choreography Extraction

    Cruz-Filipe, L., Larsen, K. S. & Montesi, F., 2017, Foundations of Software Science and Computation Structures: Proceedings of the 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. Esparza, J. & Murawski, A. S. (red.). Springer, s. 424-440 (Lecture Notes in Computer Science, Bind 10203).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    119 Downloads (Pure)
  • 2016

    Active Integrity Constraints for Multi-context Systems

    Cruz-Filipe, L., Gaspar, G., Nunes, I. & Schneider-Kamp, P., 2016, Knowledge Engineering and Knowledge Management: 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings. Blomqvist, E., Ciancarini, P., Poggi, F. & Vitali, F. (red.). Springer, s. 98-112 (Lecture Notes in Computer Science, Bind 10024).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Adding Isolated Vertices Makes Some Online Algorithms Optimal

    Boyar, J. & Kudahl, C., 2016, Combinatorial Algorithms: 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers. Lipták, Z. & Smyth, W. F. (red.). Springer, s. 65-76 (Lecture Notes in Computer Science, Bind 9538).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Advice Complexity of the Online Induced Subgraph Problem

    Komm, D., Královič, R., Královič, R. & Kudahl, C., 22. aug. 2016, Proceeding of the 41st International Symposium on Mathematical Foundations of Computer Science. Faliszewski, P., Muscholl, A. & Niedermeier, R. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, s. 1-13 59. (Leibniz International Proceedings in Informatics, Bind 58).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    51 Downloads (Pure)
  • Advice Complexity of the Online Search Problem

    Clemente, J., Hromkovič, J., Komm, D. & Kudahl, C., 2016, Combinatorial Algorithms: 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings. Mäkinen, V., Puglisi, S. J. & Salmela, L. (red.). Springer, s. 203-212 (Lecture Notes in Computer Science, Bind 9843).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • An Efficient Branch and Cut Algorithm to Find Frequently Mutated Subnetworks in Cancer

    Bomersbach, A., Chiarandini, M. & Vandin, F., 2016, Algorithms in Bioinformatics: Proceedings of the16th International Workshop, WABI. Frith, M. & Nørgaard Storm Pedersen, C. (red.). Springer, s. 27-39 (Lecture Notes in Computer Science, Bind 9838).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • A Practical Method for the Minimum Genus of a Graph: Models and Experiments

    Beyer, S., Chimani, M., Hedtke, I. & Kotrbcik, M., 2016, Experimental Algorithms: Proceedings of the 15th International Symposium on Experimental Algorithms. Goldberg, A. V. & Kulikov, A. S. (red.). Springer, s. 75-88 (Lecture Notes in Computer Science, Bind 9685).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • A Simulated Annealing Algorithm for Maximum Common Edge Subgraph Detection in Biological Networks

    Larsen, S., Alkærsig, F. G., Ditzel, H., Jurisica, I., Alcaraz, N. & Baumbach, J., 2016, GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference. Friedrich, T. (red.). Association for Computing Machinery, s. 341-348

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • A Software Package for Chemically Inspired Graph Transformation

    Andersen, J. L., Flamm, C., Merkle, D. & Stadler, P. F., 2016, Graph Transformation: Proceedings of the 9th International Conference on Graph Transformation. Echahed, R. & Minas, M. (red.). Springer, s. 73-88 (Lecture Notes in Computer Science, Bind 9761).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions

    Flamm, C., Merkle, D., Stadler, P. F. & Thorsen, U., 2016, Graph Transformation: Proceedings of the 9th International Conference on Graph Transformation. Echahed, R. & Minas, M. (red.). Springer, s. 206-222 (Lecture Notes in Computer Science, Bind 9761).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Coherence generalises duality: A logical explanation of multiparty session types

    Carbone, M., Lindley, S., Montesi, F., Schürmann, C. & Wadler, P., 2016, Proceedings of the 27th International Conference on Concurrency Theory. Desharnais, J. & Jagadeesan, R. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, s. 1–15 33. (Leibniz International Proceedings in Informatics, Bind 59).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    34 Downloads (Pure)
  • Data-driven workflows for microservices: Genericity in jolie

    Safina, L., Mazzara, M., Montesi, F. & Rivera, V., 2016, Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications. IEEE, s. 430-437 (Proceedings of the International Conference on Advanced Information Networking and Applications).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Data security issues in MaaS-enabling platforms

    Callegati, F., Giallorenzo, S., Melis, A. & Prandini, M., 2016, IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow, RTSI 2016, Bologna, Italy, September 7-9, 2016. IEEE, s. 1-5 5 s. 7740624

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Enorm: Efficient Window-based Computation in Large-scale Distributed Stream Processing Systems

    Madsen, K. G. S., Zhou, Y. & Su, L., 2016, Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems. New York, NY, USA: Association for Computing Machinery, s. 37-48

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Grounded Fixpoints and Active Integrity Constraints

    Cruz-Filipe, L., 2016, Technical Communications of the 32nd International Conference on Logic Programming. Carro, M., King, A., Saeedloei, N. & De Vos, M. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, s. 11:1-11:14 11. (Leibniz International Proceedings in Informatics). (Open Access Series in Informatics, Bind 52).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    62 Downloads (Pure)
  • Integrity Constraints for General-Purpose Knowledge Bases

    Cruz-Filipe, L., Nunes, I. & Schneider-Kamp, P., 2016, FoIKS 2016: Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems. Gyssens, M. & Simari, G. (red.). Springer, s. 235-254 (Lecture Notes in Computer Science, Bind 9616).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Kickstarting Choreographic Programming

    Montesi, F., 2016, Web Services, Formal Methods, and Behavioral Types: Proceedings of the 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing. Hildebrandt, T., Ravara, A., van der Werf, J. M. & Weidlich, M. (red.). Springer, s. 3-10 (Lecture Notes in Computer Science, Bind 9421).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Materialized View Selection in Feed Following Systems

    Chen, K. & Zhou, Y., 2016, Proceedings of the 2016 IEEE International Conference on Big Data. IEEE Press, s. 442-451

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Online Bounded Analysis

    Boyar, J., Epstein, L., Favrholdt, L. M., Larsen, K. S. & Levin, A., 2016, Computer Science – Theory and Applications: 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings. Kulikov, A. S. & Woeginger, G. J. (red.). Springer, s. 131-145 (Lecture Notes in Computer Science, Bind 9691).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Online Dominating Set

    Boyar, J., Eidenbenz, S. J., Favrholdt, L. M., Kotrbcik, M. & Larsen, K. S., 2016, 15th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2016. Pagh, R. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, s. 1-15 21. (Leibniz International Proceedings in Informatics, Bind 53).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    30 Downloads (Pure)
  • Randomization Can Be as Helpful as a Glimpse of the Future in Online Computation

    Mikkelsen, J. W., 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y. & Sangiorgi, D. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, s. 39:1-39:14 (Leibniz International Proceedings in Informatics, Bind 55).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    44 Downloads (Pure)
  • Tolerating correlated failures in Massively Parallel Stream Processing Engines

    Su, L. & Zhou, Y., 1. maj 2016, Proceeding of the IEEE 32nd International Conference on Data Engineering. IEEE Press, s. 517-528

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Vertical Optimization of Resource Dependent Flight Paths

    Knudsen, A. N., Chiarandini, M. & Larsen, K. S., 2016, Proceedings of the Twenty-Second European Conference on Artificial Intelligence. Kaminka, G. A., Fox, M., Bouquet, P., Hüllermeier, E., Dignum, V., Dignum, F. & van Harmelen, F. (red.). IOS Press, s. 639-645 (Frontiers in Artificial Intelligence and Applications, Bind 285).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    93 Downloads (Pure)
  • Weighted Online Problems with Advice

    Boyar, J., Favrholdt, L. M., Kudahl, C. & Mikkelsen, J. W., 2016, Combinatorial Algorithms : 27th International Workshop, IWOCA 2016. Mäkinen, V., Puglisi, S. J. & Salmela, L. (red.). Springer, s. 179-190 (Lecture Notes in Computer Science, Bind 9843).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2015

    Adaptive grid-based k-median clustering of streaming data with accuracy guarantee

    Cao, J., Zhou, Y. & Wu, M., 2015, Database Systems for Advanced Applications: 20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings, Part I. Renz et al., M. (red.). Springer, Bind 1. s. 75-91 (Lecture Notes in Computer Science, Bind 9045).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Advice Complexity for a Class of Online Problems

    Boyar, J., Favrholdt, L. M., Kudahl, C. & Mikkelsen, J. W., 2015, 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015). Mayr, E. W. & Ollinger, N. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Bind 30. s. 116-129 (Leibniz International Proceedings in Informatics, Bind 30).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Applying Sorting Networks to Synthesize Optimized Sorting Libraries

    Codish, M., Cruz-Filipe, L., Nebel, M. & Schneider-Kamp, P., dec. 2015, Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Falaschi, M. (red.). Springer, s. 127-142 (Lecture Notes in Computer Science, Bind 9527).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Competitive Local Routing with Constraints

    Bose, P., Fagerberg, R., Renssen, A. V. & Verdonschot, S., 2015, Algorithms and Computation: 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings. Springer, s. 23-34 (Lecture Notes in Computer Science, Bind 9472).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Constructive relationships between algebraic thickness and normality

    Boyar, J. & Find, M. G., 2015, 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings. Kosowski, A. & Walukiewicz, I. (red.). Springer, s. 106-117 (Lecture Notes in Computer Science, Bind 9210).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Deciding the On-line Chromatic Number of a Graph with Pre-coloring is PSPACE-complete

    Kudahl, C., 2015, Algorithms and Complexity: 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings. Paschos, V. T. & Widmayer, P. (red.). Springer, s. 313-324 (Lecture Notes in Computer Science, Bind 9079).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Dissemination of anonymized streaming data

    Zhou, Y., Shou, L., Shang, X. & Chen, K., 2015, Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems. Association for Computing Machinery, s. 104-115

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Distributed Sequence Pattern Detection Over Multiple Data Streams

    Leghari, A. K., Cao, J. & Zhou, Y., 2015, Advances in Databases and Information Systems: 19th East European Conference, ADBIS 2015, Poitiers, France, September 8-11, 2015, Proceedings. Tadeusz, M., Valduriez, P. & Bellatreche, L. (red.). Springer, s. 380-394 (Lecture Notes in Computer Science, Bind 9282).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Dynamic Resource Management in a MapReduce-Style Platform for Fast Data Processing

    Madsen, K. G. S. & Zhou, Y., apr. 2015, Proceedings of the 31st IEEE International Conference on Data Engineering Workshops. IEEE, s. 10-13

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Dynamic resource management in a massively parallel stream processing engine

    Madsen, K. G. S. & Zhou, Y., 2015, Proceedings of the 24th ACM International on Conference on Information and Knowledge Management. Association for Computing Machinery, s. 13-22

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Efficient Pattern Detection Over a Distributed Framework

    Leghari, A. K., Wolf, M. & Zhou, Y., 2015, Enabling Real-Time Business Intelligence: International Workshops, BIRTE 2013, Riva del Garda, Italy, August 26, 2013, and BIRTE 2014, Hangzhou, China, September 1, 2014, Revised Selected Papers. Castellanos, M., Dayal, U., Pedersen, T. B. & Tatbul, N. (red.). Springer, s. 133-149 (Lecture Notes in Business Information Processing, Bind 206).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Feedback Based Continuous Skyline Queries Over a Distributed Framework

    Leghari, A. K., Cao, J. & Zhou, Y., 2015, Advances in Databases and Information Systems: 19th East European Conference, ADBIS 2015, Poitiers, France, September 8-11, 2015, Proceedings. Tadeusz, M., Valduriez, P. & Bellatreche, L. (red.). Springer, s. 287-301 (Lecture Notes in Computer Science, Bind 9282).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker

    Cruz-Filipe, L. & Schneider-Kamp, P., 2015, Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. Urban, C. & Zhang, X. (red.). Springer, s. 154-169 (Lecture Notes in Computer Science, Bind 9236).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Multiparty Session Types as Coherence Proofs

    Carbone, M., Montesi, F., Schürmann, C. & Yoshida, N., 2015, 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015. Aceto, L. & de Frutos Escrig, D. (red.). s. 412-426 (Leibniz International Proceedings in Informatics, Bind 42).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    49 Downloads (Pure)
  • Online Data Partitioning in Distributed Database Systems

    Chen, K., Zhou, Y. & Cao, Y., 2015, Advances in Database Technology — EDBT 2015: Proceedings of the 18th International Conference on Extending Database Technology, Brussels, Belgium, March 23-27, 2015. Alonso et al., G. (red.). OpenProceedings, s. 1-12

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Online Dual Edge Coloring of Paths and Trees

    Favrholdt, L. M. & Mikkelsen, J. W., 2015, Approximation and Online Algorithms: 12th International Workshop, WAOA 2014, Wroclaw, Poland, September 11-12, 2014, Revised Selected Papers. Bampis, E. & Svensson, O. (red.). Springer, s. 181-192 (Lecture Notes in Computer Science, Bind 8952).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Online Multi-Coloring with Advice

    Christ, M. G., Favrholdt, L. M. & Larsen, K. S., 2015, Approximation and Online Algorithms: 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers. Bampis, E. & Svensson, O. (red.). Springer, s. 83-94 (Lecture Notes in Computer Science, Bind 8952).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Optimal Online Edge Coloring of Planar Graphs with Advice

    Mikkelsen, J. W., 2015, Algorithms and Complexity: 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings. Th. Paschos, V. & Widmayer, P. (red.). Springer, s. 352-364 (Lecture Notes in Computer Science, Bind 9079).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof

    Cruz-Filipe, L. & Schneider-Kamp, P., 2015, Intelligent Computer Mathematics: Proceedings of the 8th Conference on Intelligent Computer Mathematics (CICM 2015). Kerber, M., Carette, J., Kaliszyk, C., Rabe, F. & Sorge, V. (red.). Springer, s. 55-70 (Lecture Notes in Computer Science, Bind 9150).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints

    Cruz-Filipe, L., Franz, M., Hakhverdyan, A., Ludovico, M., Nunes, I. & Schneider-Kamp, P., 12. nov. 2015, Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K2015). Fred, A., Dietz, J., Aveiro, D., Liu, K. & Filipe, J. (red.). SCITEPRESS Digital Library, Bind 3. s. 17-26

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Scalable SPARQL querying using path partitioning

    Wu, B., Zhou, Y., Yuan, P., Liu, L. & Jin, H., 2015, Proceedings of the 31st IEEE International Conference on Data Engineering. IEEE, s. 795-806 12 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Sorting Networks: The End Game

    Codish, M., Cruz-Filipe, L. & Schneider-Kamp, P., 2015, Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA 2015). Dediu et al., A-H. (red.). Springer, s. 664-675 (Lecture Notes in Computer Science, Bind 8977).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • The Evolution of Jolie: From Orchestrations to Adaptable Choreographies

    Lanese, I., Montesi, F. & Zavattaro, G., 2015, Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. De Nicola, R. & Hennicker, R. (red.). Springer, s. 506-521 (Lecture Notes in Computer Science, Bind 8950).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2014

    50 Shades of Rule Composition: From Chemical Reactions to Higher Levels of Abstraction

    Andersen, J. L., Flamm, C., Merkle, D. & Stadler, P. F., 2014, Formal Methods in Macro-Biology: Proceedings of the First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Fages, F. & Piazza, C. (red.). Springer, s. 117-135 (Lecture Notes in Computer Science, Bind 8738).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review