Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
86 | Wolfgang Dvorák, Georg Gottlob, Reinhard Pichler, Stefan Woltran |
Alternation as a programming paradigm. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
integration of paradigms, language extension, alternation |
79 | Orna Kupferman, Moshe Y. Vardi |
From linear time to branching time. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
alternation-free ?-calculus, Linear temporal logic |
79 | Sergey Kitaev, Steve Seif |
Word Problem of the Perkins Semigroup via Directed Acyclic Graphs. |
Order |
2008 |
DBLP DOI BibTeX RDF |
Perkins semigroup, Free semigroup, Computational complexity -, Directed acyclic graph, Poset, Partially order set, Word problem |
67 | Orna Kupferman, Moshe Y. Vardi |
Π2 ∩ Σ2 ≡ AFMC. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
63 | Jérémy Barbay, Claire Kenyon |
Alternation and redundancy analysis of the intersection problem. |
ACM Trans. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
Adaptive analysis, alternation analysis, intersection of sorted arrays, randomized algorithm, intersection, redundancy analysis |
52 | Vincent A. Nguyen, Peng-Jun Wan, Ophir Frieder |
Channel Alternation and Rotation for Trisectorized Cellular Systems. |
Telecommun. Syst. |
2003 |
DBLP DOI BibTeX RDF |
channel alternation and rotation, channel assignment, channel allocation, frequency planning, frequency reuse |
52 | Julian C. Bradfield |
The Modal mu-calculus Alternation Hierarchy is Strict. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
mu-calculi, temporal logic, hierarchies, alternation |
52 | Manfred Kufleitner, Pascal Weil |
On FO2 Quantifier Alternation over Words. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Yasuo Itoh, Mayumi Oyama |
Does the transition of the interval in perceptional alternation have a chaotic rhythm? |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
52 | Moshe Y. Vardi |
Alternation. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
52 | Julian C. Bradfield |
Simplifying the Modal Mu-Calculus Alternation Hierarchy. |
STACS |
1998 |
DBLP DOI BibTeX RDF |
|
52 | Juraj Hromkovic |
On the Power of Alternation in Finite Automata. |
MFCS |
1984 |
DBLP DOI BibTeX RDF |
|
45 | Shinichi Shirakawa, Tomoharu Nagao |
Evolutionary algorithm considering program size: efficient program evolution using grape. |
GECCO (Companion) |
2008 |
DBLP DOI BibTeX RDF |
generation alternation model, graph-based genetic programming, genetic algorithm, evolutionary algorithm, genetic programming, automatic programming |
45 | Carme Julià, Angel Domingo Sappa, Felipe Lumbreras, Joan Serrat 0002, Antonio M. López 0001 |
Recovery of Surface Normals and Reflectance from Different Lighting Conditions. |
ICIAR |
2008 |
DBLP DOI BibTeX RDF |
Alternation technique, missing data, Photometric stereo |
45 | Tapio Elomaa, Juho Rousu |
Necessary and Sufficient Pre-processing in Numerical Range Discretization. |
Knowl. Inf. Syst. |
2003 |
DBLP DOI BibTeX RDF |
Discretization, Optimal partitioning, Numerical attributes |
45 | Klaus Reinhardt |
Hierarchies over the Context-Free Languages. |
IMYCS |
1990 |
DBLP DOI BibTeX RDF |
|
41 | Daiki Shitara, Toshiaki Miyazaki, Hidenori Igari |
A Function Alternation Algorithm for Wireless Sensor Networks. |
AINA Workshops |
2010 |
DBLP DOI BibTeX RDF |
Function Alternation, Wireless Sensor Network, Distributed Algorithm |
41 | Abdelaziz Fellah |
Time and alternation: an automata based framework to software model checking. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
software verification and testing, timed alternating and buchi automata, timed temporal propositional logic, software model checking |
41 | Carme Julià, Angel Domingo Sappa, Felipe Lumbreras, Joan Serrat 0002, Antonio M. López 0001 |
Photometric stereo through an adapted alternation approach. |
ICIP |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Christian Dax, Felix Klaedtke |
Alternation Elimination by Complementation (Extended Abstract). |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Flavio Antonio Ferrarotti, Jose Maria Turull Torres |
Arity and alternation: a proper hierarchy in higher order logics. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03C13, 68Q19, 03C85 |
41 | Radu Mateescu 0001 |
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Boolean equation system, Verification, Temporal logic, Bisimulation, Partial-order reduction |
41 | Venkatesan T. Chakaravarthy, Sambuddha Roy |
Oblivious Symmetric Alternation. |
STACS |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Flavio Antonio Ferrarotti, Jose Maria Turull Torres |
Arity and Alternation: A Proper Hierarchy in Higher Order Logics. |
FoIKS |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Doron Bustan, Orna Kupferman, Moshe Y. Vardi |
A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy. |
STACS |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Radu Mateescu 0001 |
A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Jean-Marc Talbot |
On the Alternation-Free Horn Mu-calculus. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
41 | Martin Leucker |
Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
41 | Oliver Matz, Wolfgang Thomas |
The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
41 | Klaus-Jörn Lange, Klaus Reinhardt |
Empty Alternation. |
MFCS |
1994 |
DBLP DOI BibTeX RDF |
|
41 | Burchard von Braunmühl, Romain Gengler, Robert Rettinger |
The Alternation Hierarchy for Machines with Sublogarithmic Space is Infinite. |
STACS |
1994 |
DBLP DOI BibTeX RDF |
|
34 | Pansy D. Patel, Artëm E. Masunov |
Time-Dependent Density Functional Theory Study of Structure-Property Relationships in Diarylethene Photochromic Compounds. |
ICCS (2) |
2009 |
DBLP DOI BibTeX RDF |
photochromism, electronic spectra, bond length alternation, molecular structure, density functional theory |
34 | Debasri Chakrabarti, Pushpak Bhattacharyya |
Syntactic Alternations of Hindi Verbs with Reference to the Morphological Paradigm. |
Language Engineering Conference |
2002 |
DBLP DOI BibTeX RDF |
Syntactic Alternation, Morphological Paradigm, Semantic Category |
34 | Doron Drusinsky, David Harel |
On the Power of Bounded Concurrency I: Finite Automata. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
bounded cooperative concurrency, statecharts, finite automata, nondeterminism, alternation, succinctness, omega-automata |
34 | Attila Kiss 0001, Vu Le Anh |
Efficient Processing SAPE Queries Using the Dynamic Labelling Structural Indexes. |
ADBIS |
2006 |
DBLP DOI BibTeX RDF |
|
34 | André Arnold, Luigi Santocanale |
Ambiguous Classes in the Games µ-Calculus Hierarchy. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Radu Mateescu 0001 |
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
34 | K. Narayan Kumar, C. R. Ramakrishnan 0001, Scott A. Smolka |
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Moshe Y. Vardi |
Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Henrik Reif Andersen |
Model Checking and Boolean Graphs. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
29 | Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali |
Compositional may-must program analysis: unleashing the power of alternation. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
software model checking, abstraction refinement, directed testing |
29 | Anfeng Liu, Xian-You Wu, Wei-Hua Gui 0001 |
Research on Energy Hole Problem for Wireless Sensor Networks Based on Alternation between Dormancy and Work. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Jacques Duparc, Alessandro Facchini |
Describing the Wadge Hierarchy for the Alternation Free Fragment of µ-Calculus (I). |
CiE |
2008 |
DBLP DOI BibTeX RDF |
Wadge games, topological complexity, parity games, weakly alternating automata, ?-calculus |
29 | Marcin Jurdzinski, Ranko Lazic 0001 |
Alternation-free modal mu-calculus for data trees. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Yangli Wang, Chengke Wu 0001 |
An improved multiple description video coding method using GOB alternation and low quality macroblock update. |
AINA (1) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya |
A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Ting Zhang 0001, Henny B. Sipma, Zohar Manna |
Term Algebras with Length Function and Bounded Quantifier Alternation. |
TPHOLs |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Kumar Neeraj Verma |
Alternation in Equational Tree Automata Modulo XOR. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Yijia Chen, Jörg Flum, Martin Grohe |
Bounded Nondeterminism and Alternation in Parameterized Complexity Theory. |
CCC |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Benedikt Bollig, Martin Leucker, Michael Weber 0002 |
Local Parallel Model Checking for the Alternation-Free µ-Calculus. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Ralf Küsters, Thomas Wilke |
Deciding the First Level of the µ-Calculus Alternation Hierarchy. |
FSTTCS |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Daisuke Ikeda, Yasuhiro Yamada, Sachio Hirokawa |
Eliminating Useless Parts in Semi-structured Documents Using Alternation Counts. |
Discovery Science |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Benedikt Bollig, Martin Leucker, Michael Weber 0002 |
Parallel Model Checking for the Alternation Free µ-Calculus. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Olivier Ly |
The Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational Graphs Is Infinite. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Thomas Buchholz, Andreas Klein 0001, Martin Kutrib |
Iterative Arrays with a Wee Bit Alternation. |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Jirí Wiedermann |
Speeding-Up Nondeterministic Single-Tape Off-Line Computations by One Alternation. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Nicole Schweikardt |
The Monadic Quantifier Alternation Hierarchy over Grids and Pictures. |
CSL |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Jirí Wiedermann |
Speeding-up Single-Tape Nondeterministic Computations by Single Alternation, with Separation Results. |
ICALP |
1996 |
DBLP DOI BibTeX RDF |
|
29 | Burchard von Braunmühl |
Alternation for Two-way Machines with Sublogarithmic Space. |
STACS |
1993 |
DBLP DOI BibTeX RDF |
|
29 | Rance Cleaveland, Bernhard Steffen |
A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
29 | Gerhard Buntrock, Albrecht Hoene |
Reversals and Alternation. |
STACS |
1989 |
DBLP DOI BibTeX RDF |
|
29 | Klaus-Jörn Lange |
Two Characterizations of the Logarithmic Alternation Hierarchy. |
MFCS |
1986 |
DBLP DOI BibTeX RDF |
|
23 | Mark Jenkins, Joël Ouaknine, Alexander Rabinovich, James Worrell 0001 |
Alternating Timed Automata over Bounded Time. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Church's Problem, Timed Automata, Alternation |
23 | Slawomir Lasota 0001, Igor Walukiewicz |
Alternating timed automata. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
emptyness problem, timed automata, Alternation |
23 | Eunryoung Lee, Ae-sun Yoon, Hyuk-Chul Kwon |
Exploiting Morpho-syntactic Features for Verb Sense Distinction in KorLex. |
International Conference on Computational Science (2) |
2007 |
DBLP DOI BibTeX RDF |
KorLex, Korean wordnet, verb sense distinction, transitivity alternation, Korean middle verbs, WordNet |
23 | Ryan Williams 0001 |
Parallelizing time with polynomial circuits. |
SPAA |
2005 |
DBLP DOI BibTeX RDF |
parallel speedup, circuit complexity, alternation |
23 | Rajeev Alur, Thomas A. Henzinger, Orna Kupferman |
Alternating-time temporal logic. |
J. ACM |
2002 |
DBLP DOI BibTeX RDF |
temporaxl logic, model checking, games, Alternation |
23 | Marcio T. Oliveira, Alan J. Hu |
High-Level specification and automatic generation of IP interface monitors. |
DAC |
2002 |
DBLP DOI BibTeX RDF |
formal verification, pipelining, regular expressions, alternation |
23 | Charles B. Dunham |
The one-sided Remez algorithm. |
Computing |
1983 |
DBLP DOI BibTeX RDF |
One-sided, Remez algorithm, alternation, minimax |
22 | Myongkeun Oh, Victor Matveev |
Loss of phase-locking in non-weakly coupled inhibitory networks of type-I model neurons. |
J. Comput. Neurosci. |
2009 |
DBLP DOI BibTeX RDF |
Non-weak coupling, Non-synchronous dynamics, Inhibitory network, Type-I excitability, Synaptic inhibition, Leader switching, Spike-time response, Phase resetting, Synchronization |
22 | Naoki Hamada, Jun Sakuma, Shigenobu Kobayashi, Isao Ono |
Functional-Specialization Multi-Objective Real-Coded Genetic Algorithm: FS-MOGA. |
PPSN |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Tao Yang, Xi Chen |
A Visual Mining on RVA Results of Hydrologic Alternations along the East River, South China (1952-2002). |
FSKD (4) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Kandasamy Selvaradjou, Marudachalam Dhanaraj, Buchi Goutham, C. Siva Ram Murthy |
A new battery and redundancy aware node scheduling protocol for Wireless Sensor Networks. |
COMSWARE |
2008 |
DBLP DOI BibTeX RDF |
|
22 | François Bry, Tim Furche, Clemens Ley, Benedikt Linse, Bruno Marnette |
Taming Existence in RDF Querying. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Levente Hajder, Ákos Pernek, Csaba Kazó |
Fast and Precise Weak-Perspective Factorization. |
CAIP |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Teijiro Isokawa, Haruhiko Nishimura, Naotake Kamiura, Nobuyuki Matsui |
A Multilayered Scheme of Bidirectional Associative Memory for Multistable Perception. |
ICONIP (2) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Christophe Joubert, Radu Mateescu 0001 |
Distributed On-the-Fly Model Checking and Test Case Generation. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Yongsu Park, Younho Lee, Heeyoul Kim, Gil-Joo Lee, Il-Hee Kim |
Hardware Stack Design: Towards an Effective Defence Against Frame Pointer Overwrite Attacks. |
IWSEC |
2006 |
DBLP DOI BibTeX RDF |
computer architecture, computer security, buffer overflow attack |
22 | Yongsu Park, Yong Ho Song, Eul-Gyu Im |
Design of a Reliable Hardware Stack to Defend Against Frame Pointer Overwrite Attacks. |
ISI |
2006 |
DBLP DOI BibTeX RDF |
computer architecture, computer security, buffer overflow attack |
22 | Yasutake Takahashi, Kazuhiro Edazawa, Kentarou Noma, Minoru Asada |
Simultaneous Learning to Acquire Competitive Behaviors in Multi-agent System Based on Modular Learning System. |
RoboCup |
2005 |
DBLP DOI BibTeX RDF |
|
22 | A. M. Buchanan, Andrew W. Fitzgibbon |
Damped Newton Algorithms for Matrix Factorization with Missing Data. |
CVPR (2) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Martin Lange |
Weak Automata for the Linear Time µ-Calculus. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Jan Friso Groote, Misa Keinänen |
Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Dietmar Berwanger |
Game Logic is Strong Enough for Parity Games. |
Stud Logica |
2003 |
DBLP DOI BibTeX RDF |
game logic, modal mu-calculus, model checking, expressive power |
22 | Jérémy Barbay |
Optimality of Randomized Algorithms for the Intersection Problem. |
SAGA |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Georg Gottlob, Erich Grädel, Helmut Veith |
Datalog LITE: a deductive query language with linear time model checking. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
guarded logics, verification, Complexity, databases, temporal logics |
22 | Haruo Hosoya, Benjamin C. Pierce |
Regular expression pattern matching for XML. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
XML |
22 | Eldar Fischer, Ilan Newman |
Testing of matrix properties. |
STOC |
2001 |
DBLP DOI BibTeX RDF |
matrix properties, property testing |
22 | Noga Alon, Eldar Fischer, Michael Krivelevich, Mario Szegedy |
Efficient Testing of Large Graphs. |
Comb. |
2000 |
DBLP DOI BibTeX RDF |
AMS Subject Classification (1991) Classes: 68R10, 05C35, 05C85 |
22 | Orna Kupferman, Moshe Y. Vardi |
The Weakness of Self-Complementation. |
STACS |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Narayan C. Debnath |
A Study of Control Flow and Data Dependency Interface (Abstract). |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Dainis Geidmanis |
On Possibilities of One-Way Synchronized and Alternating Automata. |
MFCS |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Birgit Jenner, Bernd Kirsig |
Characterizing the Polynomial Hierarchy by Alternating Auxiliary Pushdown Automata. |
STACS |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Richard B. Kieburtz |
Precise Typing of Abstract Data Type Specifications. |
POPL |
1983 |
DBLP DOI BibTeX RDF |
|
18 | Athina Georgara, Raman Kazhamiakin, Ornella Mich, Alessio Palmero Aprosio, Jean-Christophe R. Pazzaglia, Juan Antonio Rodríguez-Aguilar, Carles Sierra |
Correction to: The AI4Citizen pilot: Pipelining AI-based technologies to support school-work alternation programmes. |
Appl. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
18 | Minzheng Li, Xiangzhong Fang, Haixin Yang |
Probabilistic Results on the Architecture of Mathematical Reasoning Aligned by Cognitive Alternation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Tinghui Chen, Shuai Li |
Using Alternation Direction Method of Multipliers to Enhance robots Calibration Accuracy based on Multi-Planal Constraints. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jan Rooduijn, Yde Venema |
Focus-style proofs for the two-way alternation-free μ-calculus. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Yoshiki Nakamura 0001 |
On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Emanuel Kieronski |
A Uniform One-Dimensional Fragment with Alternation of Quantifiers. |
GandALF |
2023 |
DBLP DOI BibTeX RDF |
|