If you made any changes in Pure, your changes will be visible here soon.

Research Output 1997 2019

Filter
Editorial
2012

Introduction to the special issue on runtime verification

Sokolsky, O. & Roşu, G., Dec 1 2012, In : Formal Methods in System Design. 41, 3, p. 233-235 3 p.

Research output: Contribution to journalEditorial

Runtime Verification
Bioinformatics
Computer science
Artificial intelligence
Artificial Intelligence
Computer Science
2010

Preface

Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Roşu, G., Sokolsky, O. & Tillmann, N., Jan 1 2010, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6418 LNCS, p. V-VI

Research output: Contribution to journalEditorial

2008
Artificial Intelligence
Bioinformatics
Computational Biology
Computer science
Artificial intelligence

Preface

Rosu, G., 2008, In : Electronic Notes in Theoretical Computer Science.

Research output: Contribution to journalEditorial

2007

Higher-Order and Symbolic: Editorial

Martí-Oliet, N., Roşu, G. & Talcott, C., Jun 1 2007, In : Higher-Order and Symbolic Computation. 20, 1-2, p. 1-2 2 p.

Research output: Contribution to journalEditorial

2006
Bioinformatics
Computer science
Artificial intelligence
Artificial Intelligence
Computer Science
2005

Formal Methods in System: Foreword

Havelund, K. & Rosu, G., Nov 1 2005, In : Formal Methods in System Design. 27, 3 SPEC. ISS., p. 211-212 2 p.

Research output: Contribution to journalEditorial

Formal methods
Formal Methods