Search results for "derivation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
61	Mikhail J. Atallah, Marina Blanton, Keith B. Frikken	Key management for non-tree access hierarchies.	SACMAT	2006	DBLP DOI BibTeX RDF	access hierarchy, dimension of a graph, fast key derivation
61	Goetz Botterweck, Liam O'Brien, Steffen Thiel	Model-driven derivation of product architectures.	ASE	2007	DBLP DOI BibTeX RDF	software architectures, model transformation, software product lines, ATL, product derivation, model-driven approaches
57	Noriko Sugimoto, Hiroki Ishizaka, Takeshi Shinohara	An Efficient Derivation for Elementary Formal Systems Based on Partial Unification.	Discovery Science	2001	DBLP DOI BibTeX RDF
56	Cheng Thao, Ethan V. Munson, Tien Nhut Nguyen	Software Configuration Management for Product Derivation in Software Product Families.	ECBS	2008	DBLP DOI BibTeX RDF	Software Product Line, Software Configuration Management, Product Derivation
50	Mark G. Staskauskas	Formal Derivation of Concurrent Programs: An Example from Industry.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	tapes, I/O channels, UNITY methodology, resource allocation algorithm, formal specification, parallel programming, specifications, operating system, program verification, concurrent programs, proofs, disks, formal derivation, I/O subsystem
45	Pádraig O'Leary, Rick Rabiser, Ita Richardson, Steffen Thiel	Important issues and key activities in product derivation: experiences from two independent research projects.	SPLC	2009	DBLP BibTeX RDF
45	Juan Eduardo Durán	Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications.	MPC	2002	DBLP DOI BibTeX RDF
45	K. Suzanne Barber, Thomas J. Graser, Jim Holt	Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation.	ASE	2002	DBLP DOI BibTeX RDF
44	Dongming Wang 0001, Bernd Schürmann	Computer Aided Analysis and Derivation for Artificial Neural Systems.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	computer aided analysis and derivation, symbolic mathematical objects manipulation, artificial neural systems, biological knowledge, Lyapunov stability theory, computer aided analysis, artificial intelligence, neural nets, toolkit, symbolic computation, symbol manipulation, mathematics computing, MACSYMA, Lyapunov methods, learning rule
43	K. H. (Kane) Kim	Timeliness Assurance via Hybrid Approaches during Design of Distributed Embedded Computing Systems.	WORDS Fall	2003	DBLP DOI BibTeX RDF	service time bound, statistical derivation, analytical derivation, soft-firm bound, real time, certification, object, TMO, embedded computing, timeliness, hybrid approach, guarantee
43	Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta 0001	A timing-driven design and validation methodology for embedded real-time systems.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	period assignment, period derivation, rate assignment, rate derivation, timing-driven codesign, requirements analysis, timing analysis, system-level design, performance verification
40	Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko 0001	Extended Finite State Machine Based Test Derivation Driven by User Defined Faults.	ICST	2008	DBLP DOI BibTeX RDF
39	Mikhail J. Atallah, Marina Blanton, Nelly Fazio, Keith B. Frikken	Dynamic and Efficient Key Management for Access Hierarchies.	ACM Trans. Inf. Syst. Secur.	2009	DBLP DOI BibTeX RDF	Efficient key derivation, key management, hierarchical access control
38	Kenichi Asai, Arisa Kitani	Functional derivation of a virtual machine for delimited continuations.	PPDP	2010	DBLP DOI BibTeX RDF	cps transformation, functional derivation, virtual machine, delimited continuation, defunctionalization
38	Ingo Lück, Marcus Schönbach, Arnulf Mester, Heiko Krumm	Derivation of Backup Service Management Applications from Service and System Models.	DSOM	1999	DBLP DOI BibTeX RDF	derivation of management systems, model-based development of management systems, IT-service management, model-based management
38	W. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder	An Elementary Derivation of the Alternating Bit Protocol.	MPC	1998	DBLP DOI BibTeX RDF	the theory of Owicki and Gries, multibounds, faulty channels, the alternating bit protocol, multiprogramming, Program derivation
38	Debashish Niyogi, Sargur N. Srihari	Knowledge-based derivation of document logical structure.	ICDAR	1995	DBLP DOI BibTeX RDF	document logical structure, spatial domain knowledge, document logical structure derivation, rule-based control strategy, multi-level knowledge base, document layout rules, DeLoS, block classification, read-ordering operations, document image data, incremental inferences, knowledge based systems, knowledge-based, grouping, inferences, document image processing, inference mechanisms, document image, document layout, symbolic description
38	Teruo Higashino, Gregor von Bochmann	Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	test case derivation, LOTOS expressions, data parameters, automatic analysis method, P-LOTOS expressions, Boolean types, integer linear programming problems, deadlock detection problem, nonexecutable branch detection, nondeterministic behavior detection, simplified Session protocol, formal specification, linear programming, concurrency control, integer programming, specification languages, specification language, comparison, decision procedure, data types, addition, test selection, Presburger arithmetic, subtraction, integer, data values
38	Gruia-Catalin Roman, Rose F. Gamble, William E. Ball	Formal Derivation of Rule-Based Programs.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	efficient concurrent rule-based programs, initial rule-based program, program derivation strategy, UNITY programs, correct rule-based program, static knowledge base, formal specification, parallel programming, logic programming, knowledge based systems, computational model, Swarm, OPS5, specification refinement, correctness criteria, program refinement
34	Steffen Kamp, Michael Evertz, Mathias Wien	Decoder side motion vector derivation for inter frame video coding.	ICIP	2008	DBLP DOI BibTeX RDF
34	Xin Peng 0001, Liwei Shen, Wenyun Zhao	Feature Implementation Modeling Based Product Derivation in Software Product Line.	ICSR	2008	DBLP DOI BibTeX RDF
34	Koichiro Doi, Akihiro Yamamoto	Kernel Functions Based on Derivation.	PAKDD Workshops	2008	DBLP DOI BibTeX RDF
34	Rick Rabiser, Paul Grünbacher, Deepak Dhungana	Supporting Product Derivation by Adapting and Augmenting Variability Models.	SPLC	2007	DBLP DOI BibTeX RDF
34	Yevgeniy Dodis, Rosario Gennaro, Johan Håstad, Hugo Krawczyk, Tal Rabin	Randomness Extraction and Key Derivation Using the CBC, Cascade and HMAC Modes.	CRYPTO	2004	DBLP DOI BibTeX RDF
34	Antoni Olivé	Taxonomies and Derivation Rules in Conceptual Modeling.	CAiSE	2001	DBLP DOI BibTeX RDF
33	Brijesh Dongol, Arjan J. Mooij	Streamlining progress-based derivations of concurrent programs.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Mathematical techniques, Concurrent programs, Progress, Program derivation
33	Mikhail J. Atallah, Keith B. Frikken, Marina Blanton	Dynamic and efficient key management for access hierarchies.	CCS	2005	DBLP DOI BibTeX RDF	efficient key, key management, derivation, hierarchical access control
33	Christian Creveuil, Gruia-Catalin Roman	Formal Specification and Designof a Message Router.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	formal methods, UNITY, program derivation, specification refinement
33	Changjing Wang, Jinyun Xue	Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems.	FAW	2009	DBLP DOI BibTeX RDF	High-trustworthy, Path problem, Generic algorithm, Formal derivation, Dioid
33	Ridha Khédri, Imen Bourguiba	Formal Derivation of Functional Architectural Design.	SEFM	2004	DBLP DOI BibTeX RDF	architectural derivation, scenario integration, design connectors, formal architectural design, formal methods, requirements, relation algebra, Architectural design, design component
33	Enrique S. Quintana-Ortí, Robert A. van de Geijn	Formal derivation of algorithms: The triangular sylvester equation.	ACM Trans. Math. Softw.	2003	DBLP DOI BibTeX RDF	Sylvester equations, libraries, linear algebra, control theory, Formal derivation
33	Frederick W. Chapman	An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra.	ISSAC	2003	DBLP DOI BibTeX RDF	Taylor interpolation, asymptotic splitting operator, automatic derivation, automatic proof, binormal forms, bivariate identities, characteristic cauchy problem, dual asymptotic expansions, homogeneous hyperbolic eigenproblem, hyperbolic eigenfunction, symmetries, maple, computer algebra, differential equations, tensor products, lie groups
33	G. Sisias, C. A. Dobson, R. Phillips, M. J. Fagan, C. M. Langton	Histomorphometric Algorithms for the Direct Derivation of Morphological Indices of Simulations of Strain-Adaptation in Cancellous Bone.	IV	2002	DBLP DOI BibTeX RDF	histomorphometry, morphological indices, strain-adaptation, cancellous bone, simulation, direct derivation
33	Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi	Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	list homomorphism, parallel functional programming, program transformation and derivation
28	George Cardona	On the Structure of Panini's System.	Sanskrit Computational Linguistics	2008	DBLP DOI BibTeX RDF	Grammatical theory, organization of grammar, Indian grammatical theory, K?ty?yana, Patan?jali, Bhart?hari, morphology, syntax, P??ini
28	Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Gerardo Pelosi, Pierangela Samarati	Preserving confidentiality of security policies in data outsourcing.	WPES	2008	DBLP DOI BibTeX RDF	encryption policy, security policy protection, privacy, data outsourcing
28	Allen Van Gelder	Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning.	LPAR	2005	DBLP DOI BibTeX RDF
28	John T. Hale, Edward P. Stabler	Strict Deterministic Aspects of Minimalist Grammars.	LACL	2005	DBLP DOI BibTeX RDF
28	Bruno Courcelle	Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas.	RTA	1999	DBLP DOI BibTeX RDF
28	Li Yao, Ning Zhang 0001	A Generic Authentication LoA Derivation Model.	SEC	2009	DBLP DOI BibTeX RDF
28	Haihe Shi, Dawei Du, Jinyun Xue	Generating Algorithms plus Loop Invariants by Formal Derivation.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF
28	Jens Dietrich 0001, Jochen Hiller, Bastian Schenke	Take - A Rule Compiler for Derivation Rules.	RuleML	2007	DBLP DOI BibTeX RDF
28	Harry Gros-Desormeaux, Hacène Fouchal, Philippe Hunel	An Improved Test Derivation Technique.	NCA	2006	DBLP DOI BibTeX RDF
28	Jianhua Shao 0001, Yahya Ibrahim, Suzanne M. Embury	An Approach to Tracking Data Derivation in Information Systems.	CIT	2005	DBLP DOI BibTeX RDF
28	Carlisle M. Adams, Guenther Kramer, Serge Mister, Robert J. Zuccherato	On The Security of Key Derivation Functions.	ISC	2004	DBLP DOI BibTeX RDF
28	Szilvia Zvada, Róbert Ványi	Improving Grammar-Based Evolutionary Algorithms via Attributed Derivation Trees.	EuroGP	2004	DBLP DOI BibTeX RDF
28	Sybren Deelstra, Marco Sinnema, Jan Bosch	A Product Derivation Framework for Software Product Families.	PFE	2003	DBLP DOI BibTeX RDF
28	Antoni Olivé	Derivation Rules in Object-Oriented Conceptual Modeling Languages.	CAiSE	2003	DBLP DOI BibTeX RDF
28	Alberto Pettorossi, Maurizio Proietti	Program Derivation = Rules + Strategies.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
28	Apostolos Dollas, Euripides Sotiriades, Apostolos Emmanouelides	Architecture and Design of GE1, a FCCM for Golomb Ruler Derivation.	FCCM	1998	DBLP DOI BibTeX RDF	FPGA, Architecture, Custom, Golomb Ruler
28	Lars-Henrik Eriksson	Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions.	CADE	1994	DBLP DOI BibTeX RDF
28	Norihiko Yoshida	Transformational Derivation of Systolic Arrays.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
28	Walter Bucher, Andrzej Ehrenfeucht, David Haussler	On Total Regulators Generated by Derivation Relations.	ICALP	1985	DBLP DOI BibTeX RDF
28	Franz-Josef Brandenburg	On the Tranformation of Derivation Graphs to Derivation Trees (Preliminary Report).	MFCS	1981	DBLP DOI BibTeX RDF
27	Ahren Studer, Adrian Perrig	Mobile user location-specific encryption (MULE): using your office as your password.	WISEC	2010	DBLP DOI BibTeX RDF	key derivation, laptop theft, location based access, security
27	Olfa Djebbi, Camille Salinesi	RED-PL, a Method for Deriving Product Requirements from a Product Line Requirements Model.	CAiSE	2007	DBLP DOI BibTeX RDF	Requirements, Product Line, Derivation
27	Paolo Bientinesi, John A. Gunnels, Margaret E. Myers, Enrique S. Quintana-Ortí, Robert A. van de Geijn	The science of deriving dense linear algebra algorithms.	ACM Trans. Math. Softw.	2005	DBLP DOI BibTeX RDF	high-performance computing, libraries, linear algebra, Formal derivation
27	Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu	Maximum Marking Problems with Accumulative Weight Functions.	ICTAC	2005	DBLP DOI BibTeX RDF	Maximum marking problem, Accumulative weight function, Optimization problem, Program derivation
27	Jakob Jonsson, Matthew J. B. Robshaw	Securing RSA-KEM via the AES.	Public Key Cryptography	2005	DBLP DOI BibTeX RDF	RSA-KEM, key derivation function, AES
27	Liviu Petrisor Dinu	An Approach to Syllables via some Extensions of Marcus Contextual Grammars.	Grammars	2003	DBLP DOI BibTeX RDF	Marcus contextual grammars, mental syllabary, syllable, total leftmost derivation, grammars
27	Karim Boulabiar	Positive Derivations on Archimedean Almost f-Rings.	Order	2002	DBLP DOI BibTeX RDF	almost f-ring, Archimedean, f-ring, positive derivation
27	Ingo Gruber, Hui Li	Link Expiration Times in Mobile Ad Hoc Networks.	LCN	2002	DBLP DOI BibTeX RDF	link expiration time, statistical derivation, 2-hop scenario, ad hoc networks
27	John A. Gunnels, Fred G. Gustavson, Greg Henry, Robert A. van de Geijn	FLAME: Formal Linear Algebra Methods Environment.	ACM Trans. Math. Softw.	2001	DBLP DOI BibTeX RDF	performance, libraries, linear algebra, Formal derivation
27	Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang	A Systematic Incrementalization Technique and Its Application to Hardware Design.	CHARME	1999	DBLP DOI BibTeX RDF	design derivation, floating point operations, Formal methods, hardware verification, formal synthesis, transformational programming
27	Gruia-Catalin Roman, C. Donald Wilcox	Architecture-Directed Refinement.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	architectural constraints, program derivation process, architecture-directed refinement, software engineering, formal specification, parallel programming, formal methods, specification, parallel architectures, correctness, design process, concurrent systems, program refinements
27	Reinhard Gotzhein, Gregor von Bochmann	Deriving Protocol Specifications from Service Specifications Including Parameters.	ACM Trans. Comput. Syst.	1990	DBLP DOI BibTeX RDF	automated protocol design, communication service specification, protocol derivation
27	Hamad I. Alsawalqah, Komi S. Abotsi, Danhyung Lee	An automated mechanism for organizing and retrieving core asset artifacts for product derivation in SPL.	ICIS	2009	DBLP DOI BibTeX RDF	digital watch, ontology, software product line, feature model, product derivation
27	Alberto Pettorossi, Maurizio Proietti, Sophie Renault	Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF	automatic program derivation, transformation rules and strategies, logic programming, program transformation, program specialization
27	Alberto Pettorossi, Maurizio Proietti	The List Introduction Strategy for the Derivation of Logic Programs.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Transformation rules and strategies, Logic programming, Program transformation, Automatic programming, Program derivation
27	George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden	Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	time bound derivation, uniprocessor concurrent systems, concurrent software system, single processor, arbitrary scheduling, integer programming methods, constrained expression toolset, very large state spaces, scheduling, real-time systems, lower bounds, concurrency control, integer programming, systems analysis, upper bounds, timing analysis, concurrent systems, linear inequalities, timing properties, finite state systems, complex real-time systems
23	Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath	Formal automated transformation of SDL specifications to Lotos specifications.	ISCC	2008	DBLP DOI BibTeX RDF
23	Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen	Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.	SEW	2007	DBLP DOI BibTeX RDF
23	Deyou Tang, Jianqing Xi, Yubin Guo, Shunqi Shen	Data Genome: An Abstract Model for Data Evolution.	ISICA	2007	DBLP DOI BibTeX RDF
23	Oliver Ray, Krysia Broda, Alessandra Russo	Generalised Kernel Sets for Inverse Entailment.	ICLP	2004	DBLP DOI BibTeX RDF
23	Dong Zhou, Yuan Chen 0001, Greg Eisenhauer, Karsten Schwan	Active Brokers and Their Runtime Deployment in the ECho/JECho Distributed Event Systems.	Active Middleware Services	2001	DBLP DOI BibTeX RDF
23	Dominique Laurent 0001, Viet Phan Luong, Nicolas Spyratos	The Use of Deleted Tuples in Database, Querying and Updating.	Acta Informatica	1997	DBLP DOI BibTeX RDF
23	Maurice Bruynooghe	Analysis of Dependencies to Improve the Behaviour of Logic Programs.	CADE	1980	DBLP DOI BibTeX RDF
23	Lindsay Groves, Robert Colvin	Trace-based derivation of a scalable lock-free stack algorithm.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF
23	Brijesh Dongol, Ian J. Hayes	Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
23	Elder Cirilo, Ingrid Nunes, Uirá Kulesza, Camila Nunes, Carlos José Pereira de Lucena	Automatic product derivation of multi-agent systems product lines.	SAC	2009	DBLP DOI BibTeX RDF	multi-agent systems, software product lines, BDI agents, model-driven software development
23	Leszek Kotulski, Adam Sedziwy	Derivation Control Environment as a Tool for an Efficient Distributed Graph Transformations Coordination.	ISPDC	2008	DBLP DOI BibTeX RDF
23	Kênia Soares Sousa, Hildeberto Mendonça Filho, Jean Vanderdonckt, Els Rogier, Joannes Vandermeulen	User interface derivation from business processes: a model-driven approach for organizational engineering.	SAC	2008	DBLP DOI BibTeX RDF	model-driven user interface development, usability, business process modeling, model driven engineering, user interface extensible markup language
23	Jesper Andersson, Morgan Ericsson, Welf Löwe	Automatic Rule Derivation for Adaptive Architectures.	WICSA	2008	DBLP DOI BibTeX RDF
23	Shane Kelly	Constructions of intriguing sets of polar spaces from field reduction and derivation.	Des. Codes Cryptogr.	2007	DBLP DOI BibTeX RDF	51A50, 51E20, AMS Classification 05B25, 51E12
23	Hassan Gomaa, Michael E. Shin	Automated Software Product Line Engineering and Product Derivation.	HICSS	2007	DBLP DOI BibTeX RDF
23	Paolo Zuliani	A Formal Derivation of Grover's Quantum Search Algorithm.	TASE	2007	DBLP DOI BibTeX RDF
23	Chansik Im, K. H. (Kane) Kim	A Hybrid Approach in TADE for Derivation of Execution Time Bounds of Program-Segments in Distributed Real-Time Embedded Computing.	ISORC	2006	DBLP DOI BibTeX RDF	worst-case execution path, program-segment, methodsegment, acyclic path-segment, path enumeration, curvefitting, execution time bound, TETB, real time, measurement, analysis, hybrid, worst-case execution time
23	Hui-Wen Huang, Wei-Yi Yang, Chunkuan Shih, Chun-Yu Chen, Swu Yih, Chang Tzeng, Cherng-Tsong Kuo, Ming-Huei Chen, Yuan-Chang Yu, Li-Hsin Wang, Hsun-Ho Wang, Wan-Tsz Tu	Digital Instrumentation and Control Failure Events Derivation and Analysis for Advanced Boiling Water Reactor.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
23	Krzysztof Slot, Hyongsuk Kim	Keypoints Derivation for Object Class Detection with SIFT Algorithm.	ICAISC	2006	DBLP DOI BibTeX RDF
23	Urs Hengartner, Peter Steenkiste	Securing Information Gateways with Derivation-Constrained Access Control.	SPC	2006	DBLP DOI BibTeX RDF
23	Paul Agron, Leo Bachmair, Frank Nielsen	A Visual Interactive Framework for Formal Derivation.	International Conference on Computational Science (1)	2005	DBLP DOI BibTeX RDF
23	Antoine Meyer	On Term Rewriting Systems Having a Rational Derivation.	FoSSaCS	2004	DBLP DOI BibTeX RDF
23	Faye F. Liu, Jidong Wang, Tharam S. Dillon	An Object-Oriented Approach on Web Information Representation and Derivation.	EEE	2004	DBLP DOI BibTeX RDF
23	Lothar Hotz, Thorsten Krebs, Katharina Wolter	Using a Structure-based Configuration Tool for Product Derivation.	ASE	2004	DBLP DOI BibTeX RDF
23	Georg Moser, Andreas Weiermann	Relating Derivation Lengths with the Slow-Growing Hierarchy Directly.	RTA	2003	DBLP DOI BibTeX RDF
23	Xiaoling Sun, A. Alimohammad, Pieter M. Trouborst	Modeling of FPGA Local/Global Interconnect Resources and Derivation of Minimal Test Configurations.	DFT	2002	DBLP DOI BibTeX RDF	global/local interconnect testing, modeling, graph coloring, greedy algorithms, FPGA testing
23	Bian Runqiang, Yi-Ping Phoebe Chen, Kevin Burrage, Jim Hanan, Peter Room, John Belward	Derivation of L-system Models from Measurements of Biological Branching Structures Using Genetic Algorithms.	IEA/AIE	2002	DBLP DOI BibTeX RDF
23	Elena Smirnova	Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic.	AISC	2002	DBLP DOI BibTeX RDF
23	Jonah Z. Lavi, Joseph Kudish	Systematic Derivation of Operational Scenarios Using ECSAM.	ECBS	2000	DBLP DOI BibTeX RDF
23	Didier Caucal	On Word Rewriting Systems Having a Rational Derivation.	FoSSaCS	2000	DBLP DOI BibTeX RDF