Ilkka Niemelä
  • Phone+358 50 5113013
  • Aalto SCI Computer Science Konemiehentie 2

1986 …2020

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2015

    Cumulativity Tailored for Non-Monotonic Reasoning

    Janhunen, T. & Niemelä, I., 2015, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, Leipzig, Germany, February 4, 2015. Eiter, T., Strass, H., Truszczynski, M. & Woltran, S. (eds.). Switzerland, p. 96-111 (Lecture Notes in Computer Science; vol. 9060).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • 2014

    Introducing Real Variables and Integer Objective Functions to Answer Set Programming

    Liu, G., Janhunen, T. & Niemelä, I., 2014, International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013. Hanus, M. & Rocha, R. (eds.). p. 118-135 18 p. (Lecture Notes in Computer Science; vol. 8439 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    2 Citations (Scopus)
  • 2013

    Bounded Model Checking of an MITL Fragment for Timed Automata

    Kindermann, R., Junttila, T. & Niemelä, I., 2013, 13th International Conference on Application of Concurrency to System Design (ACSD), July 8-10, Barcelona, Spain. IEEE, p. 216-225

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    9 Citations (Scopus)
  • Simulating Parity Reasoning

    Laitinen, T., Junttila, T. & Niemelä, I., 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, Stellenbosch, South Africa, 15-19th December 2013. p. 568-583 (Lecture Notes in Computer Science; vol. 8312).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    1 Citation (Scopus)
  • Translating Answer-Set Programs into Bit-Vector Logic

    Nguyen, M., Janhunen, T. & Niemelä, I., 2013, 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011, Vienna, September 28-30, 2011: Applications of Declarative Programming and Knowledge Management . Tompits, H., Abreu, S., Oetsch, J., Pührer, J., Seipel, D., Umeda, M. & Wolf, A. (eds.). Berlin Heidelberg, p. 95-113 19 p. (Lecture Notes in Computer Science; vol. 7773 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    13 Citations (Scopus)
  • 2012

    Answer Set Programming via Mixed Integer Programming

    Liu, G., Janhunen, T. & Niemelä, I., 2012, 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), Rome, Italy, June 10-14, 2012. AAAI PRESS, p. 32-42

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    62 Citations (Scopus)
  • Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata

    Kindermann, R., Junttila, T. & Niemelä, I., 2012, FMOODS FORTE IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2012) FMOODS FORTE, Stockholm, Sweden, June 13-16, 2012. Giese, H. & Rosu, G. (eds.). p. 84-100 (Lecture Notes in Computer Science; vol. 7273).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    15 Citations (Scopus)
  • Classifying and Propagating Parity Constraints

    Laitinen, T., Junttila, T. & Niemelä, I., 2012, 18th International Conference on Principles and Practice of Constraint Programming (CP 2012), Quebec City, Canada, October 8-12, 2012. Milano, M. (ed.). p. 357-372 (Lecture Notes in Computer Science; vol. 7514).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    6 Citations (Scopus)
  • Conflict-Driven XOR-Clause Learning

    Laitinen, T., Junttila, T. & Niemelä, I., 2012, Fifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), Trento, Italy, June 17-20, 2012. Cimatti, A. & Sebastiani, R. (eds.). p. 383-396 ( Lecture Notes in Computer Science; vol. 7317).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    10 Citations (Scopus)
  • Extending Clause Learning SAT Solvers with Complete Parity Reasoning

    Laitinen, T., Junttila, T. & Niemelä, I., 2012, 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012. IEEE, Vol. 1. p. 65-72 8 p. 6495030. (Proceedings-International Conference on Tools With Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    9 Citations (Scopus)
  • SMT-Based Induction Methods for Timed Systems

    Kindermann, R., Junttila, T. & Niemelä, I., 2012, 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012), London, UK, September 18-20, 2012. Jurdzinski, M. & Nickovic, D. (eds.). p. 171-187 (Lecture Notes in Computer Science; vol. 7595).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    21 Citations (Scopus)
  • 2011

    Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems

    Niemela, I., 2011, 12TH SYMPOSIUM ON PROGRAMMING LANGUAGES AND SOFTWARE TOOLS, SPLST' 11. Penjam, J. (ed.). TALLINN UNIV TECH PRESS, p. 173-173 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems

    Niemelä, I., 2011, Proceedings - 41st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2011), Tuusula, Finland, 23-25 May 2011. IEEE Computer Society, p. 139-141 3 p. 5954222. (International Symposium on Multiple-Valued Logic).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • Compact Translations of Non-Disjunctive Answer Set Programs to Propositional Clauses

    Janhunen, T. & Niemelä, I., 2011, The Symposium on Constructive Mathematics and Computer Science in Honour of Michael Gelfonds 65th Anniversary. Balduccini, M. & Son, T. C. (eds.). Lexington, p. 111-130 (Lecture Notes in Computer Science; vol. 6565).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    36 Citations (Scopus)
  • Equivalence Class Based Parity Reasoning with DPLL(XOR)

    Laitinen, T., Junttila, T. & Niemelä, I., 2011, 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011). Khoshgoftaar, T. M. & Zhu, X. (eds.). IEEE, p. 649-658 (International Conference on Tools with Artificial Intelligence. Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    11 Citations (Scopus)
  • Grid-Based SAT Solving with Iterative Partitioning and Clause Learning

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2011, 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. p. 385-399 (Lecture Notes in Computer Science; vol. 6876).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    24 Citations (Scopus)
  • LCT: An Open Source Concolic Testing Tool for Java Programs

    Kähkönen, K., Launiainen, T., Saarikivi, O., Kauttio, J., Heljanko, K. & Niemelä, I., 2011, 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011). Saarbrücken, p. 75-80

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks

    Kindermann, R., Junttila, T. & Niemelä, I., 2011, 11th International Conference on Application of Concurrency to System Designg, (ACSD 2011). IEEE, p. 185-194 (International Conference on Application of Concurrency to System Design. Proceedings ).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    5 Citations (Scopus)
  • Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison

    Janhunen, T., Niemelä, I., Oetsch, J., Puehrer, J. & Tompits, H., 2011, International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011. Delgrande, J. & Faber, W. (eds.). p. 242-247 6 p. (Lecture Notes in Computer Science; vol. 6645).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    10 Citations (Scopus)
  • Strong Equivalence of Logic Programs with Abstract Constraint Atoms

    Liu, G., Goebel, R., Janhunen, T., Niemelä, I. & You, J-H., 2011, Logic Programming and Nonmonotonic Reasoning. LPNMR 2011. Delgrande, J. & Faber, W. (eds.). p. 161-173 (Lecture Notes in Computer Science; vol. 6645).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    5 Citations (Scopus)
  • 2010

    Enhancing a Smart Space with Answer Set Programming

    Luukkala, V. & Niemelä, I., 2010, Semantic Web Rules: International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings. p. 89-103 (Lecture Notes in Computer Science; vol. 6403).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    9 Citations (Scopus)
  • Experimental Comparison of Concolic and Random Testing for Java Card Applets

    Kähkönen, K., Kindermann, R., Heljanko, K. & Niemelä, I., 2010, Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. van de Pol, J. & Weber, M. (eds.). p. 22-39 (Lecture Notes in Computer Science; vol. 6349).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    6 Citations (Scopus)
  • Extending Clause Learning DPLL with Parity Reasoning

    Laitinen, T., Junttila, T. A. & Niemelä, I., 2010, 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010. Coelho, H., Studer, R. & Wooldridge, M. (eds.). IOS PRESS, p. 21-26 (Frontiers in Artificial Intelligence and Applications; vol. 215).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    16 Citations (Scopus)
  • Model Checking Methodology for Supporting Safety Critical Software Development and Verification

    Lahtinen, J., Valkonen, J., Björkman, K., Frits, J. & Niemelä, I., 2010, Reliability, Risk and Safety: Back to the Future: European Safety and Reliability Annual Conference ESREL 2010, Rhodes; Greece; 5-9 September 2010 . Ale, B. J. M., Papazoglou, I. A. & Zio, E. (eds.). CRC Press, p. 2056-2063

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

    2 Citations (Scopus)
  • Model checking methodology for verification of safety logics

    Valkonen, J., Björkman, K., Frits, J. & Niemelä, I., 2010, The 6th International Conference on Safety of Industrial Automated Systems, SIAS 2010, Tampere 14.-15.6.2010 .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  • On Testing Answer-Set Programs

    Janhunen, T., Niemelä, I., Oetsch, J., Pührer, J. & Tompits, H., 2010, 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010. Coelho, H., Studer, R. & Wooldridge, M. (eds.). IOS PRESS, p. 951-956 (Frontiers in Artificial Intelligence and Applications; vol. 215).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    16 Citations (Scopus)
  • Partitioning SAT Instances for Distributed Solving

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2010, Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Fermüller, C. G. & Voronkov, A. (eds.). p. 372-386 15 p. (Lecture Notes in Computer Science; vol. 6397 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    38 Citations (Scopus)
  • 2009

    A Module-Based Framework for Multi-Language Constraint Modeling

    Järvisalo, M., Oikarinen, E., Janhunen, T. & Niemelä, I., 2009, Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Erdem, E., Lin, F. & Schaub, T. (eds.). p. 155-168 (Lecture Notes in Computer Science ; vol. 5753).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    22 Citations (Scopus)
  • Computing Stable Models via Reductions to Difference Logic

    Janhunen, T., Niemelä, I. & Sevalnev, M., 2009, Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Erdem, E., Lin, F. & Schaub, T. (eds.). p. 142-154 (Lecture Notes in Computer Science ; vol. 5753).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    38 Citations (Scopus)
  • Formal Verification of Safety Automation Logic Designs

    Valkonen, J., Koskimies, M., Björkman, K., Heljanko, K., Niemelä, I. & Hämäläinen, J. J., 2009, Automaatio XVIII 2009 Seminaari.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • Integrating Answer Set Programming and Satisfiability Modulo Theories

    Niemelä, I., 2009, The 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009. p. 3-3 (Lecture Notes in Computer Science; vol. 5753).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • Partitioning Search Spaces of a Randomized Search

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2009, AI*IA 2009: Emergent Perspectives in Artificial Intelligence : XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia, Italy, December 9-12, 2009 Proceedings. Serra, R. & Cucchiara, R. (eds.). p. 243-252 (Lecture Notes in Computer Science ; vol. 5883).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    7 Citations (Scopus)
  • The LIME Interface Specification Language and Runtime Monitoring Tool

    Kähkönen, K., Lampinen, J., Heljanko, K. & Niemelä, I., 2009, Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers. Bensalem, S. & Peled, D. (eds.). p. 93-100 (Lecture Notes in Computer Science ; vol. 5779).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    12 Citations (Scopus)
  • Verification of Safety Logic Designs by Model Checking

    Björkman, K., Frits, J., Valkonen, J., Lahtinen, J., Heljanko, K., Niemelä, I. & Hämäläinen, J. J., 2009, 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies NPIC&HMIT 2009. Knoxville, p. 324-335

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    11 Citations (Scopus)
  • 2008

    Answer Set Programming without Unstratified Negation

    Niemelä, I., 2008, Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008. Proceedings. Garcia de la Banda, M. & Pontelli, E. (eds.). p. 88-92 (Lecture Notes in Computer Science ; vol. 5366).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    2 Citations (Scopus)
  • Computing stable models via reductions to boolean circuits and difference logic

    Janhunen, T., Niemelä, I. & Sevalnev, M., 2008, Computation of Structures from Declarative Descriptions: 2nd International Workshop on Logic and Search (LaSh 2008). KU Leuven, Belgium, November 2008. Proceedings. Denecker, M. (ed.). p. 16-30

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • Formal Verification of Safety I&C System Designs: Two Nuclear Power Plant Related Applications

    Valkonen, J., Koskimies, M., Pettersson, V., Heljanko, K., Holmberg, J-E., Niemelä, I. & Hämäläinen, J. J., 2008, Enlarged Halden Programme Group Meeting - Proceedings of the Man-Technology-Organisation Sessions, Institutt for Energiteknikk, Halden, Norway, 2008. Loen, p. C4.2

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  • Incorporating Learning in Grid-Based Randomized SAT Solving

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2008, Artificial Intelligence: Methodology, Systems, and Applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings. Dochev, D., Pistore, M. & Traverso, P. (eds.). p. 247-261 (Lecture Notes in Computer Science ; vol. 5253).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    8 Citations (Scopus)
  • Justification-Based Local Search with Adaptive Noise Strategies

    Järvisalo, M., Junttila, T. & Niemelä, I., 2008, Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Cervesato, I., Veith, H. & Voronkov, A. (eds.). p. 31-46 (Lecture Notes in Computer Science ; vol. 5330).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    6 Citations (Scopus)
  • Justification-Based Non-Clausal Local Search for SAT

    Järvisalo, M., Junttila, T. & Niemelä, I., 2008, ECAI 2008: 18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21.-25.7.2008. Ghallab, M., Spyropoulos, C. D., Fanotakis, N. & Avoukis, N. (eds.). IOS PRESS, p. 535-539 (Frontiers in Artificial Intelligence and Applications; vol. 178).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • Stable models and difference logic

    Niemelä, I., 1 Dec 2008, 10th International Symposium on Artificial Intelligence and Mathematics (ISAIM 2008), Fort Lauderdale, FL; United States; 2-4 January 2008. p. 5P

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • Strategies for Solving SAT in Grids by randomized search

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2008, Intelligent Computer Mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings. Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. & Wiedijk, F. (eds.). p. 125-140 (Lecture Notes in Computer Science; vol. 5144).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    7 Citations (Scopus)
  • 2006

    A Distribution Method for Solving SAT in Grids

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2006, Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings. Biere, A. & P. Gomes, C. (eds.). p. 430-435 (Lecture Notes in Computer Science ; vol. 4121).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    28 Citations (Scopus)
  • Answer Set Programming: A Declarative Approach to Solving Search Problems

    Niemelä, I., 2006, Logics in Artificial Intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006. Proceedings. Fisher, M., van der Hoek, W., Konev, B. & Lisitsa, A. (eds.). Berlin, p. 15-18 4 p. (Lecture Notes in Computer Science; vol. 4160).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

    11 Citations (Scopus)
  • 2005

    Prioritized Component Systems

    Brewka, G., Niemelä, I. & Truszczynski, M., 2005, The Twentieth National Conference on Artificial Intelligence, Pittsburgh, Pennsylvania, USA, 9.-13.7.2005. Menlo Park, CA, USA: AAAI PRESS, p. 596-601

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    7 Citations (Scopus)
  • Solving Alternating Boolean Equation Systems in Answer Set Programming

    Keinänen, M. & Niemelä, I., 2005, Applications of Declarative Programming and Knowledge Management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers. Seipel, D., Hanus, M., Geske, U. & Bartenstein, O. (eds.). p. 134-148 (Lecture Notes in Computer Science ; vol. 3392).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    2 Citations (Scopus)
  • 2004

    A Compact Reformulation of Propositional Satisfiability as Binary Constraint Satisfaction

    Järvisalo, M. & Niemelä, I., 2004, Third International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, Toronto, Ontario, Canada, 27.9.2004: Towards Systemisation and Automation. Frisch, A. M. & Miguel, I. (eds.).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • GNT - A Solver for Disjunctive Logic Programs

    Janhunen, T. & Niemelä, I., 2004, 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004. Proceedings. Lifschitz, V. & Niemelä, I. (eds.). p. 331-335 (Lecture Notes in Computer Science ; vol. 2923).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    25 Citations (Scopus)
  • Logic Programs with Monotone Cardinality Atoms

    Marek, V., Niemelä, I. & Truszczynski, M., 2004, Logic Programming and Nonmonotonic Reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004. Proceedings. p. 154-166 13 p. (Lecture Notes in Computer Science ; vol. 2923).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    13 Citations (Scopus)
  • Mobile security - In search for comprehensive integrity

    Eskelinen, P., Vuorimaa, P., Tommiska, M., Niemelä, I., Smeds, R., Vainikainen, P., Sipilä, M., Hytönen, K., Tenhonen, K. & Paloheimo, A., 2004, Fifth IEE International Conference on 3G Mobile Communication Technologies 2004, London, UK, 18-20 October. p. 457-460 5 p. (IEE Conference Publication; no. 503).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Your message has successfully been sent.
Your message was not sent due to an error.