DOCSLIB.ORG

Journal of Logical and Algebraic Methods in Programming

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Journal of Logical and Algebraic Methods in Programming JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING AUTHOR INFORMATION PACK TABLE OF CONTENTS XXX . • Description p.1 • Audience p.1 • Impact Factor p.1 • Abstracting and Indexing p.2 • Editorial Board p.2 • Guide for Authors p.4 ISSN: 2352-2208 DESCRIPTION . The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas. Topics of interest to the journal include: • Applications of algebras, co-algebra and categories to programming • Applications of proof theory and model theory to programming • Constraint programming • Foundations of Programming Paradigms • Logic programming • Logical Foundations of Program Security • Models and Analytical Models for Cyber-Physical Systems • Process Calculi • Programming Models • Quantitative Methods for System Analysis • Specification and verification of systems The Journal of Logical and Algebraic Methods in Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations and the application of logical, algebraic and categorical methods to programming and to the development of trustworthy computing systems. AUDIENCE . Researchers and Educators Concerned with the Theory of Computing, Artificial Intelligence and Programming Languages; Software Engineers and Developers. IMPACT FACTOR . 2020: 0.581 © Clarivate Analytics Journal Citation Reports 2021 AUTHOR INFORMATION PACK 24 Sep 2021 www.elsevier.com/locate/jlamp 1 ABSTRACTING AND INDEXING . INSPEC EDITORIAL BOARD . Editors-in-Chief Rocco R. De Nicola, IMT School for Advanced Studies Lucca, Piazza S. Ponziano, 6, 55100, Lucca, Italy Editorial Assistant Alberto Lluch Lafuente, Technical University of Denmark Department of Applied Mathematics and Computer Science, Richard Petersens Plads, Building 321, H3A 0E9, Kgs Lyngby, Denmark Survey Papers Editor Daniele Gorla, University of Rome La Sapienza Department of Computer Science, Rome, Italy Special Issues Editor Emilio Tuosto, Gran Sasso Science Institute, Department of Computer Science, Viale F. Crispi, 7, 67100, L'Aquila, Italy Formal methods, Behavioural specifications, Choreographies, Models of concurrency and distributions Editorial Board Luca Aceto, Reykjavik University School of Computer Science, Menntavegi 1, IS-101, Reykjavík, Iceland Models for continuous/discrete interactions, Process calculi and languages, Specification and verification of systems Gul Agha, University of Illinois at Urbana-Champaign Department of Computer Science, 1206 S. 6th Street, 211 Wohlers Hall, IL 61820, Urbana, Illinois, United States of America Emerging paradigms, probabilistic and quantum programming, Foundations of cyber-physical systems, Programming models María Alpuente, Polytechnic University of Valencia, 46022, Valencia, Spain Multiparadigm programming, Specification and verification of systems, Applications of proof theory and model theory to programming Maurice H. ter Beek, Alessandro Faedo Institute of Science and Technology National Research Council, Area della Ricerca di Pisa; Via G. Moruzzi 1, 56124, Pisa, Italy Foundations of cyber-physical systems, Quantitative methods for system modelling and analysis, Specification and verification of systems Jan Bergstra, University of Amsterdam Informatics Institute, Science Park 904, 1090 GH, Amsterdam, Netherlands Models for continuous/discrete interactions, Process calculi and languages, Specification and verification of systems Nathalie Bertand, National Research Institute for Computing and Automation, BP 105, 78153, Le Chesnay, France Luis Caires, New University of Lisbon Laboratory for Computer Science and Informatics, Caparica, Portugal Proof and model theoretic foundations of programming, Functional, logic and constraint programming, Logical foundations of program security Agata Ciabattoni, TU Wien Institute of Logic and Computation, Wien, Austria Applications of proof theory and model theory to programming, Logical foundations of artificial intelligence Pedro D'Argenio, National University of Cordoba, Faculty of Mathematics, Astronomy, Physics and Computing, Cordoba, Argentina Process calculi and languages, Quantitative methods for system modelling and analysis, Specification and verification of systems Jane Hillston, The University of Edinburgh, EH8 9YL, Edinburgh, EH8 9AB, Scotland, UK Models for continuous/discrete interactions, Process calculi and languages, Quantitative methods for system modelling and analysis Peter Höfner, Australian National University, Canberra, 2601, Australia Applications of algebras, co-algebra and categories to programming, Process calculi and languages, Specification and verification of systems Einar Broch Johnsen, University of Oslo, 0316, Oslo, Norway Process calculi and languages, Programming models, Specification and verification of systems Barbara König, University of Duisburg-Essen, 45141, Duisburg, Germany Quantitative methods for system modelling and analysis, Specification and verification of systems Axel Legay, National Research Institute for Computing and Automation, BP 105, 78153, Le Chesnay, France AUTHOR INFORMATION PACK 24 Sep 2021 www.elsevier.com/locate/jlamp 2 Applications of algebras, co-algebra and categories to programming, Foundations of cyber-physical systems, Logical foundations of program security, Quantitative methods for system modelling and analysis Michele Loreti, Computer Science - School of Science and Technology, University of Camerino, Via Madonna delle Carceri, 9 - 62032, 62032, Camerino, Italy Foundations of cyber-physical systems, Process calculi and languages, Quantitative methods for system modelling and analysis Catuscia Palamidessi, Inria Research Centre Saclay Île-de-France, route de Saclay, 91120, Palaiseau, France Logical foundations of security and privacy Prakash Panangaden, McGill University School of Computer Science, 3480 University Street, Montreal, QC, H3A 2A7, H3A 2A7, Quebec, Canada Applications of algebras, co-algebra and categories to programming, Emerging paradigms, probabilistic and quantum programming, Logical foundations of artificial intelligence Wojciech Penczek, Polish Academy of Sciences Institute of Computer Sciences, Jana Kazimierza 5, 01-248, Warsaw, Poland Logical foundations of artificial intelligence, Specification and verification of systems Anna Philippou, University of Cyprus Department of Computer Science, 75 Kallipoleos St, P.O Box 20537, CY 1678, Lefkosia, Cyprus Process calculi and languages, Logical foundations of security and privacy, Quantitative methods for system modelling and analysis Enrico Pontelli, New Mexico State University Department of Computer Science, Box 30001, NM 88003, Las Cruces, New Mexico, New Mexico, USA Functional, logic and constraint programming, Logical foundations of artificial intelligence, Programming models Aravinda Prasad Sistla, University of Illinois at Chicago, 60607-7101, Chicago, Illinois, United States of America Formal Verification of Computer Systsems, Seurity, Database Systems Grigore Rosu, University of Illinois at Urbana-Champaign, 1206 S. 6th Street, 211 Wohlers Hall, IL 61820, Champaign, Illinois, United States of America Applications of algebras, co-algebra and categories to programming, Applications of proof theory and model theory to programming, Specification and verification of systems Luis Soares Barbosa, University of Minho, 4704-553, Braga, Portugal Applications of algebras, co-algebra and categories to programming, Emerging paradigms, probabilistic and quantum programming, Programming models Ana Sokolova, University of Salzburg, Department of Computer Sciences, Jakob-Haringer-Str. 2, 5020, Salzburg, Austria Applications of algebras, co-algebra and categories to programming, Quantitative methods for system modelling and analysis, Specification and verification of systems John Tucker, Swansea University, Singleton Park, SA2 8PP, Swansea, SA2 8PP, Wales, UK Applications of algebras, co-algebra and categories to programming, Logical foundations of security and privacy, Models for continuous/discrete interactions Luca Viganò, King's College London, WC2R 2LS, London, United Kingdom Logical foundations of artificial intelligence, Logical foundations of program security, Logical foundations of security and privacy Erik de Vink, Eindhoven University of Technology, 5600 MB, Eindhoven, Netherlands Nobuko Yoshida, Imperial College London Department of Computing, London, United Kingdom Programming models, Process calculi and languages, Specification and verification of systems Naijun Zhan, Institute of Software Chinese Academy of Sciences, P.O.Box 8718,, 100190, Beijing, China Foundations of cyber-physical systems, Models for continuous/discrete interactions, Quantitative methods for system modelling and analysis AUTHOR INFORMATION PACK 24 Sep 2021 www.elsevier.com/locate/jlamp 3 GUIDE FOR AUTHORS . Submission checklist You can use this list to carry out a final check of your submission before you send it to the journal for review. Please check the relevant section in this Guide for Authors for more details. Ensure that the following items are present: One author has been designated as the
Load more

Recommended publications
  • The Astronomy Theory, Observations and Methods (ATOM) Journal
    Robotic Telescopes, Student Research and Education (RTSRE) Proceedings Conference Proceedings, Hilo, Hawaii, USA, Jul 23-27, 2018 Fitzgerald, M., Bartlett, S., Salimpour, S., Eds. Vol. 2, No. 1, (2019) ISBN 978-0-6483996-1-2 / doi : 10.32374/rtsre.2019.003 / CC BY-NC-ND license Peer Reviewed Article. rtsre.org/ojs Rationale for a New Journal: the Astronomy Theory, Observations and Methods (ATOM) Journal Michael Fitzgerald1* Abstract In this article, the rationale behind the creation of a new journal, Astronomy Theory, Observa- tions and Methods (ATOM) journal, currently hosted at rtsre.org is provided. It aims to fill a niche in the community for papers on any general topic in astronomy that may not find their place in top tier astronomical journals. The article outlines the thinking behind why there is a gap to be filled with regards to current scholarly metrics and the nature of other journals of similar scope and impact. The journal aims to be accessible to new and novice scientific authors, as well as those more established, through accessible developmental peer review and an explicit aim to avoid using publication metrics as a barrier to publication selection. The scope, which accepts more broader articles than most, of the journal and considerations on behalf of a potential author are also outlined. Keywords Scientific publishing — Amateur Astronomy — Student Research — Scientometrics 1School of Education, Edith Cowan University *Corresponding author: psyfi[email protected] journal, such as MNRAS, ApJ, AJ or AA, PASP or PASA. The “race to the top” for mainstream astron- Introduction omy journals means that the journals in the middle Part of the rationale for many astronomy student to top range of impact factor, such as those men- research projects (e.g.
    [Show full text]
  • Downloaded Manually1
    The Journal Coverage of Web of Science and Scopus: a Comparative Analysis Philippe Mongeon and Adèle Paul-Hus [email protected]; [email protected] Université de Montréal, École de bibliothéconomie et des sciences de l'information, C.P. 6128, Succ. Centre-Ville, H3C 3J7 Montréal, Qc, Canada Abstract Bibliometric methods are used in multiple fields for a variety of purposes, namely for research evaluation. Most bibliometric analyses have in common their data sources: Thomson Reuters’ Web of Science (WoS) and Elsevier’s Scopus. This research compares the journal coverage of both databases in terms of fields, countries and languages, using Ulrich’s extensive periodical directory as a base for comparison. Results indicate that the use of either WoS or Scopus for research evaluation may introduce biases that favor Natural Sciences and Engineering as well as Biomedical Research to the detriment of Social Sciences and Arts and Humanities. Similarly, English-language journals are overrepresented to the detriment of other languages. While both databases share these biases, their coverage differs substantially. As a consequence, the results of bibliometric analyses may vary depending on the database used. Keywords Bibliometrics, citations indexes, Scopus, Web of Science, research evaluation Introduction Bibliometric and scientometric methods have multiple and varied application realms, that goes from information science, sociology and history of science to research evaluation and scientific policy (Gingras, 2014). Large scale bibliometric research was made possible by the creation and development of the Science Citation Index (SCI) in 1963, which is now part of Web of Science (WoS) alongside two other indexes: the Social Science Citation Index (SSCI) and the Arts and Humanities Citation Index (A&HCI) (Wouters, 2006).
    [Show full text]
  • Journal of Neuroscience Methods
    JOURNAL OF NEUROSCIENCE METHODS AUTHOR INFORMATION PACK TABLE OF CONTENTS XXX . • Description p.1 • Audience p.1 • Impact Factor p.1 • Abstracting and Indexing p.1 • Editorial Board p.2 • Guide for Authors p.4 ISSN: 0165-0270 DESCRIPTION . The Journal of Neuroscience Methods publishes papers that describe new methods that are specifically for neuroscience research conducted in invertebrates, vertebrates or in man. Major methodological improvements or important refinements of established neuroscience methods are also considered for publication. The Journal's Scope includes all aspects of contemporary neuroscience research, including anatomical, behavioural, biochemical, cellular, computational, molecular, invasive and non-invasive imaging, optogenetic, and physiological research investigations. The Journal no longer publishes papers that exclusively deal with research on skin, muscle (and muscle function, evoked muscle activity, EMG, motor evoked potentials, kinematics, motor learning, rehabilitation) and eye (retina, EOG, hand-eye co-ordination). Analytical and binding methods for neuroactive drugs/neurotransmitters/other endogenous nervous system substances, as well as manuscripts that deal with language, toxicology, clinical trials and case reports are also not considered for publication. Finally, manuscripts dealing exclusively with new algorithms/softwares are not considered for publication in this Journal. Finally, manuscripts dealing exclusively with new tools/ software with no scientific/research component are not considered for
    [Show full text]
  • Web of Science (Wos) and Scopus: the Titans of Bibliographic Information in Today's Academic World
    publications Review Web of Science (WoS) and Scopus: The Titans of Bibliographic Information in Today’s Academic World Raminta Pranckute˙ Scientific Information Department, Library, Vilnius Gediminas Technical University, Sauletekio˙ Ave. 14, LT-10223 Vilnius, Lithuania; [email protected] Abstract: Nowadays, the importance of bibliographic databases (DBs) has increased enormously, as they are the main providers of publication metadata and bibliometric indicators universally used both for research assessment practices and for performing daily tasks. Because the reliability of these tasks firstly depends on the data source, all users of the DBs should be able to choose the most suitable one. Web of Science (WoS) and Scopus are the two main bibliographic DBs. The comprehensive evaluation of the DBs’ coverage is practically impossible without extensive bibliometric analyses or literature reviews, but most DBs users do not have bibliometric competence and/or are not willing to invest additional time for such evaluations. Apart from that, the convenience of the DB’s interface, performance, provided impact indicators and additional tools may also influence the users’ choice. The main goal of this work is to provide all of the potential users with an all-inclusive description of the two main bibliographic DBs by gathering the findings that are presented in the most recent literature and information provided by the owners of the DBs at one place. This overview should aid all stakeholders employing publication and citation data in selecting the most suitable DB. Keywords: WoS; Scopus; bibliographic databases; comparison; content coverage; evaluation; citation impact indicators Citation: Pranckute,˙ R. Web of Science (WoS) and Scopus: The Titans 1.
    [Show full text]
  • Where to Publish?
    Where to publish? A Handbook of Scientific Journals for Contributors to Marine Conservation Joshua Cinner and Anya Jaeckli ARC Centre of Excellence for Coral Reef Studies, James Cook University, Townsville, AUSTRALIA. Email: [email protected] Version: September 2018 1 Foreword Deciding where to publish can be important- even career changing. A paper in the right journal can make a career, sometimes even define a field, while the same type of research may fade to oblivion in the wrong venue. Knowing which journals are well suited to your research is an important part of being a scientist. For many scientists, there is a wide range of potential venues. So many, in fact, that many of us often forget what the available options are. Here, we compiled a guide of what we consider key journals in interdisciplinary field of marine resource management. We excluded journals that had a focus on pure, rather than applied ecology, geomorphology, or social science. A lot goes into deciding where to publish- popular metrics such as the impact factor are often used, but it is our feeling that this should be done with great caution. For example, just because a journal has a low impact factor does not mean it is not incredibly influential. Here, we present a number of journal metrics, including impact factor, Scimago Journal Rank (SJR), H-index, and others (which we describe in detail below) for 63 journals that publish interdisciplinary papers on marine resource management. We also provide a description of the aims and scope of the journal (from the journal’s website), and in a few cases, we provide some personal notes about the journal.
    [Show full text]
  • Academic Publishing: Writing, Submission, and Successful Publication
    ACADEMIC PUBLISHING: WRITING, SUBMISSION, AND SUCCESSFUL PUBLICATION 1. WHY PUBLISH IN ENGLISH? Reach a global audience, achieve high impact, contribute to international discourse, increase your likelihood of being quoted, and develop your work to the highest possible standard. 2. IMPORTANCE OF LANGUAGE IN ACADEMIC PUBLISHING The advancement of science rests on the publication of new discoveries in scientific journals. Academic publishing produces over 1.5 million scholarly manuscripts every year via peer review. Despite this elevated publication number, rejection rates because of language issues approximate 21% after preliminary editorial screening and 60% overall. These rates can reach 95% in high impact factor journals such as Nature, Cell, and The Lancet. 3. WHAT ARE THE VARIOUS PUBLISHING OPTIONS IN ENGLISH? Subscribe to Enago Academy’s newsletter to get the latest updates in the world of academic publishing. Subscribe Now TYPES OF PUBLICATIONS . Scholarly Journals . Book (contributing writer) – Open access journals . Conference paper/presentation – Subscription-based journals . Poster session at academic conference . Book Review . Case study . Book Chapter . Hybrid journals . Book (single author) 4. OVERVIEW OF THE SCHOLARLY PUBLISHING PROCESS Subscribe to Enago Academy’s newsletter to get the latest updates in the world of academic publishing. Subscribe Now 5. WHY PUBLISH IN ENGLISH? ENGLISH IS THE PREDOMINANT LANGUAGE OF SCIENCE . In 1980, about 85% of the documents covered by Journal Citation Reports were in English; however, by 2000, the proportion increased to 96%. The proportion of documents in German declined from 5% to 2.5% to just 1%. Impact factor increased for English language journals compared to non-English journals. 6.
    [Show full text]
  • Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment
    NUCLEAR INSTRUMENTS AND METHODS IN PHYSICS RESEARCH SECTION A: ACCELERATORS, SPECTROMETERS, DETECTORS AND ASSOCIATED EQUIPMENT AUTHOR INFORMATION PACK TABLE OF CONTENTS XXX . • Description p.1 • Audience p.1 • Impact Factor p.2 • Abstracting and Indexing p.2 • Editorial Board p.2 • Guide for Authors p.4 ISSN: 0168-9002 DESCRIPTION . Section A of Nuclear Instruments and Methods in Physics Research publishes papers on design, manufacturing and performance of scientific instruments with an emphasis on large scale facilities. This includes the development of particle accelerators, ion sources, beam transport systems and target arrangements as well as the use of secondary phenomena such as synchrotron radiation and free electron lasers. It also includes all types of instrumentation for the detection and spectrometry of radiations from high energy processes and nuclear decays, as well as instrumentation for experiments at nuclear reactors. Specialized electronics for nuclear and other types of spectrometry as well as computerization of measurements and control systems in this area also find their place in the A section. Theoretical as well as experimental papers are accepted. Sponsored issues publication: The journal Nuclear Instruments and Methods in Physics Research offers interested parties the option of fast publication in (supplemental) sponsored issues. For more information please click here. Benefits to authors We also provide many author benefits, such as free PDFs, a liberal copyright policy, special discounts on Elsevier publications and much more. Please click here for more information on our author services. Please see our Guide for Authors for information on article submission. If you require any further information or help, please visit our Support Center AUDIENCE .
    [Show full text]
  • Journal of Microbiological Methods
    JOURNAL OF MICROBIOLOGICAL METHODS AUTHOR INFORMATION PACK TABLE OF CONTENTS XXX . • Description p.1 • Audience p.2 • Impact Factor p.2 • Abstracting and Indexing p.2 • Editorial Board p.2 • Guide for Authors p.4 ISSN: 0167-7012 DESCRIPTION . The Journal of Microbiological Methods publishes scholarly and original articles, notes and review articles. These articles must include novel and/or state-of-the-art methods, or significant improvements to existing methods. Novel and innovative applications of current methods that are validated and useful will also be published. JMM strives for scholarship, innovation and excellence. This demands scientific rigour, the best available methods and technologies, correctly replicated experiments/tests, the inclusion of proper controls, calibrations, and the correct statistical analysis. The presentation of the data must support the interpretation of the method/approach. All aspects of microbiology are covered, except virology. These include agricultural microbiology, applied and environmental microbiology, bioassays, bioinformatics, biotechnology, biochemical microbiology, clinical microbiology, diagnostics, food monitoring and quality control microbiology, microbial genetics and genomics, geomicrobiology, microbiome methods regardless of habitat, high through-put sequencing methods and analysis, microbial pathogenesis and host responses, metabolomics, metagenomics, metaproteomics, microbial ecology and diversity, microbial physiology, microbial ultra-structure, microscopic and imaging methods, molecular
    [Show full text]
  • JOURNAL of VIROLOGICAL METHODS Covering Methodology and Basic Science
    JOURNAL OF VIROLOGICAL METHODS Covering methodology and basic science AUTHOR INFORMATION PACK TABLE OF CONTENTS XXX . • Description p.1 • Audience p.1 • Impact Factor p.1 • Abstracting and Indexing p.2 • Editorial Board p.2 • Guide for Authors p.4 ISSN: 0166-0934 DESCRIPTION . The Journal of Virological Methods focuses on original, high quality research papers that describe novel and comprehensively tested methods which enhance human, animal, plant, bacterial or environmental virology and prions research and discovery. The methods may include, but not limited to, the study of: Viral components and morphology Virus isolation, propagation and development of viral vectors Viral pathogenesis, oncogenesis, vaccines and antivirals Virus replication, host-pathogen interactions and responses Virus transmission, prevention, control and treatment Viral metagenomics and virome Virus ecology, adaption and evolution Applied virology such as nanotechnology Viral diagnosis with novelty and comprehensive evaluation We seek articles, systematic reviews, meta-analyses and laboratory protocols that include comprehensive technical details with statistical confirmations that provide validations against current best practice, international standards or quality assurance programs and which advance knowledge in virology leading to improved medical, veterinary or agricultural practices and management. AUDIENCE . All virologists IMPACT FACTOR . 2020: 2.014 © Clarivate Analytics Journal Citation Reports 2021 AUTHOR INFORMATION PACK 24 Sep 2021 www.elsevier.com/locate/jviromet
    [Show full text]
  • How to Get Your Research Published… …And Then Noticed
    How to get your research published… …and then noticed. elsevier.com/authors Contents Introduction . 1 Getting published . 2 Getting noticed . 23 Tracking your impact . 27 Why publish with Elsevier? . 29 Useful links . 31 December 2020 Copyright © 2020 Elsevier . All rights reserved How to get your research published and then noticed Introduction As a researcher, you make huge strides in advancing essential knowledge . Your achievements can save lives, change the way we understand the world and improve our quality of life . When you’re ready to share your knowledge, the best way to do it is by publishing your work . In this booklet, you’ll find simple, Then it’s time to get your work actionable support that will help you noticed… publish and promote your research and With your peer-reviewed article make the biggest impact you can with published and available online, there’s your work . a lot you can do to promote your work In the first section, we’ll look atgetting and get it out to a wider audience . published . ● Sharing your article The decisions you make about your ● Increasing your visibility publications affect their ultimate impact: ● Writing a lay summary the journal you choose, the type of ● The power of social media article and the way you write about your ● Media coverage research all contribute to the result . ● When and what to publish … And finally, track your impact . ● How to write a great research paper This won’t be the only paper you’ll ● Choosing the best journal for your publish, so it’s useful to build an work understanding of what works well and where you could make improvements .
    [Show full text]
  • A Review of the Literature on Citation Impact Indicators
    A review of the literature on citation impact indicators Ludo Waltman Centre for Science and Technology Studies, Leiden University, The Netherlands [email protected] Citation impact indicators nowadays play an important role in research evaluation, and consequently these indicators have received a lot of attention in the bibliometric and scientometric literature. This paper provides an in-depth review of the literature on citation impact indicators. First, an overview is given of the literature on bibliographic databases that can be used to calculate citation impact indicators (Web of Science, Scopus, and Google Scholar). Next, selected topics in the literature on citation impact indicators are reviewed in detail. The first topic is the selection of publications and citations to be included in the calculation of citation impact indicators. The second topic is the normalization of citation impact indicators, in particular normalization for field differences. Counting methods for dealing with co-authored publications are the third topic, and citation impact indicators for journals are the last topic. The paper concludes by offering some recommendations for future research. 1. Introduction Citation impact indicators are indicators of scientific impact that are based on an analysis of the citations received by scientific publications. Citation impact indicators may provide information on the impact of individual publications, but more often they provide information on the impact of research units such as researchers, research groups, research institutions, countries, or journals. In that case, citation impact indicators are based on an analysis of the citations received by the entire publication oeuvre of a research unit. Well-known examples of citation impact indicators are the journal impact factor (Garfield, 1972) and the h-index (Hirsch, 2005).
    [Show full text]
  • Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms
    NUCLEAR INSTRUMENTS AND METHODS IN PHYSICS RESEARCH SECTION B: BEAM INTERACTIONS WITH MATERIALS AND ATOMS AUTHOR INFORMATION PACK TABLE OF CONTENTS XXX . • Description p.1 • Audience p.1 • Impact Factor p.1 • Abstracting and Indexing p.2 • Editorial Board p.2 • Guide for Authors p.3 ISSN: 0168-583X DESCRIPTION . NIMB or Section B of Nuclear Instruments and Methods in Physics Research covers all aspects of the interaction of energetic beams with atoms, molecules and aggregate forms of matter. This includes ion beam analysis and ion beam modification of materials as well as basic data of importance for these studies. Topics of general interest include: atomic collisions in solids, particle channelling, all aspects of collision cascades, the modification of materials by energetic beams, ion implantation, irradiation - induced changes in materials, the physics and chemistry of beam interactions and the analysis of materials by all forms of energetic radiation. Modification by ion, laser and electron beams for the study of electronic materials, metals, ceramics, insulators, polymers and other important and new materials systems are included. Related studies, such as the application of ion beam analysis to biological, archaeological and geological samples as well as applications to solve problems in planetary science are also welcome. Energetic beams of interest include atomic and molecular ions, neutrons, positrons and muons, plasmas directed at surfaces, electron and photon beams, including laser treated surfaces and studies of solids by photon radiation from rotating anodes, synchrotrons, etc. In addition, the interaction between various forms of radiation and radiation-induced deposition processes are relevant. If this journal seems like a good fit for your research, you can find more information on submission in the Guide for Authors: https://www.elsevier.com/journals/nuclear-instruments-and-methods-in-physics-research-section-b-beam-interactions-with-materials-and-atoms/0168-583x/guide-for-authors.
    [Show full text]