The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for boundedness with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1975-1984 (16) 1985-1988 (18) 1989-1991 (25) 1992-1993 (23) 1994-1995 (17) 1996-1998 (24) 1999 (21) 2000-2001 (34) 2002 (17) 2003 (34) 2004 (37) 2005 (26) 2006 (51) 2007 (61) 2008 (62) 2009 (55) 2010 (32) 2011 (30) 2012 (28) 2013 (42) 2014 (28) 2015 (45) 2016 (33) 2017 (38) 2018 (34) 2019 (50) 2020 (35) 2021 (40) 2022 (36) 2023 (44) 2024 (20)
Publication types (Num. hits)
article(692) incollection(1) inproceedings(360) phdthesis(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 242 occurrences of 180 keywords

Results
Found 1056 publication records. Showing 1056 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
69Mikhail V. Solodov Global convergence of an SQP method without boundedness assumptions on any of the iterative sequences. Search on Bibsonomy Math. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 90C30, 65K05
69Martin Otto 0001 The Boundedness Problem for Monadic Universal First-Order Logic. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
69Guozhu Dong, Jianwen Su Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries. Search on Bibsonomy ICDT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
59Huisheng Zhang, Wei Wu 0010 Boundedness and Convergence of Online Gradient Method with Penalty for Linear Output Feedforward Neural Networks. Search on Bibsonomy Neural Process. Lett. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Linear output, Online gradient method, Convergence, Feedforward neural networks, Boundedness, Penalty
58Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi 0001, Sander Stuijk Liveness and Boundedness of Synchronous Data Flow Graphs. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
58Ke Wang Some Positive Results for Boundedness of Multiple Recursive Rules. Search on Bibsonomy ICDT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
53Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi Treewidth in Verification: Local vs. Global. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
53Peter T. Wood Syntactic Characterizations of 1-Bounded Datalog. Search on Bibsonomy DOOD The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
47Holger Boche, Volker Pohl Boundedness Behavior of the Spectral Factorization for Polynomial Data in the Wiener Algebra. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Stefan Leue, Wei Wei 0015 Counterexample-Based Refinement for a Boundedness Test for CFSM Languages. Search on Bibsonomy SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43John Lygeros, Xuerong Mao, Chenggui Yuan Stochastic Hybrid Delay Population Dynamics. Search on Bibsonomy HSCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Itô’s formula, ultimate boundedness, extinction, Brownian motion
43Lihua Fu, Huacan He Research on Information Requirement of First-Order Universal Implication Operators in Fuzzy Reasoning. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF First-order universal implication, General correlation, General self-correlation, Measure of specificity, Information boundedness principle, Universal logic
43Shinji Umeyama Parameterized Point Pattern Matching and Its Application to Recognition of Object Families. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF object families, parameterized point pattern, tree search procedure, delta -boundedness, pruning methods, shape matching problem, pattern recognition, pattern matching, trees (mathematics), search problems
43Giorgio Delzanno, Laurent Van Begin On the Dynamics of PB Systems with Volatile Membranes. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Guang-Bin Huang, Haroon A. Babri Comments on "Approximation capability in C(Rn) by multilayer feedforward networks and related problems". Search on Bibsonomy IEEE Trans. Neural Networks The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
37Tong Zhou Boundedness of Multidimensional Filters Over a Prescribed Frequency Domain. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Gösta Grahne, Alex Thomo Boundedness of Regular Path Queries in Data Integration Systems. Search on Bibsonomy IDEAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Stephan Kreutzer, Martin Otto 0001, Nicole Schweikardt Boundedness of Monadic FO over Acyclic Structures. Search on Bibsonomy ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Liguo Zhang, Yangzhou Chen, Pingyuan Cui An Iterative Uniformly Ultimate Boundedness Control Method for Uncertain Switched Linear Systems. Search on Bibsonomy ICCSA (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Vanio M. Savi, Xiaolan Xie Liveness and Boundedness Analysis for Petri Nets with Event Graph Modules. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
37Irène Guessarian Deciding Boundedness for Uniformly Connected Datalog Programs. Search on Bibsonomy ICDT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
37Annegret Habel, Hans-Jörg Kreowski, Walter Vogler Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammar. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
33Zuohua Ding Static Analysis of Concurrent Programs Using Ordinary Differential Equations. Search on Bibsonomy ICTAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Boundedness checking, Concurrent program, Ordinary differential equation, Deadlock detection, State explosion
33Xuehui Mei, Haijun Jiang Dynamic of Cohen-Grossberg Neural Networks with Variable Coefficients and Time-Varying Delays. Search on Bibsonomy ISNN (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Variable coefficients, Dealys, Neural networks, Exponential stability, Boundedness
33Rui-Sheng Wang, Ming-Hu Ha 0001 Sequences of Fuzzy-Valued Choquet Integrable Functions. Search on Bibsonomy ICFIE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF uniform (C)-integrability, uniform absolute continuity, uniform boundedness, convergence theorem
33Chuanliang Xia Analysis of Properties of Petri Synthesis Net. Search on Bibsonomy TAMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF liveness and boundedness, Petri nets, synthesis, analysis
33Foto N. Afrati, Stavros S. Cosmadakis, Eugénie Foustoucos Datalog programs and their persistency numbers. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bounded-tree width hypergraphs, persistency numbers, persistent variables, program transformations, Datalog, finite automata, Boundedness
33Garyfalos Papaschinopoulos, Basil K. Papadopoulos On the fuzzy difference equation xn+1 = A+B/xn. Search on Bibsonomy Soft Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Fuzzy difference equations, Oscillatory behavior, a -cuts, Persistence, Fuzzy number, Boundedness, Asymptotic behavior
33Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF deadlock states, reachable markings, Petri nets, reachability analysis, compositional verification, boundedness, reachability graphs
33Hajime Machida Finitary Approximations and Metric Structure of the Space of Clones. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF finitary approximations, metric structure, space of clones, multivariable functions, finitary approximation, clone space, metric function, totally boundedness, isolated point, completeness, set theory, compactness, formal logic
33Yigang Chen, Wei-Tek Tsai, Daniel Y. Chao Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF computational complexity, computational complexity, parallel processing, Petri nets, liveness, concurrent systems, reachability, boundedness, dependency relations, Petrinets
33Javier Esparza, Manuel Silva Suárez Compositional Synthesis of Live and Bounded Free Choice Petri Nets. Search on Bibsonomy CONCUR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Free Choice nets, compositional synthesis, Petri nets, liveness, boundedness
32Vadim V. Lozin, Martin Milanic Tree-Width and Optimization in Bounded Degree Graphs. Search on Bibsonomy WG The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Hereditary class of graphs, Induced Matching, Dominating set, Tree-width
32Alfons Geser, Dieter Hofbauer, Johannes Waldmann Match-Bounded String Rewriting Systems. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Match-bounded, Termination, Semi-Thue System, String Rewriting System
32Catherine Dufourd, Alain Finkel, Philippe Schnoebelen Reset Nets Between Decidability and Undecidability. Search on Bibsonomy ICALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Catherine Dufourd, Alain Finkel Polynomial-Time Manz-One Reductions for Petri Nets. Search on Bibsonomy FSTTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
32Ajoy Kumar Datta, Sukumar Ghosh Modular Synthesis of Deadlock-Free Control Structures. Search on Bibsonomy FSTTCS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF regular nets, Petri nets, synthesis, deadlock
32Joseph Sifakis Structural Properties of Petri Nets. Search on Bibsonomy MFCS The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
31Marcin Brianski, James Davies, Bartosz Walczak Separating Polynomial χ-Boundedness from χ-Boundedness. Search on Bibsonomy Comb. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
31Maria Chudnovsky, Linda Cook, James Davies, Sang-il Oum Reuniting χ-boundedness with polynomial χ-boundedness. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Dinh Cong Huong Finite-time boundedness and finite-time stabilization boundedness for nonlinear interconnected systems with Atangana-Baleanu-Caputo fractional derivative. Search on Bibsonomy Trans. Inst. Meas. Control The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Marcin Brianski, James Davies, Bartosz Walczak Separating polynomial χ-boundedness from χ-boundedness. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
31Hajime Ishihara The uniform boundedness theorem and a boundedness principle. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Vineet Kahlon Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Achim Blumensath, Martin Otto 0001, Mark Weyer Boundedness of Monadic Second-Order Formulae over Finite Words. Search on Bibsonomy ICALP (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Jianfeng Wang, Jigui Jian, Peng Yan Finite-Time Boundedness Analysis of a Class of Neutral Type Neural Networks with Time Delays. Search on Bibsonomy ISNN (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Finite time boundness, Neutral type, Neural network, Linear matrix inequality, Time-delay
26Roland Meyer 0001 On Boundedness in Depth in the pi-Calculus. Search on Bibsonomy IFIP TCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Yanjun Shen, Lin Zhu 0007, Qi Guo Finite-Time Boundedness Analysis of Uncertain Neural Networks with Time Delay: An LMI Approach. Search on Bibsonomy ISNN (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Chenggui Yuan, John Lygeros Asymptotic Stability and Boundedness of Delay Switching Diffusions. Search on Bibsonomy HSCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Itô formula, Switching diffusions, Stochastic asymptotic stability, Lyapunov function
26Chung-Hsing Hsu, Wu-chun Feng Effective Dynamic Voltage Scaling Through CPU-Boundedness Detection. Search on Bibsonomy PACS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Stefan Leue, Richard Mayr, Wei Wei 0015 A Scalable Incomplete Test for the Boundedness of UML RT Models. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Supratik Mukhopadhyay, Andreas Podelski Accurate Widenings and Boundedness Properties of Timed Systems. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Jerzy Marcinkowski The 3 Frenchmen Method Proves Undecidability of the Uniform Boundedness for Single Recursive Rule Ternary DATALOG Programs. Search on Bibsonomy STACS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
26Abderrahim Benslimane Deciding Boundedness for Systems of two Linear Communicating Fine State Machines. Search on Bibsonomy CAST The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
26Moshe Y. Vardi Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. Search on Bibsonomy PODS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
26Louis E. Rosier, Hsu-Chun Yen Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines. Search on Bibsonomy STACS The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
22Anna Avallone, Paolo Vitolo Effect algebras with the subsequential interpolation property. Search on Bibsonomy Soft Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Subsequential interpolation, Vitali-Hahn-Saks theorem, Brooks-Jewett theorem, Nikodym boundedness theorem, property, Effect algebras
22Charalampos Rizopoulos, Katerina Diamantaki, Dimitris Charitos The ludic aspect of interaction during a pervasive game activity. Search on Bibsonomy DIMEA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF context, hybridity, location-based games, boundedness
22Daniel Y. Chao, David T. Wang A synthesis technique of general petri nets. Search on Bibsonomy J. Syst. Integr. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF ordinary Petri nets, general Petri nets, liveness boundedness, structural relationship, synthesis, rule, deadlock, Concurrent system, reversible, flexible manufacturing system
22Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi Undecidable Optimization Problems for Database Logic Programs. Search on Bibsonomy J. ACM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF query language, Datalog, recursion, boundedness
22Héctor J. Hernández, Edward P. F. Chan Constant-Time-Maintainable BCNF Database Schemes. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF query processing, data dependencies, boundedness, constraint enforcement
22Younes Souissi Deterministic Systems of Sequential Processes: a class of structured Petri nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Deterministic system of sequential processes, composition, modularity, liveness, monotonicity, boundedness, properties preservation
22Younes Souissi, Gérard Memmi Composition of nets via a communication medium. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Composition via shared places, separation line, composition via a sequential process, composition by rendez-vous, composition via a well-formed block, liveness, boundedness
21Yurii E. Nesterov Primal-dual subgradient methods for convex problems. Search on Bibsonomy Math. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 90C25, 68Q25, 90C47
21Haris E. Psillakis Sampled-Data Adaptive NN Tracking Control ofUncertainNonlinear Systems. Search on Bibsonomy IEEE Trans. Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Artemis K. Kostarigka, George A. Rovithakis Adaptive Neural Network Tracking Control With Disturbance Attenuation for Multiple-Input Nonlinear Systems. Search on Bibsonomy IEEE Trans. Neural Networks The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Monika Heiner, Martin Schwarick, Alexej Tovchigrechko DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Christel Baier, Nathalie Bertrand 0001, Patricia Bouyer, Thomas Brihaye When Are Timed Automata Determinizable? Search on Bibsonomy ICALP (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Haris E. Psillakis High-Order Fuzzy Switching Neural Networks: Application to the Tracking Control of a Class of Uncertain SISO Nonlinear Systems. Search on Bibsonomy ICANN (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Giorgio Delzanno, Laurent Van Begin A Biologically Inspired Model with Fusion and Clonation of Membranes. Search on Bibsonomy UC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Ranko Lazic 0001, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe 0001, James Worrell 0001 Nets with Tokens Which Carry Data. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21King Sing Cheung, K. O. Chow Property-Preserving Composition of Distributed System Components. Search on Bibsonomy APPT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Huajin Tang, Kay Chen Tan, Eu Jin Teoh Dynamics analysis and analog associative memory of networks with LT neurons. Search on Bibsonomy IEEE Trans. Neural Networks The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Sergiu Rudeanu, Dan A. Simovici On the Ranges of Algebraic Functions in Lattices - A Preliminary Report. Search on Bibsonomy ISMVL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Ferucio Laurentiu Tiplea, Geanina Ionela Macovei E-timed Workflow Nets. Search on Bibsonomy SYNASC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Chih-Lyang Hwang Multivariable Adaptive Control of Nonlinear Unknown Dynamic Systems Using Recurrent Neural-Network. Search on Bibsonomy IJCNN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Jonathan A. Kelner, Daniel A. Spielman A randomized polynomial-time simplex algorithm for linear programming. Search on Bibsonomy STOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Ferucio Laurentiu Tiplea, Geanina Ionela Macovei Timed Workflow Nets. Search on Bibsonomy SYNASC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Dino Pedreschi, Salvatore Ruggieri Bounded Nondeterminism of Logic Programs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF universal termination, bounded nondeterminism, strong termination, logic programming
21Yonggon Lee, Stanislaw H. Zak Uniformly ultimately bounded fuzzy adaptive tracking controllers for uncertain systems. Search on Bibsonomy IEEE Trans. Fuzzy Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Michael Köhler 0001, Heiko Rölke Properties of Object Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Qi Cheng 0001 Straight-line programs and torsion points on elliptic curves. Search on Bibsonomy Comput. Complex. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000). 14H52, 68Q17
21Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao 0002, Thomas A. Henzinger, Jens Palsberg Stack Size Analysis for Interrupt-Driven Programs. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya Decidability of Safety Properties of Timed Multiset Rewriting. Search on Bibsonomy FTRTFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF real-time systems, timed automata, decidability, timed Petri nets
21Qi Cheng 0001, Shigenori Uchiyama Nonuniform Polynomial Time Algorithm to Solve Decisional Diffie-Hellman Problem in Finite Fields under Conjecture. Search on Bibsonomy CT-RSA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Jean Fanchon Trace Channel Nets. Search on Bibsonomy ICATPN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Fifo Nets, Coloured Nets, concurrent automata, recognisability, concurrency, asynchronous communication, Mazurkiewicz traces
21William Aiello, Costas Busch, Maurice Herlihy, Marios Mavronicolas, Nir Shavit, Dan Touitou Supporting Increment and Decrement Operations in Balancing Networks. Search on Bibsonomy STACS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Rajeev Alur, Mihalis Yannakakis Model Checking of Message Sequence Charts. Search on Bibsonomy CONCUR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Ketil Stølen, Max Fuchs An Exercise in Conditional Refinement. Search on Bibsonomy Prospects for Hardware Foundations The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Richard Colbaugh, Kristin Glass Adaptive Task-Space Control of Flexible-Joint Manipulators. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF flexible-joint manipulators, adaptive control, robot control, Lyapunov methods
21June-Kyung Rho, Fabio Somenzi Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
21Surajit Chaudhuri Finding Nonrecursive Envelopes for Datalog Predicates. Search on Bibsonomy PODS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Datalog
21Kamel Barkaoui, Michel Minoux A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
21Peter T. Wood, Alberto O. Mendelzon, Paolo Atzeni Idempotent Single-Predicate Horn Clauses. Search on Bibsonomy ICDT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
21Jeffrey F. Naughton, Yehoshua Sagiv A Decidable Class of Bounded Recursions. Search on Bibsonomy PODS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
21Rodney R. Howell, Louis E. Rosier Recent results on the complexity of problems related to Petri nets. Search on Bibsonomy European Workshop on Applications and Theory of Petri Nets The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
15Guodong Liu, Hao Wang, Xiaoyan Zhang On a Chemotactic Host-Pathogen Model: Boundedness, Aggregation, and Segregation. Search on Bibsonomy J. Nonlinear Sci. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
15Saravanan Shanmugam, M. Syed Ali 0001, Govindasamy Narayanan, Mohamed Rhaima Finite-Time Boundedness of Switched Time-Varying Delay Systems With Actuator Saturation: Applications in Water Pollution Control. Search on Bibsonomy IEEE Access The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
15Junling Jing, Cai Jinhang, Huisheng Zhang, Wenxia Zhang Boundedness and Convergence of Mini-batch Gradient Method with Cyclic Dropconnect and Penalty. Search on Bibsonomy Neural Process. Lett. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
15Le A. Tuan On H∞ Finite-Time Boundedness and Finite-Time Stability for Discrete-Time Neural Networks with Leakage Time-Varying Delay. Search on Bibsonomy Neural Process. Lett. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1056 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license