The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1975-1990 (15) 1991-1992 (22) 1993-1995 (21) 1996-1997 (17) 1998-1999 (16) 2000-2001 (18) 2002 (17) 2003-2004 (28) 2005-2006 (24) 2007 (16) 2008-2009 (29) 2010-2013 (17) 2014-2018 (16) 2019-2024 (13)
Publication types (Num. hits)
article(74) incollection(2) inproceedings(191) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 109 occurrences of 90 keywords

Results
Found 269 publication records. Showing 269 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
133Jun Liu 0002, Lu Jiang 0001, Zhaohui Wu 0003, Qinghua Zheng, Ya-nan Qian Mining preorder relation between knowledge units from text. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF knowledge unit, preorder relation, locality, text
112V. Natarajan 0001, Rance Cleaveland Predictability of real-time systems: a process-algebraic approach. Search on Bibsonomy RTSS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF real time systems predictability, testing-based semantic preorder, process description language, TPL, activity-completion times, semantic preorder, must-preorder, optimality, process algebra, process algebra, variability, timing behavior
84Flavio Corradini, Roberto Gorrieri, Marco Roccetti Performance Preorder: Ordering Processes with Respect to Speed. Search on Bibsonomy MFCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
84Lucia Pomello, Carla Simone A state transformation preorder over a class of EN systems. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1989 DBLP  DOI  BibTeX  RDF behaviour of systems, observability of states, equivalence, morphisms
73Gerald Lüttgen, Walter Vogler Bisimulation on Speed: Lower Time Bounds. Search on Bibsonomy FoSSaCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
72Flavio Corradini, Roberto Gorrieri, Marco Roccetti Performance Preorder and Competitive Equivalence. Search on Bibsonomy Acta Informatica The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
60Gerald Lüttgen, Walter Vogler Bisimulation on Speed: A Unified Approach. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
60Diego Latella, Mieke Massink On testing and conformance relations for UML statechart diagrams behaviours. Search on Bibsonomy ISSTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF UML statechart diagrams, formal testing theory, conformance testing, formal semantics, testing theory
60Luca Aceto On Relating Concurency and Nondeterminism. Search on Bibsonomy MFPS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
60Guangming Xing, Dongli Zhang Refined Extended Preorder Index with Path Information. Search on Bibsonomy ITCC (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
60Ferucio Laurentiu Tiplea, Aurora Tiplea A Simulation Preorder for Abstraction of Reactive Systems. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
60Rance Cleaveland, Bernhard Steffen A Preorder for Partial Process Specifications. Search on Bibsonomy CONCUR The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
49Ghassan Chehaibar Replacement of Open Interface Subnets and Stable State Transformation Equivalence. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Place-Transition Nets, Hierarchical Design and Analysis, Open Interface, Nets and Systems, Stable State Transformation Equivalence and Preorder, Robust Open Interface Nets, Expansion, Replacement
48David de Frutos-Escrig, Carlos Gregorio-Rodríguez Universal Coinductive Characterisations of Process Semantics. Search on Bibsonomy IFIP TCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
48Flavio Corradini, Walter Vogler, Lars Jenner Comparing the worst-case efficiency of asynchronous systems with PAFAS. Search on Bibsonomy Acta Informatica The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
48Anna Ingólfsdóttir Weak Semantics Based on Lighted Button Pressing Experiments. Search on Bibsonomy CSL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
48Roberto Segala Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
48Luca Aceto, Matthew Hennessy Termination, Deadlock, and Divergence. Search on Bibsonomy J. ACM The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
48Ufuk Celikkan, Rance Cleaveland Generating Diagnostic Information for Behavioral Preorders. Search on Bibsonomy CAV The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
48Lucia Pomello Refinement of Concurrent Systems Based on Local State Transformations. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF functional abstraction and refinement, observable local/global states, local state transformations, morphisms preserving local state transformations
48Taolue Chen, Wan J. Fokkink On the Axiomatizability of Impossible Futures: Preorder versus Equivalence. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
48Cosimo Laneve, Luca Padovani The Must Preorder Revisited. Search on Bibsonomy CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
48Wim Martens, Frank Neven, Thomas Schwentick Which XML Schemas Admit 1-Pass Preorder Typing? Search on Bibsonomy ICDT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
48Bernard De Baets, Hans E. De Meyer, Helga Naessens A top-down algorithm for generating the Hasse tree of a fuzzy preorder closure. Search on Bibsonomy IEEE Trans. Fuzzy Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Juhana Helovuo, Antti Valmari Checking for CFFD-Preorder with Tester Processes. Search on Bibsonomy TACAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Takashi Kitamura 0001, Huimin Lin Controlling Process Modularity in Mobile Computing. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF process modularity, bisimulation-preorder, interaction-costs, Mobile computing
36Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine Monotonic Abstraction for Programs with Dynamic Memory Heaps. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Gerald Lüttgen, Walter Vogler Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics. Search on Bibsonomy FoSSaCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Doron Bustan, Orna Grumberg Simulation-based minimazation. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Simulation, Minimization
36Bartek Klin, Pawel Sobocinski 0001 Syntactic Formats for Free. Search on Bibsonomy CONCUR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
36Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort Simulation for Continuous-Time Markov Chains. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Roope Kaivola Using Compositional Preorders in the Verification of Sliding Window Protocal. Search on Bibsonomy CAV The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
36Orna Grumberg, David E. Long Model Checking and Modular Verification. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Moore machines, model checking, formal verification, temporal logics, CTL, computer-aided verification
36Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. Search on Bibsonomy CONCUR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
36Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico Testing Preorders for Probabilistic Processes. Search on Bibsonomy ICALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
36Matthew Hennessy Concurrent Testing of Processes (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
36Orna Grumberg, David E. Long Model Checking and Modular Verification. Search on Bibsonomy CONCUR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36Luca Aceto, Uffe Engberg Failures Semantics for a Simple Process Language with Refinement. Search on Bibsonomy FSTTCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36Xiaowei Huang, Li Jiao, Weiming Lu A Semantic Preorder on Refinement and Fairness. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Martin F. O'Connor, Zohra Bellahsene, Mark Roantree An Extended Preorder Index for Optimising XPath Expressions. Search on Bibsonomy XSym The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Ugo de'Liguoro, Adolfo Piperno Must Preorder in Non-Deterministic Untyped Lambda-Calculus. Search on Bibsonomy CAAP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
25Fritz Henglein Generic discrimination: sorting and paritioning unshared data in linear time. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multiset discrimination, total preorder, partitioning, generic, sorting, functional, equivalence, discrimination, discriminator, order
25Hyeokki Kwon, Il Im, Bartel A. Van de Walle Are You Thinking What I Am Thinking? A Comparison of Decision Makers' Cognitive Maps by Means of a New Similarity Measure. Search on Bibsonomy HICSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Relational product, Similarity measure, Cognitive map, Fuzzy relation, Preorder
25Reinhold Heckmann Approximation of Metric Spaces by Partial Metric Spaces. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF generalised metric spaces, Scott topology, domains, preorder
25Hans-E. Porst The algebraic theory of order. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Essentially equational theory, essentially algebraic category, order and preorder, ordered algebras
24Xiao-ping Ye, Yong Tang 0001, LuoWu Chen, Huan Guo, Jun Zhu, KaiYuan Chen Study and application of temporal index technology. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF temporal equivalence and inclusion, query and incremental update, dynamical management and implemention, temporal relation and XML
24Leila Amgoud, Srdjan Vesic On Revising Argumentation-Based Decision Systems. Search on Bibsonomy ECSQARU The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Francesco Ranzato, Francesco Tapparo Computing Stuttering Simulations. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Patrice Godefroid, Nir Piterman LTL Generalized Model Checking Revisited. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Manfred Schmidt-Schauß, Elena Machkasova A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Dan Olteanu Forward node-selecting queries over trees. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF XML, streams, XPath, Expressiveness, rewriting
24Maria Carla Palmeri, Rocco De Nicola, Mieke Massink Basic Observables for Probabilistic May Testing. Search on Bibsonomy QEST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang Characterising Testing Preorders for Finite Probabilistic Processes. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Thomas Ball, Orna Kupferman An Abstraction-Refinement Framework for Multi-Agent Systems. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Taolue Chen, Wan J. Fokkink On Finite Alphabets and Infinite Bases III: Simulation. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Peter A. Boncz, Jan Flokstra, Torsten Grust, Maurice van Keulen, Stefan Manegold, K. Sjoerd Mullender, Jan Rittinger, Jens Teubner MonetDB/XQuery-Consistent and Efficient Updates on the Pre/Post Plane. Search on Bibsonomy EDBT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Caroline J. Klivans Obstructions to Shiftedness. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24David de Frutos-Escrig, Carlos Gregorio-Rodríguez Bisimulations Up-to for the Linear Time Branching Time Spectrum. Search on Bibsonomy CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Robi Malik, David Streader, Steve Reeves Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Radu 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
24Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran An assume-guarantee rule for checking simulation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF verification rules, Simulation relations
24Antonín Kucera 0001, Richard Mayr On the Complexity of Semantic Equivalences for Pushdown Automata and BPA. Search on Bibsonomy MFCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Antonín Kucera 0001, Richard Mayr Why Is Simulation Harder than Bisimulation? Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Gerald Lüttgen, Walter Vogler A Faster-than Relation for Asynchronous Processes. Search on Bibsonomy CONCUR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Antti Valmari Composition and Abstraction. Search on Bibsonomy MOVEP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Glenn Bruns, Patrice Godefroid Model Checking Partial State Spaces with 3-Valued Temporal Logics. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
24Lars Jenner, Walter Vogler Comparing the Efficiency of Asynchronous Systems. Search on Bibsonomy ARTS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
24Parosh Aziz Abdulla, Karlis Cerans Simulation Is Decidable for One-Counter Nets (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
24Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran An Assume-Guarantee Rule for Checking Simulation. Search on Bibsonomy FMCAD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
24Michele Boreale, Rocco De Nicola, Rosario Pugliese Basic Observables for Processes. Search on Bibsonomy ICALP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
24Luis Fernando Llana Díaz, Manuel Núñez 0001 Testing Semantics for Unbounded Nondeterminism. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF unbounded nondeterminism, testing semantics, Process algebra, CSP, operational semantics
24Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani Fair Simulation. Search on Bibsonomy CONCUR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
24Luca Aceto, Anna Ingólfsdóttir CPO Models for a Class of GSOS Languages. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
24Roberto Segala A Compositional Trace-Based Semantics for Probabilistic Automata. Search on Bibsonomy CONCUR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
24André Arnold, Anne Dicky Equivalences and Preorders of Transition Systems. Search on Bibsonomy MFCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF temporal logic, bisimulation, transition system
24Ilaria Castellani Observing Distribution in Processes. Search on Bibsonomy MFCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
24Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis Safety for Branching Time Semantics. Search on Bibsonomy ICALP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
24Stephan Olariu, C. Michael Overstreet, Zhaofang Wen An Optimal Parallel Algorithm to Reconstruct a Binary Tree from its Traversals. Search on Bibsonomy ICCI The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Algorithms, Parallel algorithms, PRAM, Binary trees, Traversals, Ordered trees
24Faron Moller, Chris M. N. Tofts Relating Processes With Respect to Speed. Search on Bibsonomy CONCUR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
24Luca Aceto, Matthew Hennessy Termination, Deadlock and Divergence. Search on Bibsonomy Mathematical Foundations of Programming Semantics The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
23Anqing Wang, Alexander Guzman-Urbina, Hajime Ohno, Yasuhiro Fukushima An automatic distillation sequence synthesis framework based on a preorder traversal algorithm. Search on Bibsonomy Comput. Chem. Eng. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
23Antoine Aspeel, Necmiye Ozay A Simulation Preorder for Koopman-like Lifted Control Systems. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
23Yizhao Zhao, Zaiwu Gong, Guo Wei 0004, Roman Slowinski Consensus modeling with interactive utility and partial preorder of decision-makers, involving fairness and tolerant behavior. Search on Bibsonomy Inf. Sci. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Jun Yang, Wei Yao Fuzzy preorder based fuzzy rough sets using multiplication and division. Search on Bibsonomy J. Intell. Fuzzy Syst. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Abbas Safaei, Mohammad T. Khasawneh Possibility Extent and Possible Alternatives Preorder Type-2 Fuzzy Analytical Hierarchy Process (PE&PAP-AHP) to improve pharmaceutical R&D productivity. Search on Bibsonomy Appl. Soft Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Zhan Pang, Wenqiang Xiao, Xuying Zhao Preorder Price Guarantee in e-Commerce. Search on Bibsonomy Manuf. Serv. Oper. Manag. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Koko Muroya, Takahiro Sanada, Natsuki Urabe Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas). Search on Bibsonomy CALCO The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Zhaofang Bai, Shuanping Du Coherent preorder of quantum states. Search on Bibsonomy Quantum Inf. Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Md. Rakibul Hasan, Yosef Daryanto, Tutul Chandra Roy, Yi Feng Inventory management with online payment and preorder discounts. Search on Bibsonomy Ind. Manag. Data Syst. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli The Quotient in Preorder Theories. Search on Bibsonomy GandALF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Natanael Alpay, Peter Jipsen Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests. Search on Bibsonomy RAMiCS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Luisa Iturrioz About a 'concrete' Rauszer Boolean algebra generated by a preorder. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
23Anupam K. Singh Bipolar Fuzzy Preorder, Alexandrov Bipolar Fuzzy Topology and Bipolar Fuzzy Automata. Search on Bibsonomy New Math. Nat. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Kumar Sankar Ray, Sandip Paul, Diganta Saha Preorder-based triangle: a modified version of bilattice-based triangle for belief revision in nonmonotonic reasoning. Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
23Evgeny Kusmenko, Igor Shumeiko, Bernhard Rumpe, Michael von Wenckstern Fast Simulation Preorder Algorithm. Search on Bibsonomy MODELSWARD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
23Weiye Wang, Xibao Wu, Tian Tian, Jiayuan Wang Autonomous Conflict Resolution Method for multi-UAVs Based on Preorder Flight Information. Search on Bibsonomy ACAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
23Zhongjun Tian, Yefeng Wang Advance selling with preorder-dependent customer valuation. Search on Bibsonomy Oper. Res. Lett. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
23Franz Baader, Pierre Ludmann The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary. Search on Bibsonomy UNIF The full citation details ... 2016 DBLP  BibTeX  RDF
23Makoto Nakayama, Kenichi Yamazaki, Satoshi Tanaka Parallelization of Recursive Preorder Traversal Based on Building and Winding Call Stacks. Search on Bibsonomy IPDPS Workshops The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
23Robi Malik, Ryan J. Leduc Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 269 (100 per page; Change: )
Pages: [1][2][3][>>]
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