The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1964-1983 (18) 1984-1987 (15) 1988-1992 (16) 1993-1994 (18) 1995-1997 (23) 1998-1999 (27) 2000-2001 (31) 2002 (23) 2003 (24) 2004 (22) 2005 (23) 2006 (35) 2007 (36) 2008 (38) 2009 (17) 2010-2011 (25) 2012 (18) 2013 (19) 2014-2015 (26) 2016-2017 (35) 2018-2019 (28) 2020-2021 (21) 2022 (15) 2023 (19) 2024 (1)
Publication types (Num. hits)
article(190) incollection(3) inproceedings(379) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 204 occurrences of 161 keywords

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