The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1971-1995 (15) 1996-1998 (17) 1999-2000 (18) 2001-2002 (21) 2003-2004 (27) 2005 (19) 2006 (18) 2007 (17) 2008 (17) 2009 (15) 2010-2011 (15) 2012-2013 (15) 2014-2016 (20) 2017 (18) 2018-2020 (29) 2021-2022 (21) 2023-2024 (11)
Publication types (Num. hits)
article(105) book(1) inproceedings(205) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 241 occurrences of 136 keywords

Results
Found 313 publication records. Showing 313 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
123Yingzhou Zhang, Baowen Xu A Slice Monad Transformer and Its Applications in Program Slicing. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF slice monad transformer, modular monadic semantics, Program slicing, monad transformers
109Chuan-Kai Lin Programming monads operationally with Unimo. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF unimo, haskell, monads, monad transformers
103Jirí Adámek, Stefan Milius, Jirí Velebil A Description of Iterative Reflections of Monads (Extended Abstract). Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
98Mauro Jaskelioff Modular Monad Transformers. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
98Ben Cohen, Martín Hötzel Escardó, Klaus Keimel The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces. Search on Bibsonomy TAMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
85Sheng Liang, Paul Hudak, Mark P. Jones Monad Transformers and Modular Interpreters. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
77Christoph Koch 0001 On the complexity of nonrecursive XQuery and functional query languages on complex values. Search on Bibsonomy PODS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
66Ralf Hinze Deriving backtracking monad transformers. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Prolog, Prolog, Haskell, Haskell, continuations, monads, backtracking, cut, program derivation, PEARL, monad transformers
64José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Bernardo Martín González Rodríguez A Language Prototyping Tool Based on Semantic Building Blocks. Search on Bibsonomy EUROCAST The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
59Lutz Schröder, Till Mossakowski Generic Exception Handling and the Java Monad. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
59Thuc Vu, Jared Go, Gal A. Kaminka, Manuela M. Veloso, Brett Browning MONAD: a flexible architecture for multi-agent control. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF team-oriented programming, collaboration, teamwork, arbitration, behavior-based control, robot teams
59Lutz Schröder, Till Mossakowski Monad-Independent Hoare Logic in HASCASL. Search on Bibsonomy FASE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
59Lutz Schröder, Till Mossakowski Monad-Independent Dynamic Logic in Has Casl. Search on Bibsonomy WADT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
58Stefan Milius, Thorsten Palm, Daniel Schwencke Complete Iterativity for Algebras with Effects. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF iterative algebra, terminal coalgebra, monad, initial algebra, distributive law
58Miki Tanaka, John Power A unified category-theoretic formulation of typed binding signatures. Search on Bibsonomy MERLIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF binding signature, pseudo-distributive law, substitution monoidal structure, variable binding, pseudo-monad
53William L. Harrison, Samuel N. Kamin Modular Compilers Based on Monad Transformers. Search on Bibsonomy ICCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Semantics-Based Compilation, Pass Separation, Compilers, Partial Evaluation, Monads, Programming Language Semantics, Monad Transformers
51Jeremy E. Dawson Compound monads in specification languages. Search on Bibsonomy PLPV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF angelic choice, compound monads, demonic choice, distributive law for monads, extended substitutions, specification languages, generalised substitutions
51Patrik Eklund, Maria A. Galán Monads Can Be Rough. Search on Bibsonomy RSCTC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
51Gian Luca Cattani, John Power, Glynn Winskel A Categorical Axiomatics for Bisimulation. Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
51Yingzhou Zhang, José Emilio Labra Gayo, Agustín Cernuda del Río A monadic program slicer. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF modular monadic semantics, program slicer, monad, monad transformer
51Maria Manuel Clementino, Dirk Hofmann Topological Features of Lax Algebras. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF (lax) monad, (lax) algebra, ultrafilter monad, approach space, quasi-uniform space, ech-Stone compactification, topological space
47Wouter Swierstra A Hoare Logic for the State Monad. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
47Ernst-Erich Doberkat Weak Bisimulations for the Giry Monad (Extended Abstract). Search on Bibsonomy TAMC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Christoph Sprenger 0001, David A. Basin A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols. Search on Bibsonomy TPHOLs The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Adam Megacz A coinductive monad for prop-bounded recursion. Search on Bibsonomy PLPV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF coinductive types, type theory
47Ravi Vijaya Satya, Amar Mukherjee PRUNER: Algorithms for Finding Monad Patterns in DNA Sequences. Search on Bibsonomy CSB The full citation details ... 2004 DBLP  DOI  BibTeX  RDF regulatory patterns, k-mismatch patterns, Pattern discovery
47Ravi Vijaya Satya, Amar Mukherjee New Algorithms for Finding Monad Patterns in DNA Sequences. Search on Bibsonomy SPIRE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
47Tarmo Uustalu Monad Translating Inductive and Coinductive Types. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Patrik Eklund, Robert Helgesson Composing Partially Ordered Monads. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF partially ordered monad, Kleene algebra
45YingZhou Zhang A novel formal approach to program slicing. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF slice monad transformer, modularity, program slicing, formal semantics, monads
45Paul Blain Levy Call-by-push-value: Decomposing call-by-value and call-by-name. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Call-by-push-value, Call-by-name, Lambda-calculus, Monad, Computational effect, Call-by-value
45William L. Harrison Proof Abstraction for Imperative Languages. Search on Bibsonomy APLAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Program Specification and Verification, Monads, Language Semantics, Monad Transformers
45Lutz Schröder Monads on Composition Graphs. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF composition graph, Kleisli category, algebra, monad, adjunction
42Isar Stubbe The double power monad is the composite power monad. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
38Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins Monadic concurrent linear logic programming. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF committed choice concurrency, operational semantics, linear logic
38Olivier Danvy, Bernd Grobauer, Morten Rhiger A Unifying Approach to Goal-Directed Evaluation. Search on Bibsonomy SAIG The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Patrik Eklund, Maria A. Galán The Rough Powerset Monad. Search on Bibsonomy ISMVL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry Backtracking, interleaving, and terminating monad transformers: (functional pearl). Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF control delimiters, logic programming, Prolog, streams, Haskell, continuations
34Mary F. Fernández, Jérôme Siméon, Philip Wadler A Semi-monad for Semi-structured Data. Search on Bibsonomy ICDT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Bart Jacobs 0001, Erik Poll A Monad for Basic Java Semantics. Search on Bibsonomy AMAST The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
34Marco Grandis, John MacDonald Homotopy Structures for Algebras over a Monad. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF abstract homotopy, equivariant homotopy, fibrewise homotopy, homotopy (co)-limits, (co)cylinder, cubical objects, Eilenberg-Moore algebras, slice categories, monads, homotopy
32Martín Abadi, Gordon D. Plotkin A model of cooperative threads. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF transaction, operational semantics, monad, denotational semantics
32Peng Li, Steve Zdancewic Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF scalability, networking, concurrency, programming, implementation, haskell, event, thread, monad
32Ales Pultr, Anna Tozzi Some Categorical Aspects of Information Systems and Domains. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Kleisli and Eilenberg-Moore categories of a monad, information systems, completion, domains
32Robert Goldblatt Maps and Monads for Modal Frames. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF modal map, bounded morphism, descriptive frame, equivalence of categories, reflective subcategory, Kleisli category, duality, monad
32Miki Tanaka, John Power Pseudo-distributive laws and axiomatics for variable binding. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Binding signatures, Pseudo-distributive law, Substitution monoidal structure, Context, Initial algebra semantics, Pseudo-monad
32Stephen Lack Limits for Lax Morphisms. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF 2-monad, lax morphism, lax limit, monoidal functor
32Mark Weber Operads within Monoidal Pseudo Algebras. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Higher dimensional category, 2-monad, monoidal pseudo-algebra, Operated
32Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang Modular Monadic Program Slicing. Search on Bibsonomy COMPSAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF program slicing, formal semantics, monads, monad transformers
32Matthew Fluet, J. Gregory Morrisett Monadic regions. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF type system, effect, monad, region, parametric polymorphism, region-based memory management
32Philip Wadler, Peter Thiemann 0001 The marriage of effects and monads. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF type reconstruction, type, effect, Monad, region
32Gordon D. Plotkin, John Power Algebraic Operations and Generic Effects. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Lawvere theory, monad, computational effect, algebraic operation
32Taras Radul Functional Representations of Lawson Monads. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Lawson monad, functional representations
32Philip Wadler How to Declare an Imperative. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF functional programming, Haskell, monad
26Andrzej Filinski Monads in action. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF modular semantics, monads, computational effects
26Gordon D. Plotkin, Matija Pretnar Handlers of Algebraic Effects. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Gordon D. Plotkin Adequacy for Infinitary Algebraic Effects (Abstract). Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Robert Wisbauer Algebras Versus Coalgebras. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 18A40, 18C20, 18C15, 16W30
26David A. Cock, Gerwin Klein, Thomas Sewell Secure Microkernels, State Monads and Scalable Refinement. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Peter Selinger, Benoît Valiron A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26José Espírito Santo, Ralph Matthes, Luís Pinto 0001 Monadic Translation of Intuitionistic Sequent Calculus. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Pericles S. Kariotis, Adam M. Procter, William L. Harrison Making monads first-class with template haskell. Search on Bibsonomy Haskell The full citation details ... 2008 DBLP  DOI  BibTeX  RDF staged programming, domain-specific languages, monads
26Oleg Kiselyov, Chung-chieh Shan Lightweight monadic regions. Search on Bibsonomy Haskell The full citation details ... 2008 DBLP  DOI  BibTeX  RDF resource management, type systems, subtyping, monads, regions, type classes, parametric polymorphism, effect systems
26Jeremy E. Dawson Formalising Generalised Substitutions. Search on Bibsonomy TPHOLs The full citation details ... 2007 DBLP  DOI  BibTeX  RDF general correctness, generalised substitution
26Russell Harmer, Martin Hyland, Paul-André Melliès Categorical Combinatorics for Innocent Strategies. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Jirí Adámek, Stefan Milius, Jirí Velebil What Are Iteration Theories? Search on Bibsonomy MFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Sergey Goncharov 0001, Lutz Schröder, Till Mossakowski Completeness of Global Evaluation Logic. Search on Bibsonomy MFCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Peter Thiemann 0001 WASH Server Pages. Search on Bibsonomy FLOPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Brian Huffman, John Matthews, Peter White Axiomatic Constructor Classes in Isabelle/HOLCF. Search on Bibsonomy TPHOLs The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26John Power Discrete Lawvere Theories. Search on Bibsonomy CALCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Norman Ramsey, Avi Pfeffer Stochastic lambda calculus and monads of probability distributions. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Christoph Lüth, Neil Ghani Composing monads using coproducts. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Christoph Lüth, Neil Ghani Monads and Modularity. Search on Bibsonomy FroCoS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Günther Richter Coreflectivity of E-Monads and Algebraic Hulls. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF factorizations of (homo)morphisms, varietal and algebraic hulls, function spaces, monads
26Peter G. Hancock, Anton Setzer Interactive Programs in Dependent Type Theory. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF monadic I/O, repetition constructs, interaction, refinement, Functional programming, dependent types, reactive programming
26Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel Weak Bisimulation and Open Maps. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF semantics, Concurrency, denotational semantics, categorical models
26Peter Thiemann 0001 A Generic Framework for Specialization (Abridged Version). Search on Bibsonomy ESOP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF program transformation, partial evaluation, computational effects, higher-order programming
26Enno Scholz Imperative Streams - A Monadic Combinator Library for Synchronous Programming. Search on Bibsonomy ICFP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Haskell, monads, synchronous languages, interactive graphics
26Andrzej Filinski Representing Monads. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
26Reinhold Heckmann Power Domains Supporting Recursion and Failure. Search on Bibsonomy CAAP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
21Lili Shen, Xiaojuan Zhao The powerset monad on quantale-valued sets. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Francesco Dagnino, Amin Farjudian, Eugenio Moggi Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Martín Abadi, Gordon D. Plotkin Smart Choices and the Selection Monad. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Mengying Liu, Yueli Yue, Xiaowei Wei Frame-valued Scott open set monad and its algebras. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Sijia Lu, Dexue Zhang The double contravariant powerset monad in the Goguen category of fuzzy sets. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Michikazu Hirata, Yasuhiko Minamide S-Finite Measure Monad on Quasi-Borel Spaces. Search on Bibsonomy Arch. Formal Proofs The full citation details ... 2023 DBLP  BibTeX  RDF
21Francesco Dagnino, Amin Farjudian, Eugenio Moggi Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. Search on Bibsonomy ICTAC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Marie Kerjean, Jean-Simon Pacaud Lemay Taylor Expansion as a Monad in Models of DiLL. Search on Bibsonomy LICS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Barbara Rychalska, Igor Sieradzki, Jacek Dabrowski 0004 The Monad Platform - Temporal Aspects in Behavioral Modeling. Search on Bibsonomy ECAI The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Xiaochen Hao, Zijian Ding, Jieming Yin, Yuan Wang 0001, Yun Liang 0001 Monad: Towards Cost-Effective Specialization for Chiplet-Based Spatial Accelerators. Search on Bibsonomy ICCAD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Barbara Rychalska, Szymon Lukasik, Jacek Dabrowski 0004 Synerise Monad: A Foundation Model for Behavioral Event Data. Search on Bibsonomy SIGIR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Koen Jacobs, Dominique Devriese, Amin Timany Purity of an ST monad: full abstraction by semantically typed back-translation. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Fei-Yue Wang 0001, Wenwen Ding, Rui Qin 0002, Bin Hu 0001 Parallel Philosophy for MetaOrganizations With MetaOperations: From Leibniz's Monad to HanoiDAO. Search on Bibsonomy IEEE Trans. Comput. Soc. Syst. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Jing Lu The monad on strong quasi-metric spaces. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Dylan McDermott, Tarmo Uustalu What Makes a Strong Monad? Search on Bibsonomy MSFP@ETAPS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen On Reinforcement Learning, Effect Handlers, and the State Monad. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21T. M. G. Ahsanullah, Tesnim Meryem Baran, Fawzi Al-Thukair On the Probabilistic Convergence Spaces: Monad and its Eilenberg-Moore Category. Search on Bibsonomy New Math. Nat. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Jacek Dabrowski 0004, Barbara Rychalska Synerise Monad - Real-Time Multimodal Behavioral Modeling. Search on Bibsonomy CIKM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Johannes Hartmann, Jeremy Gibbons Algorithm Design with the Selection Monad. Search on Bibsonomy TFP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Lorenzo Petricone, Ivano Salvo Monad Transformations as Parametric Distributive Laws (text not included). Search on Bibsonomy ICTCS The full citation details ... 2022 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 313 (100 per page; Change: )
Pages: [1][2][3][4][>>]
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