Citation Impact
Citing Papers
Finite-state transducers in language and speech processing
1997
MulVAL: a logic-based network security analyzer
2005 Standout
Approximation of anticipatory systems
1998
Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data
2001 Standout
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review
2002 Standout
Performance benefits of hybrid control design for linear and nonlinear systems
2000
Coverage Control for Mobile Sensing Networks
2004 Standout
Networked control systems: a survey of trends and techniques
2019 Standout
Some aspects of effectively constructive mathematics that are relevant to the foundations of neoclassical mathematical economics and theory of games
1992
A new standardized method for objectively measuring video quality
2004 Standout
A unified framework for hybrid control: model and optimal control theory
1998
Sustainable Smart Cities: Convergence of Artificial Intelligence and Blockchain
2021 Standout
Discontinuous dynamical systems
2008 Standout
Three Partition Refinement Algorithms
1987 Standout
A dialectical model of assessing conflicting arguments in legal reasoning
1996 Standout
Control and Communication Challenges in Networked Real-Time Systems
2007
The Carneades model of argument and burden of proof
2007 Standout
Finite Automata and Their Decision Problems
1959 Standout
Hierarchical control of discrete-event systems
1996
Conflict resolution for air traffic management: a study in multiagent hybrid systems
1998 Standout
Flying Ad-Hoc Networks (FANETs): A survey
2013 Standout
The smallest automation recognizing the subwords of a text
1985
Fast and accurate long-read alignment with Burrows–Wheeler transform
2010 Standout
A guided tour to approximate string matching
2001 Standout
The Logic of Conventional Implicatures
2004 Standout
Matrix Generalizations of Some Theorems on Trees, Cycles and Cocycles in Graphs
1976
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
2007 Standout
Modeling, simulation, sensitivity analysis, and optimization of hybrid systems
2002
Recursively enumerable sets and degrees
1978 Standout
A review of conflict detection and resolution modeling methods
2000 Standout
Survey on Recent Advances in Networked Control Systems
2015 Standout
Analytic methods in the theory of systems of diophantine equations and inequalities with a large number of unknowns
1976
Data Types as Lattices
1976
Laplacian matrices of graphs: a survey
1994 Standout
Lambda Calculus with Types
2013
On solution concepts and well-posedness of linear relay systems
2003
Formation Flying Control of Multiple Spacecraft via Graphs, Matrix Inequalities, and Switching
2001
Efficient string matching
1975 Standout
Complexity and expressive power of logic programming
2001
Networked Control System: Overview and Research Trends
2009 Standout
A Survey on Metaverse: Fundamentals, Security, and Privacy
2022 Standout
Fast and accurate short read alignment with Burrows–Wheeler transform
2009 Standout
In time with the music: the concept of entrainment and its significance for ethnomusicology
2005 Standout
The control of discrete event systems
1989 Standout
Blockchain mechanisms for IoT security
2018
A Basic Multimedia Quality Model
2004
Principles and methods of testing finite state machines-a survey
1996 Standout
Survey on IoT security: Challenges and solution using machine learning, artificial intelligence and blockchain technology
2020 Standout
Transition management for reconfigurable hybrid control systems
2003
Effective synthesis of switching controllers for linear systems
2000
Perspectives and results on the stability and stabilizability of hybrid systems
2000 Standout
Control of systems integrating logic, dynamics, and constraints
1999 Standout
Information Flow and Cooperative Control of Vehicle Formations
2004 Standout
A linear time solution to the single function coarsest partition problem
1985
Improving the Safety and Security of Wide-Area Cyber–Physical Systems Through a Resource-Aware, Service-Oriented Development Methodology
2017
Bibliographical review on reconfigurable fault-tolerant control systems
2008 Standout
A theory of type polymorphism in programming
1978 Standout
Geometry of Numbers
1979 Standout
Robust control for uncertain switched non-linear systems with time delay under asynchronous switching
2009 Standout
Complexity of automaton identification from given data
1978
An abstract, argumentation-theoretic approach to default reasoning
1997
Optimal control of hybrid systems
2003
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
1995 Standout
On effectively computable realizations of choice functions
1985
Consensus of Multiagent Systems and Synchronization of Complex Networks: A Unified Viewpoint
2009 Standout
Modeling and optimization with Optimica and JModelica.org—Languages and tools for solving large-scale dynamic optimization problems
2009 Standout
Consensus Problems in Networks of Agents With Switching Topology and Time-Delays
2004 Standout
On the evaluation of argumentation formalisms
2007 Standout
Some perspectives on the analysis and control of complementarity systems
2003
Discrete abstractions of hybrid systems
2000
Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
2009 Standout
Gradient-based learning applied to document recognition
1998 Standout
Rationality and Bounded Rationality
1997 StandoutNobel
Workflow mining: discovering process models from event logs
2004 Standout
On-line construction of suffix trees
1995 Standout
Works of Anil Nerode being referenced
Viability in hybrid systems
1995
A decision method for $p$-adic integral zeros of diophantine equations
1963
How complicated is the set of stable models of a recursive logic program?
1992
A theory of nonmonotonic rule systems II
1992
A theory of nonmonotonic rule systems I
1990
Hybrid Systems IV
1997
Some Stone spaces and recursion theory
1959
A non-ground realization of the stable and well-founded semantics
1996
Recursively enumerable vector spaces
1977
Hybrid Control Systems: An Introductory Discussion to the Special Issue
1998
Experimental evaluation of loss perception in continuous media
1999
Linear automaton transformations
1958
Logical Foundations of Computer Science
2019
An Algebraic Proof of Kirchhoff's Network Theorem
1961
Logics for hybrid systems
2000
Logic and Computer Science
1990
Logical Foundations of Computer Science
2009