Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Somesh Jhas

A Declarative Framework for Intrusion Analysis

Cyber Situational Awareness
2009English

Related publications

DeCo: A Declarative Coordination Framework for Scientific Model Federations

English

A Temporal Logic Based Framework for Intrusion Detection

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Development of a Legal Framework for Intrusion Detection

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

VoxLogicA: A Spatial Model Checker for Declarative Image Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Developing a Declarative Analysis Language: LINQToROOT

EPJ Web of Conferences
AstronomyPhysics
2019English

COLIDE: A Collaborative Intrusion Detection Framework for Internet of Things

IET Networks
ControlCommunicationsComputer NetworksManagement ScienceOptimizationOperations Research
2019English

Toward an Integrated Framework for Declarative and Interactive Spreadsheet Debugging

2013English

A Framework for Cost-Sensitive Automated Selection of Intrusion Response

English

A Framework for Preemption Analysis

Yale Law Journal
Law
1978English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy