Publications

Research in CSC results in a large number of publications every year. A list of all CSC publications in previous years can be accessed through the following links:

• Publications 2010
• Publications 2009
• Publications 2008
• Publications 2007
• Publications 2006
• Publications 2005
• Publications 2004

Publications in 2011

The following list gives all publications published in the year 2011:

• Bisdorff, Raymond; Meyer, Patrick; Olteanu, Alexandru: A Clustering Approach using Weighted Similarity Majority Margins, Advanced Data Mining and Applications ADMA 201 J. Tang et al. (Eds), vol. LNAI 7120, no. Part I, Springer-Verlag, 2011, pp. 15-28, ISBN: 978-3-642-25853-4
• Bisdorff, Raymond: Modern MCDA software: requirements and opportunities, The electronic newsletter, vol. Spring, EURO working group on Multiple Criteria Decision Aid, 2011, pp. 1-3
• Pecero, Johnatan E.; Bouvry, Pascal; Fraire Huacuja, Hector J.; Khan, Samee U.: A Multi-objective GRASP Algorithm for Joint Optimization of Energy Consumption and Schedule Length of Precedence-Constrained Applications, IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing DASC, IEEE, 2011, pp. 510-517, ISBN: 978-0-7695-4612-4
• Bella, Giampaolo; Coles-Kemp, Lizzie; Lenzini, Gabriele; Ryan, Peter Y. A.: STAST 2011 - Proc. of the 1st Workshop on Socio-Technical Aspects in Security and Trust, IEEE, 2011, ISBN: 978-1-4577-1181-7
• Pinel, Frederic; Pecero, Johnatan E.; Bouvry, Pascal; Khan, Samee U.: A two-phase heuristic for the scheduling of independent tasks on computational grids, 2011 International Conference on High Performance Computing and Simulation (HPCS), IEEE, 2011, pp. 471-477, ISBN: 978-1-61284-380-3
• Biryukov, Alex; De Cannière, Christophe: Linear Cryptanalysis for Block Ciphers., Encyclopedia of Cryptography and Security, Springer, 2011, 2011, pp. 722-725, ISBN: 978-1-4419-5905-8
• Biryukov, Alex; De Cannière, Christophe: Data Encryption Standard (DES)., Encyclopedia of Cryptography and Security, Springer, 2011, 2011, pp. 295-301, ISBN: 978-1-4419-5905-8
• Biryukov, Alex; Kizhvatov, Ilya; Zhang, Bin: Cryptanalysis of the Atmel Cipher in SecureMemory, CryptoMemory and CryptoRF, Lecture Notes in Computer Science, vol. 6715, Springer, 2011, pp. 91-109, ISBN: 978-3-642-21553-7
• Biryukov, Alex; Lamberger, Mario; Mendel, Florian; Nikolic, Ivica: Second-Order Differential Collisions for Reduced SHA-256., Lecture Notes in Computer Science, vol. 7073, Springer, 2011, pp. 270-287, ISBN: ISBN 978-3-642-25384-3
• Biryukov, Alex; Nikolic, Ivica: Search for Related-Key Differential Characteristics in DES-Like Ciphers., Lecture Notes in Computer Science, vol. 6733, Springer, 2011, pp. 18-34, ISBN: 978-3-642-21701-2
• Biryukov, Alex; Nikolic, Ivica; Roy, Arnab: Boomerang Attacks on BLAKE-32, Lecture Notes in Computer Science, vol. 6733, Springer, 2011, pp. 218-237, ISBN: 978-3-642-21701-2
• Bouvry, Pascal; González-Vélez, Horacio; Kolodziej, Joanna: Intelligent Decision Systems in Large-Scale Distributed Environments, Springer, 2011, ISBN: 978-3-642-21270-3
• Ton, van Deursen; Sjouke, Mauw; Sasa, Radomirovic: mCarve: Carving attributed dump sets, 20th USENIX Security Symposium, USENIX Association, 2011, pp. 107-121, ISBN: xxxxxxxxxxxxxxxx
• Caminada, Martin: A Labelling Approach for Ideal and Stage Semantics, Argument & Computation, vol. 2, no. 1, Taylor & Francis, 2011, pp. 1-21, ISSN: 1946-2166
• Baroni, Pietro; Caminada, Martin; Giacomin, Massimiliano: An introduction to argumentation semantics, The Knowledge Engineering Review, vol. 26, no. 4, Cambridge University Press, 2011, pp. 365-410
• Caminada, Martin; Carnielli, Walter; Dunne, Paul: Semi-Stable Semantics, Journal of Logic and Computation, Oxford University Press, 2011, pp. 1-45
• Caminada, Martin; Pigozzi, Gabriella; Podlaszewski, Mikolaj: Manipulation in Group Argument Evaluation, Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, AAAI Press/International Joint Conferences on Artificial Intelligence, 2011, pp. 121-126, ISBN: ISBN 978-1-57735-512-0
• Jostock, Markus; Sachau, Jürgen: NetPower DemoLab A Test Bed Infrastructure for Security and Reliability Investigations of SCADA Systems, 2011 Grande Region Security and Reliability Day, 2011, pp. 1-2, ISBN: unknown
• Yuan, Qixia; Pang, Jun; Mauw, Sjouke; Trairatphisan, Panuwat; Wiesinger, Monique; Sauter, Thomas: A study of the PDGF signaling pathway with PRISM, Proceedings of the 3rd Workshop on Computational Models for Cell Processes, vol. EPTCS 67, 2011, pp. 65-81, ISBN: N/A
• Lenzini, Gabriele; Mauw, Sjouke; Pang, Jun: Selective location blinding using hash chains, Proceedings of the 19th Workshop on Security Protocols, vol. LNCS 7114, Springer-Verlag, 2011, pp. 132-141, ISBN: 978-3-642-25866-4
• Jonker, Hugo; Pang, Jun: Bulletin boards in voting systems: Modelling and measuring privacy, Proceedings of the 6th Conference on Availability, Reliability and Security, IEEE CS, 2011, pp. 294-300, ISBN: 978-0-7695-4485-4
• Li, Yongjian; Pang, Jun: An inductive approach to provable anonymity, Proceedings of 6th Conference on Availability, Reliability and Security, IEEE CS, 2011, pp. 454-459, ISBN: 978-0-7695-4485-4
• Liu, Z.; Pang, Jun; Zhang, Chenyi: Verification of a key-chain based TTP transparent CEM protocol, Proceedings of the 3rd Workshop on Harnessing Theories for Tool Support in Software, vol. ENTCS 274, Elsevier, 2011, pp. 51-65, ISBN: 1571-0661
• Sun, Yanjie; Zhang, Chenyi; Pang, Jun; Alcalde, B.; Mauw, Sjouke: A trust-augmented voting scheme for collaborative privacy management, Proceedings of the 6th Workshop on Security and Trust Management, 2011, pp. 132-146, ISBN: 978-3-642-22443-0
• Dong, Naipeng; Jonker, Hugo; Pang, Jun: Analysis of a receipt-free auction protocol in the applied pi calculus, Proceedings of the 7th Workshop on Formal Aspects in Security and Trust, vol. LNCS 6561, Springer-Verlag, 2011, pp. 223-238, ISBN: 978-3-642-19750-5
• Zhang, Shaojie; Sun, Jun; Pang, Jun; Liu, Yang; Dong, Jinsong: On combining state space reductions with global fairness assumptions, Proceedings of the 17th International Symposium on Formal Methods, vol. LNCS 6664, Springer-Verlag, 2011, pp. 432-447, ISBN: 978-3-642-21436-3
• Bakhshi, R.; Endrullis, Joerg; Fokkink, Wan; Pang, Jun: Fast leader election in anonymous rings with bounded expected delay, Information Processing Letters, vol. 111, no. 17, 2011, pp. 864-870
• Frank, Raphael; Giordano, Eugenio; Gerla, Mario; Engel, Thomas: Performance Bound for Routing in Urban Scenarios, ASIAN INTERNET ENGINEERING CONFERENCE (AINTEC) 2011, 2011, pp. 0-0, ISBN: N/A
• Perrouin, Gilles; Oster, S.; Sen, Sagar; Klein, Jacques; Baudry, Benoit; Le, Yves: Pairwise testing for software product lines: Comparison of two approaches, Software Quality Journal, 2011, pp. 1–39
• Delamare, Romain; Baudry, Benoit; Ghosh, Sudipto; Gupta, G.; Le, Yves: An Approach for Testing Pointcut Descriptors in AspectJ, Software, Testing, Verification & Reliability journal (STVR), vol. 21, 2011, pp. 215–239
• Simonin, Jacques; Bertin, Emmanuel; Le, Yves; Jezequel, Jean-Marc; Crespi, Noel: Analysis and Improvement of the Alignment between Business and Information System for Telecom Services, International Journal On Advances in Software, vol. 4, 2011, pp. 117–128
• Mouelhi, Tejeddine; Le, Yves; Abgrall, Erwan; Baudry, Benoit; Gombault, Sylvain: Tailored Shielding and Bypass Testing of Web Applications, 4th IEEE International Conference on Software Testing, Verification and Validation (ICST 2011), IEEE, 2011
• Demongeot, Thomas; Totel, Eric; Viet, Valerie; Le, Yves: Preventing data leakage in services orchestration, 7th International Conference Information Assurance and Security (IAS 2011), 2011
• Demongeot, Thomas; Totel, Eric; Viet, Valerie; Le, Yves: Preventing data leakage in services orchestration, 7th International Conference Information Assurance and Security (IAS 2011), 2011
• Bartel, Alexandre; Baudry, Benoit; Munoz, Freddy; Klein, Jacques; Mouelhi, Tejeddine; Le, Yves: Model Driven Mutation Applied to Adaptative Systems Testing, Mutation, IEEE Xplore, 2011
• Istoan, Paul; Biri, Nicolas; Klein, Jacques: Issues in model-driven behavioural product derivation, VAMOS, ACM, 2011
• Istoan, Paul; Klein, Jacques; Perrouin, Gilles; Jezequel, Jean-Marc: A Metamodel-based Classification of Variability Modeling Approaches, VARY, vol. TR-2011-144, IT University of Copenhagen, 2011, pp. TR–2011–144–23
• Guelfi, Nicolas: A formal framework for dependability and resilience from a software engineering perspective, Central European Journal of Computer Science, vol. 1, 2011, pp. 294–328
• Pruski, Cedric; Guelfi, Nicolas; Reynaud, Chantal: Adaptive Ontology-based Web Information Retrieval: The TARGET Framework, International Journal of Web Portals, vol. 3, 2011, pp. 41–58
• Saidane, Ayda; Guelfi, Nicolas: Towards improving security testability of AADL architecture models, International Conference on Network and System Security, IEEE Computer Society, 2011
• Kelsen, Pierre; Ma, Qin; Glodt, Christian: Models within Models: Taming Model Complexity Using the Sub-model Lattice, FASE, 2011
• El Kharbili, Marwane; Ma, Qin; Kelsen, Pierre; Pulvermueller, Elke: Enterprise Regulatory Compliance Modeling using CoReL: An illustrative Example, CEC, IEEE Computer Society Press, 2011
• El Kharbili, Marwane; Ma, Qin; Kelsen, Pierre; Pulvermueller, Elke: CoReL: Policy-Based and Model-Driven Regulatory Compliance Management, EDOC, IEEE Computer Society Press, 2011
• Amalio, Nuno; Glodt, Christian; Kelsen, Pierre: Building VCL Models and Automatically Generating Z Specifications from Them, Formal Methods - 17th International Symposium on Formal Methods, vol. 6664, Springer, 2011, pp. 6664–149
• Amalio, Nuno; Glodt, Christian; Pinto, Frederico; Kelsen, Pierre: Automated Generation of Platform-Variant Applications from Platform-Independent Models via Templates, WGT, 2011
• Alferez, Mauricio; Amalio, Nuno; Ciraci, Selim; Fleurey, Franck; Kienzle, Jorg; Klein, Jacques; Kramer, Max; Mosser, Sebastien; Mussbacher, Gunter; Roubtsova, Ella; Zhang, Gefei: Aspect-Oriented Model Development at Different Levels of Abstraction, Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, vol. 6698, Springer, 2011, pp. 6698–361
• Gallina, Barbara; Guelfi, Nicolas: Reusing Transaction Models for Dependable Cloud Computing, Software Reuse in the Emerging Cloud Computing Era, IGI Global, IGI Global, 2011
• El Kharbili, Marwane; Pulvermueller, Elke: Chapter 16: Semantic Policies for Modeling Regulatory Process Compliance, Semantic Technologies for Business and Information Systems Engineering: Concepts and Applications, IGI Global, IGI Global, 2011, pp. 311–336
• Podlaszewski, Mikolaj; Caminada, Martin W.A.; Pigozzi, Gabriella: An Implementation of Basic Argumentation Components (Demonstration), Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems, vol. 2, no. 6, 2011, pp. 1307-1308, ISBN: 978-0-9826571-5-7
• Parent, Xavier: Moral particularism in the light of deontic logic, Artif. Intell. Law, vol. 19, no. 2-3, 2011, pp. 75-98
• Gabbay, D.M.; Kollel, M.: Uncertainty rules in Talmudic Logic, History and Philosophy of Logic, vol. 32, no. 1, 2011, pp. 63-69
• Abraham, M.; Gabbay, D.M.; Hazut, G.; Maruyka, Y.; Schild, U.: Logical Analysis of the Talmudic Rule of General and Specific (Klal-u-Prat), History and Philosophy of Logic, vol. 32, no. 1, 2011, pp. 47-62
• Abraham, M.; Gabbay, D.M.; Schild, U.: Resolution of conflicts and normative loops in the Talmud, College Publications, 2011, ISBN: 9781848900486
• Abraham, M.; Belfer, I.; Gabbay, D.M.; Schild, U.: Temporal Logic in the Talmud, College Publications, 2011, ISBN: 9781848900233
• Gabbay, Dov: Dung’s Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce-Quine Dagger, Logica Universalis, vol. 5, no. 2, Springer, 2011, pp. 255 - 318
• Varrette, Sébastien; Bertholon, Benoit; Bouvry, Pascal: A Signature Scheme for Distributed Executions based on Control flow Analysis.., Lecture Notes in Computer Science, vol. 7053, Springer, 2011, pp. 85-95, ISBN: 978-3-642-25260-0
• Pigné, Yoann; Danoy, Grégoire; Bouvry, Pascal: Sensitivity analysis for a realistic vehicular mobility model, Proceedings of the first ACM international symposium on Design and analysis of intelligent vehicular networks and applications, ACM, 2011, pp. 31-38, ISBN: 978-1-4503-0904-2
• Bertholon, Benoit; Cérin, Christophe; Coti, Camille; Dubacq, Jean-Christophe; Varrette, Sebastien: Practical Security in Distributed Systems, Distributed Systems; Design and Algorithms, vol. 1, Whiley and Son, 2011, 2011, pp. 243--306, ISBN: 978-1-84821-250-3
• Schleich, Julien; Herbiet, Guillaume-Jean; Ruiz, Patricia; Bouvry, Pascal; Wagener, Jérôme; Bicheler, Paul; Guinand, Frédéric; Chaumette, Serge: Enhancing the broadcast process in mobile ad hoc networks using community knowledge, Proceedings of the first ACM international symposium on Design and analysis of intelligent vehicular networks and applications, 2011, pp. 23-30, ISBN: 978-1-4503-0904-2
• Caminada, Martin W. A.; Pigozzi, Gabriella: On Judgment Aggregation in Abstract Argumentation, JAAMAS special issue on Computational Social Choice, vol. 22, 2011, pp. 64–102
• Jamroga, W.; Bulling, N.: Comparing Variants of Strategic Ability, Proceedings of IJCAI-11, 2011, pp. 252–257
• Goranko, V.; Jamroga, W.; Turrini, P.: Strategic Games and Truly Playable Effectivity Functions, Proceedings of AAMAS2011, 2011, pp. 727–734
• Gabbay, Dov M.; Schlechta, Karl: Conditionals and Modularity in General Logics, Springer, 2011
• Wu, Yining: Transforming Fuzzy Description Logic ALC_FL into Classical Description Logic ALCH, BNAIC 2011, 2011
• Abraham, Michael; Gabbay, Dov M.; Schild, Uri J.: Obligations and prohibitions in Talmudic deontic logic, Artif. Intell. Law, vol. 19, no. 2-3, 2011, pp. 117–148
• Booth, Richard; Chevaleyre, Yann; Lang, Jérôme; Mengin, Jérôme; Sombattheera, Chattrakul: Learning conditionally lexicographic preference relations, Proceedings of the 23rd Benelux Conference on Artificial Intelligence, 2011, pp. 371–372
• Booth, Richard; Meyer, Thomas: How to revise a total preorder, Journal of Philosophical Logic, vol. 40, Springer, 2011, pp. 193–238
• Booth, Richard; Meyer, Thomas: Belief change, Journal of Indian Council of Philosophical Research, vol. 27, Indian Council of Philosophical Research, 2011, pp. 379–412
• van der Meyden, Ron; van der Torre, Leon: Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008), J. Applied Logic, vol. 9, no. 2, 2011, pp. 81–82
• Agent and Multi-Agent Systems: Technologies and Applications - 5th KES International Conference, KES-AMSTA 2011, Manchester, UK, June 29 - July 1, 2011. Proceedings, KES-AMSTA, vol. 6682, Springer, 2011, ISBN: 978-3-642-21999-3
• Melissen, Matthijs: The Generative Capacity of the Lambek-Grishin Calculus: A New Lower Bound, Proceedings of Formal Grammar 2009, vol. 5591, Springer, 2011, pp. 118–132, ISBN: 978-3-642-20168-4
• Jamroga, Wojciech; Melissen, Matthijs: Doubtful Deviations and Farsighted Play, Progress in Artificial Intelligence, Proceedings of the 15th Portuguese Conference on Artificial Intelligence, vol. 7026, Springer, 2011, pp. 506–520, ISBN: 978-3-642-24768-2
• Novak, P.; Jamroga, W.: Agents, Actions and Goals in Dynamic Environments, Proceedings of IJCAI-11, 2011, pp. 313–318
• Bulling, N.; Jamroga, W.: Alternating Epistemic Mu-Calculus, Proceedings of IJCAI-11, 2011, pp. 109–114
• M4M'2011 and LAMAS'2011, Proceedings of the 7th Workshop on Methods for Modalities and the 4th Workshop on Logical Aspects of Multi-Agent Systems, vol. 278, Elsevier, 2011
• Data and Applications Security and Privacy XXV - 25th Annual IFIP WG 11.3 Conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011. Proceedings, DBSec, vol. 6818, Springer, 2011, ISBN: 978-3-642-22347-1
• Computer Security - ESORICS 2011 - 16th European Symposium on Research in Computer Security, Leuven, Belgium, September 12-14, 2011. Proceedings, ESORICS, vol. 6879, Springer, 2011, ISBN: 978-3-642-23821-5
• Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings, LPNMR, vol. 6645, Springer, 2011, ISBN: 978-3-642-20894-2
• Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings, TABLEAUX, vol. 6793, Springer, 2011, ISBN: 978-3-642-22118-7
• Genovese, Valerio; Garg, Deepak: New Modalities for Access Control Logics: Permission, Control and Ratification, 7th International Workshop on Security and Trust Management - STM 2011, 2011
• Benzmueller, Christoph; Gabbay, Dov M.; Genovese, Valerio; Rispoli, Daniele: Embedding and Automating Conditional Logics in Classical Higher-Order Logic, CoRR, vol. abs/1106.3685, 2011
• Bulling, N.; Jamroga, W.: Alternating Epistemic Mu-Calculus, Proceedings of IJCAI-11, 2011, pp. 109–114
• Benzmueller, Christoph; Genovese, Valerio: Quantified Conditional Logics are Fragments of HOL, International Conference on Non-classical Modal and Predicate Logic - NCMPL 2011, 2011
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 11th European Conference, ECSQARU 2011, Belfast, UK, June 29-July 1, 2011. Proceedings, ECSQARU, vol. 6717, Springer, 2011, ISBN: 978-3-642-22151-4
• Weydert, Emil: Semi-stable Extensions for Infinite Frameworks, Procs. of the 23nd Benelux Conference on Artificial Intelligence (BNAIC'11), 2011, pp. 336–343
• Weydert, Emil: Conditional Ranking Revision - Iterated revision with sets of conditionals, Journal of Philosophical Logic, Springer, 2011, pp. n–n+34
• Kramer, S.; Ryan, P.Y.A.: A Modular Multi-Modal Specification of Real-Timed, End-To-End Voter-Verifiable Voting Systems, Proceedings of the RE-affiliated Workshop on Requirements Engineering for Electronic Voting Systems, IEEE, 2011
• Booth, Richard; Meyer, Thomas: How to revise a total preorder, Journal of Philosophical Logic, vol. 40, 2011, pp. 193–238
• Booth, Richard; Meyer, Thomas; Varzinczak, Ivan José; Wassermann, Renata: On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic, J. Artif. Intell. Res. (JAIR), vol. 42, 2011, pp. 31–53
• Caminada, Martin W.A.; Wu, Yining: On the Limitations of Abstract Argumentation, BNAIC 2011, 2011
• Booth, Richard; Meyer, Thomas; Varzinczak, Ivan José; Wassermann, Renata: On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic, J. Artif. Intell. Res. (JAIR), vol. 42, 2011, pp. 31–53
• Gabbay, Dov M.: Reactive intuitionistic tableaux, Synthese, vol. 179, no. 2, 2011, pp. 253–269
• Crochemore, Maxime; Gabbay, Dov M.: Reactive automata, Inf. Comput., vol. 209, no. 4, 2011, pp. 692–704
• Gabbay, Dov M.; Schlechta, Karl: Equilibria und weiteres Heiteres II, CoRR, vol. abs/1108.3033, 2011
• Benzmueller, Christoph; Gabbay, Dov M.; Genovese, Valerio; Rispoli, Daniele: Embedding and Automating Conditional Logics in Classical Higher-Order Logic, CoRR, vol. abs/1106.3685, 2011
• Gabbay, Dov M.; Schlechta, Karl: Equilibria und weiteres Heiteres II, CoRR, vol. abs/1108.3033, 2011
• de Boer, M.; Gabbay, D.; Parent, X.; Slavkovik, M.: Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones–Pörn deontic logic system], Synthese, Springer Netherlands, 2011, pp. 1–38, ISSN: 0039-7857
• Lang, J.; Pigozzi, G.; Slavkovik, M.; van der Torre, L.: Judgment aggregation rules based on minimization, Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, ACM, 2011, pp. 238–246, ISBN: 978-1-4503-0707-9
• Ganesan, V.; Slavkovik, M.; Sousa, S.; van der Torre, L.: Judgment Aggregation for Cooperative Anchoring on the NAO Robots, Works-in-progress track - 3rd International Conference on Social Robotics, 2011
• Boella, G.; Pigozzi, G.; Slavkovik, M.; van der Torre, L.: Group Intention Is Social Choice with Commitment, Coordination, Organizations, Institutions, and Norms in Agent Systems VI, vol. 6541, Springer Berlin / Heidelberg, Springer Berlin / Heidelberg, 2011, pp. 152–171, ISBN: 978-3-642-21267-3
• Slavkovik, M.; Jamroga, W.: Distance-based Judgment Aggregation of Three-valued Judgments with Weights, Proceedings of the IJCAI Workshop on Social Choice and Artificial Intelligence, 2011, pp. 81–87
• Boella, G.; Pigozzi, G.; Slavkovik, M.; van der Torre, L.: A Satisficing Agreements Model, Proceedings of the 13th International Workshop on Coordination, Organization, Institutions and Norms (COIN@WI-IAT), 2011
• Lang, J.; Pigozzi, G.; Slavkovik, M.; van der Torre, L.: Judgment aggregation rules based on minimization., Actes des Cinquièmes Journées Francophones Modèles Formel de l'Interaction (MFI 11), 2011, pp. 238–246
• Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. Proceedings, RuleML Europe, vol. 6826, Springer, 2011, ISBN: 978-3-642-22545-1
• IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, IJCAI, IJCAI/AAAI, 2011, ISBN: 978-1-57735-516-8
• Aucher, Guillaume; Boella, Guido; van der Torre, Leendert: A dynamic logic for privacy compliance, Artif. Intell. Law, vol. 19, no. 2-3, 2011, pp. 187–231
• Boella, Guido; Gabbay, Dov M.; Perotti, Alan; van der Torre, Leendert; Villata, Serena: Argumentative Agents Negotiating on Potential Attacks, KES-AMSTA, vol. 6682, Springer, 2011, pp. 280–290, ISBN: 978-3-642-21999-3
• Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert: Arguing about the Trustworthiness of the Information Sources, ECSQARU, vol. 6717, Springer, 2011, pp. 74–85, ISBN: 978-3-642-22151-4
• Aucher, Guillaume; Barker, Steve; Boella, Guido; Genovese, Valerio; van der Torre, Leendert: Dynamics in Delegation and Revocation Schemes: A Logical Approach, DBSec, vol. 6818, Springer, 2011, pp. 90–105, ISBN: 978-3-642-22347-1
• Barker, Steve; Genovese, Valerio: Socially Constructed Trust for Distributed Authorization, ESORICS, vol. 6879, Springer, 2011, pp. 262–277, ISBN: 978-3-642-23821-5
• Barker, Steve; Genovese, Valerio: Secommunity: A Framework for Distributed Access Control, LPNMR, vol. 6645, Springer, 2011, pp. 297–303, ISBN: 978-3-642-20894-2
• Genovese, Valerio; Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca: A Conditional Constructive Logic for Access Control and Its Sequent Calculus, TABLEAUX, vol. 6793, Springer, 2011, pp. 164–179, ISBN: 978-3-642-22118-7
• Gabbay, Dov M.: Introducing Equational Semantics for Argumentation Networks, ECSQARU, vol. 6717, Springer, 2011, pp. 19–35, ISBN: 978-3-642-22151-4
• Booth, Richard; Caminada, Martin W.A.; Podlaszewski, Mikolaj; Rahwan, Iyad: Quantifying disagreement in argument-based reasoning, Proceedings of the 1st International Workshop on the Theory and Applications of Formal Argumentation (TAFA 2011), 2011
• Booth, Richard; Chevaleyre, Yann; Lang, Jérôme; Mengin, Jérôme; Sombattheera, Chattrakul: Learning conditionally lexicographic preference relations, Proceedings of the 23rd Benelux Conference on Artificial Intelligence, 2011, pp. 371–372
• Rotolo, Antonino; van der Torre, Leendert: Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems, RuleML Europe, vol. 6826, Springer, 2011, pp. 52–66, ISBN: 978-3-642-22545-1
• Villata, Serena; Boella, Guido; van der Torre, Leendert: Attack Semantics for Abstract Argumentation, IJCAI, IJCAI/AAAI, 2011, pp. 406–413, ISBN: 978-1-57735-516-8
• Rienstra, Tjitze; Perotti, Alan; Villata, Serena; van der Torre, Dov Gabbay Leendert: Multi-sorted Argumentation, Proceedings of the 1st International Workshop on the Theory and Applications of Formal Argumentation (TAFA 2011), 2011
• Pecero, Johnatan E.; Pinel, Frederic; Bouvry, Pascal; Fraire Huacuja, Hector J.: A Multi-Objective GRASP for Energy-aware Scheduling, Proceedings of the 17th International Congress on Computer Science Research CIICC´11, 2011, pp. 401-414, ISBN: 978-607-7912-18-7
• Castro, Harold; Sotelo, German; Diaz, Cesar O.; Bouvry, Pascal: Green Flexible Opportunistic Computing with Virtualization, Proceedings of the 11th IEEE International Conference on Computer and Information Technology, 2011, pp. 629-634, ISBN: 978-0-7695-4388-8
• Diaz, Cesar O.; Guzek, Mateusz; Pecero, Johnatan E.; Bouvry, Pascal; Khan, Samee U.: Scalable and Energy-Efficient Scheduling Techniques for Large-Scale Systems, Proceedings of the 11th IEEE International Conference on Computer and Information Technology, 2011, pp. 641-647, ISBN: 978-0-7695-4388-8
• Diaz, Cesar O.; Guzek, Mateusz; Pecero, Johnatan E.; Danoy, Gregoire; Bouvry, Pascal; Khan, Samee U.: Energy-Aware Fast Scheduling Heuristics in Heterogeneous Computing Systems, Proceedings of the 2011 International Conference on High Performance Computing & Simulation (HPCS 2011), 2011, pp. 478-484, ISBN: 978-1-61284-383-4
• Galindo, David; Hoepman, Jaap-Henk: Non-interactive distributed encryption: a new primitive for revocable privacy, Proceedings of the 10th annual ACM workshop on Privacy in the Electronic Society, ACM, 2011, pp. 81 - 92, ISBN: 978-1-4503-1002-4
• Botev, Jean; Milanesio, Marco: CoDE - An Application-Layer Framework for Confidentiality in Distributed Environments, Proceedings of the 3rd International Workshop on Collaborative Social Computing (SocialComp 2011), IEEE, 2011, pp. 0 - 0, ISBN: -
• Botev, Jean; Ooi, Wei Tsang; Scholtes, Ingo: Getting Real - Self-Organized Resource Allocation on Second Life Avatar Traces, Proceedings of the 4th International Workshop on Massively Multiuser Virtual Environments (MMVE 2011), IEEE, 2011, pp. 170 - 175, ISBN: 978-1-4577-0498-7
• Valentini, Giorgio Luigi; Lassonde, Walter; Khan, Samee Ullah; Min-Allah, Nasro; Madani, Sajjad A; Li, Juan; Zhang, Limin; Wang, Lizhe; Ghani, Nasir; Kolodziej, Joanna; Li, Hongxiang; Zomaya, Albert Y; Xu, Cheng-Zhong; Balaji, Pavan; Vishnu, Abhinav; Pinel, Frederic; Pecero, Johnatan E; Kliazovich, Dzmitry; Bouvry, Pascal: An overview of energy efficiency techniques in cluster computing systems, Cluster Computing, 2011, pp. 0 - 0
• Dorronsoro, Bernabe; Bouvry, Pascal: Adaptive Neighborhoods for Cellular Genetic Algorithms, Nature Inspired Distributed Computing (NIDISC) sessions of the International Parallel and Distributed Processing Symposium (IPDPS) 2011 Workshop, IEEE, 2011, pp. 383-389, ISBN: 1530-2075
• Danoy, Gregoire; Dorronsoro, Bernabe; Bouvry, Pascal: New State-of-the-art Results for Cassini2 Global Trajectory Optimization Problem, International Joint Conference on Artificial Intelligence (IJCAI) Workshop on AI in Space: Intelligence beyond planet Earth, 2011, pp. 1-2, ISBN: no ISBN
• Danoy, Gregoire; Dorronsoro, Bernabe; Bouvry, Pascal: Multi-objective Cooperative Coevolutionary Algorithms for Robust Scheduling, EVOLVE 2011, 2011, pp. 1-4, ISBN: 978-2-87971-106-5
• Dorronsoro, Bernabe; Bouvry, Pascal: On the use of Small-world Population Topologies for Genetic Algorithms, EVOLVE 2011, 2011, pp. 1-3, ISBN: 978-2-87971-106-5
• Dorronsoro, Bernabe; Bouvry, Pascal: The Exploration/Exploitation Tradeoff in Dynamic Cellular Evolutionary Algorithms, IEEE Transactions on Evolutionary Computation, vol. 15, no. 1, IEEE, 2011, pp. 67-98, ISSN: 1089-778X
• Ruiz, Patricia; Dorronsoro, Bernabe; Bouvry, Pascal; Tardon, Lorenzo J.: Information Dissemination in VANETs based upon a Tree Topology, Ad hoc networks journa, vol. 10, no. 1, 2011, pp. 111-127, ISSN: 1570-8705
• Dorronsoro, Bernabe; Danoy, Gregoire; Bouvry, Pascal; Nebro, Antonio J.: Multi-objective Cooperative Coevolutionary Evolutionary Algorithms for Continuous and Combinatorial Optimization, Intelligent Decision Systems in Large-Scale Distributed Environments, Springer, 2011, 2011, pp. 49-74, ISBN: 978-3-642-21270-3
• Ruiz, Patricia; Dorronsoro, Bernabe; Bouvry, Pascal: Optimization and Performance Analysis of the AEDB Broadcasting Algorithm, IEEE International Workshop on Wireless Mesh and Ad Hoc Networks, IEEE, 2011, pp. 1-6, ISBN: 978-1-4577-0636-3
• Tantar, Alexandru-Adrian; Tantar, Emilia; Bouvry, Pascal: Load balancing for sustainable ICT, 13th Annual Genetic and Evolutionary Computation Conference (GECCO 2011), Companion Material Proceedings, ACM, 2011, pp. 733-738, ISBN: 978-1-4503-0690-4
• Tantar, Alexandru-Adrian; Tantar, Emilia; Bouvry, Pascal: A classification of dynamic multi-objective optimization problems, 13th Annual Genetic and Evolutionary Computation Conference (GECCO 2011), Companion Material Proceedings, ACM, 2011, pp. 105-106, ISBN: 978-1-4503-0690-4
• Tantar, Emilia; Tantar, Alexandru-Adrian; Bouvry, Pascal: On dynamic multi- objective optimization - classification and performance measures, Proceedings of the IEEE Congress on Evolutionary Computation, 2011, pp. 2759-2766, ISBN: 978-1-4244-7834-7
• Giordano, Eugenio; Frank, Raphael; Pau, Giovanni; Gerla, Mario: CORNER: A Radio Propagation Model for VANETs in Urban Scenarios, Proceedings of the IEEE, vol. 99, no. 7, IEEE, 2011, pp. 1280 - 1294, ISSN: 0018-9219
• Kirsch, Laurent; Esch, Markus; Rothkugel, Steffen: The Snippet System - Fine-Granular Management of Documents and Their Relationships, Proceedings of the 6th International Conference on Human-Computer Interaction (HCI 2011), Acta Press, 2011, pp. 0-0, ISBN: unknown
• Schleich, Julien; Le Thi, Hoai An; Bouvry, Pascal: Solving the minimum M-dominating set problem by a continuous optimization approach based on DC programming and DCA, Journal of Combinatorial Optimization, Springer Netherlands, 2011, pp. 1-16, ISSN: 1382-6905
• Guzek, Mateusz; Pecero, Johnatan E.; Dorronsoro, Bernabé; Bouvry, Pascal: Energy-Aware Scheduling of Parallel Applications with Multi-Objective Evolutionary Algorithm, A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation., 2011, pp. 1-4, ISBN: 978-2-87971-106-5
• Seredynski, Marcin; Bouvry, Pascal: A Survey of Vehicular-based Cooperative Traffic Information Systems, 14th International IEEE Conference on Intelligent Transportation Systems, IEEE, 2011, pp. 163-168, ISBN: 978-1-4577-2196-0
• Hommes, Stefan; State, Radu; Zinnen, Andreas; Engel, Thomas: Detection of Abnormal Behaviour in a Surveillance Environment Using Control Charts, IEEE International Conference on Advanced Video and Signal based Surveillance (AVSS), no. 8th, 2011, pp. 113-118, ISBN: 978-1-4577-0845-9
• Pinel, Frederic; Danoy, Gregoire; Bouvry, Pascal: Evolutionary Algorithm Parameter Tuning with Sensitivity Analysis, Proceedings of the International Joint Conference on Security and Intelligent Information Systems, Springer LNCS, 2011, pp. 0-0, ISBN: na
• Pinel, Frederic; Pecero, Johnatan; Bouvry, Pascal; Khan, Samee: A Review on Task Performance Prediction in Multi-core Based Systems, Proceedings of the 11th IEEE International Conference on Scalable Computing and Communications (SCALCOM 2011), 2011, pp. 0-0, ISBN: na
• Leprévost, Franck; Pohst, Michael; Uzunkol, Osmanbey: On the Computation of Class Polynomials with "Thetanullwerte" and Its Applications to the Unit Group Computation, Experimental Mathematics, vol. 20, no. 3, Taylor & Francis, 2011, pp. 271-281
• Pinel, Frederic; Bouvry, Pascal: A Model for Energy-efficient Task Mapping on Milliclusters, Proceedings of the Second International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering, Civil-Comp Press, 2011, pp. 0-32, ISBN: doi:10.4203/ccp.95.32
• Pecero, Johnatan; Pinel, Frederic; Dorronsoro, Bernabé; Danoy, Gregoire; Bouvry, Pascal; Zomaya, Albert: Efficient Hierarchical Task Scheduling on GRIDS Accounting for Computation and Communications, Intelligent Decision Systems in Large-Scale Distributed Environments, vol. 362, Springer, 2011, 2011, pp. 0-0, ISBN: 978-3-642-21270-3
• Pinel, Frederic; Pecero, Johnatan; Bouvry, Pascal; Khan, Samee U.: Energy-efficient scheduling on milliclusters with performance constraints, Proceedings for the 2011 IEEE/ACM International Conference on Green Computing and Communications (GreenCom 2011), 2011, pp. 0-0, ISBN: na
• Pinel, Frederic; Bouvry, Pascal: A Two-Phase Heuristic For the Scheduling of Independent Tasks, Proceedings for the 2011 International Conference on High Performance Computing & Simulation (HPCS 2011), OPTIM workshop., 2011, pp. 0-0, ISBN: na
• Wagner, Cynthia; François, Jérôme; State, Radu; Engel, Thomas: DANAK:Finding the Odd!, Proceedings of the 5th International Conference on Network and System Security 2011 (NSS2011), IEEE, 2011, pp. 1-8, ISBN: 000
• Kwuida, Léonard; Lehtonen, Erkko: On the homomorphism order of labeled posets, Order, vol. 28, no. 2, Springer, 2011, pp. 251-265, ISSN: 0167-8094 (Print) 1572-9273 (Online)
• Seredynski, Marcin; Bouvry, Pascal; Dunlop, Dominic: Performance Evaluation of Personal and General Data Classes for Trust Management in MANETs, Transactions of Information Processing Society of Japan, Special Issue: Trust Management, vol. 52, no. 7, Information Processing Society of Japan, 2011, pp. 2198-2211, ISSN: 03875806
• Sorger, Ulrich; Suchanecki, Zdzislaw: Delays of Interconnected Flows, International Journal of Theoretical Physics, vol. 50, Springer, 2011, pp. 2242-2251, ISSN: 0020-7748
• Gómez-Cubillo, Fernando; Suchanecki, Zdzislaw; Villullas, S.: On Lambda and Time Operators: the Inverse Intertwining Problem Revisited, International Journal of Theoretical Physics, vol. 50, Springer, 2011, pp. 2074-2083, ISSN: 0020-7748
• Pouly, Marc; Kohlas, Jürg: Generic Inference - A Unifying Theory for Automated Reasoning, John Wiley & Sons, 2011, ISBN: 0470527013
• Seredynski, Marcin; Bouvry, Pascal: Nature-Inspired Evaluation of Data Types for Trust Management in MANETs, 25th IEEE International Symposium on Parallel & Distributed Processing, NIDISC workshop, IEEE, 2011, pp. 361-368, ISBN: 978-0-7695-4385-7
• Pouly, Marc: Generic Solution Construction in Valuation-Based Systems, Advances in Artificial Intelligence, vol. LNAI 6657, Springer, 2011, pp. 335 - 346, ISBN: 978-3-642-21042-6
• Couceiro, Miguel; Lehtonen, Erkko; Waldhauser, Tamás: A survey on the arity gap, 41st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2011), IEEE Computer Society, 2011, pp. 277-281, ISBN: 978-0-7695-4405-2
• Couceiro, Miguel; Lehtonen, Erkko; Waldhauser, Tamás: On equational definability of function classes, 41st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2011), IEEE Computer Society, 2011, pp. 182-186, ISBN: 978-0-7695-4405-2
• Couceiro, Miguel; Lehtonen, Erkko: Self-commuting lattice polynomial functions on chains, Aequationes Mathematicae, vol. 81, no. 3, Springer, 2011, pp. 263-278, ISSN: 0001-9054
• Ruiz, Patricia; Dorronsoro, Bernabé; Valentini, Giorgio; Pinel, Frederic; Bouvry, Pascal: Optimisation of the enhanced distance based broadcasting protocol for MANETs, J. of Supercomputing. Special Issue on Green networks, Springer, 2011, pp. 1-2, ISSN: 0920-8542
• Pouly, Marc: Generalized Information Theory based on the Theory of Hints, ECSQARU'11: Proc. of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, vol. 6717, Springer, 2011, pp. 299-313, ISBN: -
• Garcia, Frederi; Aouada, Djamila; Mirbach, Bruno; Solignac, Thomas; Ottersten, Bjorn: Real-time hybrid ToF multi-camera rig fusion system for depth map enhancement, IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR), 2011, pp. 1-8, ISBN: -
• Garcia, Frederic; Aouada, Djamila; Mirbach, Bruno; Solignac, Thomas; Ottersten, Bjorn: A new multi-lateral filter for real-time depth enhancement, 8th IEEE International Conference on Advanced Video and Signal-Based Surveillance, 2011, pp. 1-6, ISBN: -
• Biryukov, Alex; Gong, Guang; Stinson, Douglas: Selected Areas in Cryptography - 7th International Workshop, SAC 2010, Revised Selected Papers, Berlin, Germany, Springer, 2011, ISBN: 978-3-642-19573-0
• Botev, Jean; Rothkugel, Steffen: FloRA - Flock-Based Resource Allocation for Decentralized Distributed Virtual Environments, Proceedings of the 2nd International Workshop on Distributed Simulation and Online Gaming (DISIO 2011), 2011, pp. 0 - 0, ISBN: 978-1-936968-00-8
• Pouly, Marc; Schneuwly, Cesar; Kohlas, Jürg: Generic Local Computation, Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, 2011, ISBN: 978-2-87971-034-1
• Lehtonen, Erkko; Szendrei, Ágnes: Clones with finitely many relative R-classes, Algebra Universalis, vol. 65, no. 2, Springer, 2011, pp. 109-159, ISSN: 0002-5240
• Gómez-Cubillo, Fernando; Suchanecki, Zdzislaw: Inner functions and local shape of orthonormal wavelets, Applied and Computational Harmonic Analysis, vol. 30, no. 3, ELSEVIER, 2011, pp. 273 - 287, ISSN: 1063-5203
• Gómez-Cubillo, Fernando; Suchanecki, Zdzislaw: Spectral Models for Orthonormal Wavelets and Multiresolution Analysis of L2(R), Journal of Fourier Analysis and Applications, vol. 17, no. 2, Springer, 2011, pp. 191 - 225, ISSN: 1069-5869
• Varrette, Sébastien; Tantar, Emilia; Bouvry, Pascal: On the Resilience of [Distributed] EAs against Cheaters in Global Computing Platforms, IPDPS Workshops, IEEE, 2011, pp. 409-417, ISBN: 978-1-61284-425-1
• Tantar, Alexandru-Adrian; Danoy, Gregoire; Bouvry, Pascal; Khan, Samee: Energy-Efficient Computing using Agent-Based Multi-Objective Dynamic Optimization, Green IT: Technologies and Applications, New York, NY, USA, Springer, New York, NY, USA 2011, 2011, pp. 267-287, ISBN: 978-3-642-22178-1
• Großschädl, Johann: Full-Custom VLSI Design of a Unified Multiplier for Elliptic Curve Cryptography on RFID Tags, Information Security and Cryptology --- INSCRYPT 2009, vol. LNCS 6151, Springer Verlag, 2011, pp. 366-382, ISBN: 978-3-642-16341-8
• Gabbay, Dov M.; Shlechta, K.: Conditionals and Modularity in General Logics, 2011
• Muller, T.: Semantics of Trust, Proc. 7th Workshop on Formal Aspects in Security and Trust, Springer-Verlag, 2011
• Dong, N.; Jonker, H. L.; Pang, J.: Analysis of a receipt-free auction protocol in the applied pi calculus, Proc. 7th Workshop on Formal Aspects in Security and Trust, vol. 6561, Springer-Verlag, 2011, pp. 223–238
• van Deursen, T.: 50 Ways to Break RFID Privacy, Privacy and Identity Management for Life (PrimeLife 2010), vol. 352, Springer, 2011, pp. 192-205
• Kordy, Barbara; Mauw, Sjouke; Radomirović, Saša; Schweitzer, Patrick: Foundations of Attack-Defense Trees, 7th international Workshop on Formal Aspects in Security and Trust (FAST 2010), vol. 6561 LNCS, Springer, 2011, pp. 0-0, ISBN: 0
• Thangaraj, Radha; Pant, Millie; Bouvry, Pascal; Abraham, Ajith: Solving Stochastic Programming Problems using Modified Differential Evolution Algorithms, Logic Journal of the IGPL, Oxford Journals (Accepted for publication), Oxford University Press, 2011, pp. 0-0
• Seredynski, Marcin; Bouvry, Pascal: Perspectives of Selfish Behaviour in Mobile Ad Hoc Networks, Proc. Seventh International Conference on Numerical Methods and Applications (NMA 2010), special session on metaheuristics for optimization problems, vol. 6046, Springer, LNCS, 2011, pp. 297-304, ISBN: 978-3-642-18465-9
• Danoy, Grégoire; Gaspar Pinto, Frederico; Dorronsoro, Bernabé; Bouvry, Pascal: Hybrid Cellular Genetic Algorithm for Global Trajectory Optimization Problem, Metaheuristics Conference (META), 2011, pp. 1-2, ISBN: N/A
• Dorronsoro, Bernabé; Bouvry, Pascal: Differential Evolution Algorithms with Cellular Populations, Parallel Problem Solving from Nature (PPSN), Lecture Notes in Computer Science, vol. 6239, Springer, 2011, pp. 320-330, ISSN: 0302-9743
• Thangaraj, Radha; Pant, Milllie; Abraham, Ajith; Bouvry, Pascal: Particle Swarm Optimization: A Survey on Hybridization Perspectives, Applied Mathematics and Computation, Elsevier Science, 2011, pp. 0-0
• Wang, Wei; Zhang, Xiangliang: High-speed Web Attack Detection through Extracting Exemplars from HTTP Traffic, ACM Press, 2011, pp. 0-0, ISBN: 0
• Melissen, Matthijs: The Generative Capacity of the {L}ambek-{G}rishin Calculus: A New Lower Bound, Proceedings of the 14th Formal Grammar Conference - Lecture Notes in Computer Science, vol. 5591, Springer, 2011, pp. 118-132, ISBN: 978-3-642-20168-4

• Galindo, David; Verheul, Eric R.: Pseudonymized Data Sharing, Privacy and Anonymity in Information Management Systems: New Techniques for New Practical Problems, Springer, 2010, 2010, pp. 157-179, ISBN: 978-1-84996-237-7
• Naeem, Muhammad; Heckel, Reiko; Orejas, Fernando; Hermann, Frank: Incremental Service Composition Based on Partial Matching of Visual Contracts, Fundamental Approaches to Software Engineering, vol. LNCS/6013, Springer Verlag, 2010, pp. 123-138, ISBN: 978-3-642-12028-2
• Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike: Formal Analysis of Functional Behaviour of Model Transformations Based on Triple Graph Grammars, Graph Transformation, vol. 6372, Springer Verlag, 2010, pp. 155-170, ISBN: 978-3-642-15927-5
• Vosoughi, Aida; Bilal, Kashif; Ullah Khan, Samee; Min-Allah, Nasro; Li, Juan; Ghani, Nasir; Bouvry, Pascal; Madani, Sajjad: A multidimensional robust greedy algorithm for resource path finding in large-scale distributed networks, Proceedings of the 8th International Conference on Frontiers of Information Technology (FIT'2010), vol. 4, ACM, 2010, pp. 1-6, ISBN: 978-1-4503-0342-2
• Liu, Siqian; Bilal, Kashif; Ullah Khan, Samee; Li, Hongxiang; Min-Allah, Nasro; Li, Juan; Ghani, Nasir; Bouvry, Pascal; Madani, Sajjad: Heuristics-based Nominal Channels Allocation in Cellular Networks, Proceedings of the 8th International Conference on Frontiers of Information Technology (FIT'2010), ACM, 2010, pp. 1-4, ISBN: 78-1-4503-0342-2
• Le Hoai, Minh; Le Thi Hoai, An; Pham Dinh, Tao; Bouvry, Pascal: A combined DCA: GA for constructing highly nonlinear balanced boolean functions in cryptography, Journal of Global Optimization, vol. 47, no. 4, 2010, pp. 597-613, ISSN: 1573-2916
• Chaparadza, Ranganai; Papavassiliou, Symeon; Soulhi, Said; Ding, Jianguo: The Self-Managing Future Internet Powered by the Current IPv6 and Extensions to IPv6 towards "IPv6++"—a Viable Roadmap Scenario for the Internet Evolution Path, Proceedings of the IEEE Globecom 2010 Workshop on Management of Emerging Networks and Services, IEEE communication society press, 2010, pp. 551-556, ISBN: 978-1-4244-8863-6
• Ding, Jianguo: Advances in Network Management, USA, CRC press, Taylor & Francis Group, 2010, ISBN: 978-1420064520
• Amalio, Nuno; Kelsen, Pierre: Visual behavioral modelling with contracts, FLACOS 2010, 2010, pp. 0-0, ISBN: 0
• Coronado, Sergio; Zampunieris, Denis: Continuous proactivity in Learning Management Systems, EDUCON 2010 - The Future of Global Learning in Engineering Education, vol. 1, IEEE, 2010, pp. 199 - 204, ISBN: 978-1-4244-6568-2
• Al Abed, Wisam; Amálio, Nuno; Amaral, Vasco; Barais, Olivier; Barroca, Bruno; Baudry, Benoît; Bertin, Emmanuel; Bertrand, Nicolas; Boizot, Nicolas; Brottier, Erwan; Busvelle, Eric; C. de Almeida, E.; Capozucca, Alfredo; Coronado, Sergio; Creff, Stephen; Delamare, Romain; Dhaussy, Philippe; E. Marynowski, J.; El Kharbili, Marwane; Felix, Roberto; Fleurey, Franck; France, Robert; Gallina, Barbara; Gauthier, Jean-Paul; Ghosh, Sudipto; Glodt, Christian; Guelfi, Nicolas; Hristov, Hristomir; Jézéquel, Jean-Marc; Kelsen, Pierre; Kienzlé, Jörg; Klein, Jacques; Le Traon, Yves; Li, Yiqing; Lucio, Levi; M. Mottu, J.; Ma, Qin; Morin, Brice; Mouelhi, Tejeddine; Munoz, Freddy; Nadjm-Tehrani, Simin; Perrouin, Gilles; Pillain, Pierre-Yves; Pruski, Cédric; Raji, Amine; Reynaud, Chantal; Rusnjak, Andreas; Sachau, Jürgen; Saidane, Ayda; Sandulescu, Gabriel; Schaffer, Peter; Sebesta, Kenneth; Sen, Sagar; Simonin, Jacques; Sousa, Vasco; Speck, Andreas; Sunye, G.; Totel, Eric; Valduriez, P.; Viet Triem Tong, Valérie; Wiecko, Federico; Zampuniéris, Denis: LASSY - Laboratory for Advanced Software Systems - Scientific Publications List 2010, Imprimerie Klopp, 2010, ISBN: xxx-xxxxx-xxx
• Biryukov, Alex; Dunkelman, Orr; Keller, Nathan; Khovratovich, Dmitry; Shamir, Adi: Key Recovery Attacks of Practical Complexity on AES-256 Variants with up to 10 Rounds, Advances in Cryptology - EUROCRYPT 2010, 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lecture Notes in Computer Science, vol. 6110, Springer, 2010, pp. 299-319, ISBN: 978-3-642-13189-9
• Biryukov, Alex; Shamir, Adi: Structural Cryptanalysis of SASAS, Journal of Cryptology, vol. 23, no. 4, Springer, 2010, pp. 505-518
• Lehtonen, Erkko: A note on minors determined by clones of semilattices, Novi Sad Journal of Mathematics, vol. 40, no. 3, Institute of Mathematics, Faculty of Science, University of Novi Sad, 2010, pp. 75-81, ISSN: 1450-5444
• Bhattachryya, Rishiraj; Mandal, Avradip; Nandi, Mridul: Security Analysis of the Mode of JH Hash Function, Fast Software Encryption, 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, vol. 6147, LNCS, Springer, 2010, pp. 168-191, ISBN: 978-3-642-13857-7
• Mandal, Avradip; Patarin, Jacques; Nachef, Valérie: Indifferentiability beyond the Birthday Bound for the Xor of Two Public Random Permutations, Progress in Cryptology - INDOCRYPT 2010 - 11th International Conference on Cryptology in India, Hyderabad, India, December 12-15, 2010., vol. 6498, LNCS, SPringer, 2010, pp. 69-81, ISBN: 978-3-642-17400-1
• Tantar, Emilia: A priori landscape analysis in bi-objective combinatorial optimization, Proceedings of The 6th European Conference on Intelligent Systems and Technologies, 2010, pp. 1-7, ISBN: ISSN 2069-038X
• Pecero, Johnatan E.; Bouvry, Pascal; Barrios, Carlos J.: Low energy and high performance scheduling on scalable computing systems, Latin-American Conference on High Performance Computing, 2010, pp. 1-8, ISBN: 978-85-7727-252-5
• HERBIET, Guillaume-Jean; BOUVRY, Pascal: SHARC: Community-based partitioning for mobile ad hoc networks using neighborhood similarity, World of Wireless Mobile and Multimedia Networks (WoWMoM), 2010 IEEE International Symposium on a, 2010, pp. 1 - 9, ISBN: 978-1-4244-7263-5
• Aubert, Jocelyn; Schaberreiter, Thomas; Incoul, Christophe; Khadraoui, Djamel; Gateau, Benjamin: Risk-Based Methodology for Real-Time Security Monitoring of Interdependent Services in Critical Infrastructures, Availability, Reliability, and Security, 2010. ARES '10 International Conference on, 2010, pp. 262-267, ISBN: 10.1109/ARES.2010.102
• Gallais, Jean-François; Großschädl, Johann; Hanley, Neil; Kasper, Markus; Medwed, Marcel; Regazzoni, Francesco; Schmidt, Jörn-Marc; Tillich, Stefan; Wojcik, Marcin: Hardware Trojans for Inducing or Amplifying Side-Channel Leakage of Cryptographic Software, Trusted Systems --- INTRUST 2010, vol. LNCS 6802, Springer Verlag, 2010, pp. 253-270, ISBN: 0
• Großschädl, Johann; Kizhvatov, Ilya: Performance and Security Aspects of Client-Side SSL/TLS Processing on Mobile Devices, Cryptology and Network Security --- CANS 2010, vol. LNCS 6467, Springer Verlag, 2010, pp. 44-61, ISBN: 978-3-642-17618-0
• Liu, Zhe; Großschädl, Johann; Kizhvatov, Ilya: Efficient and Side-Channel Resistant RSA Implementation for 8-bit AVR Microcontrollers, Proceedings of the 1st Workshop on the Security of the Internet of Things (SECIOT 2010), IEEE Computer Society, 2010, pp. 00-00, ISBN: 0
• Großschädl, Johann; Hudler, Matthias; Koschuch, Manuel; Krüger, Michael; Szekely, Alexander: Smart Elliptic Curve Cryptography for Smart Dust, Quality of Service in Heterogeneous Networks --- QSHINE 2010, Springer Verlag, 2010, pp. 00-00, ISBN: ??
• Medwed, Marcel; Standaert, François-Xavier; Großschädl, Johann; Regazzoni, Francesco: Fresh Re-Keying: Security against Side-Channel and Fault Attacks for Low-Cost Devices, Progress in Cryptology --- AFRICACRYPT 2010, vol. LNCS 6055, Springer Verlag, 2010, pp. 279-296, ISBN: 978-3-642-12677-2
• Gallais, Jean-François; Kizhvatov, Ilya; Tunstall, Michael: Improved Trace-Driven Cache-Collision Attacks against Embedded AES Implementations, Information Security Applications - WISA 2010, 2010, pp. 0-0, ISBN: 0
• Caminada, Martin; Podlaszewski, Mikolaj: An Implementation of Basic Argumentation Components, Proceedings of the DEMO session of the Third International Conference on Computational Models of Argument (COMMA) (2010), 2010, pp. 0-0, ISBN: 978-1-60750-618-8
• Caminada, Martin; Pigozzi, Gabriella; Podlaszewski, Mikolaj: Manipulation in group argument evaluation, Proceedings of the eleventh AI*IA symposium on artificial intelligence (2010), 2010, pp. 209-216, ISBN: 00000000000
• Xia, Zhe; Culnane, Chris; Heather, James; Jonker, Hugo; Ryan, Peter; Schneider, Steve; Srinivasan, Sriramkrishnan: Versatile Pret a Voter: Handling multiple election methods with a unified interface, Proceedings of the 11th International Conference on Cryptology in India (Indocrypt'10), 2010, pp. 98-114, ISBN: 3642174000
• Mehdi, Malika; Melab, Nouredine; Talbi, El-Ghazali; Bouvry, Pascal: Interval-based Initialization Method for Permutation-based Problems, IEEE Congress on Evolutionary Computation (CEC), 2010, IEEE, 2010, pp. 1-8, ISBN: 978-1-4244-6909-3
• Nohl, Karsten; Tews, Erik; Weinmann, Ralf-Philipp: Cryptanalysis of the DECT Standard Cipher, Lecture Notes in Computer Science, vol. 6147, Springer, 2010, pp. 1-18, ISBN: 978-3-642-13857-7
• Ryan, Peter; Heather, James; Teague, Vanessa: Pretty Good Democracy for More Expressive Voting Schemes, Computer Security – ESORICS 2010 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings, vol. 6345, 2010, pp. 405 - 423, ISBN: 3-642-15497-3
• Biryukov, Alex; Priemuth-Schmid, Deike; Zhang, Bin: Multiset Collision Attacks on Reduced-Round SNOW 3G and SNOW 3G (+), Lecture Notes in Computer Science, vol. 6123, Springer-Verlag, 2010, pp. 139-153, ISBN: 978-3-642-13707-5
• Khovratovich, Dmitry; Nikolic, Ivica; Rechberger, Christian: Rotational Rebound Attacks on Reduced Skein, ASIACRYPT, 2010, pp. 1-19, ISBN: 978-3-642-17372-1
• Biryukov, Alex; Nikolic, Ivica: Automatic Search for Related-Key Differential Characteristics in Byte-Oriented Block Ciphers: Application to AES, Camellia, Khazad and Others, EUROCRYPT, 2010, pp. 322-344, ISBN: 978-3-642-13189-9
• Khovratovich, Dmitry; Nikolic, Ivica: Rotational Cryptanalysis of ARX, Fast Software Encryption, 2010, pp. 333-346, ISBN: 978-3-642-13857-7
• Galindo, David; Libert, Benoît; Fischlin, Marc; Fuchsbauer, Georg; Lehmann, Anja; Manulis, Mark; Schröder, Dominique: Public-Key Encryption with Non-Interactive Opening: New Constructions and Stronger Definitions, Progress in Cryptology - AFRICACRYPT 2010, Third International Conference on Cryptology in Africa, vol. 6055, Springer, 2010, pp. 333-350, ISBN: 978-3-642-12677-2
• Galindo, David: Chosen-Ciphertext Secure Identity-Based Encryption from Computational Bilinear Diffie-Hellman, Pairing-Based Cryptography - Pairing 2010 - 4th International Conference, vol. 6487, Springer Verlag, 2010, pp. 367-376, ISBN: 978-3-642-17454-4
• Galindo, David; Herranz, Javier; Kiltz, Eike: On the generic construction of identity-based signatures with additional properties, Advances in Mathematics of Communications, vol. 4, no. 4, American Institute of Mathematical Sciences and Shandong University, 2010, pp. 453 - 483, ISSN: 1930-5346
• Braatz, Benjamin; Brandt, Christoph: How to Modify on the Semantic Web? - A Web Application Architecture for Algebraic Graph Transformations on RDF, Current Trends in Web Engineering, vol. 6385, Springer Lecture Notes in Computer Science, 2010, pp. 187-198, ISBN: 978-3-642-16984-7
• Braatz, Benjamin; Ehrig, Hartmut; Gabriel, Karsten; Golas, Ulrike: Finitary M-Adhesive Categories, Graph Transformations, vol. 6372, Springer Lecture Notes in Computer Science, 2010, pp. 234-249, ISBN: 978-3-642-15927-5
• Boella, Guido; Pigozzi, Gabriella; Singh, Munindar P.; Verhagen, Harko: Normative Multiagent Systems: Guest Editors' Introduction, Logic Journal of the IGPL, vol. 18, no. 1, 2010, pp. 1–3
• Benamara, Farah; Kaci, Souhila; Pigozzi, Gabriella: Individual Opinions-Based Judgment Aggregation Procedures, MDAI, 2010, pp. 55–66
• Caminada, Martin; Pigozzi, Gabriella; Podlaszewski, Mikolaj: Manipulation in group argument evaluation, Procs. of the 8th European Workshop on Multi-agent Systems (EUMAS'10), 2010
• Hartmann, Stephan; Pigozzi, Gabriella; Sprenger, Jan: Reliable Methods of Judgement Aggregation, J. Log. Comput., vol. 20, no. 2, 2010, pp. 603–617
• Wu, Yining: Transforming Fuzzy Description Logic ALC_FL into Classical Description Logic ALCH, Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010), 2010
• Caire, Patrice; van der Torre, Leendert: Convivial Ambient Technologies: Requirements, Ontology and Design, Comput. J., vol. 53, no. 8, 2010, pp. 1229–1256
• Boella, Guido; Governatori, Guido; Rotolo, Antonino; van der Torre, Leendert: A Logical Understanding of Legal Interpretation, KR, 2010
• Boella, Guido; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leendert: Higher-Order Coalition Logic, ECAI, 2010, pp. 555–560
• Aucher, Guillaume; Boella, Guido; van der Torre, Leendert: Privacy Policies with Modal Logic: The Dynamic Turn, DEON, 2010, pp. 196–213
• van der Torre, Leendert: Deontic Redundancy: A Fundamental Challenge for Deontic Logic, DEON, 2010, pp. 11–32
• Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert; Villata, Serena: Support in Abstract Argumentation, Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10), Frontiers in Artificial Intelligence and Applications, IOS Press, 2010, pp. 40–51
• Villata, Serena; Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert: Arguing about Trust in Multiagent Systems, Proceedings of the 11th Symposium on Artificial Intelligence of the Italian Association for Artificial Intelligence (AIIA'10), 2010, pp. 236–243
• Boella, Guido; van der Torre, Leendert; Villata, Serena: Trust in Abstract Argumentation, Proceedings of the 4th Mahasarakham International Workshop on Artificial Intelligence (MIWAI'10), 2010
• Boella, Guido; Pigozzi, Gabriella; Slavkovik, Marija; van der Torre, Leendert: Group Intentions are Social Choice with Commitment, Procs. of the 8th European Workshop on Multi-agent Systems (EUMAS'10), 2010
• Boella, Guido; Pigozzi, Gabriella; Slavkovik, Marija; van der Torre, Leendert: Group Intentions are Social Choice with Commitment, Pre-Procs. of the 11th International Workshop on Coordination, Optimization, Institution and Norms in Multiagent Systems (COIN@MALLOW'10), 2010, pp. 115–133
• Baldoni, Matteo; Boella, Guido; Genovese, Valerio; Mugnaini, Andrea; Grenna, Roberto; van der Torre, Leendert: A Middleware for Modelling Organizations and Roles in Jade, Post-proceedings of the 7th International Workshop on Programming Multi-Agent Systems (Promas 2009), 2010
• Boella, Guido; Gabbay, Dov M.; Perotti, Alan; Villata, Serena: Coalition Formation via Negotiation in Multiagent Systems with Voluntary Attacks, Procs. of the 22th Belgian-Netherlands Conference on Artificial Intelligence (BNAIC'10), 2010, pp. 25–32
• Boella, Guido; Gabbay, Dov M.; Villata, Serena: Subsumption and Count as Relation in Arguments Ontologies, Procs. of the 13th International Workshop on Non-Monotonic Reasoning (NMR'10), 2010
• Parent, Xavier: Moral Particularism and Deontic Logic, DEON, 2010, pp. 84–97
• Gabbay, Dov M.; Schlechta, Karl: A Theory of Hierarchical Consequence and Conditionals, Journal of Logic, Language and Information, vol. 19, no. 1, 2010, pp. 3–32
• Gabbay, Dov M.; Schlechta, Karl: A Comment on Work by Booth and Co-authors, Studia Logica, vol. 94, no. 3, 2010, pp. 403–432
• Gabbay, D. M.; Abraham, M.; Schild, U.: Non-Deductive Inference in the Talmud, 2010
• Abraham, Michael; Gabbay, Dov M.; Schild, Uri J.: Obligations and Prohibitions in Talmudic Deontic Logic, DEON, 2010, pp. 166–178
• Genovese, V.; Rispoli, D.; van der Torre, L.; Gabbay, D. M.: Modal Access Control Logic, 2010, pp. 114–126
• Genovese, Valerio; Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca: A constructive conditional logic for access control: a preliminary report, ECAI, 2010, pp. 1073–1074
• Barker, Steve; Genovese, Valerio: A Logic of Privacy, DBSec, 2010, pp. 17–32
• Booth, Richard; Meyer, Thomas; Varzinczak, Ivan José; Wassermann, Renata: Horn Belief Change: A Contraction Core, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), 2010, pp. 1065–1066
• Booth, Richard; Chevaleyre, Yann; Lang, Jérôme; Mengin, Jérôme; Sombattheera, Chattrakul: Learning conditionally lexicographic preference relations, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), 2010, pp. 269–274
• Booth, Richard; Meyer, Thomas: Equilibria in social belief removal, Synthese, vol. 177, 2010
• Booth, Richard; Meyer, Thomas; Varzinczak, Ivan; Wassermann, Renata: A contraction core for Horn belief change: Preliminary report, Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR 2010), 2010
• Weydert, Emil: Ranking revision with conditional knowledge bases, Procs. of the 22nd Benelux Conference on Artificial Intelligence (BNAIC'10), 2010
• Caminada, M.W.A.: Preferred Semantics as Socratic Discussion, Proceedings of the eleventh AI*IA symposium on artificial intelligence, 2010, pp. 209–216
• Wu, Y.; Podlaszewski, M.; Caminada, M.W.A. : A Labelling-Based Justification Status of Arguments, Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR), 2010
• Wu, Y.; Caminada, M.W.A.: A Labelling-Based Justification Status of Arguments, Studies in Logic, vol. 3, no. 4, 2010, pp. 12–29
• Sakama, Ch.; Caminada, M.W.A.: The Many Faces of Deception, Proceedings of the Thirty Years of Nonmonotonic Reasoning (NonMon\@30), 2010
• Caminada, M.W.A.: An Algorithm for Stage Semantics, Proceedings of the Third International Conference on Computational Models of Argument (COMMA 2010), 2010, pp. 147–158
• Caminada, M.W.A.; Wu, Y.: On the Justification Status of Arguments, Proceedings of the 22nd Benelux Conference on Artificial Intelligence, 2010
• Caminada, M.W.A.; Verheij, B.: On the Existence of Semi-Stable Extensions, Proceedings of the 22nd Benelux Conference on Artificial Intelligence, 2010
• Sakama, Ch.; Caminada, M.W.A; Herzig, A.: A Logical Account of Lying, Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA), vol. 6341, Springer Berlin / Heidelberg, 2010, pp. 286–299
• Papatheodorou, Constantinos; Bikakis, Antonis; Antoniou, Grigoris: On the Deployment of Contextual Reasoning in Ambient Intelligence Environments, Intelligent Environments (IE), 2010
• Bikakis, Antonis; Antoniou, Grigoris: Contextual Argumentation in Ambient Intelligence: Overview and Future Steps, Proceedings of the 4th Mahasarakham International Workshop on Artificial Intelligence (MIWAI'10), 2010
• Antoniou, Grigoris; Bikakis, Antonis; Papatheodorou, Constantinos: Reasoning with Imperfect Context and Preference Information Reasoning with Imperfect Context and Preference Information in Multi-Context Systems, Advances in Databases and Information Systems - 14th East European Conference, ADBIS 2010, vol. 6295, Springer, 2010, pp. 1–12
• Antoniou, Grigoris; Papatheodorou, Constantinos; Bikakis, Antonis: Reasoning about Context in Ambient Intelligence Environments: A Report from the Field, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, AAAI Press, 2010
• Bikakis, Antonis; Antoniou, Grigoris: Rule-Based Contextual Reasoning in Ambient Intelligence, Semantic Web Rules - International Symposium, RuleML 2010, vol. 6403, Springer, 2010, pp. 74–88
• Patkos, Theodore; Chryssakis, Ioannis; Bikakis, Antonis; Plexousakis, Dimitris; Antoniou, Grigoris: A Reasoning Framework for Ambient Intelligence, SETN, vol. 6040, Springer, 2010, pp. 213–222
• Bikakis, Antonis; Antoniou, Grigoris: Defeasible Contextual Reasoning in Ambient Intelligence: Theory and Applications, OTM Workshops, vol. 6428, Springer, 2010, pp. 89
• Bikakis, Antonis; Antoniou, Grigoris: Defeasible Contextual Reasoning with Arguments in Ambient Intelligence, IEEE Transactions on Knowledge and Data Engineering, vol. 22, no. 11, 2010, pp. 1492–1506
• Jurado Gallardo, Maria Angeles; Ruy, Ghislain: FM Discriminator for AIS Satellite Detection, Personal Satellite Services, 2010, pp. 01-01, ISBN: 978-3-642-13617-7
• van Deursen, T.; Radomirovic, S.: EC-RAC: Enriching a Capacious RFID Attack Collection, 6th Workshop on RFID Security (RFIDSec 2010), vol. 6370, Springer, 2010, pp. 75–90
• Seylan, I.; Jamroga, W.: Coalition Description Logic for Individuals, Electronic Notes in Theoretical Computer Science, vol. 262, Springer, 2010, pp. 231–248
• Alcalde, Baptiste: Trusted Third Party, Who Are You?, Short Paper Proceedings of the Fourth IFIP WG11.11 International Conference on Trust Management (IFIPTM 2010), Information Processing Society of Japan, 2010, pp. 49–56
• Bakhshi, R.; Endrullis, J.; Fokkink, W. J.; Pang, Jun: Brief announcement: Asynchronous bounded expected delay networks, Proc. 29th Annual ACM Symposium on Principles of Distributed Computing, ACM, 2010, pp. 392–393
• Zhang, C.; Pang, J.: On probabilistic alternating simulations, Proc. 6th IFIP Conference on Theoretical Computer Science, vol. 323, IFIP International Federation for Information Processing, 2010, pp. 71–85
• Mauw, S.; Radomirovic, S.; Ryan, P.Y.: Security protocols for Secret Santa, Proc. 18th Security Protocols Workshop, Springer-Verlag, 2010
• Baeten, J.; Luttik, B.; Muller, T.; van Tilburg, P.: Regular Expressions with Parallel Composition modulo Bisimilarity, Proc. 17th International Workshop on Expressiveness in Concurrency, 2010
• Sun, Y.; Zhang, C.; Pang, J.; Alcalde, B.; Mauw, S.: A trust-augmented voting scheme for collaborative privacy management, Proc. 6th Workshop on Security and Trust Management, Springer-Verlag, 2010
• Liu, Z.; Pang, J.; Zhang, C.: Extending a key-chain based certified email protocol with transparent TTP, Proc. 6th IEEE/IFIP Symposium on Trusted Computing and Communications, IEEE Computer Society, 2010, pp. 630–636
• Liu, Z.; Pang, J.; Zhang, C.: Verification of a key-chain based TTP transparent CEM protocol, Proc. 3rd Workshop on Harnessing Theories for Tool Support in Software, Elsevier, 2010
• van der Meyden, R.; Zhang, Chenyi: A Comparison of Semantic Models for Noninterference, Theoretical Computer Science, vol. 411, Elsevier, 2010, pp. 4123–4147
• Cassez, F.; van der Meyden, R.; Zhang, C.: The Complexity of Synchronous Notions of Information Flow Security, Proceedings of FoSSaCS 2010, 2010, pp. 282–296
• Jonker, Hugo; Pieters, Wolter: Anonymity in Voting Revisited, Towards Trustworthy Elections, vol. 6000, Springer, Springer, 2010, pp. 216–230
• Xia, Zhe; Culnane, Chris; Heather, James; Jonker, Hugo; Ryan, Peter; Schneider, Steve; Srinivasan, Sriramkrishnan: Versatile Pret a Voter: Handling Multiple Election Methods with a Unified Interface, Proc. IndoCrypt, Springer-Verlag, 2010, pp. 98–114
• Langer, Lucie; Jonker, Hugo; Pieters, Wolter: Anonymity and Verifiability in Voting: Understanding (Un)Linkability, Proc. ICICS, Springer-Verlag, 2010, pp. 296–310
• Dashti, M. Torabi; Mauw, S.: Fair Exchange, Handbook of Financial Cryptography and Security, Chapmand and Hall/CRC, Chapmand and Hall/CRC, 2010, pp. 109–132
• Radomirovic, Sasa: Towards a Model for Security and Privacy in the Internet of Things, 1st International Workshop on the Security of the Internet of Things (SecIoT'10), 2010
• Jamroga, W.; Bulling, N.: Comparing Variants of Strategic Ability, Proceedings of EUMAS2010, 2010
• Goranko, V.; Jamroga, W.; Turrini, P.: Strategic Games and Truly Playable Effectivity Functions, Proceedings of EUMAS2010, 2010
• Dastani, M.; Jamroga, W.: Reasoning about Strategies of Multi-Agent Programs, Proceedings of AAMAS2010, 2010, pp. 625–632
• Bulling, N.; Jamroga, W.: Verifying Agents with Memory Is Harder than It Seemed, Proceedings of AAMAS2010, 2010, pp. 633–640
• Bulling, N.; Jamroga, W.: Verifying Agents with Memory Is Harder than It Seemed, AI Communications, vol. 23, IOS Press, 2010, pp. 380–403
• Bulling, N.; Dix, J.; Jamroga, W.: Model Checking Logics of Strategic Ability: Complexity, Specification and Verification of Multi-Agent Systems, Springer, Springer, 2010, pp. 125–159
• Wagener, Gerard; State, Radu; Dulaunoy, Alexandre; Engel, Thomas: Heliza: talking dirty to the attackers, Journal in Computer Virology, Springer Paris, 2010, pp. 1-12, ISSN: 1772-9890
• Esch, Markus; Scholtes, Ingo: Resilience And Multicast Aspects Of The Structured Network Overlay GP3, Proceedings of International Conference on Complex, Intelligent and Software Intensive Systems (CISIS) 2010, 2010, pp. 117-122, ISBN: 978-1-4244-5917-9
• Pecero, Johnatan E.; Varrette, Sebastien; Bouvry, Pascal: Scheduling DAG applications on multi-core processor packages architectures, International Conference on Metaheuristics and Nature Inspired Computing (Meta'10), 2010, pp. 0-0, ISBN: NA
• Danoy, Grégoire; Bouvry, Pascal; Boissier, Olivier: A Multi-Agent Organizational Framework for Coevolutionary Optimization, LNCS TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY IV, vol. 4, Springer, 2010, pp. 199-224
• Biryukov, Alex; Priemuth-Schmid, Deike; Zhang, Bin: Analysis of SNOW 3G⊕ Resynchronization Mechanism, SECRYPT 2010, 2010, pp. 327-333, ISBN: 978-989-8425-18-8
• Kordy, Barbara; Mauw, Sjouke; Melissen, Matthijs; Schweitzer, Patrick: Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent, Conference on Decision and Game Theory for Security (GameSec 2010), vol. 6442 LNCS, Springer, 2010, pp. 245-256, ISBN: 978-3-642-17196-3
• Coronado, Sergio; Zampunieris, Denis: Continuous proactivity in Learning Management Systems, Proceedings of IEEE EDUCON 2010 Conference - The Future of Global Learning in Engineering Education, April 2010, Madrid, Spain, vol. 1, no. 1, EDUCON ORGANIZERS, 2010, pp. 201 - 205, ISBN: 978-84-96737-70-9
• Seredynski, Marcin; Bouvry, Pascal: Trust Management for Collusion Prevention in Mobile Ad Hoc Networks, Proc. IEEE Globecom 2010 Workshop on Management of Emerging Networks and Services, IEEE, 2010, pp. 523-528, ISBN: 978-1-4244-8864-3
• Seredynski, Marcin; Bouvry, Pascal: The Cost of Altruistic Punishment in Indirect Reciprocity-based Cooperation in Mobile Ad Hoc Networks, Proc. Sixth IEEE/IFIP International Symposium on Trusted Computing and Communications (TrustCom 2010) in conjunction with EUC-10,, 2010, pp. 749-755, ISBN: 978-0-7695-4322-2
• Seredynski, Marcin; Bouvry, Pascal: Free Riding-based Energy Saving in Mobile Ad Hoc Networks, Proc. International Conference on Metaheuristics and Nature Inspired Computing (META 2010), 2010, pp. 1-2, ISBN: 1
• Seredynski, Marcin; Bouvry, Pascal: Direct vs. Indirect Reciprocity Trust System in Ad Hoc Networks, Proc. 4th IFIP WG 11.11 International Conference on Trust Management (short paper), IFIPTM 2010, Morioka, Japan, 2010, pp. 111-118, ISBN: ISSN 2079-2263
• Schleich, Julien; Danoy, Grégoire; Bouvry, Pascal; Le Thi, Hoai An: On quantifying the quality of CDS-based virtual backbones in mobile ad hoc networks, Proc. 8th ACM International Symposium on Mobility Management and Wireless Access, 2010, pp. 21-28, ISBN: 978-1-4503-0277-7
• Patricia Ruiz, Pascal Bouvry: Distributed Energy Self-Adaptation in ad hoc Networks, IEEE International workshop on Management of Emerging Networks and Services (MENS), in conjunction with IEEE Globecom, IEEE, 2010, pp. 539-543, ISBN: 978-1-4244-8864-3
• Botev, Jean; Scholtes, Ingo: A Resource Allocation Scheme for Decentralized Distributed Virtual Environments, Proceedings of the 6th International Conference on Collaborative Computing, 2010, pp. 0 - 0, ISBN: -
• Esch, Markus; Botev, Jean: Distance-aware Avatar Interaction in Online Virtual Environments, Proceedings of the 2nd International Conference on Advances in Future Internet, 2010, pp. 56 - 62, ISBN: 978-1-4244-7528-5
• Scholtes, Ingo; Botev, Jean; Esch, Markus; Sturm, Peter: Epidemic Self-synchronization in Complex Networks of Kuramoto Oscillators, Advances in Complex Systems (ACS), vol. 13, no. 1, 2010, pp. 33 - 58
• Botev, Jean; Esch, Markus; Schloss, Hermann; Scholtes, Ingo; Sturm, Peter: HyperVerse: Simulation and Testbed Reconciled, International Journal of Advanced Media and Communication (IJAMC), vol. 4, no. 2, 2010, pp. 167 - 181, ISSN: 1462-4613
• Amalio, Nuno; Kelsen, Pierre: VCL, a Visual Language for abstract Specification of Software Systems Formally and Modularly, Diagrams 2010, vol. 6170, Springer, 2010, pp. 6170–282
• Amalio, Nuno; Kelsen, Pierre; Ma, Qin: Specifying structural properties and their constraints formally, visually and modularly using VCL, EMMSAD 2010, vol. 50, Springer, 2010, pp. 50–261
• Amalio, Nuno; Kelsen, Pierre: Modular Design by Contract Visually and Formally using VCL, VL/HCC 2010, IEEE, 2010
• Rusnjak, Andreas; Hristov, Hristomir; El Kharbili, Marwane; Speck, Andreas: Managing the dynamics of em Commerce with a hierarchical overlapping Business-Value Framework, The 6th international Symposium on Web and Mobile Information Services (WAMIS 2010), 2010
• Guelfi, Nicolas; Pruski, Cedric; Reynaud, Chantal: Experimental Assessment of the TARGET Adaptive Ontology-based Web Search Framework, NOTERE'2010, 2010
• Barroca, Bruno; Lucio, Levi; Amaral, Vasco; Felix, Roberto; Sousa, Vasco: DSLTrans: A Turing Incomplete Transformation Language, Software Language Engineering, LNCS, 2010
• Szaban, M.; Nowacki, J. P.; Drabik, A.; Seredynski, F.; Bouvry, P.: Application of Cellular Automata in Symmetric Key Cryptography, Advances in Information Technology, vol. 114, Springer CCIS, 2010, pp. 154-163, ISBN: 1865-0929
• Suchanecki, Zdzislaw; Gomez-Cubillo, Fernando: Evolution semigroups and time operators on Banach spaces, Journal of Mathematical Analysis and Applications, vol. 371, no. 2, ELSEVIER, 2010, pp. 454-464, ISSN: 0022-247X
• van Deursen, Ton; Radomirovic, Sasa: EC-RAC: Enriching a capacious RFID attack collection, 6th Workshop on RFID Security (RFIDSec 2010), vol. 6370, Springer, 2010, pp. 75-90, ISBN: 978-3-642-16821-5
• Guzek, Mateusz; Pecero, Johnatan E.; Dorronsoro, Bernabé; Bouvry, Pascal: A Cellular Genetic Algorithm for Scheduling Applications and Energy-Aware Communication Optimization, International Conference on High Performance Computing & Simulation (HPCS), 2010, pp. 241-248, ISBN: 978-1-4244-6827-0
• Buhan, Ileana; Lenzini, Gabriele; Radomirovic, Sasa: Contextual biometric-based authentication for ubiquitous services, 7th International Conference on Ubiquitous Intelligence and Computing (UIC 2010), vol. 6406, Springer, 2010, pp. 680-693, ISBN: 978-3-642-16354-8
• Amalio, Nuno; Kelsen, Pierre; Ma, Qin; Glodt, Christian: Using VCL as an Aspect-Oriented Approach to Requirements Modelling, Transactions on Aspect Oriented Software Development, vol. 7, 2010, pp. 151-199
• Wang, Shaonan; State, Radu; Ourdane, Mohamed; Engel, Thomas: RiskRank: Security Risk Ranking for IP Flow Records, Proceedings of the 2010 International Conference on Network and Services Management, 2010, pp. 56-63, ISBN: 978-1-4244-8908-4
• Wagner, Cynthia; Wagener, Gerard; State, Radu; Dulaunoy, Alexandre; Engel, Thomas: PeekKernelFlows: Peeking into IP flows, VizSec '10 Proceedings of the Seventh International Symposium on Visualization for Cyber Security, ACM, 2010, pp. 52-57, ISBN: 978-1-4503-0013-1
• Thangaraj, Radha; Pant, Millie; Bouvry, Pascal; Abraham, Ajith: Evolutionary Algorithms for Solving Stochastic Programming Problems, Int. Conf. on Computational Intelligence Communication Networks (CICN 2010), IEEE Computer Society Press, 2010, pp. 0-0
• Pinel, Frederic; Dorronsoro, Bernabe; Bouvry, Pascal: A New Cellular Genetic Algorithm Designed for the GPU to Solve the Scheduling Problem, META, 2010, pp. 0-0, ISBN: n/a
• Foldes, Stephan; Lehtonen, Erkko: Column-partitioned matrices over rings without invertible transversal submatrices, Ars Combinatoria, vol. 97, The Charles Babbage Research Centre, 2010, pp. 33-39, ISSN: 0381-7032
• Schweitzer, Pascal; Schweitzer, Patrick: Connecting face hitting sets in planar graphs, Information Processing Letters, vol. 111, no. 1, Elsevier, 2010, pp. 11-15, ISSN: 0020-0190
• Thangaraj, Radha; Pant, Millie; Bouvry, Pascal; Abraham, Ajith: Solving Multi Objective Stochastic Programming Problems using Differential Evolution, Lecturer Notes in Computer Science (LNCS), vol. 6466, Springer, 2010, pp. 54 - 61, ISBN: ISBN
• Pigné, Yoann; Danoy, Grégoire; Bouvry, Pascal: A Platform for Realistic Online Vehicular Network Management, International Workshop on Management of Emerging Networks and Services (MENS 2010) in conjunction with IEEE GLOBECOM 2010, 2010, pp. 1-5, ISBN: 0
• Dorronsoro, Bernabé; Cañero, J. Alberto; Danoy, Grégoire; Boiuvry, Pascal: A New Parallel Multi-objective Cooperative Coevolutionary Algorithm Based on SPEA2, ALIO-INFORMS Joint International Meeting 2010 (2010), 2010, pp. 0-2, ISBN: n/a
• Dorronsoro, Bernabé; Bouvry, Pascal; Alba, Enrique: Iterated Local Search for de Novo Genomic Sequencing, 10th International Conference on Artificial Intelligence and Soft Computing (ICAISC), Lecture Notes in Artificial Intelligence (LNAI) series, vol. 6114, Springer-Verlag, 2010, pp. 428-436, ISSN: 0302-9743
• Thangaraj, Radha; Chelliah, Thanaga Raj; Bouvry, Pascal; Pant, Millie; Abraham, AJith: Optimal Design of Induction Motor for a Spinning Machine Using Population Based Metaheuristics, Int. Conf. on Computer Information Systems and Industrial Management Applications, IEEE Computer Society Press, 2010, pp. 341-346, ISBN: ISBN 978-1-4244-7818-7
• Dorronsoro, Bernabé; Bouvry, Pascal; Cañero, J. Alberto; Maciejewski, Anthony A.; Siegel, Howard Jay: Multi-objective Robust Static Mapping of Independent Tasks on Grids, Proceedings of the IEEE Congress on Evolutionary Computation (CEC), part of World Conference in Computational Intelligence (WCCI), IEEE, 2010, pp. 3389-3396, ISBN: 978-1-4244-8126-2
• Lehtonen, Erkko: Closed classes of functions, generalized constraints and clusters, Algebra Universalis, vol. 63, no. 2-3, Springer, 2010, pp. 203-234, ISSN: 0002-5240
• Lehtonen, Erkko: Characterization of preclones by matrix collections, Asian-European Journal of Mathematics, vol. 3, no. 3, World Scientific, 2010, pp. 457-473, ISSN: 1793-5571
• Poray, Jayanta; Schommer, Christoph: Managing conversational streams by explorative mind-maps, Computer Systems and Applications (AICCSA), 2010 IEEE/ACS International Conference, 2010, pp. 1 - 4, ISBN: 978-1-4244-7716-6
• Boizot, Nicolas; Busvelle, Eric; Gauthier, Jean-Paul: An adaptive high-gain observer for nonlinear systems, Automatica (Journal of IFAC), vol. 46, no. 9, Pergamon Press, 2010, pp. 1483-1488, ISSN: 0005-1098
• Sebesta, Kenneth; Boizot, Nicolas; Busvelle, Eric; Sachau, Jürgen: Using an Adaptive High-Gain Extended Kalman Filter with a Car Efficiency Model, Proceedings of 3rd Annual Dynamic Systems and Control Conference, 2010, pp. 0-0, ISBN: 0
• Pecero, Johnatan E.; Bouvry, Pascal: An improved genetic algorithm for efficient scheduling on distributed memory parallel systems, Computer Systems and Applications (AICCSA), 2010 IEEE/ACS International Conference on, IEEE, 2010, pp. 1 - 8, ISBN: 978-1-4244-7716-6
• Wang, Wei; Zhang, Xiangliang; Pitsilis, Georgios: Abstracting Audit Data for Lightweight Intrusion Detection, Proceedings of 6th International Conference on Information Systems Security (ICISS), Springer, 2010, pp. 0-0, ISBN: 0
• Zhang, Xiangliang; Wang, Wei; Nørvåg, Kjetil; Sebag, Michèle: K-AP: Generating Specified K Clusters by Efficient Affinity Propagation, Proceedings of the tenth IEEE International Conference on Data Mining (ICDM' 2010), IEEE Computer Society, 2010, pp. 0-0, ISBN: 0
• Zhang, Xiangliang; Wang, Wei: Self-adaptive Change Detection in Streaming Data with Non-stationary Distribution, Proceedings of the 6th International Conference on Advanced Data Mining and Applications (ADMA' 2010), vol. 6440, Springer 2010, 2010, pp. 334-345, ISBN: 0
• Schmidt, Jörn-Marc; Tunstall, Michael; Avanzi, Roberto; Kizhvatov, Ilya; Kasper, Timo; Oswald, David: Combined Implementation Attack Resistant Exponentiation, Progress in Cryptology - LATINCRYPT 2010, vol. 6212, Springer, 2010, pp. 305 - 322, ISBN: 978-3-642-14711-1
• Coron, Jean-Sébastien; Kizhvatov, Ilya: Analysis and Improvement of the Random Delay Countermeasure of CHES 2009, Cryptographic Hardware and Embedded Systems - CHES 2010, vol. 6225, Springer, 2010, pp. 95 - 109, ISBN: 978-3-642-15030-2
• Becker, Sheila; Abdelnur, Humberto; Lucángeli Obes, Jorge; State, Radu; Festor, Olivier: Improving Fuzz Testing Using Game Theory, Network and System Security, 2010, pp. 0-6, ISBN: 978-0-7695-4159-4
• Becker, Sheila; Abdelnur, Humberto; State, Radu; Engel, Thomas: An Autonomic Testing Framework for IPv6 Configuration Protocols, Mechanisms for Autonomous Management of Networks and Services, no. 0302-9743, Springer, 2010, pp. 65 - 76, ISBN: 978-3-642-13985-7
• Braatz, Benjamin; Golas, Ulrike; Soboll, Thomas: How to Delete Categorically. Two Pushout Complement Constructions, Journal of Symbolic Computation, Elsevier, 2010, pp. 1-32
• Lehtonen, Erkko; Szendrei, Ágnes: The submaximal clones on the three-element set with finitely many relative R-classes, Discussiones Mathematicae - General Algebra and Applications, vol. 30, no. 1, 2010, pp. 7-33, ISSN: 1509-9415
• Guzek, Mateusz; Pecero, Johnatan E.; Dorronsoro, Bernabe; Bouvry, Pascal; Khan, Samee U.: A Cellular Genetic Algorithm for scheduling applications and energy-aware communication optimization, High Performance Computing and Simulation (HPCS), 2010 International Conference on, 2010, pp. 241-248, ISBN: 978-1-4244-6827-0
• Wang, Shaonan; State, Radu; Ourdane, Mohamed; Engel, Thomas: Mining NetFlow Records for Critical Network Activities, Mechanisms for Autonomous Management of Networks and Services, 4th International Conference on Autonomous Infrastructure, Management and Security, vol. 6155, Springer, 2010, pp. 135-146, ISBN: 978-3-642-13985-7
• Wang, Shaonan; State, Radu; Ourdane, Mohamed; Engel, Thomas: FlowRank: Ranking NetFlow Records, Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010,, ACM, 2010, pp. 484-488, ISBN: 978-1-4503-0062-9
• Frank, Raphael; Giordano, Eugenio; Cataldi, Pasquale; Gerla, Mario: TrafRoute: A Different Approach to Routing in Vehicular Networks (, Proceedings of The 6th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2010), 2010, pp. 0-0, ISBN: N/A
• Giordano, Eugenio; Frank, Raphael; Pau, Giovanni; Gerla, Mario: CORNER: A Step Towards Realistic Simulations for VANET, Proceedings of The Seventh ACM International Workshop on Vehicular Inter-Networking (VANET 2010)., 2010, pp. 0-0, ISBN: N/A
• Giordano, Eugenio; Frank, Raphael; Pau, Giovanni; Gerla, Mario: CORNER: a Realistic Urban Propagation Model for VANET., Proceedings of Seventh IEEE International Conference on Wireless On-demand Network Systems and Services (WONS 2010), 2010, pp. 99-105, ISBN: N/A
• Frank, Raphael; Scherer, Thomas; Gerla, Mario: EDFS A Novel Flooding Protocol for Multi-Hop Wireless Networks, Proceedings of IEEE WONS 2010 Seventh International Conference on Wireless On-demand Network Systems and Services, 2010, pp. 349-354, ISBN: N/A
• Wagner, Cynthia; Wagener, Gerard; State, Radu; Dulaunoy, Alexandre; Engel, Thomas: Breaking Tor Anonymity with Game Theory and Data Mining, Proceedings of 4th International Conference on Network and System Security NSS2010, IEEE, 2010, pp. 47-54, ISBN: 978-4244-8484-3
• Lehtonen, Erkko; Nešetřil, Jaroslav: Minors of Boolean functions with respect to clique functions and hypergraph homomorphisms, European Journal of Combinatorics, vol. 31, no. 8, Elsevier, 2010, pp. 1981-1995, ISSN: 0195-6698
• Krysiak, Frank C.; Schweitzer, Patrick: The optimal size of a permit market, Journal of Environmental Economics and Management, vol. 60, no. 2, 2010, pp. 133-143, ISSN: 0095-0696
• Pinel, Frédéric 1; Pecero, Johnatan 1; Bouvry, Pascal; Khan, Samee 2: Memory-aware Green Scheduling on Multi-core Processors, Proceedings of the Second International Workshop on Green Computing, 2010, pp. 0-9, ISBN: n/a
• Pigné, Yoann; Guinand, Frédéric: Short and Robust Communication Paths in Dynamic Wireless Networks, ANTS 2010, vol. LNCS 6234, Springer, Heidelberg, 2010, pp. 520 - 527, ISBN: 0
• Sandulescu, Gabriel; Nadjm-Tehrani, Simin: Adding Redundancy to Replication in Window-aware Delay-tolerant Routing, Journal of Communications, vol. 5, no. 2, 2010, pp. 117-129
• Sandulescu, Gabriel; Nadjm-Tehrani, Simin: Optimising Replication versus Redundancy in Window-aware Opportunistic Routing, Proc. of the third international Conference on Communication Theory, Reliability, and Quality of Service, IEEE Computer Society, 2010, pp. 0-0, ISBN: 0
• Pinel, Frederic; Dorronsoro, Bernabe; Bouvry, Pascal: On the Parallelization of Asynchronous Cellular Genetic Algorithms for Multi-core Architectures., ALIO-INFORMS Joint International Meeting 2010, 2010, pp. 0-2, ISBN: n/a
• Pigné, Yoann; Casteigts, Arnaud; Guinand, Frédéric; Chaumette, Serge: Construction et maintien d'une forêt couvrante dans un réseau dynamique, 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2010, pp. 67 - 70, ISBN: 0
• Ruiz, Patricia; Bouvry, Pascal: Enhanced Distance Based Broadcasting Protocol with Reduced Energy Consumption, IEEE International Conference on High Performance Computing & Simulation, IEEE, 2010, pp. 249-258, ISBN: 978-1-4244-6828-7
• Pinel, Frederic; Dorronsoro, Bernabe; Bouvry, Pascal: A New Parallel Asynchronous Cellular Genetic Algorithm for Scheduling in Grids, IPDPS NIDISC 2010, IEEE, 2010, pp. 0-7, ISBN: n/a
• Couceiro, Miguel; Lehtonen, Erkko: Explicit descriptions of bisymmetric Sugeno integrals, Computational Intelligence for Knowledge-Based Systems Design, Lecture Notes in Artificial Intelligence, vol. 6178, Springer-Verlag, 2010, pp. 494-501, ISBN: 978-3-642-14048-8
• Staab, Eugen; Caminada, Martin: On the Profitability of Incompetence, Proc. of the 11th Int. Workshop on Multi-Agent-Based Simulation (MABS 2010), 2010, pp. 1-15, ISBN: -
• Capozucca, Alfredo; Guelfi, Nicolas: Modelling Dependable Collaborative Time-constrained Business Process, Enterprise Information System, vol. 4, no. 2, 2010, pp. 153-214
• Perrouin, Gilles; Sen, Sagar; Klein, Jacques; Baudry, Benoit; Le Traon, Yves: Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines, International Conference on Software Test and Validation http://vps.it-sudparis.eu/icst2010/icst2010v4_fichiers/prog_ICST_complet.pdf, IEEE Computer Society, 2010, pp. 0-0, ISBN: XX
• Couceiro, Miguel; Lehtonen, Erkko: Classes of operations closed under permutation, cylindrification and composition, 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2010), IEEE Computer Society, 2010, pp. 117-121, ISBN: 978-0-7695-4024-5
• Couceiro, Miguel; Lehtonen, Erkko: The arity gap of polynomial functions over bounded distributive lattices, 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2010), IEEE Computer Society, 2010, pp. 113-116, ISBN: 978-0-7695-4024-5
• Fotue, David; Melakessou, Foued; Labiod, Houda; Engel, Thomas: Design of an Enhanced Energy Conserving Routing Protocol based on Route Diversity in Wireless Sensor Networks, The 9th IEEE/IFIP Annual Mediterranean Ad Hoc Networking Worshop, IEEE Xplore, 2010, pp. 1-6, ISBN: 000000000
• An, X.; Pang, Jun: Model checking round-based distributed algorithms, Proc. 15th IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society, 2010
• Angeles, Maria; Gallardo, Jurado; Ruy, Ghislain: Novel Demodulator for Spaceborne AIS Reception with Increased Robustness Against Noise, Signal Processing, Pattern Recognition and Applications, 2010
• Gallardo, MM.A.Jurado; Sorger, Ulrich: Coherent Receiver for AIS Satellite Detection, 4th International Symposium on Communications, Control and Signal Processing (ISCCSP, 2010
• Coron, Jean-Sébastien; Dodis, Yevgeniy; Mandal, Avradip; Seurin, Yannick: A Domain Extender for the Ideal Cipher, Theory of Cryptography, 7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 9-11, 2010. Proceedings, vol. 5978, Springer, 2010, pp. 273-289, ISBN: 978-3-642-11798-5
• Kaufmann, Sascha; Schommer, Christoph: Towards E-Conviviality in Web-Based Systems by considering the Wisdom of Crowds, 2nd Conference on Agents and Artificial Intelligence, 2010, pp. 305 - 307, ISBN: :
• Schommer, Christoph: A Molecular Concept of Managing Data, 2nd Conference on Agents and Artificial Intelligence (ICAART 2010), 2010, pp. 300-305, ISBN: -
• Pinel, Frederic; Bouvry, Pascal: Weakness Analysis of a Key Stream Generator Based on Cellular Automata, Parallel Processing and Applied Mathematics (Proc. Parallel Processing and Applied Mathematics (PPAM 2009)), Springer LNCS, Springer Verlag, 2010