Search results for "PSI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana	Teams of Pushdown Automata.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Margarita V. Korovina	Recent Advances in S-Definability over Continuous Data Types.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Viktor K. Sabelfeld, Kai Kapp	Numeric Types in Formal Synthesis.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	correct hardware synthesis, formal specification, higher-order logic, theorem prover, arithmetic operations
17	Valeriy Vyatkin	Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	Boolean computation, Logic circuits, Incremental computation
17	Martin Rammerstorfer, Hanspeter Mössenböck	Data Mappings in the Model-View-Controller Pattern.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Nikolay V. Shilov 0002, Natalya Olegovna Garanina	Polynomial Approximations for Model Checking.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	model checking, complexity, Calculus
17	Iman Poernomo	Proofs-as-Imperative-Programs: Application to Synthesis of Contracts.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Jan Jürjens	Algebraic State Machines: Concepts and Applications to Security.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Jixue Liu, Millist W. Vincent, Chengfei Liu	Functional Dependencies, from Relational to XML.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	XML, normalization, functional dependency
17	José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles Saavedra Places	Implication of Functional Dependencies for Recursive Queries.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	C. A. R. Hoare	The Verifying Compiler: A Grand Challenge for Computing Research.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Juan Carlos Augusto, Michael J. Butler, Carla Ferreira 0001, Stephen-John Craig	Using SPIN and STeP to Verify Business Processes Specifications.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Stephen-John Craig, Michael Leuschel	A Compiler Generator for Constraint Logic Programs.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Paul Ziemann, Martin Gogolla	OCL Extended with Temporal Logic.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Andrei Sabelfeld	Confidentiality for Multithreaded Programs via Bisimulation.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Dirk Seifert, Steffen Helke, Thomas Santen	Test Case Generation for UML Statecharts.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Cornelis H. A. Koster, Marc Seutter, Jean Beney	Multi-classification of Patent Applications with Winnow.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Pierpaolo Degano, Fabio Gadducci, Corrado Priami	Causality and Replication in Concurrent Processes.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Robert Glück	The Translation Power of the Futamura Projections.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Stefan Blom, Natalia Ioustinova, Natalia Sidorova	Timed Verification with µCRL.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	modelling, model checking, verification, discrete time, CRL
17	Torben Æ. Mogensen	Linear Types for Cashflow Reengineering.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Jelena Sanko, Jaan Penjam	Program Construction in the Context of Evolutionary Computation.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky	Verification-Oriented Language C-Light and Its Structural Operational Semantics.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	David Harel	On the Visualization and Aesthetics of Large Graphs: Short Abstract.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Irina B. Virbitskaite, Natalya S. Gribovskaja	Open Maps and Trace Semantics for Timed Partial Order Models.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	timed event structures, trace equivalence, Category theory, partial order semantics
17	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón	A Relational Algebra for Functional Logic Deductive Databases.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Thomas Baar	The Definition of Transitive Closure with OCL - Limitations and Applications.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	Joaquín Pérez Ortega, Rodolfo A. Pazos, René Santaolaya Salgado, Juan Frausto Solís, Guillermo Rodríguez 0001, Laura Cruz Reyes, Maricela Bravo	Data-Object Replication, Distribution, and Mobility in Network Environments.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
17	David Asperó, Philip D. Welch	Bounded Martin's Maximum, Weak Erdös Cardinals and psi AC.	J. Symb. Log.	2002	DBLP DOI BibTeX RDF
17	Jeffrey D. Grant, Roland L. Dunbrack Jr., Frank J. Manion, Michael F. Ochs	BeoBLAST: distributed BLAST and PSI-BLAST on a Beowulf cluster.	Bioinform.	2002	DBLP DOI BibTeX RDF
17	Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)	Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Dejan S. Milojicic, Alan Messer, Philippe Bernadat, Ira Greenberg 0002, Olaf Spinczyk, Danilo Beuche, Wolfgang Schröder-Preikschat	Psi-Pervasive Services Infrastructure.	TES	2001	DBLP DOI BibTeX RDF
17	David Kinny	The Psi Calculus: An Algebraic Agent Language.	ATAL	2001	DBLP DOI BibTeX RDF
17	Jan Jürjens, Guido Wimmel	Specification-Based Testing of Firewalls.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Rimma I. Podlovchenko	A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Supratik Mukhopadhyay, Andreas Podelski	Accurate Widenings and Boundedness Properties of Timed Systems.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Vitaly V. Mikheev, Stanislav A. Fedoseev	Compiler-Cooperative Memory Management in Java.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF	Java, performance, garbage collection, escape analysis, finalization
17	Alexandre Riazanov, Andrei Voronkov	Adaptive Saturation-Based Reasoning.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Igor V. Pottosin	A.P. Ershov - A Pioneer and a Leader of National Programming.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Viktor K. Sabelfeld, Christian Blumenröhr, Kai Kapp	Semantics and Transformations in Formal Synthesis at System Level.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Vitaly Telerman	Using Constraint Solvers in CAD/CAM Systems.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Gian Piero Zarri	A Knowledge Engineering Approach to Deal with 'Narrative' Multimedia Documents.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Yuri Gurevich	The Abstract State Machine Paradigm: What Is in and What Is out.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Dmitrij V. Koznov, Konstantin Yu. Romanovsky, Alexei Nikitin	A Method for Recovery and Maintenance of Software Architecture.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Berndt Farwer, Irina A. Lomazova	A Systematic Approach towards Object-Based Petri Net Formalisms.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	S. Kazem Lellahi	Conceptual Data Modeling: An Algebraic Viewpoint.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF	conceptual model, meta-modeling, algebraic specification, algebraic semantics
17	Vitaly E. Kozura	Unfoldings of Coloured Petri Nets.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel	Transformation of UML Specification to XTG.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi	A Theoretical Foundation of Program Synthesis by Equivalent Transformation.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Natalia Ioustinova, Natalia Sidorova	A Transformation of SDL Specifications - A Step towards the Verification.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Peter D. Mosses	The Varieties of Programming Language Semantics.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Maurice Bruynooghe, Wim Vanhoof, Michael Codish	Pos(T): Analyzing Dependencies in Typed Logic Programs.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Irina B. Virbitskaite	Observational Semantics for Timed Event Structures.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Shengyuan Wang, Jian Yu, Chongyi Yuan	A Net-Based Multi-tier Behavior Inheritance Modelling Method.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF	Behavior Inheritance, Petri Net, Concurrency, Object Orientation, Modelling Method
17	Nikolaj S. Nikitchenko	Abstract Computability of Non-deterministic Programs over Various Data Structures.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Andrei Sabelfeld	The Impact of Synchronisation on Secure Information Flow in Concurrent Programs.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Alexandre Petrenko	Specification Based Testing: Towards Practice.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Valeriy Vyatkin	Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Margarita V. Korovina, Oleg V. Kudinov	Generalised Computability and Applications to Hybrid Systems.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Rogardt Heldal, John Hughes 0001	Binding-Time Analysis for Polymorphic Types.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Dietrich Birngruber	A Software Composition Language and Its Implementation.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Dmitry Ushakov	Hierarchical Constraint Satisfaction Based on Subdefinite Models.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Valery A. Sokolov, Eugeny A. Timofeev	Dynamical Priorities without Time Measurement and Modification of the TCP.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Thorsten Ehm	Transformational Construction of Correct Pointer Algorithms.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF	Paterson/Hewitt, pointer algorithms, destructive updates, program transformation
17	Laurent Granvilliers, Éric Monfroy	A Graphical Interface for Solver Cooperations.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi	Equivalent Transformation by Safe Extension of Data Structures.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Jan Friso Groote, Hans Zantema	Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Sergio Greco, Luigi Pontieri, Ester Zumpano	Integrating and Managing Conflicting Data.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi	Reexecution-Based Analysis of Logic Programs with Delay Declarations.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Robert Eschbach	A Verification Approach for Distributed Abstract State Machines.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Andrey N. Terekhov, Len Erlikh	Academic vs. Industrial Software Engineering: Closing the Gap.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Alexey S. Rodionov, Dmitry V. Leskov	Oberon-2 as Successor of Modula-2 in Simulation.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Svyatoslav Sergeevich Lavrov	On Algorithmic Unsolvability.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Vladimir Yu. Sazonov	Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Nikolay V. Shilov 0002, Kwang Yi	On Expressive and Model Checking Power of Propositional Program Logics.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Roland Weiss, Volker Simonis	Exploring Template Template Parameters.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Yoon-chan Jhi, Ki-Chang Kim, Kemal Ebcioglu, Yong Surk Lee	A Prolog Tailoring Technique on an Epilog Tailored Procedure.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Audris Kalnins, Karlis Podnieks, Andris Zarins, Edgars Celms, Janis Barzdins	Editor Definition Language and Its Implementation.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, Enn Tyugu	Automated Program Synthesis for Java Programming Language.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen	On Lexicographic Termination Ordering with Space Bound Certifications.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Thomas Baar, Bernhard Beckert, Peter H. Schmitt	An Extension of Dynamic Logic for Modelling OCL's @pre Operator.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov	Java Specification Extension for Automated Test Development.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Egidio Astesiano, Maura Cerioli, Gianna Reggio	From ADT to UML-Like Modelling.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Dmitri Boulytchev, Dmitry Lomov	An Empirical Study of Retargetable Compilers.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Torben Æ. Mogensen	An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)	Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings	Ershov Memorial Conference	2000	DBLP DOI BibTeX RDF
17	Kai Pixius, Hans-Peter Menzler, Uwe Krosta, H. Ufer, Herbert Tietje	Die Entwicklung einer universellen Schnittstelle Psi-SA für verteilte Simulationssysteme der Bundeswehr unter der High Level Architecture.	SimVis	2000	DBLP BibTeX RDF
17	Simone G. O. Fiori, Saverio Costa, Pietro Burrascano	Improved psi-APEX Algorithm for Digital Image Compression.	IJCNN (3)	2000	DBLP DOI BibTeX RDF
17	Alejandro A. Schäffer, Yuri I. Wolf, Chris P. Ponting, Eugene V. Koonin, L. Aravind, Stephen F. Altschul	IMPALA: matching a protein sequence against a collection of PSI-BLAST-constructed position-specific score matrices.	Bioinform.	1999	DBLP DOI BibTeX RDF
17	Kevin Palfreyman, Tom Rodden, Jonathan Trevor	PSI: A Platform for Shared Interaction.	ECSCW	1999	DBLP DOI BibTeX RDF
17	Yutaka Sasaki	Induction of Logic Programs Based on psi-Terms.	ALT	1999	DBLP DOI BibTeX RDF
17	Plamen Y. Yalamov	Stability Results for psi-Circulant Computations.	LSSC	1999	DBLP BibTeX RDF
17	Alexander N. Kozhushkin	PSI Team.	RoboCup	1999	DBLP DOI BibTeX RDF
17	Arne Müller, Robert M. MacCallum, Michael J. E. Sternberg	Genome annotation with PSI-BLAST: Benchmark and application.	German Conference on Bioinformatics	1999	DBLP BibTeX RDF
17	Takefumi Mogaki, Naohisa Komatsu, Hiroaki Nishikawa	Text-indicated speaker verification method using PSI-CELP parameters.	Security and Watermarking of Multimedia Contents	1999	DBLP DOI BibTeX RDF
17	Klaus Schneider 0001, Viktor K. Sabelfeld	Introducing Mutual Exclusion in Esterel.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Susantha Herath, Chie Saito, Ajantha Herath	Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Claudio de la Riva, Javier Tuya, José Ramón de Diego	Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Rafael Caballero 0001, Francisco Javier López-Fraguas	Extensions: A Technique for Structuring Functional-Logic Programs.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Jens P. Secher, Morten Heine Sørensen	On Perfect Supercompilation.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF