Publications

(2023). Towards explainable data-to-text generation. 38th Italian Conference on Computational Logic, CILC 2023.

Cite

(2023). Prolog Meets Biology. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite DOI

(2023). Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite

(2023). Pairing an Autoencoder and a SF-SOINN for Implementing an Intrusion Detection System. Proceedings of the Italia Intelligenza Artificiale - Thematic Workshops co-located with the 3rd CINI National Lab AIIS Conference on Artificial Intelligence (Ital IA 2023).

Cite

(2023). Neural Networks Reduction via Lumping. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite DOI

(2023). Continued Hereditarily Finite Set-Approximations. Italian Conference on Computational Logic 2023..

Cite

(2023). Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference.

Cite DOI

(2023). An xAI Approach for Data-to-Text Processing with ASP. Proceedings 39th International Conference on Logic Programming.

Cite DOI

(2023). Adaptive Directions for Bernstein-Based Polynomial Set Evolution. 17th International Conference on Reachability Problems, "RP 2023".

Cite DOI

(2022). Mirrors and Memory in Quantum Automata. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite DOI

(2022). Hybrid automata in systems biology. Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools.

Cite DOI

(2022). Fuzzy Algebraic Theories. Leibniz International Proceedings in Informatics, LIPIcs.

Cite DOI

(2022). Distributed Programming of Smart Systems with Event-Condition-Action Rules. Proceedings of the 23rd Italian Conference on Theoretical Computer Science.

PDF Cite

(2022). Directed Graph Encoding in Quantum Computing Supporting Edge-Failures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite DOI

(2022). A new criterion for M,N-adhesivity, with an application to hierarchical graphs. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite DOI

(2022). A Calculus for Subjective Communication. Proceedings of the 23rd Italian Conference on Theoretical Computer Science.

PDF Cite

(2021). Squeezing multisets into real numbers. RENDICONTI DELL’ISTITUTO DI MATEMATICA DELL’UNIVERSITÀ DI TRIESTE.

Cite DOI

(2021). Reasoning About Proportional Lumpability. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite DOI

(2021). On the Security and Safety of AbU Systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite DOI

(2021). Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite DOI

(2021). CUDA: Set Constraints on GPUs.. RENDICONTI DELL’ISTITUTO DI MATEMATICA DELL’UNIVERSITÀ DI TRIESTE.

Cite DOI URL

(2021). Composable Partial Multiparty Session Types. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite DOI

(2021). Closure hyperdoctrines. Leibniz International Proceedings in Informatics, LIPIcs.

Cite DOI

(2021). Automated symbolic verification of Telegram’s MTProto 2.0. Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021.

Cite DOI

(2021). An event-based data warehouse to support decisions in multi-channel, multi-service contact centers. Research Anthology on Decision Support Systems and Decision Management in Healthcare, Business, and Engineering.

Cite DOI

(2021). A time-series classification approach to shallow web traffic de-anonymization. Proceedings of the Italian Conference on Cybersecurity (ITASEC 2021), All Digital Event, April 7-9, 2021.

Cite URL

(2021). A Calculus for Attribute-Based Memory Updates. Proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021.

Cite DOI

(2020). Towards a formal model for composable container systems. Proceedings of the ACM Symposium on Applied Computing.

Cite DOI

(2020). Regular languages meet prefix sorting. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms.

Cite

(2020). Modelling Multi-Agent Epistemic Planning in ASP. 36th International Conference on Logic Programming. Special Issue I.

Cite DOI

(2020). Image Approximation for Feed Forward Neural Nets. 3rd International Workshop on Verification of Neural Networks.

Cite URL

(2020). GPU-Based Parallelism for ASP-Solving. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite DOI

(2020). Extending Information Agreement by Continuity. 2020 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).

Cite DOI

(2020). EFP 2.0: A multi-agent epistemic solver with multiple E-state representations. Proceedings International Conference on Automated Planning and Scheduling, ICAPS.

Cite

(2020). Computing Embeddings of Directed Bigraphs. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite DOI

(2019). Proportional Lumpability. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite DOI URL

(2019). Preface. Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers.

Cite URL

(2019). Non-well-founded set based multi-agent action language. 34th Italian Conference on Computational Logic, CILC 2019.

Cite URL

(2019). Extending$$mathcal ALC$$ with the Power-Set Construct. 16th European Conference on Logics in Artificial Intelligence, JELIA 2019; Rende; Italy; 7 May 2019 through 11 May 2019.

Cite DOI URL

(2019). A process algebra for (delimited) persistent stochastic non-interference. 16th International Conference on Quantitative Evaluation of Systems, QEST 2019.

Cite DOI URL

(2018). User Requirements and Relational Modelling for a Non-Theatrical Cinema and Video-Art Cataloguing System. Digital libraries and multimedia archives. 14th Italian Research Conference on Digital Libraries, IRCDL 2018, Udine, Italy, January 25-26, 2018, Proceedings.

Cite DOI

(2018). Persistent stochastic non-interference. Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018.

Cite DOI URL

(2018). MASP-Reduce: A Proposal for Distributed Computation of Stable Models. Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018.

Cite

(2018). Loose Graph Simulations. Software Technologies: Applications and Foundations.

Cite DOI URL

(2018). Guest editors' foreword. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING.

Cite DOI

(2018). Exploring Life: Answer Set Programming in Bioinformatics. Declarative Logic Programming, Theory, Systems, and Applications..

Cite DOI URL

(2018). Deciding hedged bisimilarity. Proceedings of the 19th Italian Conference on Theoretical Computer Science.

PDF Cite

(2017). Towards a Logic Programming Tool for Cancer Analysis. Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic.

Cite

(2017). Preface. THEORY AND PRACTICE OF LOGIC PROGRAMMING.

Cite DOI

(2017). Parallel Answer Set Programming. PCR'17-CADE'17 1st workshop on parallel constraint reasoning.

Cite URL

(2017). Multiple-origin-multiple-destination path finding with minimal arc usage: Complexity and models. Proceedings - 2016 IEEE 28th International Conference on Tools with Artificial Intelligence, ICTAI 2016.

Cite DOI

(2017). Efficient Computation of Renaming Functions for ρ-reversibility Discrete and Continuous Time Markov Chains. VALUETOOLS 2017. Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools.

Cite

(2017). An active learning approach to the falsification of black box cyber-physical systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite DOI URL

(2016). Preface. Martin Davis on Computability, Computational Logic, and Mathematical Foundations.

Cite URL

(2016). Parallelotope bundles for polynomial reachability. HSCC 2016 - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control.

Cite DOI URL

(2016). On the bisimulation hierarchy of state-to-function transition systems. Proceedings of the 17th Italian Conference on Theoretical Computer Science (ICTCS'16).

Cite

(2016). Logic-based multi-objective design of chemical reaction networks. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite DOI

(2016). Exploring the use of BDDs in conformant planning. Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI.

Cite DOI

(2016). Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems. Proceedings 17th Italian Conference on Theoretical Computer Science (ICTCS 2016).

Cite URL

(2016). Banishing Ultrafilters from Our Consciousness. Martin Davis on Computability, Computational Logic, and Mathematical Foundations.

Cite DOI URL

(2015). Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models. Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers.

Cite DOI

(2015). Open transactions on shared memory. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite DOI URL

(2015). Foreword [to Constraint Solving and Planning with Picat]. Constraint Solving and Planning with Picat.

Cite

(2015). Fast online Lempel-Ziv factorization in compressed space. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite DOI URL

(2015). CUD@SAT: SAT solving on GPUs. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE.

Cite DOI URL

(2015). CNV and structural variation in plants prospects of NGS approaches. Advances in the Understanding of Biological Sciences Using Next Generation Sequencing (NGS) Approaches.

Cite DOI URL

(2014). Towards distributed bigraphical reactive systems. GCM 2014. The Fifth International Workshop on Graph Computation Models: proceedings.

Cite URL

(2014). Set Graphs VI: Logic Programming and Bisimulation. Proceedings of the 29th Italian Conference on Computational Logic.

Cite URL

(2014). Hashing and Indexing: Succinct DataStructures and Smoothed Analysis. Algorithms and Computation - 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings.

Cite DOI URL

(2014). GSOS for non-deterministic processes with quantitative aspects. Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014.

Cite DOI URL

(2014). Finding a Forest in a Tree - The matching problem for wide reactive systems. Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers.

Cite DOI

(2014). Algorithms and Data Structures for Next Generation Sequences. Biological Knowledge Discovery Handbook: Preprocessing, Mining and Postprocessing of Biological Data.

Cite

(2014). A Parallel Algorithm for the Best k-Mismatches Alignment Problem. 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.

Cite DOI

(2014). A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems.. ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014)..

Cite DOI

(2013). PolyMorph: A P300 Polymorphic Speller. Brain and Health Informatics International Conference, BHI 2013.

Cite DOI

(2013). Encodings of Sets and Hypersets. Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013..

PDF Cite

(2013). CUD@ASP: Experimenting with GPUs in ASP solving. 28th Italian Conference on Computational Logic, CILC 2013.

PDF Cite

(2013). Contextual Lumpability. ValueTools 2013 – 7th International Conference on Performance Evaluation Methodologies and Tools.

Cite DOI

(2013). co-LP: Back to the Roots. Proc of XXIX International Conference on Logic Programming.

PDF Cite

(2013). An Analysis of Correlative and Static Causality in P Systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite DOI

(2012). Synthesis of distributed mobile programs using monadic types in Coq. Interactive Theorem Proving, Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings.

Cite DOI

(2012). Structural operational semantics for continuous state probabilistic processes. 11th International Workshop on Coalgebraic Methods in Computer Science, Proceedings.

Cite DOI URL

(2012). Rank-Based Simulation on Acyclic Graphs. Proceedings of the 9th Italian Convention on Computational Logic.

PDF Cite

(2012). Model Checking on Hybrid Automata: Theory and Application to Biological Systems. Prooc. of 15th Euromicro Conference on Digital System Design (DSD), 2012.

Cite DOI URL

(2012). Hybrid Automata and epsilon-Analysis on a Neural Oscillator. Proceedings First International Workshop on Hybrid Systems and Biology.

Cite DOI URL

(2012). ERNE-BS5: Aligning BS-treated sequences by multiple hits on a 5-letters alphabet. Proceedings of the ACM Conference on Bioinformatics, Computational Biology and Biomedicine - BCB ‘12.

Cite DOI

(2011). WELL-QUASI-ORDERING HEREDITARILY FINITE SETS. 5th International Conference on Language and Automata Theory and Applications, LATA2011.

Cite DOI

(2011). SCOP Family Fingerprints: An Information Theoretic Approach to Structural Classification of Protein Domains. PROCEEDINGS IEEE INTERNATIONAL CONFERENCE OF BIOINFORMATICS AND BIOMEDICINE (WORKSHOPS).

Cite DOI

(2011). Perspectives on Logic-based Approaches for Reasoning About Actions and Change. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday.

Cite DOI

(2011). mrNA: the MPI randomized Numerical Aligner. International Conference on Bioinformatics and Biomedicine.

Cite DOI

(2011). Exploring Protein Fragment Assembly Using CLP. Proc. of IJCAI11, Twenty-second International Joint Conference on Artificial Intelligence.

Cite DOI

(2011). Conceptual Design Patterns for Relational Databases. Proceedings of the 17th International Conference on Information and Software Technologies (IT 2011).

Cite

(2011). A Tabled Prolog Program for Solving Sokoban. IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011.

Cite DOI

(2011). A Tabled Prolog Program for Solving Sokoban. 26th Italian Conference on Computational Logic.

Cite URL

(2010). Regulation and Covering Problems in MP Systems. International Workshop on Membrane Computing, WMC 2009.

Cite DOI

(2010). Measurable Stochastics for Brane Calculus. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE.

Cite DOI

(2010). LFMTP 2010 - Preface. Electronic Proceedings in Theoretical Computer Science, EPTCS.

Cite URL

(2010). Graph Algebras for Bigraphs. ELECTRONIC COMMUNICATIONS OF THE EASST.

Cite DOI URL

(2010). Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda. Proceedings of CILC2010, 25th Italian Conference on Computational Logic Rende.

Cite URL

(2010). A Randomized Numerical Aligner (rNA). Language and Automata Theory and Application.

Cite DOI

(2009). Toward an MP model of non-photochemical quenching. 9th International Workshop on Membrane Computing, WMC 2008.

Cite DOI

(2009). The Importance of Being (A Little Bit) Discrete. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

Cite DOI

(2009). TEA: a Transposable Elements Annotator. International Conference on Bioinformatics & Computational Biology, BIOCOMP 2009, July 13-16, 2009, Las Vegas Nevada, USA, 2 Volumes.

Cite

(2009). Stochastic Programs and Hybrid Automata for (Biological) Modeling. Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings.

Cite DOI

(2009). Games on Strings with a Limited Order Relation. Proceedings of the 2009 Symposium on Logical Foundations of Computer Science (LFCS).

Cite DOI

(2009). From Entity Relationship to XML Schema: A Graph-Theoretic Approach. Proceedings of Database and XML Technologies, 6th International XML Database Symposium, XSym 2009.

Cite DOI

(2009). Bigraphical models for protein and membrane interactions. Proceedings of the Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009 (MeCBIC 2009).

Cite DOI URL

(2009). An Algorithm for Initial Fluxes of Metabolic P Systems. INTERNATIONAL JOURNAL OF COMPUTERS, COMMUNICATIONS & CONTROL.

Cite DOI

(2009). A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++. 16th RCRA International Workshop on "Experimental evaluation of algorithms for solvingproblems with combinatorial explosion".

PDF Cite

(2009). A hybrid solver for large neighborhood search: Mixing Gecode and EasyLocal++. Hybrid Metaheuristics 6th International Workshop, HM 2009 Udine, Italy, October 16-17, 2009 Proceedings.

Cite DOI

(2008). Undecidability of Model Checking in Brane Logic. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

Cite DOI

(2008). Systems Biology: Models and Logics. Proc. of Int. Conference on Logic Programming (ICLP'08).

Cite DOI URL

(2008). PicNIc - Pi-calculus Non-Interference checker. Proc. of the IEEE Int. Conference on Application of Concurrency to System Design (ACSD'08).

Cite DOI URL

(2008). Model Checking, Hybrid Automata, and Systems Biology. SAMSI Workshop on Discrete Models in Systems Biology.

PDF Cite

(2008). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers..

Cite

(2008). Implementing Spi Calculus using Nominal techniques. Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008,.

Cite DOI

(2008). Discreteness, hybrid automata, and biology. Proc. of Int. Workshop on Discrete Event Systems (WODES'08).

Cite DOI

(2008). Decidable Compositions of O-Minimal Automata. Proc. of Int. Symposium on Automated Technology for Verification and Analysis (ATVA'08).

Cite

(2008). Controlling resource access in Directed Bigraphs. Graph Transformation and Visual Modeling Techniques 2008.

Cite URL

(2008). Compiling and Executing Declarative Modeling Languages in Gecode. Proc. of 24th International Conference on Logic Programming.

Cite DOI

(2008). An Algebra for Directed Bigraphs. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

Cite DOI

(2008). Action Refinement in Process Algebra and Security Issues. Proc. of the Int. Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR'07).

Cite DOI URL

(2008). A categorical model of the Fusion calculus. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

Cite DOI

(2007). The Density Constraint. Proceedings of WCB'07 Workshop on Constraint Based methods for Bioinformatics.

Cite URL

(2007). Motif discovery fixing mismatch positions. Applied and Indutrial Mathematics in Italy II, Selected Contributions from the 8th SIMAi Conference.

Cite

(2007). Module Identification Using Biological Constraints. Proceedings of WCB'07 Workshop on Constraint Based methods for Bioinformatics.

Cite

(2007). Enhancing the Computation of Approximate Solutions of the Protein Structure Determination. Proceedings of the IEEE international conference on Bioinformatics and biomedicine workshops.

Cite DOI

(2007). Directed Bigraphs. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

Cite DOI

(2007). An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.. Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference.

Cite

(2006). Views on Time in Systems Biology. Proceedings of the 11th IPMU International Conference.

Cite

(2006). Tolque: A Tool for Algorithmic Algebraic Model Checking. Int. Conference on Hybrid Systems: Computation and Control (HSCC'06).

Cite

(2006). Stem-loop structure search for helitron discovery. Proceedings of International Symposium on ComputationalBiology & Bioinformatics (ISBB 06).

Cite

(2006). Set Unification. THEORY AND PRACTICE OF LOGIC PROGRAMMING.

Cite DOI

(2006). Reconstruction with Interval Constraints Propagation. Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition.

Cite DOI

(2006). Modeling Biological Systems in Stochastic Concurrent Constraint Programming. Proceedings of the Workshop on Constraint Based Methods for Bioinformatics.

Cite

(2006). Hybrid Approaches for Rostering: a Case Study in the Integration of Constraint Programming and Local Search. Hybrid Metaheuristics, Third International Workshop, HM 2006, Gran Canaria, Spain, October 13-15, 2006, Proceedings.

Cite DOI

(2006). Global Constraints for Discrete Lattices. Proceedings of WCB06: Workshop on Constraint Based methods for Bioinformatics..

Cite URL

(2006). Finding regulatory elements fixing error layouts. Proceedings of International Symposium on Computational Biology & Bioinformatics (ISBB 06).

Cite

(2006). Extensions of S1S and the composition method. Proceedings of JM 06: 11th Mons Days of Theoretical Computer Science,.

Cite

(2006). Connecting process algebras and differential equations for Systems Biology. Proceedings of Process Algebra and Stochastically Timed Activities 2006.

Cite

(2006). BuST: Bundled Suffix Trees. Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006.

Cite DOI

(2006). A Computerized Referee. Reasoning, Action and Interaction in AI Theories and Systems.

Cite

(2005). Unwinding Conditions for Security in Imperative Languages. Proc. of the Int. Workshop on Logic Based Program Synthsis and Transformation (LOPSTR'04).

Cite DOI URL

(2005). Stability of Hybrid Systems and Related Questions from Systems Biology. Advances in Control, Communication Networks, and Transportation Systems: In Honor of Pravin Varaiya. Series: Systems & Control: Foundations & Applications. Birkhäuser.

Cite DOI URL

(2005). Semi-Algebraic Constant Reset Hybrid Automata - SACoRe. Proc. of Joint IEEE Int. Conference on Decision and Control and European Control Conference (CDC-ECC'05).

Cite DOI URL

(2005). Independent Dynamics Hybrid Automata in System Biology. Algebraic Biology – Computer Algebra in Biology.

Cite

(2005). Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD). Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming.

Cite

(2005). Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆. Proceeding of the International Congress on Computer Aided Verification, 2005. (CAV ‘05).

Cite

(2005). A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS.

Cite

(2004). Unifying Recursive and Co-recursive Definitions in Sheaf Categories. Proceedings of Int. Converence on Foundations of Software Science and Computation Structures (FoSSaCS 04).

Cite DOI URL

(2004). Structured Motifs Search. Proc. of the Eighth Annual International Conference on Research in Computational Molecular Biology (RECOMB 2004).

Cite DOI

(2004). Proceedings of COMETA 2003. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

Cite

(2004). Modelling Downgrading in Information Flow Security. Proc. of Computer Security Foundation Workshop (CSFW04).

Cite DOI URL

(2004). Modeling fresh names in the π-calculus using abstractions. Proceedings of the Workshop on Coalgebraic Methods in Computer Science (CMCS).

Cite DOI

(2004). CoPS - Checker of Persistent Security. Tools and Algorithms for the Construction and Analysis of Systems (TACAS04).

Cite DOI URL

(2003). The Subgraph Bisimulation Problem. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING.

Cite DOI

(2003). Secure Contexts for Confidential Data. Proc. of Computer Security Foundations Workshop (CSFW 2003).

Cite DOI URL

(2003). Refinement Operators and Information Flow Security. Proc. of Software Engineering and Formal Methods (SEFM03).

Cite DOI URL

(2003). Intensional Sets in CLP. 19th International Conference on Logic Programming.

Cite DOI

(2003). Integrating Finite Domain Constraints and CLP with Sets. Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming.

Cite

(2003). Information Flow Security and Recursive Systems. Proc. of Theoretical Computer Science, 8th Italian Conference.

Cite DOI URL

(2003). Imperative Object-based Calculi in (Co)Inductive Type Theories. Proc. International Conference on Logic for Programming, Artificial Intelligence and Reasoning.

Cite DOI URL

(2003). Foundations of a query and simulation system for the modeling of biochemical and biological processes. Proceedings of the Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

Cite

(2003). Complexity of Nesting Analysis in Mobile Ambients. Proc. of Verification, Model Checking, and Abstract Interpretation (VMCAI'03).

Cite DOI URL

(2003). Bisimulation and Unwinding for Verifying Possibilistic Security Properties. Proc. of Verification, Model Checking, and Abstract Interpretation (VMCAI03).

Cite DOI URL

(2003). BANANA - A Tool for Boundary Ambients Nesting ANAlysis. Proc. of Tools and Algorithms for the Construction and Analysis of Systems (TACAS 03).

Cite DOI URL

(2003). A Proof System for Information Flow Security. Post Proc. of Logic Based Program Synthesis and Tranformation (LOPSTR02).

Cite DOI URL

(2003). A Framework for Typed HOAS and Semantics. Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming.

Cite DOI URL

(2002). Using Secondary Structure Information for Protein Folding in CLP(FD). 11th International Workshop on Functional and (constraint) Logic Programming.

Cite

(2002). Transforming Processes to Check and Ensure Information Flow Security. Proc. of Algebraic Methodology and Software Technology (AMAST'02).

Cite DOI URL

(2002). TOSCA 2001. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

Cite

(2002). Simulation Reduction as Constraint. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE.

Cite DOI URL

(2002). Simulation as Coarsest Partition Problem. Proceedings of teh 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems,.

Cite

(2002). Proofs Methods for Bisimulation Based Information Flow Security. Proc. of Verification, Model Checking, and Abstract Interpretation (VMCAI 2002).

Cite DOI URL

(2002). Decidability of interval temporal logics over split-frames via granularity. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

Cite DOI

(2002). Computing in Non Standard Set Theories. Forum Editrice Universitaria Udinese.

Cite

(2001). Proceedings of FOSSACS 2001. LECTURE NOTES IN COMPUTER SCIENCE.

Cite

(2001). Multiset rewriting by multiset constraint solving. ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY.

Cite

(2001). Multiset Constraints and P Systems. Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View.

Cite

(2001). Model Checking Based Data Retrieval. Database Programming Languages, 8th International Workshop, DBPL 2001,.

Cite

(2001). Developing (Meta)Theory of lambda-calculus in the Theory of Contexts. Proceedings of the Workshop on MEchanized Reasoning about Languages with variable bINding.

Cite

(2001). Designing the minimal structure of hidden Markov model by bisimulation. ENERGY MINIMIZATION METHODS IN COMPUTER VISION AND PATTERN RECOGNITION.

Cite

(2001). Ackermann Encoding, Bisimulations, and OBDD's. Proceedings of the The Second International Workshop on Verification and Computational Logic.

Cite

(2001). A Fast Bisimulation Algorithm. COMPUTER AIDED VERIFICATION, PROCEEDINGS.

Cite

(2000). Supporting automated deduction in first-order modal logics. KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference.

Cite

(2000). Sets and Constraint Logic Programming. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS.

Cite DOI URL

(2000). Comparing Expressiveness of Set Constructor Symbols. Proc. of Frontiers of Combining Systems, Third International Workshop (FroCoS 2000).

Cite DOI URL

(1999). From Set to Hyperset Unification. JOURNAL OF FUNCTIONAL AND LOGIC PROGRAMMING.

Cite URL

(1999). Editorial. LOGIC JOURNAL OF THE IGPL.

Cite

(1999). ACI1 Constraints. Proc. of 16th International Conference on Logic Programming (ICLP'99).

Cite

(1998). On the Representation and Management of Finite Sets in CLP-languages. Proceedings of 1998 Joint International Conference and Symposium on Logic Programming.

Cite

(1997). Witnessing differences without redundancies. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY.

Cite

(1997). On T Logic Programming. Proceedings of 1997 International Logic Programming Symposium.

Cite

(1997). Encoding logical theories of programs. Università degli Studi di Pisa.

Cite

(1997). A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. Proceedings of IJCAI'97: 15th International Conference on Artificial Intelligence.

Cite

(1996). A natural deduction approach to dynamic logic. International Workshop on Types for Proofs and Programs (TYPES 95).

Cite DOI URL

(1995). T-theorem proving. I. JOURNAL OF SYMBOLIC COMPUTATION.

Cite DOI

(1995). Modal μ-types for processes. 10th Annual IEEE Symposium on Logic in Computer Science: proceedings.

Cite DOI URL

(1995). Minimal set unification. 7th International Symposium on Programming Languages - Implementations, Logics and Programs.

Cite

(1995). A set-theoretic translation method for (poly)modal logics. 12th Symposium on Theoretical Aspects of Computer Science (STACS).

Cite DOI

(1994). Compiling Intensional Sets in CLP. Logic Programming: Proceedings of the Eleventh International Conference.

Cite

(1993). Embedding extensional finite sets in CLP. Proc. of 1993 International Logic Programming Symposium.

Cite

(1993). A WAM based Implementation of a Logic Language with Sets. Fifth International Symposioum on Programming Language Implementation and Logic Programming.

Cite

(1991). log: A Logic Programming Language with Finite Sets. Logic Programming: Proceedings of the Eighth International Conference.

Cite

(1990). Truth Table for a Combinatorial Kernel of Set Theories. Proceeding of the European Conference on Artificial Intelligence ECAI 90.

Cite

(1990). A contribution to the Automated Treatment of Membership Theories. Atti del V Convegno sulla programmazione Logica- Padova 6-8.6.1990.

Cite