The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1966-1987 (28) 1988 (25) 1989 (29) 1990 (27) 1991 (33) 1992 (28) 1993 (24) 1994 (40) 1995 (30) 1996 (30) 1997 (37) 1998 (31) 1999 (45) 2000 (43) 2001 (50) 2002 (50) 2003 (52) 2004 (50) 2005 (52) 2006 (56) 2007 (57) 2008 (46) 2009 (52) 2010 (44) 2011 (48) 2012 (44) 2013 (48) 2014 (82) 2015 (47) 2016 (49) 2017 (47) 2018 (41) 2019-2020 (50) 2021 (46) 2022 (46) 2023 (46) 2024 (51)
Publication types (Num. hits)
article(51) incollection(3) inproceedings(1513) proceedings(37)
Venues (Conferences, Journals, ...)
CSL(1350) CSL-LICS(81) QEST(8) CAV(6) CONCUR(5) CoRR(4) IEEE Trans. Software Eng.(4) CLSW (2)(3) Comput. Speech Lang.(3) FGR(3) FORMATS(3) Gesture Workshop(3) ISCAS(3) PAPM-PROBMIV(3) TACAS(3) CCNC(2) More (+10 of total 128)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 341 occurrences of 229 keywords

Results
Found 1604 publication records. Showing 1604 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
119J. C. Tay, S. Y. Huang, Hiok Chai Quek CSL (Part I): Modelling General N-ary, Logical CSPs. Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF constraint specification language, CSL, user-defined constraints, N-ary logical constraint satisfaction problems, constraint logic programming languages, expressive algebra, extended versions, transparent access, data structures, constraint programming, unification, syntax, logic programming languages, numerical constraints
92Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston CSL Model Checking for Generalized Stochastic Petri Nets. Search on Bibsonomy QEST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
91José M. Martínez, Boudewijn R. Haverkort MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets. Search on Bibsonomy QEST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF DSPNs, CSL, model checking, Markov process, Markov regenerative process
90J. C. Tay, S. Y. Huang, Hiok Chai Quek CSL (Part II): Modelling General N-ary, Logical CSPs. Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF CSL algebra, constraint specification language, n-ary logical constraint satisfaction problem, executable data structures, binary CSP algorithms, design, compiler, implementation, constraint handling
84Yajuan He, Chip-Hong Chang, Jiangmin Gu An area efficient 64-bit square root carry-select adder for low power applications. Search on Bibsonomy ISCAS (4) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
81Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky Tableau Calculi for CSL\mathcal{CSL} over minspaces. Search on Bibsonomy CSL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
78Marta Z. Kwiatkowska, Gethin Norman, António Pacheco 0001 Model Checking CSL until Formulae with Random Time Bounds. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
70Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu A Logic-Based Framework for Reasoning about Composite Data Structures. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
70Susanna Donatelli, Serge Haddad, Jeremy Sproston CSLTA: an Expressive Logic for Continuous-Time Markov Chains. Search on Bibsonomy QEST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
70Xinyu Feng 0001, Rodrigo Ferreira, Zhong Shao On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
70Peter G. Neumann Risks to the public in computers and related systems. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
70Maria Aparecida M. Souto, Regina Verdin, Ricardo Wainer, Milton Madeira, Mariusa Warpechowski, Karine Beschoren, Renata Zanella, Juarez Sagebin Correa, Rosa Maria Vicari, José Palazzo M. de Oliveira Towards an Adaptive Web Training Environment Based on Cognitive Style of Learning: An Empirical Approach. Search on Bibsonomy AH The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
70Hiok-Tiaq Ng, David J. Allstot CMOS current steering logic for low-voltage mixed-signal integrated circuits. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
68Yu-Ju Lan, Yao-Ting Sung, Chia-Yu Wu, Rui-Lin Wang, Kuo-En Chang A Cognitive-Interactive Approach to Chinese Characters Learning: System Design and Development. Search on Bibsonomy Edutainment The full citation details ... 2009 DBLP  DOI  BibTeX  RDF romantic radicals, Chinese as a foreign/ second language (CFL/CSL), cognitive-interactive, Chinese character
68Stephen S. Yau, Yu Wang 0015, Dazhi Huang, Hoh Peter In Situation-Aware Contract Specification Language for Middleware for Ubiquitous Computing. Search on Bibsonomy FTDCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Situation-Aware Contract Specification Language (SA-CSL), Reconfigurable Context-Sensitive Middleware (RCSM), security, Quality of Service (QoS), Ubiquitous computing, real time, middleware, situation-awareness, Aspect-Oriented Software Development (AOSD)
64Susanna Donatelli, Serge Haddad, Jeremy Sproston Model Checking Timed and Stochastic Properties with CSL^{TA}. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
64Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. Search on Bibsonomy ACSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
64Jeremy Sproston, Susanna Donatelli Backward Stochastic Bisimulation in CSL Model Checking. Search on Bibsonomy QEST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
64Davide D'Aprile, Susanna Donatelli, Jeremy Sproston CSL Model Checking for the GreatSPN Tool. Search on Bibsonomy ISCIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
59Simona Ronchi Della Rocca (eds.) Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy Search on Bibsonomy CSL The full citation details ... 2013 DBLP  BibTeX  RDF
59Antti Kuusisto Modal Logic and Distributed Message Passing Automata. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Federico Aschieri, Stefano Berardi, Giovanni Birolo Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Thomas Colcombet, Denis Kuperberg, Christof Löding, Michael Vanden Boom Deciding the weak definability of Büchi definable tree languages. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Rick Statman A New Type Assignment for Strongly Normalizable Terms. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Pietro Galliani, Lauri Hella Inclusion Logic and Fixed Point Logic. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Paul-André Melliès On dialogue games and coherent strategies. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Marcin Bilkowski, Michal Skrzypczak Unambiguity and uniformization problems on infinite trees. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Krishnendu Chatterjee, Nathanaël Fijalkow Infinite-state games with finitary conditions. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Frederik Harwath, Nicole Schweikardt On the locality of arb-invariant first-order logic with modulo counting quantifiers. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Amaldev Manuel, Thomas Zeume Two-Variable Logic on 2-Dimensional Structures. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Julian C. Bradfield Team building in dependence. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Pierre Boudes, Fanny He, Michele Pagani A characterization of the Taylor expansion of lambda-terms. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Susumu Nishimura A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Daniel Leivant Global semantic typing for inductive and coinductive computing. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Christopher Hampson, Agi Kurucz One-variable first-order linear temporal logics with counting. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Paul Hunter When is Metric Temporal Logic Expressively Complete?. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Kentaro Kikuchi Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended lambda-Calculus. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Jakub Michaliszyn, Jan Otop Elementary Modal Logics over Transitive Structures. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Nachum Dershowitz Res Publica: The Universal Model of Computation (Invited Talk). Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Pietro Di Gianantonio, Marina Lenisa Innocent Game Semantics via Intersection Type Assignment Systems. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Jérôme Fortier, Luigi Santocanale Cuts for circular proofs: semantics and cut-elimination. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Jean-Yves Girard 0001 Three lightings of logic (Invited Talk). Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Stefan Göller The Fixed-Parameter Tractability of Model Checking Concurrent Systems. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Dexter Kozen, Konstantinos Mamouras Kleene Algebra with Products and Iteration Theories. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Andrei A. Bulatov, Víctor Dalmau, Marc Thurley Descriptive complexity of approximate counting CSPs. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Christopher H. Broadbent, Naoki Kobayashi 0001 Saturation-Based Model Checking of Higher-Order Recursion Schemes. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Kaveh Ghasemloo, Stephen A. Cook Theories for Subexponential-size Bounded-depth Frege Proofs. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Qian Wang, Bruno Barras Semantics of Intensional Type Theory extended with Decidable Equational Theories. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Isabel Oitavem From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk). Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Johannes Schmidt 0001, Michal Wrona The Complexity of Abduction for Equality Constraint Languages. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Yoshihiro Maruyama Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Stéphane Gimenez, Georg Moser The Structure of Interaction. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Neelakantan R. Krishnaswami, Derek Dreyer Internalizing Relational Parametricity in the Extensional Calculus of Constructions. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Marek Materzok Axiomatizing Subtyped Delimited Continuations. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59 Frontmatter, Table of Contents, Preface, Conference Organization. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Lionel Rieg Extracting Herbrand trees in classical realizability using forcing. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Pietro Galliani, Miika Hannula, Juha Kontinen Hierarchies in independence logic. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Lidia Tendera Means and Limits of Decision (Invited Talk). Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Bahareh Afshari, Graham E. Leigh On closure ordinals for the modal mu-calculus. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Anuj Dawar, Thomas A. Henzinger, Damian Niwinski The Ackermann Award 2013. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Christoph Berkholz, Andreas Krebs, Oleg Verbitsky 0001 Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
59Patrick Cégielski, Arnaud Durand 0001 (eds.) Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France Search on Bibsonomy CSL The full citation details ... 2012 DBLP  BibTeX  RDF
59Alexander Leitsch, Giselle Reis, Bruno Woltzenlogel Paleo Towards CERes in intuitionistic logic. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Zhilin Wu Commutative Data Automata. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Nathalie Bertrand 0001, John Fearnley, Sven Schewe Bounded Satisfiability for PCTL. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Thorsten Altenkirch, Ondrej Rypacek A Syntactical Approach to Weak omega-Groupoids. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Jacek Chrzaszcz, Aleksy Schubert ML with PTIME complexity guarantees. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Manuel Bodirsky, Michal Wrona Equivalence Constraint Satisfaction Problems. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Emanuel Kieronski, Jakub Michaliszyn Two-Variable Universal Logic with Transitive Closure. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59 Frontmatter, Table of Contents, Preface, Conference Organization. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Henry DeYoung, Luís Caires, Frank Pfenning, Bernardo Toninho Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Stefano Berardi, Ugo de'Liguoro Knowledge Spaces and the Completeness of Learning Strategies. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Boris Düdder, Moritz Martens, Jakob Rehof, Pawel Urzyczyn Bounded Combinatory Logic. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa Definability of linear equation systems over groups and rings. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Inês Lynce Satisfiability: where Theory meets Practice (Invited Talk). Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Chantal Keller, Marc Lasson Parametricity in an Impredicative Sort. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Patrick Baillot, Ugo Dal Lago Higher-Order Interpretations and Program Complexity. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Lukasz Kaiser, Simon Leßenich A Counting Logic for Structure Transition Systems. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Thomas Ehrhard Collapsing non-idempotent intersection types. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Lars Birkedal, Filip Sieczkowski, Jacob Thamsborg A Concurrent Logical Relation. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Serge Abiteboul Sharing Distributed Knowledge on the Web (Invited Talk). Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Stephen A. Cook Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk). Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Thierry Coquand, Anuj Dawar, Damian Niwinski The Ackermann Award 2012. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Tomer Kotek, Johann A. Makowsky Connection Matrices and the Definability of Graph Parameters. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Pawel Parys Variants of Collapsible Pushdown Systems. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Federico Aschieri Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Robert Atkey Relational Parametricity for Higher Kinds. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Alberto Carraro, Antonino Salibra On the equational consistency of order-theoretic models of the lambda-calculus. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Jean-Pierre Jouannaud, Jianqi Li Church-Rosser Properties of Normal Rewriting. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Martin Grohe, Martin Otto 0001 Pebble Games and Linear Equations. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Etienne Grandjean, Frédéric Olive Descriptive complexity for pictures languages. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Johann Brault-Baron A Negative Conjunctive Query is Easy if and only if it is Beta-Acyclic. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Dietrich Kuske Isomorphisms of scattered automatic linear orders. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Stefan Hetzl, Lutz Straßburger Herbrand-Confluence for Cut Elimination in Classical First Order Logic. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Manfred Kufleitner, Pascal Weil The FO2 alternation hierarchy is decidable. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Johann A. Makowsky Definability and Complexity of Graph Parameters (Invited Talk). Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Erich Grädel, Simon Leßenich Banach-Mazur Games with Simple Winning Strategies. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
59Satoru Kuroda Axiomatizing proof tree concepts in Bounded Arithmetic. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1604 (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