Page d'accueil // Recherche // FSTC // Computer Sci... // Publications

Publications

Research in CSC results in a large number of publications every year.

Publications in 2012 can be found here publications.uni.lu/collection/CSC

A list of all CSC publications in previous years can be accessed through the following links:

Publications in 2011

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

Klasen, Bernd: Social, fast, efficient: Content distribution in hybrid networks, Computers and Communications (ISCC), 2011 IEEE Symposium on, 2011, pp. 61 - 67, ISBN: 978-1-4577-0680-6
Klasen, Bernd: Efficient content distribution in social-aware hybrid networks, Journal of Computational Science, 2011, pp. 1-27
Zhang, Yang; Großschädl, Johann: Efficient Prime-Field Arithmetic for Elliptic Curve Cryptography on Wireless Sensor Nodes, Proceedings of the 1st International Conference on Computer Science and Network Technology (ICCSNT 2011), vol. 1, IEEE, 2011, pp. 459-466, ISBN: 978-1-4577-1586-0
Grabher, Philipp; Großschädl, Johann; Hoerder, Simon; Järvinen, Kimmo; Page, Dan; Tillich, Stefan; Wojcik, Marcin: An Exploration of Mechanisms for Dynamic Cryptographic Instruction Set Extension, Cryptographic Hardware and Embedded Systems --- CHES 2011, vol. LNCS 6917, Springer Verlag, 2011, pp. 1-16, ISBN: 978-3-642-23950-2
Vejda, Tobias; Großschädl, Johann; Page, Dan: A Unified Multiply/Accumulate Unit for Pairing-Based Cryptography over Prime, Binary and Ternary Fields, Proceedings of the 14th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools (DSD 2011), IEEE Computer Society Press, 2011, pp. 658-666, ISBN: 978-0-7695-4494-6
Capozucca, Alfredo; Cheng, Betty; Guelfi, Nicolas; Istoan, Paul: OO-SPL modelling of the focused case study, Comparing Modeling Approaches (CMA) International Workshop affiliated with ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (CMA@MODELS2011), 2011, pp. 0-0, ISBN: 0
Aucher, Guillaume; Boella, Guido; Van der Torre, Leendert: A dynamic logic for privacy compliance, Artificial intelligence and law, 2011, pp. 187-231
Mauw, Sjouke: Selective location blinding using hash chains (transcript of discussion), In B. Christianson et al., editor, Proc. 19th Security Protocols Workshop, vol. 7114, Springer-Verlag, 2011, pp. 142-149, ISBN: -
Jamroga, W.; Mauw, S.; Melissen, M.: Fairness in non-repudiation protocols, 7th Workshop on Security and Trust Management (STM'11) In. C. Meadows and C. Fernandez-Gago, Springer Verlag, 2011, pp. 1-1, ISBN: -
Simonin, Jacques; Bertin, Emmanuel; Le Traon, 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
Delamare, Romain; Baudry, Benoit; Ghosh, Sudipto; Gupta, G.; Le Traon, Yves: An Approach for Testing Pointcut Descriptors in AspectJ, Software, Testing, Verification & Reliability journal (STVR), vol. 21, 2011, pp. 215-239
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, Proceedings of the 7th Asian Internet Engineering Conference, 2011, pp. 38-45, ISBN: 978-1-4503-1062-8
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
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: Improving Classical and Decentralized Differential Evolution with New Mutation Operator and Population Topologies, 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

Klasen, Bernd; Vinzl, Alexander; Martinez, Takeshi: Shopping Assistant, User Centric Media First International Conference, UCMedia 2009, Venice, Italy, December 9-11, 2009, Revised Selected Papers, Springer Berlin Heidelberg, 2010, 2010, pp. 214-217, ISBN: 978-3-642-12629-1
Kordy, Barbara; Mauw, Sjouke; Radomirovic, Sasa; Schweitzer, Patrick: Foundations of attack-defense trees, In Pierpaolo Degano, Sandro Etalle, and Joshua Guttman, editors, Proc. 7th Workshop on Formal Aspects in Security and Trust, vol. 6561, Springer-Verlag, 2010, pp. 80-95, ISBN: -
Guzek, Mateusz; E. Pecero, Johnatan; Dorronsoro, Bernabe; Bouvry, Pascal; U. Khan, Samee: A Cellular Genetic Algorithm for scheduling applications and energy-aware communication optimization, High Performance Computing and Simulation (HPCS), 2010 International Conference, High Performance Computing and Simulation (HPCS), 2010 International Conference, 2010, pp. 241-248, ISBN: 1
E. Pecero, Johnatan; Bouvry, Pascal: An improved genetic algorithm for efficient scheduling on distributed memory parallel systems, Computer Systems and Applications (AICCSA), 2010 IEEE/ACS International Conference, IEEE, 2010, pp. 1-8, ISBN: 1
Kliazovich, Dzmitry; Bouvry, Pascal; Khan, Samee: DENS: data center energy-efficient network-aware scheduling, In Cluster Computing, Springer Netherlands, 2010, pp. 1-11
Kliazovich, Dzmitry; Bouvry, Pascal; Khan, Samee: GreenCloud: a packet-level simulator of energy-aware cloud computing data centers, The Journal of Supercomputing, Springer Netherlands, 2010, pp. 1-21
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, Reliability, Security and Robustness in Heterogeneous Networks, vol. LNICST 74, Springer Verlag, 2010, pp. 623-634, ISBN: 978-3-642-29221-7
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
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
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

Publications

Publications in 2011

Université

Restez branchés!

Contact

Publications

Publications in 2011

Université

Newsletter

Abonnez-vous à notre lettre d'information électronique bimensuelle.

Restez branchés!

Contact