Mathematical, logical, and formal methods in information retrieval: An introduction to the special issue

2003 ◽  
Vol 54 (4) ◽  
pp. 281-284 ◽  
Author(s):  
Fabio Crestani ◽  
Sandor Dominich ◽  
Mounia Lalmas ◽  
Cornelis Joost (Keith) van Rijsbergen
Keyword(s):  
Information Retrieval ◽  
Formal Methods ◽  
Special Issue

scholarly journals Guest editorial: Special issue on information retrieval for social media

2012 ◽  
Vol 15 (3-4) ◽  
pp. 179-182 ◽  
Author(s):  
Fei Wang ◽  
Peng Cui ◽  
Gordon Sun ◽  
Tat-Seng Chua ◽  
Shiqiang Yang
Keyword(s):  
Social Media ◽  
Information Retrieval ◽  
Guest Editorial ◽  
Special Issue ◽  
Editorial Special Issue

scholarly journals Introduction to the Special Issue on Reproducibility in Information Retrieval

2018 ◽  
Vol 10 (4) ◽  
pp. 1-4 ◽  
Author(s):  
Nicola Ferro ◽  
Norbert Fuhr ◽  
Andreas Rauber
Keyword(s):  
Information Retrieval ◽  
Special Issue

scholarly journals Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems

2013 ◽  
Vol 23 (4) ◽  
pp. 675-675
Author(s):  
AZER BESTAVROS ◽  
ASSAF KFOURY
Keyword(s):  
Computer Science ◽  
Formal Methods ◽  
Wide Spectrum ◽  
Critical Systems ◽  
Research Groups ◽  
Special Issue ◽  
Mathematical Structures ◽  
Safety Critical ◽  
Safety Critical Systems ◽  
Final Selection

The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practical formal methods in the design and analysis of safety-critical systems. All the papers we received were submitted to a rigorous process of review and revision, based on which we made our final selection.

Advances in information retrieval: An introduction to the special issue

2006 ◽  
Vol 31 (7) ◽  
pp. 569-572 ◽  
Author(s):  
Alberto Apostolico ◽  
Ricardo Baeza-Yates ◽  
Massimo Melucci
Keyword(s):  
Information Retrieval ◽  
Special Issue

scholarly journals Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)

2011 ◽  
Vol 76 (2) ◽  
pp. 63-64
Author(s):  
Darren Cofer ◽  
Alessandro Fantechi ◽  
Stefan Leue ◽  
Pedro Merino
Keyword(s):  
Formal Methods ◽  
Critical Systems ◽  
Special Issue
Sign in / Sign up

Export Citation Format

Share Document