Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Emil C. Lupu

Using Argumentation Logic for Firewall Policy Specification and Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Related publications

Meta-Argumentation, an Approach to Logic and Argumentation Theory

Informal Logic
Philosophy
2014English

Firewall Policy Queries

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2009English

Equivalence in Logic-Based Argumentation

Journal of Applied Non-Classical Logics
PhilosophyLogic
2014English

Specification and Prototyping of Structured Multimedia Documents Using Interval Temporal Logic

Advances in Temporal Logic
2000English

An Asymmetric Protocol for Argumentation Games in Defeasible Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Logic, Reasoning, Argumentation: Insights From the Wild

Logic and Logical Philosophy
Philosophy
2017English

An Optimizing IS-LM Specification for Monetary Policy and Business Cycle Analysis

1997English

Circumscription in Data Logic for Data Type Specification

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1994English

Verified Iptables Firewall Analysis and Verification

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy